Screen LibraryMemoirs of a proof theorist : Go del and other logicians /
This volume is a translation of the book Go del, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Go del, Takeuti's personal recollections, and his interpretation of Go del's attitudes towards mathematical logic. It also co...
Saved in:
| Main Authors: | |
|---|---|
| Corporate Authors: | |
| Group Author: | ; |
| Published: |
World Scientific Pub. Co.,
|
| Publisher Address: | Singapore ; River Edge, N.J. : |
| Publication Dates: | 2003. |
| Literature type: | eBook |
| Language: |
English Japanese |
| Subjects: | |
| Online Access: |
http://www.worldscientific.com/worldscibooks/10.1142/5202#t=toc |
| Summary: |
This volume is a translation of the book Go del, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K. Go del, Takeuti's personal recollections, and his interpretation of Go 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. |
| Carrier Form: | 1 online resource (xviii,135pages) : ports |
| ISBN: | 9789812795359 (electronic bk.) |
| CLC: | O141.2 |
| Contents: | 1. On Go del. 1.1. My fundamental conjecture and Go del. 1.2. Go del's mathematics. 1.3. The Go delian "Boom" -- 2. Work of Paul Bernays and Kurt Go del. 2.1. Bernays as a collaborator of Hilbert. 2.2. Set theory and proof theory of Bernays. 2.3. The completeness theorem of Go del. 2.4. The incompleteness theorem of Go del. 2.5. Go del's method. 2.6. Go del's set theory. 2.7. The continuum problem and unpublished works -- 3. Hilbert and Go del. 3.1. The completeness theorem. 3.2. The incompleteness theorem. 3.3. Set theory. 3.4. Hilbert for Go del. 3.5. Postscript -- 4. Short biographies of logicians. 4.1. Kurt Go del. 4.2. A.A. Fraenkel and Paul Bernays. 4.3. Paul Erdo 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 Go del's obsession. 5.3. Set theory and computer science. 5.4. Summing-up -- 6. From Hilbert to Go del. 6.1. Hilbert 1930. 6.2. Hilbert's Program. 6.3. ber das Unendliche. 6.4. The Hilbert School in 1930. 6.5. Go 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 Go del '96. 8.1. A program on a new axiom. 8.2. Go del's program on the continuum. 8.3. On Hao Wang. 8.4. Go del's theory of relativity. 8.5. Go del in Brno -- 9. Having read "Go del Remembered" -- 10. A tribute to the memory of Professor Go del. |