Check out this Scientific American article[1], especially the video of a presentation given by Voevodsky. Edit: Here's a more direct page[2] if you just want t

Check out this Scientific American article[1], especially the video of a presentation given by Voevodsky. Edit: Here's a more direct page[2] if you just want the video. [1] http://blogs.scientificamerican.com/guest-blog/voevodskye28099s-mathematical-revolution/ http://blogs.scientificamerican.com/guest-blog/voevodskye280... [2] http://www.heidelberg-laureate-forum.org/blog/video/lecture-thursday-september-26-vladimir-voevodsky/ http://www.heidelberg-laureate-forum.org/blog/video/lecture-...