Godel's Proof
Seiten
1971
|
2nd New edition
Routledge (Verlag)
978-0-415-04040-2 (ISBN)
Routledge (Verlag)
978-0-415-04040-2 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
In 1931 Kurt Godel published a revolutionary paper - one that challenged certain basic assumptions underlying much traditional research in mathematics and logic. Today his exploration of "terra incognita" has been recognized as one of the major contributions to modern scientific thought.
In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.
In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.
Acknowledgments. Introduction. The Problem of Consistency. Absolute Proofs of Consistency. The Systematic Codification of Formal Logic. An Example of a Successful Absolute Proof of Consistency. The Idea of Mapping and its Use in Mathematics. Godel’s Proof. Godel Numbering. The Arithmetization of Meta-Mathematics. The Heart of Godel’s Argument. Concluding Reflections. Appendix: Notes. Brief Bibliography. Index
Erscheint lt. Verlag | 17.6.1971 |
---|---|
Reihe/Serie | Routledge Classics |
Verlagsort | London |
Sprache | englisch |
Maße | 129 x 198 mm |
Themenwelt | Mathematik / Informatik ► Mathematik |
ISBN-10 | 0-415-04040-X / 041504040X |
ISBN-13 | 978-0-415-04040-2 / 9780415040402 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Von Logik und Mengenlehre bis Zahlen, Algebra, Graphen und …
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
74,95 €
fundiert, vielseitig, praxisnah
Buch | Softcover (2021)
Springer Berlin (Verlag)
32,99 €
Analysis und Lineare Algebra mit Querverbindungen
Buch | Hardcover (2022)
Springer Spektrum (Verlag)
64,99 €