Wilhelm Friedrich Ackermann was a German mathematician best known for the Ackermann function, an important example in the theory of computation.
Ackermann was awarded a Ph.D. in 1925 for a consistency proof of arithmetic apparently without full Peano induction (although it did use e.g. induction over the length of proofs).
In 1928, Ackermann helped David Hilbert turn his 1917 - 22 lectures on introductory mathematical logic into a text, Principles of Mathematical Logic. This text contained the first exposition ever of first-order logic, and posed the problem of its completeness and decidability. Ackermann went on to construct consistency proofs for set theory (1937), full arithmetic (1940), type-free logic (1952), and a new axiomatization of set theory (1956).
Wilhelm Ackermann was born on 1896-03-29.
Wilhelm Ackermann died on 1962-12-24.
Wilhelm Heinrich Ackermann was born in 1789.
Wilhelm Heinrich Ackermann died in 1848.
Ernst Christian Wilhelm Ackermann was born in 1761.
Ernst Christian Wilhelm Ackermann died in 1835.
contribute to math
Louise Ackermann has written: 'OEuvres de L. Ackermann'
Rudolph Ackermann was born in 1764.
Rudolph Ackermann died in 1834.
Franz Ackermann was born in 1963.
Lourens Ackermann was born in 1934.