Book ID: CBB000501509

Memoirs of a Proof Theorist: Gödel and Other Logicians (2003)

unapi

Yasugi, Mariko (Author)
Passell, Nicholas (Author)


World Scientific


Publication Date: 2003
Physical Details: xviii + 135 pp.; ill.
Language: English

Description Originally published in Japanese as Gederu: Kurt Gödel, 1986.


Citation URI
https://data.isiscb.org/isis/citation/CBB000501509/

Similar Citations

Book Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Kleene, Stephen C.; Moore, Gregory H.; Solovay, Robert M.; Heijenoort, Jean van; (2001)
Collected Works, Volume 1: Publications, 1929--1936 (/isis/citation/CBB000630371/)

Book Tieszen, Richard L.; (2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic (/isis/citation/CBB001210605/)

Book Rédei, Miklós; Stöltzner, Michael; (2001)
John von Neumann and the Foundations of Quantum Physics (/isis/citation/CBB000100737/)

Article Michael Friedman; (2016)
Über drei Erscheinungen von Unterschied in der Mathematik (/isis/citation/CBB583491506/)

Book Stephen Budiansky; (2021)
Journey to the Edge of Reason: The Life of Kurt Gödel (/isis/citation/CBB142778671/)

Book Heijenoort, Jean van; (2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (/isis/citation/CBB000201415/)

Article Humberstone, Lloyd; (2003)
A Strange Remark Attributed to Gödel (/isis/citation/CBB000300864/)

Article Tieszen, Richard; (2002)
Gödel and the Intuition of Concepts (/isis/citation/CBB000300364/)

Article Franks, Curtis; (2009)
The Gödelian Inferences (/isis/citation/CBB001211043/)

Book Baaz, Matthias; (2011)
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (/isis/citation/CBB001210590/)

Book Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Parsons, Charles; Solovay, Robert M.; (2001)
Collected Works, Volume 3: Unpublished Essays and Lectures (/isis/citation/CBB000630355/)

Chapter Hodges, Wilfrid; (2009)
Set Theory, Model Theory, and Computability Theory (/isis/citation/CBB001210350/)

Book William Boos; Florence S. Boos; (2018)
Metamathematics and the Philosophical Tradition (/isis/citation/CBB060593902/)

Article Dawson, John W., Jr.; (2012)
Jean van Heijenoort and the Gödel Editorial Project (/isis/citation/CBB001214115/)

Article Manzano, Maria; Alonso, Enrique; (2014)
Completeness: From Gödel to Henkin (/isis/citation/CBB001213927/)

Book Kurt Godel; Solomon Feferman; John W. Dawson; Warren Goldfarb; Charles Parsons; Wilfried Sieg; (2013)
Kurt Gödel: Collected Works: Volume IV (/isis/citation/CBB660754544/)

Book Casti, John L.; DePauli, Werner; (2000)
Gödel: A Life of Logic (/isis/citation/CBB000520007/)

Book Juliette Kennedy; (2014)
Interpreting Godel: Critical Essays (/isis/citation/CBB427455296/)

Article Paseau, Alexander; (2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence (/isis/citation/CBB001024149/)

Book Gödel, Kurt; Feferman, Solomon; Dawson, John W., Jr.; Parsons, Charles; Solovay, Robert M.; Heijenoort, Jean van; (2001)
Collected Works, Volume 2: Publications, 1938--1974 (/isis/citation/CBB000630356/)

Authors & Contributors
Dawson, John W., Jr.
Gödel, Kurt
Feferman, Solomon
Solovay, Robert M.
Parsons, Charles D.
Heijenoort, Jean van
Concepts
Logic
Mathematics
Philosophy of mathematics
Philosophy
Collected works
Incompleteness theorems
Time Periods
20th century
Ancient
19th century
Places
Middle and Near East
Mesopotamia
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment