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.
Decidable theories I Büchi's monadic second order successor arithmetic / / Dirk Siefkes
| Decidable theories I Büchi's monadic second order successor arithmetic / / Dirk Siefkes |
| Autore | Siefkes Dirk |
| Edizione | [1st ed. 1970.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1970] |
| Descrizione fisica | 1 online resource (XIV, 134 p.) |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Gödel's theorem |
| ISBN | 3-540-36252-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466665203316 |
Siefkes Dirk
|
||
| Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1970] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Decidable theories II The monadic second order theory of all countable ordinals / / J. Richard Büchi and Dirk Siefkes
| Decidable theories II The monadic second order theory of all countable ordinals / / J. Richard Büchi and Dirk Siefkes |
| Autore | Büchi J. Richard |
| Edizione | [1st ed. 1973.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1973] |
| Descrizione fisica | 1 online resource (VIII, 224 p.) |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Gödel's theorem
Model theory |
| ISBN | 3-540-46946-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466856503316 |
|
Büchi J. Richard
|
||
| Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , [1973] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén
| Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén |
| Autore | Franzén Torkel |
| Pubbl/distr/stampa | Wellesley, MA, : A K Peters, c2005 |
| Descrizione fisica | x, 172 p |
| Disciplina | 511.3 |
| Soggetto topico |
Gödel's theorem
Incompleteness theorems |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-56881-500-X
1-4398-7692-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 5050 1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Gödel, minds, and computers -- 7. Gödel's completeness theorem -- 8. Incompleteness, complexity, and infinity |
| Record Nr. | UNINA-9910454403903321 |
|
Franzén Torkel
|
||
| Wellesley, MA, : A K Peters, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén
| Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén |
| Autore | Franzén Torkel |
| Pubbl/distr/stampa | Wellesley, MA, : A K Peters, c2005 |
| Descrizione fisica | x, 172 p |
| Disciplina | 511.3 |
| Soggetto topico |
Gödel's theorem
Incompleteness theorems |
| ISBN |
1-56881-500-X
1-4398-7692-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 5050 1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Gödel, minds, and computers -- 7. Gödel's completeness theorem -- 8. Incompleteness, complexity, and infinity |
| Record Nr. | UNINA-9910782047303321 |
|
Franzén Torkel
|
||
| Wellesley, MA, : A K Peters, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Jungian archetypes : Jung, Gödel, and the history of archetypes / / Robin Robertson
| Jungian archetypes : Jung, Gödel, and the history of archetypes / / Robin Robertson |
| Autore | Robertson Robin |
| Pubbl/distr/stampa | New York : , : Open Road Distribution, , 2016 |
| Descrizione fisica | 1 online resource (241 pages) : illustrations, portraits |
| Soggetto topico |
Archetype (Psychology)
Subconsciousness Psychology - History Gödel's theorem |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-5040-3377-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910165078803321 |
|
Robertson Robin
|
||
| New York : , : Open Road Distribution, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Jungian archetypes : Jung, Gödel, and the history of archetypes / / Robin Robertson
| Jungian archetypes : Jung, Gödel, and the history of archetypes / / Robin Robertson |
| Autore | Robertson Robin |
| Pubbl/distr/stampa | New York : , : Open Road Distribution, , 2016 |
| Descrizione fisica | 1 online resource (241 pages) : illustrations, portraits |
| Soggetto topico |
Archetype (Psychology)
Subconsciousness Psychology - History Gödel's theorem |
| ISBN | 1-5040-3377-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910794891603321 |
|
Robertson Robin
|
||
| New York : , : Open Road Distribution, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Jungian archetypes : Jung, Gödel, and the history of archetypes / / Robin Robertson
| Jungian archetypes : Jung, Gödel, and the history of archetypes / / Robin Robertson |
| Autore | Robertson Robin |
| Pubbl/distr/stampa | New York : , : Open Road Distribution, , 2016 |
| Descrizione fisica | 1 online resource (241 pages) : illustrations, portraits |
| Soggetto topico |
Archetype (Psychology)
Subconsciousness Psychology - History Gödel's theorem |
| ISBN | 1-5040-3377-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910823329303321 |
|
Robertson Robin
|
||
| New York : , : Open Road Distribution, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
