
The Code of Mathematics
Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.
- Undertitel
- Proof and Truth
- Författare
- Stefan Müller-Stach
- Upplaga
- 2024 ed.
- ISBN
- 9783662694824
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2024-09-04
- Sidor
- 170
