ACKERMANN Wilhelm

né le 29 mars 1896 à Herscheid - mort le 24 décembre 1962 à Lüdenscheid, Allemagne.

Le mathématicien allemand ACKERMANN Wilhelm est célèbre pour son introduction de la fonction dite Fonction d'Ackermann en théorie de programmation. 

Sa thèse Begründung des « tertium non datur » mittels der Hilbertschen Theorie der Widerspruchsfreiheit, propose une approche de l'arithmétique sans induction.
De 1929 jusqu’à 1948 il enseigne à l'école supérieure Arnoldinum à Burgsteinfurt, puis jusqu’à 1961 à Lüdenscheid.

Il était membre correspondant de l'Académie des sciences (Akademie der Wissenschaften) à Göttingen, et professeur honoraire à l'Universität Münster (Westphalie). Il écrivit Grundzüge der Theoretischen Logik (Principes de logique théorique) avec David Hilbert, sur le problème de la décision et la théorie des ensembles.
Il introduit le symbol ↔ pour désigner une équivalence logique en 1936 dans son traité Die Widerspruchsfreiheit der allgemeinen Mengenlehre. (voir histoire des symboles mathématiques)