Der Code der Mathematik

DOI10.1007/978-3-662-66562-6MaRDI QIDQ6155987zbMATH OpenFDO

Authors Stefan Müller-Stach

Publication date 9 June 2023

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Categories of sets, characterizations (18B05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Categorical logic, topoi (03G30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• The code of mathematics. Proof and truth. Translated from the German by the author
• An introduction to univalent foundations for mathematicians
• Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18--23, 2016
• Homotopy type theory and Voevodsky's univalent foundations
• Homotopy type theory. Univalent foundations of mathematics

Cited in

(2)

• scientific article; zbMATH DE number 5776111 (Why is no real title available?)
• The code of mathematics. Proof and truth. Translated from the German by the author

This page was built for publication: Der Code der Mathematik

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6155987)