La thèse de doctorat présentée en 1925 par Wilhelm Ackermann à l'Université de Göttingen a fourni une preuve de cohérence pour l'arithmétique, marquant une avancée significative dans la théorie de la démonstration. Ce travail a émergé du cadre intellectuel établi par David Hilbert, plaçant Ackermann au centre de la logique fondamentale durant une décennie définie par l'examen rigoureux des systèmes mathématiques.
Développement académique précoce
Né en 1896 à Herscheid, Wilhelm Ackermann a complété ses études à l'Université de Göttingen entre 1914 et 1925. Après son service dans l'armée impériale allemande de 1915 à 1919, il a concentré ses recherches sur les fondements des mathématiques. Ses travaux de doctorat ont spécifiquement abordé le principe du tertium non datur, tentant d'établir la cohérence au sein des cadres arithmétiques tout en naviguant dans les complexités de l'induction de Peano.
Collaborations et logique fondamentale
En 1928, Ackermann a collaboré avec David Hilbert pour affiner une série de conférences dans le texte intitulé Principes de logique mathématique. Ce volume a introduit la logique du premier ordre et a formalisé l'Entscheidungsproblem concernant la complétude et la décidabilité. Au cours des décennies suivantes, sa production de recherche est restée constante, générant des contributions notables telles que la théorie des ensembles d'Ackermann, la fonction d'Ackermann, l'ordinal d'Ackermann et le prédicat BIT.
Enseignement et recherches ultérieures
Malgré ses réalisations en logique pure, Ackermann a maintenu une double carrière d'éducateur pendant une grande partie de sa vie. Il a enseigné au Gymnasium Arnoldinum de 1929 à 1948, puis au Geschwister-Scholl-Gymnasium à Lüdenscheid entre 1948 et 1961. Il a également occupé une chaire honorifique à l'Université de Münster de 1953 jusqu'à sa mort en 1962. Durant ces années, il a produit d'autres preuves concernant la logique sans types et la théorie des ensembles, tout en restant un membre actif de l'Académie des sciences et des humanités de Göttingen.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Faits en bref
- Naissance : 1896, Herscheid - Décès : 1962, Lüdenscheid - Éducation : Université de Göttingen - Travail notable : Fonction d'Ackermann - Travail notable : Théorie des ensembles d'Ackermann - Travail notable : Ordinal d'Ackermann - Travail notable : Prédicat BIT - Religion : Luthéranisme
Questions des lecteurs
### Quelle fut la contribution principale d'Ackermann à la logique ?
Il est reconnu pour avoir construit des preuves de cohérence pour la théorie des ensembles, l'arithmétique complète et la logique sans types, ainsi que pour son travail collaboratif sur les Principes de logique mathématique.
### Ackermann a-t-il travaillé exclusivement dans des universités ?
Non. Il a exercé comme enseignant dans le secondaire au Gymnasium Arnoldinum et au Geschwister-Scholl-Gymnasium pendant de nombreuses années, parallèlement à ses recherches universitaires et ses chaires honorifiques.
