Skip to main content

Research Repository

Advanced Search

Naive Type Theory

Altenkirch, Thorsten

Authors



Contributors

Stefania Centrone
Editor

Deborah Kant
Editor

Deniz Sarikaya
Editor

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 Mar 29, 2024
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

Files




You might also like



Downloadable Citations