[FOM] Voevodsky's lecture

[by way of Sergei Tropanets <trop.sergei@gmail.com>]

Date: Thu, 19 May 2011 22:12:32 +0300
Message-ID: <BANLkTin_h5aU6J5=WCWNpjDHrddyRAmJpw at mail.gmail.com>
Subject: Re: FOM Digest, Vol 101, Issue 21
From: Sergei Tropanets <trop.sergei at gmail.com>
To: fom at cs.nyu.edu
Content-Type: text/plain; charset=ISO-8859-1
X-Scanned-By: MIMEDefang 2.71 on 128.122.49.96
X-Greylist: Sender DNS name whitelisted, not delayed by 
milter-greylist-4.2.6 (mx2.cims.nyu.edu [128.122.49.96]); Thu, 19 May 
2011 15:19:37 -0400 (EDT)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by 
mx2.cims.nyu.edu id p4JJJPZh005673

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