Wilhelm ackerman

Wilhelm Ackermann (March 29, 1896 - December 24, 1962) was a German mathematician. He is best known for the Ackermann function named after him, an important example in the theory of computation.

Biography

Ackermann was born on March 29, 1896 in Schönebecke (formerly part of the Altena district and now part of the Herscheid municipality) (Germany). He received his doctorate in 1925 with his thesis Begründung des & # 34; tertium non datur & # 34; mittels der Hilbertschen Theorie der Widerspruchsfreiheit, which was a consistency proof of arithmetic without induction. From 1928 to 1948 he was a professor at the Arnoldinum Institute in Burgsteinfurt, and from then until 1961 he taught in Lüdenscheid. In addition, he was a member of the Academy of Sciences in Göttingen, as well as an honorary professor at the University of Münster in Westphalia.

He wrote Grundzüge der Theoretischen Logik (Fundamentals of Theoretical Logic) together with David Hilbert, tackling the Entscheidungsproblem (decision problem) he also constructed proofs of consistency for the set theory (1937), complete arithmetic (1940), free-type logic (1952), and a new axiomatization of set theory (1956). He wrote the book Soluble Cases of the Decision Problem (North Holland, 1954).He was a leading mathematician of that century.

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

Work

• Die Widerspruchsfreiheit des Auswahlaxioms (breakable link available on the Internet Archive; see history, first version and last).1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, v. 1924: 246-250
• Begründung des, tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit (breakable link available on the Internet Archive; see history, first version and last)., 1925, Mathematische Ann. v. 93: 1-36
• Zum Hilbertschen Aufbau der reellen Zahlen (breakable link available on the Internet Archive; see history, first version and last)., 1928, Mathematische Ann. v. 99: 118-133
• Über die Erfüllbarkeit gewisser Zählausdrücke (breakable link available on the Internet Archive; see history, first version and last).1928, Mathematische Ann. v. 100: 638-649
• Untersuchungen über das Eliminationsproblem der mathematischen Logik (breakable link available on the Internet Archive; see history, first version and last).1935, Mathematische Ann. v. 110: 390-413
• Zum Eliminationsproblem der mathematischen Logik1935, Mathematische Ann. v. 111: 61-63
• Beiträge zum Entscheidungsproblem der mathematischen Logik (breakable link available on the Internet Archive; see history, first version and last).1936, Mathematische Ann. v. 112: 419-432
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre (breakable link available on the Internet Archive; see history, first version and last)., 1936, Mathematische Ann. v. 114 (1937): 305-315
• Mengentheoretische Begründung der Logik (breakable link available on the Internet Archive; see history, first version and last).1938, Mathematische Ann. v. 115: 1-22
• Zur Widerspruchsfreiheit der Zahlentheorie (breakable link available on the Internet Archive; see history, first version and last)., 1940/1941, Mathematische Ann. v. 117: 162-194
• Ein System der typenfreien Logikv. I, Leipzig 1941
• Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse (breakable link available on the Internet Archive; see history, first version and last)., 1951, Mathematische Zeitschrift, v. 53 (5): 403-413
• Zur Axiomatik der Mengenlehre, 1955, Mathematische Ann. v. 131 (1956): 336-345
• Widerspruchsfreier Aufbau einer typenfreien Logik. (breakable link available on the Internet Archive; see history, first version and last).,1951/52, Mathematische Zeitschrift, v. 55: 364-384
• Widerspruchsfreier Aufbau einer typenfreien Logik. II. (breakable link available on the Internet Archive; see history, first version and last).,1953, Mathematische Zeitschrift, v. 57: 155-166
• Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. In: 'Ratio 11957.
• Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I. (breakable link available on the Internet Archive; see history, first version and last)., 1958, Archiv für mathematische Logik und Grundlagenforschung, v. 4: 3-26
• Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II. (breakable link available on the Internet Archive; see history, first version and last)., 1960/61, Archiv für mathematische Logik und Grundlagenforschung, v. 5: 96-111

Literature

• Gottwald, Ilgauds, Schlote. Lexikon bedeutender Mathematiker. 1990. p. 12 f

• Constance Reid. Hilbert, Springer 1970, p. 173

• Dieter Remus. Professor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. In: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, p. 211-219

• Hans Hermes. In memoriam WILHELM ACKERMANN 1896-1962. Notre Dame Journal of Formal Logic 8 (1967) 1-8 includes list of publications, Weblink.