Ackermann
modernMathematical Logic1896 – 1962
Wilhelm Ackermann (1896-1962) was a German mathematician and logician known for his foundational contributions to proof theory and computability. A student of David Hilbert, he co-authored the influential 'Principles of Mathematical Logic' and developed the Ackermann function, a key example in recursion theory.
Notable Achievements
1
Developed the Ackermann function, a foundational example of a total computable but non-primitive-recursive function
2
Co-authored 'Grundzüge der theoretischen Logik' (Principles of Mathematical Logic) with David Hilbert in 1928
3
Contributed to Hilbert's program and early proof theory
4
Proved the consistency of arithmetic without the induction schema
5
Worked on set theory, publishing the Ackermann set theory in 1956