[FOM] Voevodsky's views

[Sergei Tropanets]

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