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 ZermeloFraenkel 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 exdirectory lists are not shown.
