The Code of Mathematics: Proof and Truth (Mathematics Study Resources, 11)
Description:
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. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Frege and others, the results of Gödel and Tarski on incompleteness, undecidability and truth in deductive systems and their semantic models are covered. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory. Such theories contain identity types, which give a new understanding of equality, symmetry, equivalence and isomorphism in a conceptual way. The interaction of type theory and infinity category theory yields a new paradigm for a structural view on mathematics. This supports the tendencies towards formalising mathematics with the help of proof assistants.
This book was first published in German. The translation was done with the help of artificial intelligence. A subsequent human revision was done primarily in terms of content.
Best prices to buy, sell, or rent ISBN 9783662694824
Frequently Asked Questions about The Code of Mathematics: Proof and Truth (Mathematics Study Resources, 11)
The price for the book starts from $48.79 on Amazon and is available from 18 sellers at the moment.
If you’re interested in selling back the The Code of Mathematics: Proof and Truth (Mathematics Study Resources, 11) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the The Code of Mathematics: Proof and Truth (Mathematics Study Resources, 11) book, the best buyback offer comes from and is $ for the book in good condition.
The The Code of Mathematics: Proof and Truth (Mathematics Study Resources, 11) book is in very low demand now as the rank for the book is 2,086,663 at the moment. A rank of 1,000,000 means the last copy sold approximately a month ago.
The highest price to sell back the The Code of Mathematics: Proof and Truth (Mathematics Study Resources, 11) book within the last three months was on October 06 and it was $3.94.