A New Foundational Crisis in Mathematics, Is It Really Happening?

DOI10.1007/978-3-030-15655-8_11zbMath1528.03027arXiv1802.06221MaRDI QIDQ6075429

Mirna Dzamonja

Publication date: 20 September 2023

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1802.06221

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Type theory (03B38)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The strength of some Martin-Löf type theories
• Inaccessible set axioms may have little consistency strength
• Modular elliptic curves and Fermat's Last Theorem
• The simplicial model of univalent foundations (after Voevodsky)
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?
• Axiom of Choice and Complementation
• Choice Implies Excluded Middle
• An introduction to univalent foundations for mathematicians
• Homotopy Type Theory: The Logic of Space
• Proof Theory of Constructive Systems: Inductive Types and Univalence
• Homotopy Type Theory: Univalent Foundations of Mathematics

This page was built for publication: A New Foundational Crisis in Mathematics, Is It Really Happening?