Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Wilhelm Ackermann

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

29 March 1896

Schönebeck (Kr. Altena), Germany

24 Dec 1962

Lüdenscheid, Germany

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Wilhelm Ackermann est un logicien mathématique qui a travaillé avec Hilbert à Göttingen.

Ackermann a reçu son doctorat en 1925 avec une thèse Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit écrite en vertu de Hilbert et a été une preuve de la cohérence de l'arithmétique sans induction. Il est destiné à être une preuve de cohérence pour analyse élémentaire bien que cette preuve contenu des erreurs significatives.

Ackermann a également été le principal contributeur au développement du système logique connu sous le nom de l'epsilon calculus, à l'origine en raison de Hilbert. Ce formalisme a constitué la base de Bourbaki 's logique et théorie des ensembles.

De 1929 jusqu'en 1948 il a enseigné comme professeur au lycée Arnoldinum dans Burgsteinfurt et Luedenscheid. Il est membre correspondant de l'Akademie der Wissenschaften de Göttingen, et a été professeur honoraire à l'Universität Münster.

En 1928, Ackermann a fait observer que A (x, y, z), le z-fois réitéré puissance de x à y, est un exemple d'une fonction récursive qui n'est pas primitive récursive. A (x, y, z) a été simplifiée pour une fonction P (x, y) de 2 variables par Rozsa Peter dont la première condition a été simplifiée par Raphael Robinson. C'est ce dernier qui se produit à mesure que la fonction d'Ackermann dans les manuels d'aujourd'hui. Toujours en 1928, le livre souvent réimprimé Grundzüge der Theoretischen Logik par Hilbert et Ackermann apparaît.

Parmi Ackermann côté de travail sont des preuves de cohérence set theory (1937), plein arithmétique (1940) et le type logique libre (1952). En outre, il a été une nouvelle axiomatisation de théorie des ensembles (1956), et un livre Solubles cas de problème la décision (North Holland, 1954).

Source:School of Mathematics and Statistics University of St Andrews, Scotland