[FOM] Voevodsky's views
Sergei Tropanets
trop.sergei at gmail.com
Thu May 19 12:48:02 EDT 2011
This lecture of Voevodsky:
http://video.ias.edu/stream&ref=513
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