[FOM] Voevodsky's views
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
than the classical one.
More information about the FOM