High Quality Content by WIKIPEDIA articles! Wilhelm Friedrich Ackermann (29 March 1896, Herscheid municipality, Germany – 24 December 1962 Ludenscheid, Germany ) was a German mathematician best known for the Ackermann function, an important example in the theory of computation. Ackermann was awarded the Ph.D. by the University of Gottingen in 1925 for his thesis Begrundung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic apparently without full 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 Ludenscheid until 1961. He was also a corresponding member of the Akademie der Wissenschaften (Academy of Sciences) in Gottingen, and was an honorary professor at the University of Munster.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.