Naive Type Theory

Altenkirch, Thorsten

Abstract

We introduce Type Theory, including Homotopy Type Theory, as an alternative to set theory as a foundation of Mathematics emphasising the intuitive and naive understanding of its concepts.

Citation

Altenkirch, T. (2019). Naive Type Theory. In S. Centrone, D. Kant, & D. Sarikaya (Eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (101-136). Springer

• Online Publication Date: Nov 11, 2019
• Publication Date: Nov 20, 2019
• Deposit Date: May 1, 2019
• Publicly Available Date: Nov 12, 2021
• Publisher: Springer
• Pages: 101-136
• Series Title: Synthese Library
• Series Number: 407
• Series ISSN: 0166-6991
• Book Title: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
• ISBN: 9783030156541
• Public URL: https://nottingham-repository.worktribe.com/output/1990007
• Publisher URL: https://www.springer.com/gb/book/9783030156541
• Contract Date: May 1, 2019