Hilbert's programs: 1917-1922

Bulletin of Symbolic Logic

Volumn 5, Issue 1, 1999, Pages 1-44

  Sieg, Wilfried ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033439938     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421139     Document Type: Article

References (110)

1. VITO MICHELE ABRUSCI, "Proof", "theory", and "foundations" in Hilbert's mathematical work from 1885 to 1900, Italian studies in the philosophy of science (M. L. Dalla Chiara, editor), Dordrecht, 1981, pp. 453-491.
2. _, David Hilbert's 'Vorlesungen' on logic and foundations of mathematics, Atti del convegno internazionale di storia della logica, San Gimignano, 1987 (G. Corsi, C. Mangione, and M. Mugnai, editors), 1989, pp. 333-338.
3. WILHELM ACKERMANN, Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, Mathematische Annalen, vol. 93 (1925), pp. 1-36.
4. William Aspray and Philip Kitcher (editors), History and philosophy of modern mathematics, Minnesota Studies in the Philosophy of Science, vol. XI, Minneapolis, 1988.
5. HEINRICH BEHMANN, Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead, Dissertation, Göttingen, 1918.
6. PAUL BERNAYS, Beiträge zur axiomatischen Behandlung des Logik-Kalküls, Habilitation, Göttingen, 1918.
7. _, Hilberts Bedeutung für die Philosophie der Mathematik, Die Naturwissenschaften, vol. 4 (1922), pp. 93-99.
8. _, Über Hilberts Gedanken zur Grundlegung der Mathematik, Jahresberichte DMV, vol. 31 (1922), pp. 10-19.
9. _, Axiomatische Untersuchung des Aussagen-Kalküls der "Principia Mathematica", Mathematische Zeitschrift, vol. 25 (1926), pp. 305-320.
10. _, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, 1930, in [16], pp. 17-61.
11. _, Über den Platonismus in der Mathematik, 1934, in [16], pp. 62-78.
12. _, Hilberts Untersuchungen über die Grundlagen der Arithmetik, 1935, in [71], pp. 196-216.
13. _, Mathematische Existenz und Widerspruchsfreiheit, 1950, in [16], pp. 92-106.
14. _, Zur Beurteilung der Situation in der beweistheoretischen Forschung, Revue internationale de philosophie, vol. 8 (1954), pp. 9-13, Dicussion, pp. 15-21.
15. _, Hilbert, David, Encyclopedia of philosophy (P. Edwards, editor), vol. 3, New York, 1967, pp. 496-504.
16. _, Abhandlungen zur Philosophie der Mathematik, Wissenschaftliche Buchgesellschaft, Darmstadt, 1976.
17. _, A short biography, Sets and classes (Gert H. Müller, editor), North-Holland, Amsterdam, 1976, pp. xi-xiii.
18. L. E. J. BROUWER, Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, Erster Teil, Allgemeine Mengenlehre (1918), Koninklijke Akademie van wetenschappen te Amsterdam, le Sectie, deel XII., no. 5, pp. 1-43.
19. _, Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten, Zweiter Teil, Theorie der Punktmengen (1919), Koninklijke Akademie van wetenschappen te Amsterdam, le Sectie, deel XII, no. 7, pp. 1-33.
20. _, Intuitionistische Mengenlehre, Jahresberichte DMV, vol. 28 (1919), pp. 203-208, translated in [78].
21. _, Besitzt jede reelle Zahl eine Dezimalbruchentwicklung?, Mathematische Annalen, vol. 83 (1921), pp. 201-10.
22. WILFRIED BUCHHOLZ, SOLOMON FEFERMAN, WOLFRAM POHLERS, and WILFRIED SIEG, Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1981.
23. GEORG CANTOR, Letters to Hilbert, 1897/9, in [86].
24. _, Letter to Dedekind, 1899, in [101], pp. 113-117.
25. RICHARD DEDEKIND, Stetigkeit und irrationale Zahlen, 1872, in [33], pp. 315-324.
26. _, Sur la théorie des nombres entiers algébriques, Bulletin des Sciences mathématiques et astronomiques (1877), pp. 1-121, partially reprinted in [33], pp. 262-296.
27. _, Was sind und mis sollen die Zahlen?, 1888, in [33], pp. 335-391.
28. _, Letter to Keferstein, 1890, in [101], pp. 98-103.
29. BURTON DREBEN and JEAN VAN HEIJENOORT, Introductory note to [34], 1986, pp. 44-59.
30. William B. Ewald (editor), From Kant to Hilbert - A source book in the foundations of mathematics, two volumes, Oxford University Press, 1996.
31. SOLOMON FEFERMAN, Hilbert's Program relativized: proof-theoretical and foundational reductions, Journal of Symbolic Logic, vol. 53 (1988), no. 2, pp. 364-384.
32. Günter Frei (editor), Der Briefwechsel David Hilbert-Felix Klein (1886-1918), Göttingen, 1985.
33. Fricke, Noether, and Ore (editors), Gesammelte mathematische Werke, Dritter Band, Braunschweig, 1932.
34. KURT GÖDEL, Über die Vollständigkeit des Logikkalküls, Dissertation, Vienna, 1929, reprinted and translated in [43], pp. 44-101.
35. _, Die Vollständigkeit der Axiome des logischen Funktionenkalküls, 1930, reprinted and translated in [43], pp. 102-123.
36. _, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, 1931, reprinted and translated in [43], pp. 126-195.
37. _, The present situation in the foundations of mathematics, 1933, in [45], pp. 36-53.
38. _, Zur intuitionistischen Arithmetik und Zahlentheorie, 1933, reprinted and translated in [43], pp. 282-295.
39. _, Vortrag by Zilsel, 1938, in [45], pp. 62-113.
40. _, In what sense is intuitionistic logic constructive?, 1941, in [45], pp. 186-200.
41. _, Russell's mathematical logic, 1944, in [44], pp. 102-141.
42. _, Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes, 1958, in [44], pp. 217-251.
43. _, Collected works, vol. I, Oxford University Press, Oxford, New York, 1986.
44. _, Collected works, vol. II, Oxford University Press, Oxford, New York, 1990.
45. _, Collected works, vol. III, Oxford University Press, Oxford, New York, 1995.
46. WARREN GOLDFARB, Logic in the twenties: the nature of the quantifier, Journal of Symbolic Logic, vol. 44 (1979), no. 3, pp. 351-368.
47. MICHAEL HALLETT, Physicalism, reductionism and Hilbert, Physicalism in mathematics (A. D. Irvine, editor), Kluwer, Dordrecht, 1989, pp. 183-257.
48. _, Hilbert and logic, Québec studies in the philosophy of science I (M. Marion and R. S. Cohen, editors), Kluwer, Dordrecht, 1995, pp. 135-187.
49. DAVID HILBERT, Grundlagen der Geometrie, Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, Teubner, Leipzig, 1899, pp. 1-92.
50. _, Grundlagen der Geometrie, Leipzig and Berlin, 1900, 5. edition, 1922.
51. _, Über den Zahlbegriff, Jahresberichte DMV, vol. 8 (1900), pp. 180-194.
52. _, Über die Grundlagen der Logik und Arithmetik, in [50], pp. 243-258, 1905. translated in [101], pp. 129-138.
53. _, Zahlbegriff und Prinzipienfragen in der Mathematik, 1908, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
54. _, Elemente und Prinzipienfragen der Mathematik, 1910, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
55. _, Grundlagen der Mathematik und Physik, 1913, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
56. _, Prinzipien der Mathematik, 1913, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
57. _, Probleme und Prinzipien der Mathematik, 1914/15, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
58. _, Mengenlehre, 1917, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
59. _, Prinzipien der Mathematik, 1917/18, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
60. _, Axiomatisches Denken, Mathematische Annalen, vol. 78 (1918), pp. 405-415.
61. _, Natur und mathematisches Erkennen, 1919, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
62. _, Logik-Kalkül, winter term 1920, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
63. _, Probleme der mathematischen Logik, summer term 1920, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
64. _, Grundlagen der Mathematik, 1921/22, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
65. _, Neubegründung der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, vol. 1 (1922), pp. 157-177.
66. _, Logische Grundlagen der Mathematik, 1922/23, unpublished lectures notes in the Hilbert Nachlaß at the University of Göttingen.
67. _, Die logischen Grundlagen der Mathematik, Mathematische Annalen, vol. 88 (1923), pp. 151-165.
68. _, Über das Unendliche, Mathematische Annalen, vol. 95 (1926), pp. 161-190, translated in [101], pp. 367-392.
69. _, Die Grundlagen der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, vol. 6 (1928), no. 1/2, pp. 65-85.
70. _, Probleme der Grundlegung der Mathematik, Mathematische Annalen, vol. 102 (1929), pp. 1-9.
71. _, Gesammelte Abhandlungen, 3. Band, Berlin, 1935.
72. DAVID HILBERT and WILHELM ACKERMANN, Grundzüge der theoretischen Logik, Springer-Verlag, Berlin, 1928.
73. DAVID HILBERT and PAUL BERNAYS, Grundlagen der Mathematik, vol. 1, Springer-Verlag, Berlin, 1934, second edition, 1968.
74. _, Grundlagen der Mathematik, vol. 2, Springer-Verlag, Berlin, 1939, second edition, 1970.
75. HELMUT KNESER, Private Notes of [64], 1921/22.
76. _, Private Notes of [66], 1922/23.
77. PAOLO MANCOSU, Between Russell and Hilbert: Behmann on the foundations of mathematics, manuscript, 1998.
78. _, From Brouwer to Hilbert: The debate on the foundations of mathematics in the 1920s, New York, Oxford, 1998.
79. GREGORY MOORE, The emergence of first-order logic, 1988, in [4], pp. 93-135.
80. _, Hilbert and the emergence of modern mathematical logic, Theoria, vol. 12 (1997), no. 1, pp. 65-90.
81. VOLKER PECKHAUS, Hilbertprogramm und Kritische Philosophie, Vandenhoeck and Ruprecht, Göttingen, 1990.
82. _, Hilberts Logik. Von der Axiomatik zur Beweistheorie, International Zeitschrift für Geschichte und Ethik der Naturwissenschaft, Technik und Medizin, vol. 3 (1995), pp. 65-86.
83. HENRI POINCARÉ, Les mathématiques et la logique, Revue de métaphysique et de morale, vol. 13 (1905), pp. 815-835, translated in [30, vol. 2], pp. 1021-1038.
84. _, Les mathématiques et la logique, Revue de métaphysique et de morale, vol. 14 (1906), pp. 17-34, translated in [30, vol. 2], pp. 1038-1052.
85. _, Les mathématiques et la logique, Revue de métaphysique et de morale, vol. 14 (1906), pp. 294-317, translated in [30, vol. 2], pp. 1052-1071.
86. WALTER PURKERT and HANS JOACHIM ILGAUDS, Georg Cantor, Basel, Boston, Stuttgart, 1987.
87. FRANK PLUMPTON RAMSEY, The foundations of mathematics, Proceedings of the London Mathematical Society, series 2, vol. 25 (1925), pp. 338-384.
88. CONSTANCE REID, Hilbert, Springer-Verlag, Berlin, Heidelberg, New York, 1970.
89. BERTRAND RUSSELL, Mathematical logic as based on the theory of types, American Journal of Mathematics, vol. 30 (1908), pp. 222-262, reprinted in [101], pp. 150-182.
90. WILFRIED SIEG, Foundations for analysis and proof theory, Synthese, vol. 60 (1984), no. 2, pp. 159-200.
91. _, Relative Konsistenz, Computation theory and logic (E. Börger, editor), Lecture Notes in Computer Science, no. 270, Springer-Verlag, Berlin, 1987, pp. 360-381.
92. _, Hilbert's program sixty years later, Journal of Symbolic Logic, vol. 53 (1988), no. 2, pp. 338-348.
93. _, Relative consistency and accessible domains, Synthese, vol. 84 (1990), pp. 259-297.
94. _, Eine neue Perspektive für das Hilbertsche Program, Dialektik (1994), pp. 163-180.
95. _, Aspects of mathematical experience, Philosophy of mathematics today (E. Agazzi and G. Darvas, editors), Kluwer, Dordrecht, 1997, pp. 195-217.
96. THORALF SKOLEM, Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, 1922, translated in [101], pp. 290-301.
97. _, Über die Grundlagendiskussionen in der Mathematik, Den syvende skandinaviske matematikerkongress i Oslo 19-22 August 1929, Broggers, Oslo, 1930, pp. 3-21.
98. HOWARD STEIN, Logos, logic, logistike: Some philosophical remarks on the 19th century transformation of mathematics, 1988, in [4], pp. 238-259.
99. MICHAEL-MARKUS TOEPELL, Über die Entstehung von David Hilberts "Grundlagen der Geometrie", Göttingen, 1986.
100. DIRK VAN DALEN, Hermann Weyl's intuitionistic mathematics, this BULLETIN, vol. 1 (1995), no. 2, pp. 145-169.
101. Jean van Heijenoort (editor), From Frege to Gödel, a source book in mathematical logic, 1879-1931, Harvard University Press, Cambridge, 1967.
102. JOHANN VON NEUMANN, Die formalistische Grundlegung der Mathematik, Erkenntnis, vol. 2 (1931), pp. 116-121.
103. HERMANN WEYL, Über die Definitionen der mathematischen Grundbegriffe, Mathematisch-naturwissenschaftliche Blätter, vol. 7 (1910), pp. 93-95, 109-113.
104. _, Das Kontinuum, Veit, Leipzig, 1918, English translation by S. Pollard and T. Bole, Dover Publications, New York, 1987.
105. _, Über die neue Grundlagenkrise der Mathematik, Mathematische Zeitschrift, vol. 10 (1921), pp. 39-79.
106. _, Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag über die Grundlagen der Mathematik, 1927, translated in [101], pp. 480-484.
107. ALFRED NORTH WHITEHEAD and BERTRAND RUSSELL, Principia Mathematica, vol. 1, Cambridge University Press, Cambridge, 1910.
108. _, Principia Mathematica, vol. 2, Cambridge University Press, Cambridge, 1912.
109. _, Principia Mathematica, vol. 3, Cambridge University Press, Cambridge, 1913.
110. E. Zermelo (editor), Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, Berlin, 1932.