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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

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

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Hybrid - Maxwell Centre & on Zoom Trustworthy and Responsible Machine Learning / AI FS09, William Gates Building

Other talks

Title to be confirmed Title to be confirmed Title to be confirmed Group Work Group Presentation 5 The search for a new population of strong gravitational lenses with JWST
 

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