Hilbert’s logic. From axiomatics to proof theory. (Hilberts Logik. Von der Axiomatik zur Beweistheorie.) (German) Zbl 0908.01010
This is a well-documented survey of the development of David Hilbert’s views on foundational questions, starting with the foundations of geometry in the 1890s and ending with the proof-theoretical programme of the 1920s. The paper is organized around the question of Hilbert’s understanding of logic and of its function in mathematics, the influences under which that understanding evolved, as well as its position in the foundational world of the 20th century.
Reviewer: V.V.Pambuccian (Phoenix)
MSC:
| 01A60 | History of mathematics in the 20th century |
| 03-03 | History of mathematical logic and foundations |
| 00A30 | Philosophy of mathematics |
Keywords:
proof theory; survey; development of David Hilbert’s views on foundational questions; geometry; logicBiographic References:
Hilbert, D.References:
| [1] | Ackermann, Wilhelm, 1924/25: ”Begründung des ’tertium non datur’ mittels der Hilbertschen Theorie der Widerspruchsfreiheit”.Mathematische Annalen 93, 1–36. · JFM 50.0023.02 · doi:10.1007/BF01449946 |
| [2] | Anellis, Irving H., 1993: ”Joon Fang of Jaean–A Retrospective”.Modern Logic 3, 145–155. · Zbl 0782.01022 |
| [3] | Bell, John L., 1993a: ”Hilbert’s -Operator in Intuitionistic Type Theories”.Mathematical Logic Quarterly 39, 323–337. · Zbl 0802.03005 · doi:10.1002/malq.19930390137 |
| [4] | –, 1993b: ”Hilbert’s -Operator and Classical Logic”.Journal of Philosophical Logic, 22, 1–18. · Zbl 0784.03008 · doi:10.1007/BF01049178 |
| [5] | Bernays, Paul, 1930/31: ”Die Philosophie der Mathematik und die Hilbertsche Beweistheorie”.Blätter für Deutsche Philosophie 4, 326–367. · JFM 56.0044.02 |
| [6] | Blumenthal, Otto, 1935: ”Lebensgeschichte”. In: Hilbert 1935, 388–429. |
| [7] | Brouwer, Luitzen Egbertus Jan, 1907:Over de Grondslagen der Wiskunde. Akademisch Proefschrift, Amsterdam/Leiden. |
| [8] | – 1925: ”Über die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik, insbesondere in der Funktionentheorie”.Journal für die reine und angewandte Mathematik 154, 1–7. · doi:10.1515/crll.1925.154.1 |
| [9] | Fang, Joon, 1970:Hilbert. Towards a Philosophy of Modern Mathematics II, Paideia: Hauppauge. · Zbl 0215.03402 |
| [10] | Frege, Gottlob, 1893:Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. Bd. 1, Hermann Pohle: Jena. Repr. Olms: Hildesheim 1966. |
| [11] | –, 1903:Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet Bd. 2, Hermann Pohle: Jena. Repr. Olms: Hildesheim 1966. · JFM 34.0071.05 |
| [12] | –, 1976:Wissenschaftlicher Briefwechsel, hrsg. v. Gottfried Gabriel u.a. Felix Meiner: Hamburg (=Frege,Nachgelassene Schriften und Wissenschaftlicher Briefwechsel; 2). · Zbl 0341.01019 |
| [13] | Freudenthal, Hans, 1957: ”Zur Geschichte der Grundlagen der Geometrie. Zugleich eine Besprechung der 8. Aufl. von Hilberts, Grundlagen der Geometrie”.Nieuw Archief voor Wiskunde (4) 5, 105–142. · Zbl 0078.12902 |
| [14] | Garciadiego Dantan, Alejandro Ricardo, 1992:Bertrand Russell and the Origins of the Set-theoretic ’Paradoxes’. Birkhäuser: Basel/Boston/Berlin. · Zbl 0787.01013 |
| [15] | Gentzen, Gerhard 1936: ”Die Widerspruchsfreiheit der reinen Zahlentheorie”.Mathematische Annalen 112, 493–656. Repr. (separat) Wissenschaftliche Buchgesellschaft: Darmstadt 1967. · Zbl 0014.38801 · doi:10.1007/BF01565428 |
| [16] | Gödel, Kurt, 1931: ”Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I”.Monatshefte für Mathematik und Physik 38, 173–198. · JFM 57.0054.02 · doi:10.1007/BF01700692 |
| [17] | Hilbert, David, 1899: ”Grundlagen der Geometrie”. In:Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen, hrsg. v. d. Fest-Comitee, B. G. Teubner. Leipzig, 1–92 [separat paginiert]. |
| [18] | Hilbert, David, 1900a: ”Über den Zahlbegriff”,Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–184. · JFM 31.0165.02 |
| [19] | –, 1900b: ”Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900”.Nachrichten von der königl. Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-physikalische Klasse aus dem Jahre 1900, 253–297. · JFM 31.0068.03 |
| [20] | Hilbert, David, 1905a: ”Über die Grundlagen der Logik und der Arithmetik”. In: Krazer (Hrsg.) 1905, 174–185. · JFM 36.0084.03 |
| [21] | Hilbert, David 1905b:Logische Principien des mathematischen Denkens. Vorlesung SS 1905, Ausarbeitung von Ernst Hellinger (Bibliothek des Mathematischen Seminars der Universität Göttingen). |
| [22] | Hilbert, David 1905c:Logische Principien des mathematischen Denkens. Vorlesung SS 1905, Ausarbeitung von Max Born (Niedersächsische Staats- und Universitätsbibliothek Göttingen, Cod. Ms. D. Hilbert 558a). |
| [23] | –, 1918: ”Axiomatisches Denken”.Mathematische Annalen 78, 405–415. · JFM 46.0062.03 · doi:10.1007/BF01457115 |
| [24] | –, 1922: ”Neubegründung der Mathematik. Erste Mitteilung”.Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 1, 157–177. · JFM 48.1188.01 · doi:10.1007/BF02940589 |
| [25] | –, 1923: ”Die logischen Grundlagen der Mathematik”.Mathematische Annalen 88, 151–165. Wieder in Hilbert 1935, 178–191. · JFM 48.1120.01 · doi:10.1007/BF01448445 |
| [26] | –, 1926: ”Über das Unendliche”.Mathematische Annalen 95, 161–190. Wieder in: Hilbert 1964, 79–108; in Auszügen in Thiel (Hrsg.) 1982, 179–199. · JFM 51.0044.02 |
| [27] | –, 1935:Gesammelte Abhandlungen. Bd. 3:Analysis, Grundlagen der Mathematik, Physik Verschiedenes, Lebensgeschichte. Springer Verlag: Berlin/Heidelberg; 2. Aufl., Springer: Berlin/Heidelberg/New York 1970. · Zbl 0013.05604 |
| [28] | Hilbert, David, 1964:Hilbertiana. Fünf Aufsätze. Wissenschaftliche Buchgesellschaft: Darmstadt. · Zbl 0156.24301 |
| [29] | Hilbert, David/Wilhelm Ackermann, 1928:Grundzüge der theoretischen Logik. Springer: Berlin (=Grundlehren der mathematischen Wissenschaften; 27). · JFM 54.0055.01 |
| [30] | Hilbert, David/Paul Bernays, 1934:Grundlagen der Mathematik. Bd. 1, Springer: Berlin (=Grundlehren der mathematischen Wissenschaften; 40). · Zbl 0009.14501 |
| [31] | –, 1939:Grundlagen der Mathematik. Bd. 2, Springer: Berlin (=Grundlehren der mathematischen Wissenschaften; 41). · Zbl 0020.19301 |
| [32] | Husserl, Edmund, 1979:Aufsätze und Rezensionen (1890, 1910), mit ergänzenden Texten, hrsg. v. Bernhard Rang, Nijhoff: The Hague/Boston/London (=Husserliana. Edmund Husserl, Gesammelte Werke; XXII). |
| [33] | Krazer, Adolf (Hrsg.), 1905:Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8, bis 13. August 1904. Leipzig. |
| [34] | Lauener, Henri, 1978: ”Paul Bernays (1888–1977)”.Zeitschrift für allgemeine Wissenschaftstheorie 9, 13–20. · doi:10.1007/BF01801939 |
| [35] | Lorenzen, Paul, 1951: ”Die Widerspruchsfreiheit der klassischen Analysis”.Mathematische Zeitschrift 54, 1–24. · Zbl 0042.01001 · doi:10.1007/BF01175131 |
| [36] | Lotze, Rudolf Hermann, 1880: ”Anmerkung über logischen Calcül”. In Lotze,Logik. Drei Bücher vom Denken, vom Untersuchen und vom Erkennen. 2. Aufl., Hirzel: Leipzig, 256–269. |
| [37] | Mehrtens, Herbert, 1990:Moderne, Sprache, Mathematik. Eine Geschichte des Streits um die Grundlagen der Disziplin und des Subjekts formaler Systeme. Suhrkamp: Frankfurt a.M. · Zbl 0978.00009 |
| [38] | Moore, Gregory H./Alejandro Garciadiego, 1981: ”Burali-Forti’s Paradox: A Reappraisal of Its Origins”.Historia Mathematica 8, 319–350. · Zbl 0471.01011 · doi:10.1016/0315-0860(81)90070-7 |
| [39] | Mosterín, Jesús, 1980: ”La polemica entre Frege y Hilbert acerca del metodo axiomatico”.Teorema 10, 287–306. |
| [40] | Nelson, Leonard, 1904b: ”Die kritische Methode und das Verhältnis der Psychologie zur Philosophie. Ein Kapitel aus der Methodenlehre”.Abhandlungen der Fries’schen Schule N.F. 1, Heft 1, 1–88. 1928: Kritische Philosophie und mathematische Axiomatik”.Unterrichtsblätter für Mathematik und Naturwissenschaften 34, 108–142. |
| [41] | Peckhaus, Volker, 1990a.Hilbertprogramm und Kritische Philosophie. Das Göttinger Modell interdisziplinärer Zusammenarbeit zwischen Mathematik und Philosophie. Vandenhoeck & Ruprecht: Göttingen (=Studien zur Wissenschafts-, Sozial- und Bildungsgeschichte der Mathematik, 7). · Zbl 0715.01018 |
| [42] | – 1990b: ”’Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen’. Ernst Zermelo in Göttingen”.History and Philosophy of Logic 11, 19–58. · Zbl 0692.01016 · doi:10.1080/01445349008837156 |
| [43] | – 1992: ”Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland”.Berichte zur Wissenschaftsgeschichte 15, 27–38. · Zbl 0756.01034 · doi:10.1002/bewi.19920150107 |
| [44] | – 1994: ”Logic in Transition: The Logical Calculi of Hilbert (1905) and Zermelo (1908)”. In:Logic and Philosophy of Science in Uppsala. Papers from the 9th International Congress of Logic, Methodology and Philosophy of Science hg. v. Dag Prawitz/Dag Westerståhl, Kluwer: Dordrecht/Boston/London (=Synthese Library; 236), 311–323. |
| [45] | Prawitz, Dag, 1993: ”Remarks on Hilbert’s Program for the Foundation of Mathematics”. In:Bridging the Gap. Philosophy. Mathematics, and Physics. Lectures on the Foundation of Science, hrsg. v. Giovanna Corsi/Maria Luisa Dalla Chiara/Gian Carlo Ghirardi. Kluwer: Dordrecht/Boston/London (=Boston Studies in the Philosophy of Science; 140). |
| [46] | Rang, Bernhard, 1979: ”Einleitung des Herausgebers”. In: Husserl 1979, IX–LVI. |
| [47] | Rang, Bernhard/W. Thomas, 1981: ”Zermelo’s Discovery of the ’Russell Paradox”’.Historia Mathematica 8, 15–22. · Zbl 0458.01009 · doi:10.1016/0315-0860(81)90002-1 |
| [48] | Reid, Constance, 1970:Hilbert. With an Appreciation of Hilbert’s Mathematical Work by Hermann Weyl. Springer: New York/Heidelberg/Berlin. · Zbl 0192.32601 |
| [49] | Russell, Bertrand, 1903:The Principles of Mathematics. The University Press: Cambridge [als ”Vol. I”]. Allen & Unwin: London,21937. Paperback edition Routledge: London 1992. |
| [50] | Scholz, Heinrich, 1942: ”David Hilbert. Der Altmeister der mathematischen Grundlagenforschung”.Kölnische Zeitung Nr. 32 v. 18.1.1942. Wieder in: ScholzMathesis Universalis. Abhandlungen zur Philosophie als strenger Wissenschaft, hrsg. v. Hans Hermes/Friedrich Kambartel/Joachim Ritter. Wissenschaftliche Buchgesellschaft: Darmstadt 1961, 279–290. |
| [51] | Slater, B.H., 1990: ”Using Hilbert’s Calculus”.Logique & Analyse 33, Nr. 120–130, 45–67. |
| [52] | –, 1991: ”The Epsilon Calculus and its Applications”.Grazer Philosophische Studien 41, 175–205. |
| [53] | Smoryński, Craig, 1988: ”Hilbert’s Programme”.CWI Quarterly 1, Nr. 4, 3–59. · Zbl 0665.03001 |
| [54] | Thiel, Christian, 1972.Grundlagenkrise und Grundlagenstreit. Studie über das normative Fundament der Wissenschaften am Beispiel von Mathematik und Sozialwissenschaft Anton Hain: Meisenheim a. Glan. · Zbl 0233.02001 |
| [55] | –, 1982:Erkenntnistheoretische Grundlagen der Mathematik. Gerstenberg: Hildesheim (=Seminar-Textbücher; 2). |
| [56] | –, 1984: C.T., Art. ”Hilbertprogramm”. In:Enzyklopädie Philosophie und Wissenschaftstheorie, hrsg. v. Jürgen Mittelstraß. Bd. 2:H-O, B.I.:Mannheim/Wien/Zürich, 103–105. |
| [57] | –, 1992: ”Kurt Gödel: Die Grenzen der Kalküle”. In:Grundprobleme der großen Philosophen. Philosophie der Neuzeit, Bd. 6, hrsg. v. Josef Speck. Vandenhoeck & Ruprecht: Göttingen (=Uni-Taschenbücher, 1654), 138–181. |
| [58] | Weyl, Hermann, 1918:Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis. Leipzig. Repr. in:Das Kontinuum und andere Monographien. Chelsea Publishing Comp.: New York o.J. |
| [59] | –, 1921: ”Über die neue Grundlagenkrise der Mathematik. (Vorträge, gehalten im mathematischen Kolloquium Zürich)”.Mathematische Zeitschrift 10, 39–79. · JFM 48.0047.14 · doi:10.1007/BF02102305 |
| [60] | –, 1944: ”David Hilbert and His Mathematical Work”.Bulletin of the American Mathematical Society 50, 612–654. · Zbl 0060.01521 · doi:10.1090/S0002-9904-1944-08178-0 |
| [61] | Whitehead, Alfred North/Bertrand Russell, 1910:Principia Mathematica. Bd. 1, Cambridge University Press: Cambridge, England,21925. · Zbl 0877.01042 |
| [62] | Zermelo, Ernst, 1908a: ”Untersuchungen über die Grundlagen der Mengenlehre. I”.Mathematische Annalen 65, 261–281. · JFM 39.0097.03 · doi:10.1007/BF01449999 |
| [63] | –, 1908b:Mathematische Logik. Sommer-Semester 1908. Vorlesungsmanuskript, UB Freiburg i.Br., Nachlaß Zermelo, Kapsel 2. |
| [64] | –, 1908c:Mathematische Logik. Vorlesungen gehalten von Prof. Dr. E. Zermelo zu Göttingen im S.S. 1908. Ausgearbeitet von Kurt Grelling, UB Freiburg i.Br., Nachlaß Zermelo, Kapsel 4. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
