Wilhelm Friedrich Ackermann was a German mathematician and logician, born on 29 March 1896, best known for his work in mathematical logic and the Ackermann function, an important example in the theory of computation. Born in Herscheid, Germany, he was awarded a Ph.D. by the University of Göttingen in 1925 for a thesis that was a consistency proof of arithmetic. From 1929 until 1948 he taught at the Arnoldinum Gymnasium in Burgsteinfurt, and then at Lüdenscheid until 1961. In 1928 he helped David Hilbert turn his lectures on introductory mathematical logic into the text Principles of Mathematical Logic, which contained the first exposition of first-order logic and posed the problem of its completeness and decidability, the Entscheidungsproblem. He died on 24 December 1962.
Facts
Connections
Attributed Works
Source Ackermann Function (Wikipedia)
In Branch
Source Wikipedia: Wilhelm Ackermann
Proofs Credited
Source Entscheidungsproblem (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Sources
1. Wikipedia: Wilhelm Ackermann
LeadQuote, Lead
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.
Entscheidungsproblem (Wikipedia)
Proofs Credited: Entscheidungsproblem, Lead sentence, attributionQuote, Proofs Credited: Entscheidungsproblem, Lead sentence, attribution
posed by David Hilbert and Wilhelm Ackermann in 1928
Ackermann Function (Wikipedia)
Attributed Works: Ackermann Function, LeadQuote, Attributed Works: Ackermann Function, Lead
Sudan published the lesser-known Sudan function, then shortly afterwards and independently, in 1928, Ackermann published his function φ {\displaystyle \varphi } (from Greek, the letter phi).
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.