Wilhelm Ackermann

Ackermann was born on March 29, 1896 in Sch�nebecke (then Altena district, now part of Herscheid[?] municipality), Germany, and received his doctoral degree in 1925 with his thesis Begr�ndung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic without induction. From 1929 until 1948 he taught at the Arnoldinum high-school in Burgsteinfurt, and afterwards till 1961 in L�denscheid. He was also a corresponding member of the Akademie der Wissenschaften (Academy of Sciences) in G�ttingen, and was an honorary professor at the Universit�t M�nster (Westphalia).

He wrote Grundz�ge der Theoretischen Logik (Fundamentals of the Theoretical Logic) with David Hilbert, dealing with Entscheidungsproblem and also constructed consistency proofs for set theory (1937), full arithmetic (1940), type-free logic (1952) and a new axiomatization of set theory (1956). He wrote the book Solvable cases of the decision problem (North Holland, 1954).

Wilhelm Ackermann died in L�denscheid, Germany on December 24, 1962.

External link

• MacTutor biography of Ackermann: http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Ackermann