Der Code der Mathematik

DOI10.1007/978-3-662-66562-6MaRDI QIDQ6155987FDOQ6155987

Authors: Stefan Müller-Stach 

Publication date: 9 June 2023

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

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)

Cited In (2)

• The code of mathematics. Proof and truth. Translated from the German by the author
• Title not available (Why is that?)

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)