Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Wilhelm 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.

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 (Fondamentaux de la 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).