Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Centrone, Stefania (Editor, http://id.loc.gov/vocabulary/relators/edt), Kant, Deborah (Editor, http://id.loc.gov/vocabulary/relators/edt), Sarikaya, Deniz (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 407
• Subjects: Mathematics-Philosophy.; Computer science-Mathematics.; Mathematical logic.; Mathematical physics.; Philosophy of Mathematics.; Mathematics of Computing.; Mathematical Logic and Foundations.; Theoretical, Mathematical and Computational Physics.; Mathematical Logic and Formal Languages.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover sys...