Born: March 29, 1896, Herscheid, Germany.

Died: December 24, 1962, Lüdenscheid, Germany.

Higher Education: PhD in Mathematics at University of Göttingen (Göttingen, Lower Saxony, Germany).

Main Publications: 

• On Hilbert’s construction of the real numbers in Jean van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press: pp. 493–507, 1928
• Zur Widerspruchsfreiheit der Zahlentheorie, Mathematische Annalen, vol. 117, pp. 162–194, 1940
• Principles of Mathematical Logic (with David Hilbert). Chelsea. Translation of 1938 German edition, 1950
• Solvable cases of the decision problem. North Holland, 1954.

Knows for:

• Ackermann function
• Ackermann coding
• Ackermann set theory
• Ackermann ordinal
• Inverse Ackermann function.