University of Cambridge > Talks.cam > The Archimedeans > Should Type Theory replace Set Theory as the Foundation of Mathematics ?

Should Type Theory replace Set Theory as the Foundation of Mathematics ?

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Gesa Dünnweber.

Mathematicians often consider Zermelo-Fraenkel set theory (ZFC) as the only foundation of Mathematics, and frequently don’t actually want to think much about foundations. We argue here that modern Type Theory, i.e. Homotopy Type Theory (HoTT), has many advantages and should be considered as an alternative.

This talk is part of the The Archimedeans series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2022 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity