top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Godel's proof / / by Ernest Nagel and James R. Newman
Godel's proof / / by Ernest Nagel and James R. Newman
Autore Nagel Ernest <1901-1985., >
Edizione [3rd ed.]
Pubbl/distr/stampa London ; ; New York : , : Routledge, , 2005
Descrizione fisica 1 online resource (105 p.)
Disciplina 511.3
Altri autori (Persone) NewmanJames Roy <1907-1966.>
Collana Routledge classics
Soggetto topico Gödel's theorem
Soggetto genere / forma Electronic books.
ISBN 0-203-71522-5
1-283-88476-3
1-135-86532-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
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
Record Nr. UNINA-9910452538503321
Nagel Ernest <1901-1985., >  
London ; ; New York : , : Routledge, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Godel's proof / / by Ernest Nagel and James R. Newman
Godel's proof / / by Ernest Nagel and James R. Newman
Autore Nagel Ernest <1901-1985., >
Edizione [3rd ed.]
Pubbl/distr/stampa London ; ; New York : , : Routledge, , 2005
Descrizione fisica 1 online resource (105 p.)
Disciplina 511.3
Altri autori (Persone) NewmanJames Roy <1907-1966.>
Collana Routledge classics
Soggetto topico Gödel's theorem
ISBN 1-135-86539-6
0-203-71522-5
1-283-88476-3
1-135-86532-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
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
Record Nr. UNINA-9910779455603321
Nagel Ernest <1901-1985., >  
London ; ; New York : , : Routledge, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Godel's proof / / by Ernest Nagel and James R. Newman
Godel's proof / / by Ernest Nagel and James R. Newman
Autore Nagel Ernest <1901-1985., >
Edizione [3rd ed.]
Pubbl/distr/stampa London ; ; New York : , : Routledge, , 2005
Descrizione fisica 1 online resource (105 p.)
Disciplina 511.3
Altri autori (Persone) NewmanJames Roy <1907-1966.>
Collana Routledge classics
Soggetto topico Gödel's theorem
ISBN 1-135-86539-6
0-203-71522-5
1-283-88476-3
1-135-86532-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
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
Record Nr. UNINA-9910827879603321
Nagel Ernest <1901-1985., >  
London ; ; New York : , : Routledge, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui