Tag Archives: Univalent Foundations of Mathematics


A couple Wednesdays ago (when it was still freezing out), I went to this great talk by Voevodsky on Univalent Foundations of Mathematics.

It had a really great narrative on how he came to discover a new foundation for mathematics and an argument for theory proving via computer programs.

I’d first heard about this talk through the LispNYC meetup (an AWESOME group), and saw a couple of the meetuppers at the event!

At the post-talk reception, Voevodsky came up and said he liked how we were enthusiastic audience members.


What a cool guy!