See also: Ackermann

Wilhelm Ackermann March 29th 1896 with Schönebecke (then Altena, now Herscheid) - December 24th 1962 with Lüdenscheid was a German mathematician and is famous for the Fonction of Ackermann which is an important example of the theory of Programmation.

Its thesis Begründung of “tertium not datur” mittels der Hilbertschen Theory der Widerspruchsfreiheit , which was a detailed proof of arithmetic without induction. From 1929 up to 1948 he taught at the Arnoldinum university with Burgsteinfurt, and then up to 1961 in Lüdenscheid. He was the member corresponding of the Academy of Science ( Akademie der Wissenschaften ) to Göttingen, and was a professor emeritus with the Universität Münster (Westphalia).

He wrote Grundzüge der Theoretischen Logik ( Principes of theoretical logic ) with David Hilbert, in connection with the Problème of the decision and built also solid evidence for the Set theory, the arithmetic one supplements (1940, logic of the free type 1952) and a new axomisation of the set theory in 1956. He wrote the book Cas résolvable in the problem of the decision (North Holland, 1954).