Skip to main content
SpringerLink
Log in

Hilberts Logik. Von der Axiomatik zur Beweistheorie

  • Überblick
  • Published:
NTM International Journal of History & Ethics of Natural Sciences, Technology & Medicine Aims and scope Submit manuscript

Abstract

This paper gives a survey of David Hilbert's (1862–1943) changing attitudes towards logic. The logical theory of the Göttingen mathematician is presented as intimately linked to his studies on the foundation of mathematics. Hilbert developed his logical theory in three stages: (1) in his early axiomatic programme until 1903 Hilbert proposed to use the traditional theory of logical inferences to prove the consistency of his set of axioms for arithmetic. (2) After the publication of the logical and set-theoretical paradoxes by Gottlob Frege and Bertrand Russell it was due to Hilbert and his closest collaborator Ernst Zermelo that mathematical logic became one of the topics taught in courses for Göttingen mathematics students. The axiomatization of logic and set-theory became part of the axiomatic programme, and they tried to create their own consistent logical calculi as tools for proving consistency of axiomatic systems. (3) In his struggle with intuitionism, represented by L. E. J. Brouwer and his advocate Hermann Weyl, Hilbert, assisted by Paul Bemays, created the distinction between proper mathematics and meta-mathematics, the latter using only finite means. He considerably revised the logical calculus of thePrincipia Mathematica of Alfred North Whitehead and Bertrand Russell by introducing the ε-axiom which should serve for avoiding infinite operations in logic.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Literatur

  • Ackermann, Wilhelm, 1924/25: “Begründung des ‘tertium non datur’ mittels der Hilbertschen Theorie der Widerspruchsfreiheit”.Mathematische Annalen 93, 1–36.

    Article  MathSciNet  MATH  Google Scholar 

  • Anellis, Irving H., 1993: “Joon Fang of Jaean—A Retrospective”.Modern Logic 3, 145–155.

    MathSciNet  MATH  Google Scholar 

  • Bell, John L., 1993a: “Hilbert's ɛ-Operator in Intuitionistic Type Theories”.Mathematical Logic Quarterly 39, 323–337.

    Article  MathSciNet  MATH  Google Scholar 

  • —, 1993b: “Hilbert's ɛ-Operator and Classical Logic”.Journal of Philosophical Logic, 22, 1–18.

    Article  MathSciNet  MATH  Google Scholar 

  • Bernays, Paul, 1930/31: “Die Philosophie der Mathematik und die Hilbertsche Beweistheorie”.Blätter für Deutsche Philosophie 4, 326–367.

    Google Scholar 

  • Blumenthal, Otto, 1935: “Lebensgeschichte”. In: Hilbert 1935, 388–429.

  • Brouwer, Luitzen Egbertus Jan, 1907:Over de Grondslagen der Wiskunde. Akademisch Proefschrift, Amsterdam/Leiden.

    MATH  Google Scholar 

  • — 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.

    Article  Google Scholar 

  • Fang, Joon, 1970:Hilbert. Towards a Philosophy of Modern Mathematics II, Paideia: Hauppauge.

    MATH  Google Scholar 

  • Frege, Gottlob, 1893:Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. Bd. 1, Hermann Pohle: Jena. Repr. Olms: Hildesheim 1966.

    MATH  Google Scholar 

  • —, 1903:Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet Bd. 2, Hermann Pohle: Jena. Repr. Olms: Hildesheim 1966.

    MATH  Google Scholar 

  • —, 1976:Wissenschaftlicher Briefwechsel, hrsg. v. Gottfried Gabriel u.a. Felix Meiner: Hamburg (=Frege,Nachgelassene Schriften und Wissenschaftlicher Briefwechsel; 2).

    Google Scholar 

  • 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.

    MathSciNet  MATH  Google Scholar 

  • Garciadiego Dantan, Alejandro Ricardo, 1992:Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’. Birkhäuser: Basel/Boston/Berlin.

    Google Scholar 

  • Gentzen, Gerhard 1936: “Die Widerspruchsfreiheit der reinen Zahlentheorie”.Mathematische Annalen 112, 493–656. Repr. (separat) Wissenschaftliche Buchgesellschaft: Darmstadt 1967.

    Article  MathSciNet  MATH  Google Scholar 

  • 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.

    Article  Google Scholar 

  • 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].

    Google Scholar 

  • Hilbert, David, 1900a: “Über den Zahlbegriff”,Jahresbericht der Deutschen Mathematiker-Vereinigung 8, 180–184.

  • —, 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.

    Google Scholar 

  • Hilbert, David, 1905a: “Über die Grundlagen der Logik und der Arithmetik”. In: Krazer (Hrsg.) 1905, 174–185.

  • Hilbert, David 1905b:Logische Principien des mathematischen Denkens. Vorlesung SS 1905, Ausarbeitung von Ernst Hellinger (Bibliothek des Mathematischen Seminars der Universität Göttingen).

  • 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).

  • —, 1918: “Axiomatisches Denken”.Mathematische Annalen 78, 405–415.

    Article  MathSciNet  Google Scholar 

  • —, 1922: “Neubegründung der Mathematik. Erste Mitteilung”.Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität 1, 157–177.

    Article  Google Scholar 

  • —, 1923: “Die logischen Grundlagen der Mathematik”.Mathematische Annalen 88, 151–165. Wieder in Hilbert 1935, 178–191.

    Article  MathSciNet  Google Scholar 

  • —, 1926: “Über das Unendliche”.Mathematische Annalen 95, 161–190. Wieder in: Hilbert 1964, 79–108; in Auszügen in Thiel (Hrsg.) 1982, 179–199.

    Google Scholar 

  • —, 1935:Gesammelte Abhandlungen. Bd. 3:Analysis, Grundlagen der Mathematik, Physik Verschiedenes, Lebensgeschichte. Springer Verlag: Berlin/Heidelberg; 2. Aufl., Springer: Berlin/Heidelberg/New York 1970.

    Google Scholar 

  • Hilbert, David, 1964:Hilbertiana. Fünf Aufsätze. Wissenschaftliche Buchgesellschaft: Darmstadt.

  • Hilbert, David/Wilhelm Ackermann, 1928:Grundzüge der theoretischen Logik. Springer: Berlin (=Grundlehren der mathematischen Wissenschaften; 27).

    MATH  Google Scholar 

  • Hilbert, David/Paul Bernays, 1934:Grundlagen der Mathematik. Bd. 1, Springer: Berlin (=Grundlehren der mathematischen Wissenschaften; 40).

    Google Scholar 

  • —, 1939:Grundlagen der Mathematik. Bd. 2, Springer: Berlin (=Grundlehren der mathematischen Wissenschaften; 41).

    Google Scholar 

  • 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).

    Google Scholar 

  • Krazer, Adolf (Hrsg.), 1905:Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8, bis 13. August 1904. Leipzig.

  • Lauener, Henri, 1978: “Paul Bernays (1888–1977)”.Zeitschrift für allgemeine Wissenschaftstheorie 9, 13–20.

    Article  MathSciNet  Google Scholar 

  • Lorenzen, Paul, 1951: “Die Widerspruchsfreiheit der klassischen Analysis”.Mathematische Zeitschrift 54, 1–24.

    Article  MathSciNet  MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Mehrtens, Herbert, 1990:Moderne, Sprache, Mathematik. Eine Geschichte des Streits um die Grundlagen der Disziplin und des Subjekts formaler Systeme. Suhrkamp: Frankfurt a.M.

    Google Scholar 

  • Moore, Gregory H./Alejandro Garciadiego, 1981: “Burali-Forti's Paradox: A Reappraisal of Its Origins”.Historia Mathematica 8, 319–350.

    Article  MathSciNet  MATH  Google Scholar 

  • Mosterín, Jesús, 1980: “La polemica entre Frege y Hilbert acerca del metodo axiomatico”.Teorema 10, 287–306.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    MATH  Google Scholar 

  • — 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.

    Article  MathSciNet  MATH  Google Scholar 

  • — 1992: “Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland”.Berichte zur Wissenschaftsgeschichte 15, 27–38.

    Article  MathSciNet  MATH  Google Scholar 

  • — 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • Rang, Bernhard, 1979: “Einleitung des Herausgebers”. In: Husserl 1979, IX–LVI.

  • Rang, Bernhard/W. Thomas, 1981: “Zermelo's Discovery of the ‘Russell Paradox’”.Historia Mathematica 8, 15–22.

    Article  MathSciNet  MATH  Google Scholar 

  • Reid, Constance, 1970:Hilbert. With an Appreciation of Hilbert's Mathematical Work by Hermann Weyl. Springer: New York/Heidelberg/Berlin.

    MATH  Google Scholar 

  • Russell, Bertrand, 1903:The Principles of Mathematics. The University Press: Cambridge [als “Vol. I”]. Allen & Unwin: London,21937. Paperback edition Routledge: London 1992.

    MATH  Google Scholar 

  • 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.

    Google Scholar 

  • Slater, B.H., 1990: “Using Hilbert's Calculus”.Logique & Analyse 33, Nr. 120–130, 45–67.

    MathSciNet  MATH  Google Scholar 

  • —, 1991: “The Epsilon Calculus and its Applications”.Grazer Philosophische Studien 41, 175–205.

    Google Scholar 

  • Smoryński, Craig, 1988: “Hilbert's Programme”.CWI Quarterly 1, Nr. 4, 3–59.

    MathSciNet  MATH  Google Scholar 

  • Thiel, Christian, 1972.Grundlagenkrise und Grundlagenstreit. Studie über das normative Fundament der Wissenschaften am Beispiel von Mathematik und Sozialwissenschaft Anton Hain: Meisenheim a. Glan.

    MATH  Google Scholar 

  • —, 1982:Erkenntnistheoretische Grundlagen der Mathematik. Gerstenberg: Hildesheim (=Seminar-Textbücher; 2).

    Google Scholar 

  • —, 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.

    Google Scholar 

  • —, 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • —, 1921: “Über die neue Grundlagenkrise der Mathematik. (Vorträge, gehalten im mathematischen Kolloquium Zürich)”.Mathematische Zeitschrift 10, 39–79.

    Article  MathSciNet  Google Scholar 

  • —, 1944: “David Hilbert and His Mathematical Work”.Bulletin of the American Mathematical Society 50, 612–654.

    Article  MathSciNet  MATH  Google Scholar 

  • Whitehead, Alfred North/Bertrand Russell, 1910:Principia Mathematica. Bd. 1, Cambridge University Press: Cambridge, England,21925.

    MATH  Google Scholar 

  • Zermelo, Ernst, 1908a: “Untersuchungen über die Grundlagen der Mengenlehre. I”.Mathematische Annalen 65, 261–281.

    Article  MathSciNet  MATH  Google Scholar 

  • —, 1908b:Mathematische Logik. Sommer-Semester 1908. Vorlesungsmanuskript, UB Freiburg i.Br., Nachlaß Zermelo, Kapsel 2.

    Google Scholar 

  • —, 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Philosophie der Universität Erlangen-Nürnberg, Bismarckstr. 1, D-91054, Erlangen

    Volker Peckhaus

Authors
  1. Volker Peckhaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Vortrag, gehalten am 6. Mai 1993 im Rahmen einer Vortragsreihe zum Hilbert-Jubiläumsjahr des Fachbereichs Mathematik der Georg-August-Universität Göttingen und am 16. Dezember 1993 im Rahmen des Symposiums “David Hilbert und die Herausbildung der modernen Mathematik” der Sächsischen Akademie der Wissenschaften zu Leipzig und des Karl-Sudhoff-Instituts der Universität Leipzig.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Peckhaus, V. Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM N.S. 3, 65–86 (1995). https://doi.org/10.1007/BF02913699

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02913699

Search

Navigation