Skip to content
Scan a barcode
Scan
Paperback The Code of Mathematics: Proof and Truth Book

ISBN: 3662694824

ISBN13: 9783662694824

The Code of Mathematics: Proof and Truth

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...

Recommended

Format: Paperback

Condition: New

$59.78
50 Available
Ships within 2-3 days

Related Subjects

Math Mathematics Science & Math

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured