Cargando…
Memoirs of a proof theorist : Gödel and other logicians /
This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also co...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés Japonés |
| Publicado: |
River Edge, NJ :
World Scientific,
2003.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn263146388 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 081023s2003 njua ob 000 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d IDEBK |d OCLCQ |d OCLCF |d NLGGC |d STF |d OCLCQ |d OCLCA |d JBG |d OCLCQ |d VTS |d AGLDB |d AU@ |d OCLCO |d M8D |d OCLCQ |d OCLCO |d K6U |d OCLCO |d OCLCQ | ||
| 020 | |a 9789812795359 |q (electronic bk.) | ||
| 020 | |a 9812795359 |q (electronic bk.) | ||
| 029 | 1 | |a DEBBG |b BV043168542 | |
| 029 | 1 | |a DEBSZ |b 422099619 | |
| 029 | 1 | |a GBVCP |b 802699855 | |
| 035 | |a (OCoLC)263146388 | ||
| 041 | 1 | |a eng |h jpn | |
| 050 | 4 | |a QA9.54 |b .T2813 2003eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Takeuti, Gaisi, |d 1926-2017. | |
| 240 | 1 | 0 | |a Gēderu. |l English |
| 245 | 1 | 0 | |a Memoirs of a proof theorist : |b Gödel and other logicians / |c [by Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell. |
| 246 | 3 | 0 | |a Proof theorist |
| 260 | |a River Edge, NJ : |b World Scientific, |c 2003. | ||
| 300 | |a 1 online resource (xviii, 135 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 1. On Gödel. 1.1. My fundamental conjecture and Gödel. 1.2. Gödel's mathematics. 1.3. The Gödelian "Boom" -- 2. Work of Paul Bernays and Kurt Gödel. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Gödel. 2.4. The incompleteness theorem of Gödel. 2.5. Gödel's method. 2.6. Gödel's set theory. 2.7. The continuum problem and unpublished works -- 3. Hilbert and Gödel. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Gödel. 3.5. Postscript -- 4. Short biographies of logicians. 4.1. Kurt Gödel. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdös. 4.4. Alfred Tarski. 4.5. A. Heyting. 4.6. Alonzo Church. 4.7. S.C. Kleene. 4.8. Georg Kreisel -- 5. Set theory and related topics. 5.1. The meaning and significance of the axiom of determinateness. 5.2. The future and Gödel's obsession. 5.3. Set theory and computer science. 5.4. Summing-up -- 6. From Hilbert to Gödel. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. Über das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Gödel enters the arena. 6.6. The disintegration of Hilbert School -- 7. Axioms of arithmetic and consistency -- the second problem of Hilbert -- 8. A report from Gödel '96. 8.1. A program on a new axiom. 8.2. Gödel's program on the continuum. 8.3. On Hao Wang. 8.4. Gödel's theory of relativity. 8.5. Gödel in Brno -- 9. Having read "Gödel Remembered" -- 10. A tribute to the memory of Professor Gödel. | |
| 520 | |a This volume is a translation of the book Gödel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Gödel, Takeuti's personal recollections, and his interpretation of Gödel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as the author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order logic. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 600 | 1 | 0 | |a Gödel, Kurt. |
| 600 | 1 | 7 | |a Gödel, Kurt. |2 fast |0 (OCoLC)fst00030398 |
| 650 | 0 | |a Proof theory. | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
| 776 | 0 | 8 | |i Print version: |a Takeuti, Gaisi, 1926- |s Gēderu. English. |t Memoirs of a proof theorist. |d River Edge, NJ : World Scientific, 2003 |z 9812382798 |z 9789812382795 |w (DLC) 2003278179 |w (OCoLC)53469470 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=235638 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 235638 | ||
| 938 | |a YBP Library Services |b YANK |n 2895763 | ||
| 994 | |a 92 |b IZTAP | ||