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 )

Publications

 * 1925: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit
 * 1928: Grundzüge der Theoretischen Logik (with )
 * 1954: Solvable cases of the Decision Problem
 * 1956: Zur Axiomatik der Mengenlehre
 * 1956: Zur Axiomatik der Mengenlehre