Sunday, November 17, 2013

New developments about the foundations of mathematics

I kept away from the foundations after seeing Russel's Paradox and his theory of types which at that time seemed an ad hoc band aid.  Apparently iy stayed alive in different forms and one of these is playing a part in the new approaches to the foundations by Vladimir Voevodsky and others. Here is a popular article from Scientific American by Julie Rehmeyer Voedovsky's Mathematical Revolution  A more technical article from Notices of AMS and the book in progress Homotopy Type Theory. So far, I have been struggling with elementary expositionsfrom these sources
There are also a few video lectures from IAS, Princeton has links to other videos.

No comments: