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 Ackermann born?
Wilhelm Ackermann was born on 1896-03-29.
When did Wilhelm Ackermann die?
Wilhelm Ackermann died on 1962-12-24.
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 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'
When was Franz Ackermann born?
Franz Ackermann was born in 1963.
When was Rudolph Ackermann born?
Rudolph Ackermann was born in 1764.
When did Rudolph Ackermann die?
Rudolph Ackermann died in 1834.
When did Christian Ackermann die?
Christian Ackermann died in 1710.
