[FOM] Voevodsky's views

Sergei Tropanets trop.sergei at gmail.com
Thu May 19 12:48:02 EDT 2011

This lecture of Voevodsky:


called "Univalent Foundations of Mathematics" may help to clarify his views
on Foundations of Mathematics.

He takes homotopy types as basic objects of mathematics (instead of sets).
Homotopy types turned to be formalizable by Martin-Lof type systems.
Of course the main questions to Voevodsky are i) how much of mathematics
can be formalized in this way and ii) why he thinks that it is more
flexible approach
than the classical one.

Sergii Tropanets

More information about the FOM mailing list