Wilhelm Friedrich Ackermann (am 29. März 1896 - am 24. Dezember 1962) war ein deutscher Mathematiker, der für die Funktion von Ackermann, ein wichtiges Beispiel in der Theorie der Berechnung am besten bekannt ist.

Ackermann ist im Stadtbezirk von Herscheid, Deutschland geboren gewesen, und wurde einem Dr. von der Universität von Göttingen 1925 für seine These Begründung des "tertium nicht datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit zuerkannt, der ein Konsistenz-Beweis der Arithmetik anscheinend ohne volle Induktion von Peano war (obwohl es wirklich z.B Induktion über die Länge von Beweisen verwendet hat). Von 1929 bis 1948 hat er am Arnoldinum Gymnasium in Burgsteinfurt, und dann an Lüdenscheid bis 1961 unterrichtet. Er war auch ein entsprechendes Mitglied des Akademie der Wissenschaften (Akademie von Wissenschaften) in Göttingen, und war ein Honorarprofessor an der Universität Münsters.

1928 hat Ackermann David Hilbert geholfen, seine 1917-22 Vorträge auf der einleitenden mathematischen Logik in einen Text, Grundsätze der Mathematischen Logik zu drehen. Dieser Text hat die erste Ausstellung jemals der Logik der ersten Ordnung enthalten, und hat das Problem seiner Vollständigkeit und Entscheidbarkeit (Entscheidungsproblem) aufgeworfen. Ackermann hat fortgesetzt, Konsistenz-Beweise für die Mengenlehre (1937), volle Arithmetik (1940), Logik ohne Typen (1952), und ein neuer axiomatization der Mengenlehre (1956) zu bauen.

Obwohl Ackermann keine Universitätskarriere gewählt hat und eher als ein Lehrer der Höheren Schule weitergemacht hat, ist er ständig mit der Forschung beschäftigt gewesen und hat viele Beiträge zu den Fundamenten der Mathematik bis zum Ende seines Lebens veröffentlicht. Er ist in Lüdenscheid, Deutschland gestorben.

Siehe auch

• Ackermann, der codiert
• Ackermann Ordnungs-
• Mengenlehre von Ackermann
• Gegenteil Funktion von Ackermann

Bibliografie

• 1928. "Auf dem Aufbau von Hilbert der reellen Zahlen" in Jean van Heijenoort, Hrsg., 1967. Von Frege bis Godel: Ein Quellbuch in der Mathematischen Logik, 1879-1931. Harvard Univ. Drücken Sie: 493-507.
• 1940. Zur Widerspruchtfreisheit der Zahlentheorie, Mathematische Annalen, vol. 117, Seiten 162-194.
• 1950 (1928). (mit David Hilbert) Grundsätze der Mathematischen Logik. Chelsea. Übersetzung der deutschen 1938-Ausgabe.
• 1954. Lösbare Fälle des Entscheidungsproblems. Das nördliche Holland.

Links

• Die Seite von Erich Friedman auf Ackermann an der Stetson-Universität
• Hermes, In memoriam WILHELM ACKERMANN 1896-1962 (pdf 945 Kilobytes)