Vai al contenuto principale della pagina

Godel's proof / / by Ernest Nagel and James R. Newman



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Nagel Ernest <1901-1985., > Visualizza persona
Titolo: Godel's proof / / by Ernest Nagel and James R. Newman Visualizza cluster
Pubblicazione: London ; ; New York : , : Routledge, , 2005
Edizione: 3rd ed.
Descrizione fisica: 1 online resource (105 p.)
Disciplina: 511.3
Soggetto topico: Gödel's theorem
Soggetto genere / forma: Electronic books.
Altri autori: NewmanJames Roy <1907-1966.>  
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
Titolo autorizzato: Godel's proof  Visualizza cluster
ISBN: 0-203-71522-5
1-283-88476-3
1-135-86532-9
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910452538503321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Routledge Classics