Concept

Wilhelm Ackermann

Overview

Wilhelm Friedrich Ackermann (; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician and logician best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Wilhelm Ackermann

• Nuel Belnap
• Kurt Gödel

Related ideas

• First-order logic
• Gödel's completeness theorem
• German Empire
• University of Göttingen
• Proof theory
• Mathematician
• Mathematical logic
• Peano axioms
• Set theory
• Theory of computation
• Logic
• Consistency
• David Hilbert
• Decidability (logic)
• Entscheidungsproblem
• Principles of Mathematical Logic

Place in the tradition

Part of First-order logic.

Explore Wilhelm Ackermann in the interactive graph →