Wilhelm Ackermann

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Wilhelm Ackermann
Ackermann Wilhelm.jpg
Wilhelm Ackermann in c. 1935
Born(1896-03-29)29 March 1896
Died24 December 1962(1962-12-24) (aged 66)
NationalityGerman
Alma materUniversity of Göttingen
Known forAckermann function
Scientific career
FieldsMathematics
Doctoral advisorDavid Hilbert

Wilhelm Friedrich Ackermann (/ˈækərmən/; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.

Biography[edit]

Ackermann was born in Herscheid, Germany, and was awarded a Ph.D. by the University of Göttingen in 1925 for his thesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic apparently without Peano induction (although it did use e.g. induction over the length of proofs). From 1929 until 1948, he taught at the Arnoldinum Gymnasium in Burgsteinfurt, and then at Lüdenscheid until 1961. He was also a corresponding member of the Akademie der Wissenschaften (Academy of Sciences) in Göttingen, and was an honorary professor at the University of Münster.

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 (Entscheidungsproblem). 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).

In turn, Hilbert's support vanished when Ackermann got married:

Oh, das ist wunderbar. Das sind gute Neuigkeiten für mich. Denn wenn dieser Mann so verrückt ist, daß er heiratet und sogar ein Kind hat, bin ich von jeder Verpflichtung befreit, etwas für ihn tun zu müssen.
Oh, that is wonderful. Those are good news for me. Because if this man is so crazy to marry and even have a child, then I am no longer responsible to do anything for him.

— Anita Ehlers. Liebes Hertz! Physiker und Mathematiker in Anekdoten. Basel: Birkhäuser Verlag, 1994, p. 161. See also Constance Reid Hilbert.

Ackermann thus continued working as a high school teacher. Still, he kept continually engaged in research and published many contributions to the foundations of mathematics until the end of his life. He died in Lüdenscheid, Germany.

See also[edit]

Bibliography[edit]

External links[edit]

  • O'Connor, John J.; Robertson, Edmund F., "Wilhelm Ackermann", MacTutor History of Mathematics archive, University of St Andrews.
  • Wilhelm Ackermann at the Mathematics Genealogy Project
  • Erich Friedman's page on Ackermann at Stetson University
  • Hermes, In memoriam WILHELM ACKERMANN 1896-1962 (PDF, 945 KB)
  • Author profile in the database zbMATH