Wilhelm Ackermann

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Ackermann.

Wilhelm Ackermann 29 mars 1896 à Schönebecke (alors Altena, maintenant Herscheid) - 24 décembre 1962 à Lüdenscheid fut un mathématicien allemand et est célèbre pour la Fonction d'Ackermann qui est un exemple important de la théorie de programmation.

[modifier] Biographie

Sa thèse Begründung des « tertium non datur » mittels der Hilbertschen Theorie der Widerspruchsfreiheit, qui était une preuve détaillée de l'arithmétique sans induction. De 1929 jusqu’à 1948, il enseigna à l'école supérieure Arnoldinum à Burgsteinfurt, et ensuite jusqu’à 1961 à Lüdenscheid. Il était le membre correspondant de l'Académie des sciences (Akademie der Wissenschaften) à Göttingen, et fut un professeur honoraire à l'Universität Münster (Westphalie).

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 aussi des preuves solides pour la théorie des ensembles, l'arithmétique complète (1940, logique de type libre 1952) et une nouvelle axomisation de la théorie des ensembles en 1956. Il écrivit le livre Cas résolvable dans le problème de la décision (North Holland, 1954).