arXiv Analytics

Sign in

arXiv:2111.06368 [math.LO]AbstractReferencesReviewsResources

Should Type Theory replace Set Theory as the Foundation of Mathematics

Thorsten Altenkirch

Published 2021-11-11Version 1

We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.

Categories: math.LO, cs.LO
Related articles: Most relevant | Search more
arXiv:math/0403186 [math.LO] (Published 2004-03-10)
Unified Foundations for Mathematics
arXiv:1312.6198 [math.LO] (Published 2013-12-21)
Categories within the Foundation of Mathematics
arXiv:1809.08676 [math.LO] (Published 2018-09-23)
Naming the largest number: Exploring the boundary between mathematics and the philosophy of mathematics

Links

Toolbox