THORSTEN ALTENKIRCH THORSTEN.ALTENKIRCH@NOTTINGHAM.AC.UK
Professor of Computer Science
Should Type Theory Replace Set Theory as the Foundation of Mathematics?
Altenkirch, Thorsten
Authors
Abstract
Mathematicians often consider Zermelo-Fraenkel Set Theory with Choice (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), is a preferable and should be considered as an alternative.
Citation
Altenkirch, T. (2023). Should Type Theory Replace Set Theory as the Foundation of Mathematics?. Global Philosophy, 33(1), Article 21. https://doi.org/10.1007/s10516-023-09676-0
Journal Article Type | Article |
---|---|
Acceptance Date | Jan 15, 2023 |
Online Publication Date | Feb 13, 2023 |
Publication Date | 2023-02 |
Deposit Date | Feb 1, 2023 |
Publicly Available Date | Feb 13, 2023 |
Print ISSN | 2948-152X |
Electronic ISSN | 2948-1538 |
Peer Reviewed | Peer Reviewed |
Volume | 33 |
Issue | 1 |
Article Number | 21 |
DOI | https://doi.org/10.1007/s10516-023-09676-0 |
Public URL | https://nottingham-repository.worktribe.com/output/16794923 |
Publisher URL | https://link.springer.com/article/10.1007/s10516-023-09676-0 |
Files
Should Type Theory Replace Set Theory as the Foundation of Mathematics?
(816 Kb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by/4.0/
You might also like
Constructing a universe for the setoid model
(2021)
Conference Proceeding
Big Step Normalisation for Type Theory
(2020)
Journal Article
Naive Type Theory
(2019)
Book Chapter
Towards a cubical type theory without an interval
(2018)
Journal Article
Type theory in type theory using quotient inductive types
(2016)
Conference Proceeding
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search