Voevodsky Talk

Voevodsky

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!

 

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: