Vladimir Voevodsky : what if current foundations of mathematics are inconsistent

https://www.ias.edu/ideas/2012/voevodsky-foundations-of-mathematics

Advertisements
This entry was posted in homotopy type theory, Logique, Philosophie mathématique, Science, mathesis, Science-internelle. Bookmark the permalink.