Home > Wilhelm Ackermann

Ackermann was born on March 29, 1896 in Schönebecke (then Altena district, now part of Herscheid municipality), Germany, and received his doctoral degree in 1925 with his thesis Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic without induction. From 1929 until 1948 he taught at the Arnoldinum high-school in Burgsteinfurt, and afterwards till 19611961 (As MAD Magazine pointed out on its first cover for the year) was the first "upside-down" year i. one that looked the same upside down since 1881, and the last until 6009. Events January January 1 The farthing coin, used since the 13th century, cease in LüdenscheidLudenscheid is a town in North Rhine-Westphalia, Germany. It is located in the Sauerland area at 51° 13' North, 7° 38' East. Population: 80,613 (2000). It is the district capital of the Markische Kreis. It is twinned with Brighouse in county of West Yorks. He was also a corresponding member of the Akademie der Wissenschaften (Academy of Sciences) in Göttingen, and was an honorary professor at the Universität Münster ( WestphaliaWestphalia (in German, Westfalen is a (historic) region in Germany, centred on the cities of Dortmund, Munster, Bielefeld, and Osnabruck and now included in the Bundesland of North Rhine-Westphalia (and the (south-)west of Lower Saxony). Westphalia is rou).

He wrote Grundzüge der Theoretischen Logik (Fundamentals of the Theoretical Logic) with David HilbertDavid Hilbert ( January 23, 1862 February 14, 1943) was a German mathematician born in Wehlau, near Konigsberg, Prussia (now Znamensk, near Kaliningrad, Russia) who is recognized as one of the most influential mathematicians of the 19th and early 20th cen, dealing with EntscheidungsproblemThe Entscheidungsproblem ( German: decision problem) is the challenge in symbolic logic to find a general algorithm which decides for given first-order statements whether they are universally valid or not. Alonzo Church and independently Alan Turing showe and also constructed consistency proofs for set theorySet theory is the mathematical theory of sets, which represent collections of abstract objects. It has a central role in modern mathematical theory, providing the basic language in which most of mathematics is expressed. For more information on set theory ( 1937), full arithmetic ( 1940), type-free logic ( 1952) and a new axiomatization of set theory ( 1956). He wrote the book Solvable cases of the decision problem (North Holland, 1954).

Wilhelm Ackermann died in Lüdenscheid, Germany on December 24, 1962.