Mathematician:Wilhelm Friedrich Ackermann

Mathematician

German mathematician, best known for the Ackermann function.

Nationality

German

History

• Born: 29 March 1896 in Herscheid, German Empire
• Died: 24 December 1962 in Lüdenscheid, West Germany

Theorems and Definitions

• Ackermann Function
• Ackermann-Péter Function (with Rózsa Péter)

Definitions of concepts named for Wilhelm Friedrich Ackermann can be found here.

Publications

• 1925: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit
• 1928: Grundzüge der Theoretischen Logik (with David Hilbert)
• 1940: Zur Widerspruchsfreiheit der Zahlentheorie (Math. Ann. pp. 162 – 194)
• 1954: Solvable cases of the Decision Problem
• 1956: Zur Axiomatik der Mengenlehre

Sources

• John J. O'Connor and Edmund F. Robertson: "Wilhelm Friedrich Ackermann": MacTutor History of Mathematics archive