|
|
|
|
| LEADER |
00000cam a2200000M 4500 |
| 001 |
ocn815752550 |
| 003 |
OCoLC |
| 005 |
20240623213015.0 |
| 006 |
m o d |
| 007 |
cr un|---uuuuu |
| 008 |
121012s2003 xx o 000 0 eng d |
| 040 |
|
|
|a IDEBK
|b eng
|e pn
|c IDEBK
|d OCLCQ
|d EBLCP
|d DEBSZ
|d OCLCQ
|d MERUC
|d ZCU
|d ICG
|d OCLCO
|d OCLCF
|d OCLCQ
|d OCLCO
|d DKC
|d OCLCQ
|d OCLCO
|d LEAUB
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|d SXB
|
| 019 |
|
|
|a 1086440724
|
| 020 |
|
|
|a 1281935751
|
| 020 |
|
|
|a 9781281935755
|
| 020 |
|
|
|a 9789812795359
|
| 020 |
|
|
|a 9812795359
|
| 020 |
|
|
|z 9812382798
|
| 020 |
|
|
|z 9789812382795
|
| 035 |
|
|
|a (OCoLC)815752550
|z (OCoLC)1086440724
|
| 041 |
1 |
|
|a eng
|h jpn
|
| 050 |
|
4 |
|a QA9
|
| 072 |
|
7 |
|a PBCD
|2 bicssc
|
| 049 |
|
|
|a HCDD
|
| 245 |
0 |
0 |
|a Memoirs of a Proof Theorist :
|b Gödel and Other Logicians.
|
| 260 |
|
|
|b World Scientific
|c 2003.
|
| 300 |
|
|
|a 1 online resource
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 520 |
|
|
|a This volume is a translation of the book "Godel", written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the text is a memoir of K. Godel, Takeuti's personal recollections, and his interpretation of Godel's comprises attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. 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.
|
| 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.
|
| 600 |
1 |
0 |
|a Gödel, Kurt.
|
| 600 |
1 |
7 |
|a Gödel, Kurt
|2 fast
|1 https://id.oclc.org/worldcat/entity/E39PBJcWxmQRTDKHMpFdHmRFrq
|
| 650 |
|
0 |
|a Proof theory.
|
| 650 |
|
7 |
|a Proof theory
|2 fast
|
| 700 |
1 |
|
|a Passell, Nicholas.
|4 aut
|
| 720 |
|
|
|a Yasugi, Mariko.
|
| 758 |
|
|
|i has work:
|a Memoirs of a proof theorist (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGM8DwhWBMVFGmWvbTK7xP
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
1 |
|
|z 9812382798
|
| 776 |
1 |
|
|z 9789812382795
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=1681309
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|