图书简介

1: John W. Dawson, Jr.: The Nachlass of Kurt G\"odel: an overview; 2: Cheryl A. Dawson: G\"odel’s Gabelsberger shorthand; 3: Warren Goldfarb: G\"odel *1930c: Introductory note to *1930c; 4: Lecture on completeness of the functional calculus; 5: Stephen C. Kleene: G\"odel *1931?: Introductory note to *1931?; 6: On undecidable sentences; 7: Solomon Feferman: Godel *1933c: Introductory note to *1933c; 8: The present situation in the foundations of mathematics; 9: Israel Halperin: Godel *1933?: Introductory note to *1933?; 10: Simplified proof of a theorem of Steinitz; 11: Wilfried Sieg and Charles Parsons: Godel *1938a: Introductory note to *1938a; 12: Lecture at Zilsel’s; 13: Robert M. Solovay: Godel *1939b: Introductory note to *1939b and *1940a; 14: Lecture at G\"ottingen; 15: Martin Davis: Godel *193?: Introductory note to *193?; 16: Undecidable diophantine propositions; 17: Godel *1940a; 18: Lecture on the consistency of the continuum hypothesis; 19: A.S. Troelstra: Godel *1941: Introductory note to *1941; 20: In what sense is intuitionistic logic constructive?; 21: Howard Stein: Godel *1946/9: Introductory note to *1946/9; 22: Some observations about the relationship between theory of relativity and Kantian philosophy; 23: David B. Malament: Godel *1949b: Introductory note to *1949b; 24: Lecture on rotating universes; 25: George Boolos: Godel *1951: Introductory note to *1951; 26: Some basic theorems on the foundations of mathematics and their implications; 27: Warren Goldfarb: Godel *1953/9: Introductory note to *1953/9; 28: Is mathematics syntax of language? Version III; 29: Is mathematics syntax of language? Version V; 30: Dagfinn F/ollesdal: Godel *1961/?: Introductory note to *1961/?; 31: The modern development of the foundations of mathematics in the light of philosophy; 32: Robert M. Adams: Godel *1970: Introductory note to *1970; 32: Ontological proof; 33: Robert M. Solovay: Godel *1970a: Introductory note to *1970a, *1970b and *1970c; 34: Some considerations leading to the probable conclusion that the true power of the continuum is N[2; 35: Godel *1970b; 36: A proof of Cantor’s continuum hypothesis from a highly plausible axiom about orders of growth; 37: Godel *1970c; 38: Unsent letter to Alfred Tarski; Appendix A: Excerpt from *1946/9-A; Appendix B: Texts relating to the ontological proof

Trade Policy 买家须知