Monthly Archives: November 2014

Two kinds of mathematics

Preliminary reading: “The Origins and Motivations of Univalent Foundations” by V.¬†Voevodsky’s [PDF] “Proofs and refutations” by I. Lakatos [link] “On proofs and progress in mathematics” by W. Thurston [link] I find the recent surge in interest in the use of … Continue reading

Posted in armchair philosophy, proof assistants | 1 Comment