|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910779455603321 |
|
|
Autore |
Nagel Ernest <1901-1985., > |
|
|
Titolo |
Godel's proof / / by Ernest Nagel and James R. Newman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York : , : Routledge, , 2005 |
|
|
|
|
|
|
|
ISBN |
|
1-135-86539-6 |
0-203-71522-5 |
1-283-88476-3 |
1-135-86532-9 |
|
|
|
|
|
|
|
|
Edizione |
[3rd ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (105 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
NewmanJames Roy <1907-1966.> |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
First published 1958 by Routledge. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Gödel's Proof; Copyright; Contents; Acknowledgments; 1 Introduction; 2 The Problem of Consistency; 3 Absolute Proofs of Consistency; 4 The Systematic Codification of Formal Logic; 5 An Example of a Successful Absolute Proof of Consistency; 6 The Idea of Mapping and its Use in Mathematics; 7 Gödel's Proofs; A Gödel numbering; B The arithmetization of meta-mathematics; C The heart of Gödel's argument; 8 Concluding Reflections; Notes; Brief Bibliography; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields |
|
|
|
|
|
|
|