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é.
Biographie
Sa thèse. (1924) donne une preuve détaillée de la cohérence de l'.. 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' de la théorie des ensembles (1956). Il est aussi l'auteur du livre (North Holland, 1954).
Bibliographie : In memoriam WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1–8 mit Schriftenverzeichnis
Références
Liens externes
Catégorie:Mathématicien allemand du XXe siècle Catégorie:Logicien allemand Catégorie:Professeur à l'université de Münster Catégorie:Personnalité en théorie de la démonstration Catégorie:Personnalité en théorie de la calculabilité Catégorie:Étudiant de l'université de Göttingen Catégorie:Naissance en mars 1896 Catégorie:Naissance dans la province de Westphalie Catégorie:Décès à Lüdenscheid Catégorie:Décès à 66 ans Catégorie:Décès en décembre 1962