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
http://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html
http://tac.mta.ca/tac/reprints/articles/11/tr11abs.html
http://home.sandiego.edu/~shulman/
http://homotopytypetheory.org/author/mikeshulman/
There are also a few video lectures from IAS, Princeton http://video.ias.edu/conversations/voevodsky has links to other videos.
http://golem.ph.utexas.edu/category/2013/01/from_set_theory_to_type_theory.html
http://tac.mta.ca/tac/reprints/articles/11/tr11abs.html
http://home.sandiego.edu/~shulman/
http://homotopytypetheory.org/author/mikeshulman/
There are also a few video lectures from IAS, Princeton http://video.ias.edu/conversations/voevodsky has links to other videos.
No comments:
Post a Comment