Should Type Theory replace Set Theory as the Foundation of Mathematics
Logic
2023-01-10 v4 Logic in Computer Science
Abstract
We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.
Cite
@article{arxiv.2111.06368,
title = {Should Type Theory replace Set Theory as the Foundation of Mathematics},
author = {Thorsten Altenkirch},
journal= {arXiv preprint arXiv:2111.06368},
year = {2023}
}