Search: in
Wilhelm Ackermann
Wilhelm Ackermann in Encyclopedia Encyclopedia
  Tutorials     Encyclopedia     Videos     Books     Software     DVDs  

Wilhelm Ackermann

Wilhelm Friedrich Ackermann (29 March 1896 – 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.

Ackermann was born in Herscheid municipality, 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 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 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).

Although Ackermann did not choose a university career and rather continued as a high school teacher, he was 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


External links

de:Wilhelm Ackermann (Mathematiker) es:Wilhelm Ackermann fr:Wilhelm Ackermann it:Wilhelm Ackermann ht:Wilhelm Ackermann hu:Wilhelm Ackermann nl:Wilhelm Ackermann ja: pms:Wilhelm Ackermann pl:Wilhelm Ackermann pt:Wilhelm Ackermann ro:Wilhelm Ackermann ru: , sk:Wilhelm Ackermann sr: fi:Wilhelm Ackermann sv:Wilhelm Ackermann zh:

Source: Wikipedia | The above article is available under the GNU FDL. | Edit this article

Search for Wilhelm Ackermann in Tutorials
Search for Wilhelm Ackermann in Encyclopedia
Search for Wilhelm Ackermann in Videos
Search for Wilhelm Ackermann in Books
Search for Wilhelm Ackermann in Software
Search for Wilhelm Ackermann in DVDs
Search for Wilhelm Ackermann in Store


Wilhelm Ackermann in Encyclopedia
Wilhelm_Ackermann top Wilhelm_Ackermann

Home - Add TutorGig to Your Site - Disclaimer

©2011-2013 All Rights Reserved. Privacy Statement