Wilhelm Ackermann

Herausgegeben:Surhone, Lambert M.; Timpledon, Miriam T.; Marseken, Susan F.

• Broschiertes Buch

Produktbeschreibung

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Wilhelm Friedrich Ackermann (29 March 1896, Herscheid municipality, Germany 24 December 1962 Lüdenscheid, 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 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.

Produktdetails

• Verlag: Betascript Publishing
• Seitenzahl: 96
• Englisch
• Abmessung: 220mm
• ISBN-13: 9786131209789
• ISBN-10: 6131209782
• Artikelnr.: 29992734