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

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

• Prof Thorsten Altenkirch
• Friday 22 October 2021, 18:00-19:00
• CMS Meeting Room 2.

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.

This talk is included in these lists:

• CMS Meeting Room 2
• The Archimedeans
• ob366-ai4er

Note that ex-directory lists are not shown.