Ackermann Wilhelm

Wilhelm Ackermann (1896-1962) est un mathématicien allemand, célèbre pour la fonction d'Ackermann (1925) qui est un exemple important de la théorie de la calculabilité. 

Sa thèse (19242) donne une preuve détaillée de la cohérence de l'arithmétique primitive récursive. Il fut professeur dans le secondaire, à Burgsteinfurt de 1929 à 1948, puis à Lüdenscheid jusqu'à sa retraite en 1961. Il fut membre correspondant de l'Académie des sciences de Göttingen et professeur honoraire de l'université de Münster. Il écrivit Grundzüge der Theoretischen Logik (Principes de logique théorique) avec David Hilbert, à propos du problème de la décision et construisit des preuves de cohérence pour la théorie des ensembles (1937), l'arithmétique de Peano (1940), la logique non typée (1952), ainsi qu'une nouvelle axiomatisation (en) de la théorie des ensembles (1956). Il est aussi l'auteur du livre Solvable Cases of the Decision Problem (North Holland, 1954). 

• 1928. "On Hilbert's construction of the real numbers" in Jean van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 493–507.
• 1940. "Zur Widerspruchsfreiheit der Zahlentheorie", Mathematische Annalen, vol. 117, pp 162–194.
• 1950 (1928). (with David Hilbert) Principles of Mathematical Logic. Chelsea. Translation of 1938 German edition.
• 1954. Solvable cases of the decision problem. North Holland.