Description: 1: John W. Dawson, Jr.: The Nachlass of Kurt Gdel: an overview2: Cheryl A. Dawson: Gdel's Gabelsberger shorthand3: Warren Goldfarb: Gdel *1930c: Introductory note to *1930c4: Lecture on completeness of the functional calculus5: Stephen C. Kleene: Gdel *1931?: Introductory note to *1931?6: On undecidable sentences7: Solomon Feferman: Godel *1933c: Introductory note to *1933c8: The present situation in the foundations of mathematics9: Israel Halperin: Godel *1933?: Introductory note to *1933?10: Simplified proof of a theorem of Steinitz11: Wilfried Sieg and Charles Parsons: Godel *1938a: Introductory note to *1938a12: Lecture at Zilsel's13: Robert M. Solovay: Godel *1939b: Introductory note to *1939b and *1940a14: Lecture at Gttingen15: Martin Davis: Godel *193?: Introductory note to *193?16: Undecidable diophantine propositions17: Godel *1940a18: Lecture on the consistency of the continuum hypothesis19: A.S. Troelstra: Godel *1941: Introductory note to *194120: In what sense is intuitionistic logic constructive?21: Howard Stein: Godel *1946/9: Introductory note to *1946/922: Some observations about the relationship between theory of relativity and Kantian philosophy23: David B. Malament: Godel *1949b: Introductory note to *1949b24: Lecture on rotating universes25: George Boolos: Godel *1951: Introductory note to *195126: Some basic theorems on the foundations of mathematics and their implications27: Warren Goldfarb: Godel *1953/9: Introductory note to *1953/928: Is mathematics syntax of language? Version III29: Is mathematics syntax of language? Version V30: Dagfinn Fllesdal: Godel *1961/?: Introductory note to *1961/?31: The modern development of the foundations of mathematics in the light of philosophy32: Robert M. Adams: Godel *1970: Introductory note to *197032: Ontological proof33: Robert M. Solovay: Godel *1970a: Introductory note to *1970a, *1970b and *1970c34: Some considerations leading to the probable conclusion that the true power of the continuum is N[235: Godel *1970b36: A proof of Cantor's continuum hypothesis from a highly plausible axiom about orders of growth37: Godel *1970c38: Unsent letter to Alfred TarskiAppendix A: Excerpt from *1946/9-AAppendix B: Texts relating to the ontological proof

Please Wait