Vai al contenuto principale della pagina
![]() |
POSSEDUTO (se manca la collocazione vai al documento contenente) | |
Autore principale: | Takeuti, Gaisi, 1926-2017.
|
Titolo: | Memoirs of a proof theorist : Gödel and other logicians / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell. |
Pubblicazione: | New Jersey : World scientific, c2003. |
Descrizione fisica: | XVIII, 135 p. : ritr. ; 24 cm |
Note: | Nome dell'A. a p. VII |
Contiene: | Indice: Translator's foreword. Preface to the original edition. Preface to the revised edition. Author's preface to the translation. 1. On Gödel 2. Work of Paul Bernays and Kurt Gödel 3. Hilbert and Gödel 4. Short biographies of logicians 5. Set theory and related topics 6. From Hilbert to Gödel 7. Axioms of arithmetic and consistency: the second problem of Hilbert 8. A report from Gödel '96 9. Having read Gödel remembered 10. A tribute to the memory of professor Gödel. Appendix A: On Gödel's continuum hypothesis. Appendix B: Birth of second order proof theory by the fundamental conjecture on GLC. Major figures in logic |
ISBN: | 9812382798 |
Altri autori: | Passell, Nicholas.
Yasugi, Mariko. |
Discipline: | Logica matematica--Persone. Logica matematica--Studi. |
Persone: | Gödel, Kurt, 1906-1978. |
Sudd. cronologiche: | Secolo XX. |
Collocazione: | LS 14177 |
Nota di esemplare: | Mostra nota di esemplare |
000000922621 |