[FOM] Voevodsky's lecture

by way of Sergei Tropanets <trop.sergei@gmail.com> fom-bounces at cs.nyu.edu
Fri May 20 17:15:25 EDT 2011


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



More information about the FOM mailing list