The Code of Mathematics (Record no. 63118)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03357nam a22005055i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-662-69483-1 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030112938.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 240904s2024 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783662694831 |
| -- | 978-3-662-69483-1 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-662-69483-1 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA1-939 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PB |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT000000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PB |
| Source | thema |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Müller-Stach, Stefan. |
| Relator term | author. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) | 83735 |
| 245 14 - TITLE STATEMENT | |
| Title | The Code of Mathematics |
| Medium | [electronic resource] : |
| Remainder of title | Proof and Truth / |
| Statement of responsibility, etc. | by Stefan Müller-Stach. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Berlin, Heidelberg : |
| Name of producer, publisher, distributor, manufacturer | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XIII, 170 p. 51 illus. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Mathematics Study Resources, |
| International Standard Serial Number | 2731-3832 ; |
| Volume/sequential designation | 11 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Fundamental Questions -- Scientific Languages -- Mathematical Thinking -- Mathematics in our Culture -- Computability and Decidability -- Deductive Systems and Incompleteness -- Category Theory -- Type Theory -- Semantics and Reality. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. The Author Stefan Müller-Stach is Vice President for Research and Early Career Academics at Johannes Gutenberg University Mainz and professor for number theory. His main research focus is on algebraic and arithmetic geometry, mathematical physics and history of science. 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 65523 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Philosophy. |
| 9 (RLIN) | 69649 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 65523 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 69650 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783662694824 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783662694848 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Mathematics Study Resources, |
| International Standard Serial Number | 2731-3832 ; |
| Volume number/sequential designation | 11 |
| 9 (RLIN) | 81153 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-662-69483-1">https://doi.org/10.1007/978-3-662-69483-1</a> |
| 912 ## - | |
| -- | ZDB-2-SMA |
| 912 ## - | |
| -- | ZDB-2-SXMS |
No items available.