Wilhelm Ackermann

Wilhelm Friedrich Ackermann ( le 29 mars , 1896 , municipalité de Herscheid , &ndash de l'Allemagne ; Le le 24 décembre , le Lüdenscheid du 1962 , le Allemagne ) étaient un mathématicien allemand du le plus connu pour la fonction , un exemple important d'Ackermann de dans la théorie de du calcul .

Ackermann a été attribué le Ph. par l'université de de Goettingen en 1925 pour son " de DES de Begründung de de thèse ; de tertium datur" non ; der Widerspruchsfreiheit de Hilbertschen Theorie de der de mittels, qui était une preuve d'uniformité d'arithmétique apparemment sans pleine induction de Peano (bien qu'il a employé par exemple l'induction au-dessus de la longueur des preuves). Du 1929 jusqu'au 1948 , il a enseigné au gymnase d'Arnoldinum dans le Burgsteinfurt , et puis au Lüdenscheid jusqu'en 1961. Il était également un membre correspondant du der Wissenschaften (Académie des Sciences d'Akademie de ) dans Göttingen, et était un professeur honorifique au Universität Münster ( Westphalie ).

En 1928, Ackermann a aidé le tour de David Hilbert ses 1917-22 conférences sur la logique mathématique dans un texte, principes de d'introduction de de la logique théorique . Ce texte a contenu la première exposition jamais de la logique de premier ordre , et a posé le problème de sa perfection et de possibilité de décision ( Entscheidungsproblem ) de . Ackermann a continué pour construire les preuves d'uniformité de pour la théorie des ensembles (1937) de , arithmétique (1940) de la pleine, la logique Type-libre (1952) de , et une nouvelle axiomatisation de la théorie des ensembles (1956).

Random links: