Copied The Code of Mathematics
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. Besides selected ideas of Platon, Aristoteles, Leibniz, Kant, Frege and others, the results of Gdel 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Handbuch Krisenmanagement
$159.99
The People Business
$53.00
Analyzing Interactions in CSCL
$129.00
Sensor- and Video-Based Activity and Behavior Computing
$249.99
Marktforschung
$59.99
Business Process Management
$39.99
Resistance to Tyrosine Kinase Inhibitors
$169.99
Lived Spaces of Infant-Toddler Education and Care
$109.99
The Chaotic Solar Cycle
$159.99
Software Architectures and Component Technology
$169.00
Theatre in Health and Care
$54.99
Otto Lilienthal
$29.99
Abdominal and Pelvic MRI
$74.99
Introduction to Integrated Optics
$84.99
Intervention Without Intervening?
$39.99
Integrative Wildlife Nutrition
$139.00
My Side of the Mountain: On the Far Side of the Mountain
$6.71
Anglo-Saxon Magic
$89.00
Artificial Intelligence in Project Management and Making Decisions
$199.99
DNA Computing
$54.99
Dynamikgerechter Entwurf von Werkzeugmaschinen- Gestellstrukturen
$84.99
Mixed Reality In Architecture, Design, And Construction
$84.99
Data Governance fr Manager
$44.99
A Theory of Employment in Firms
$54.99
Scholar Zone Summer ELA and Math Grade K (2 Scholar)
$230.00
Gastrointestinal Oncology
$329.99
17. Hmophilie-Symposion
$69.99
Barakumin: A Japanese Minority and Education
$109.99
Transgenic Models in Endocrinology
$169.99
Beitrag zum Problem der Erfassung, Verrechnung und Auswertung industrieller Vertriebskosten
$59.99
Advancing Phenomenology
$329.99
Information and Communication Technology
$39.99
The Writing of Natural Disaster in Europe, 15001826
$129.99
Women and Political Change
$39.99
Development of a Methodology for the Evaluation of Active Safety using the Example of Preventive Ped
$84.99
Interferometry and Synthesis in Radio Astronomy
$59.99
Post 9/11 and the State of Permanent Legal Emergency
$169.99
Shelley and Greece
$109.99
Stromspeicher und Power-to-Gas im deutschen Energiesystem
$49.99
