The Code of Mathematics by Stefan Mllerstach

Regular price
Checking stock...
Regular price
Checking stock...
Summary

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.

The feel-good place to buy books
  • Free US shipping over $15
  • Buying preloved emits 41% less CO2 than new
  • Millions of affordable books
  • Give your books a new home - sell them back to us!

The Code of Mathematics by Stefan Mllerstach

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.

Stefan Müller-Stach is Vice President for Research and Early Career Academics at Johannes Gutenberg University Mainz and professor for number theory. His main research focus is on algebraic and arithmetic geometry, mathematical physics and history of science.

SKU Unavailable
ISBN 13 9783662694824
ISBN 10 3662694824
Title The Code of Mathematics
Author Stefan Mllerstach
Series Mathematics Study Resources
Condition Unavailable
Binding Type Paperback
Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Year published 2024-09-04
Number of pages 170
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.