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
Structure of Decidable Locally Finite Varieties
$54.99
Nutritional Aspects of Osteoporosis
$84.99
Computer and Computing Technologies in Agriculture II, Volume 2
$129.00
After the Dresden Bombing
$119.99
Computational Techniques for Human Smile Analysis
$54.99
Konfigurationen des (Zu-)Hauses
$59.99
Quantitatives Risikomanagement in Banken
$59.99
International Business Strategy
$159.99
Resilience in Aging
$129.00
Leitfaden der Krankenpflege in Frage und Antwort
$59.99
Fresh Water Pollution Dynamics and Remediation
$179.99
Auditory and Visual Sensations
$84.99
Civic Freedom in Central Europe
$49.99
Islam, Culture, and Marriage Consent
$129.99
Die Annalen und Die Zeitliche Festlegung des Alten Reiches der gyptischen Geschichte
$49.99
Statistical Analysis of Network Data with R
$59.99
Sozialisation in den 90er Jahren
$59.99
Allgemeine Algebra
$44.99
Schnitzler-Handbuch
$119.99
The Practice of Coronary Artery Bypass Surgery
$84.99
Embedded Processor-Based Self-Test
$169.99
Imaging Radar for Resources Surveys
$84.99
Wittgenstein within the Philosophy of Religion
$39.99
Oral and Maxillofacial Surgery for the Clinician
$119.99
New Trends in Quantum Systems in Chemistry and Physics
$129.00
Jean Moulin, 1899 - 1943
$129.00
Handbuch Industrie 4.0 Bd.4
$84.99
Lola Levine Is Not Mean!
$4.46
Uniting Marketing Efforts for the Common GoodA Challenge for the Fourth Sector
$149.00
Economics of Urban Externalities
$54.99
Experimentelle Untersuchungen zur Thermodynamik der Legierungsbildung
$84.99
Solidification
$109.99
Proceedings of the International Conference on Signal, Networks, Computing, and Systems
$219.99
Natural Fibers, Plastics and Composites
$129.00
Fuzzy-Methoden
$159.00
Nanotechnology in Skin, Soft Tissue, and Bone Infections
$109.99
Logic-Based Program Synthesis and Transformation
$54.99
The Impact of Rising Oil Prices on the World Economy
$49.99
Der Kugeldruckversuch nach Brinell, die Hrteprfung mit Vorlast und die Hrteprfung nach Vickers
$59.99
Computer Graphics
$39.99
