Die 1925 von Wilhelm Ackermann an der Universität Göttingen eingereichte Doktorarbeit lieferte einen Konsistenzbeweis für die Arithmetik und markierte einen bedeutenden Fortschritt in der Beweistheorie. Diese Arbeit entstand aus dem von David Hilbert etablierten intellektuellen Rahmen und rückte Ackermann in das Zentrum der Grundlagenlogik während eines Jahrzehnts, das durch die rigorose Untersuchung mathematischer Systeme definiert war.
Frühe akademische Entwicklung
Der 1896 in Herscheid geborene Wilhelm Ackermann absolvierte seine Ausbildung an der Universität Göttingen zwischen 1914 und 1925. Nach seinem Dienst in der Kaiserlichen Deutschen Armee von 1915 bis 1919 konzentrierte er seine Forschung auf die Grundlagen der Mathematik. Seine Doktorarbeit befasste sich spezifisch mit dem Tertium-non-datur-Prinzip und versuchte, die Konsistenz innerhalb arithmetischer Rahmenbedingungen unter Berücksichtigung der Komplexität der Peano-Induktion zu etablieren.
Zusammenarbeit und Grundlagenlogik
1928 arbeitete Ackermann mit David Hilbert zusammen, um eine Vorlesungsreihe in dem Text mit dem Titel Grundzüge der theoretischen Logik zu verfeinern. Dieser Band führte die Logik erster Stufe ein und formalisierte das Entscheidungsproblem hinsichtlich Vollständigkeit und Entscheidbarkeit. Im Laufe der folgenden Jahrzehnte blieb seine Forschungsleistung konstant und erbrachte bemerkenswerte Beiträge wie die Ackermann-Mengenlehre, die Ackermann-Funktion, die Ackermann-Ordinalzahl und das BIT-Prädikat.
Lehre und spätere Forschung
Trotz seiner Erfolge in der reinen Logik verfolgte Ackermann einen Großteil seines Lebens eine Doppelkarriere als Pädagoge. Er unterrichtete von 1929 bis 1948 am Gymnasium Arnoldinum und später zwischen 1948 und 1961 am Geschwister-Scholl-Gymnasium in Lüdenscheid. Zudem hielt er von 1953 bis zu seinem Tod 1962 eine Honorarprofessur an der Universität Münster. In diesen Jahren erbrachte er weitere Beweise zur typfreien Logik und Mengenlehre, während er aktives Mitglied der Akademie der Wissenschaften zu Göttingen blieb.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Fakten auf einen Blick
- Geboren: 1896, Herscheid - Gestorben: 1962, Lüdenscheid - Ausbildung: Universität Göttingen - Bedeutendes Werk: Ackermann-Funktion - Bedeutendes Werk: Ackermann-Mengenlehre - Bedeutendes Werk: Ackermann-Ordinalzahl - Bedeutendes Werk: BIT-Prädikat - Religion: Protestantismus (Lutherisch)
Häufige Leserfragen
### Was war Ackermanns Hauptbeitrag zur Logik?
Er ist anerkannt für die Konstruktion von Konsistenzbeweisen für die Mengenlehre, die vollständige Arithmetik und die typfreie Logik sowie für seine Mitarbeit an den Grundzügen der theoretischen Logik.
### Arbeitete Ackermann ausschließlich an Universitäten?
Nein. Er war viele Jahre lang als Lehrer an Gymnasien (Gymnasium Arnoldinum und Geschwister-Scholl-Gymnasium) tätig, parallel zu seiner universitären Forschung und seinen Honorarprofessuren.
