Bibliothèque municipale

WILHELM ACKERMANN (1896-1962)

Article

Bernard PIRE

Edité par Encyclopædia Universalis - 2009

Mathématicien allemand, spécialiste de la logique. Né le 29 mars 1896 à Schönebeck, près d'Altena en Westphalie (alors en Prusse, aujourd'hui en Allemagne), Wilhelm Ackermann fait ses études supérieures à l'université de Göttingen. Dans sa thèse, accomplie sous la direction de David Hilbert (1862-1943), il démontre en 1924 la cohérence de l'arithmétique sans avoir recours à l'induction. Ce travail est la première contribution majeure au second problème de Hilbert, c'est-à-dire l'établissement de la preuve de la cohérence des mathématiques. Après avoir passé quelque temps à l'université de Cambridge (Grande-Bretagne), il devient en 1927 professeur de mathématiques dans un lycée à Burgsteinfurt, puis à Lüdenscheid (Allemagne), fonction qu'il exercera jusqu'en 1961. En 1953, il est nommé professeur honoraire de l'université de Münster et il y donne quelques cours sur la logique et les fondements des mathématiques. En 1928, il écrit avec Hilbert un traité sur les fondements de la logique théorique.

• Sujet
• Description