0
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).
What else can I help you with?
When was Wilhelm Heinrich Ackermann born?
Wilhelm Heinrich Ackermann was born in 1789.
When did Wilhelm Heinrich Ackermann die?
Wilhelm Heinrich Ackermann died in 1848.
When was Wilhelm Ackermann born?
Wilhelm Ackermann was born on 1896-03-29.
When did Wilhelm Ackermann die?
Wilhelm Ackermann died on 1962-12-24.
When was Ernst Christian Wilhelm Ackermann born?
Ernst Christian Wilhelm Ackermann was born in 1761.
When did Ernst Christian Wilhelm Ackermann die?
Ernst Christian Wilhelm Ackermann died in 1835.
How did Marie Curie contribute to math?
contribute to math
What has the author Louise Ackermann written?
Louise Ackermann has written: 'OEuvres de L. Ackermann'
How tall is Gabriel Ackermann?
Gabriel Ackermann is 6' 1".
How tall is Heide Ackermann?
Heide Ackermann is 165 cm.
How tall is Kathrin Ackermann?
Kathrin Ackermann is 172 cm.
How tall is Ronny Ackermann?
Ronny Ackermann is 184 cm.
