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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Centrone, Stefania (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Kant, Deborah (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sarikaya, Deniz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 407
• Θέματα: 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...