Univalent Foundations

A very interesting presentation by Vladimir Voevodsky:

It is extremely difficult to accept that mathematics is in need of a completely new foundation.
Even many of the people who are directly connected with the advances in Homotopy Type
Theory are struggling with this idea.
There is a good reason it is difficult: the existing foundation of mathematics – ZFC, and its main
contender for a new foundation – category theory, have been very successful.
It was overcoming the appeal of category theory as a candidate for new foundation of mathematics
that was for me personally most difficult.

Advertisements

About Artem Novozhilov

I am an applied mathematician interested in studying various evolutionary processes by means of mathematical models. More on my professional activities can be found on my page https://www.ndsu.edu/pubweb/~novozhil/
This entry was posted in History and tagged . Bookmark the permalink.

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