Code Mathematics Proof Truth by Müller Stach Stefan (7 results)
Language: English
Published by Springer 2024
Series: Mathematics Study Resources, Book 10 of 16. Book 10 of 16 - Mathematics Study Resources
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 56.82
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer 2024
Series: Mathematics Study Resources, Book 10 of 16. Book 10 of 16 - Mathematics Study Resources
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
Language: English
Published by Springer 2024
Series: Mathematics Study Resources, Book 10 of 16. Book 10 of 16 - Mathematics Study Resources
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 71.91
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 2024th edition NO-PA16APR2015-KAP.
Language: English
Published by Springer, Springer 2024
Series: Mathematics Study Resources, Book 10 of 16. Book 10 of 16 - Mathematics Study Resources
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 52.30
£ 53.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Language: English
Published by Springer 2024
Series: Mathematics Study Resources, Book 10 of 16. Book 10 of 16 - Mathematics Study Resources
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 48.70
£ 60.40 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. The Code of Mathematics | Proof and Truth | Stefan Müller-Stach | Taschenbuch | Mathematics Study Resources | xiii | Englisch | 2024 | Springer | EAN 9783662694824 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com…| Anbieter: preigu.
Language: English
Published by Springer 2024
Series: Mathematics Study Resources, Book 10 of 16. Book 10 of 16 - Mathematics Study Resources
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 72.09
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
Language: English
Published by Springer 2024
Series: Mathematics Study Resources, Book 10 of 16. Book 10 of 16 - Mathematics Study Resources
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 74.98
£ 8.59 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
