Wilhelm Ackermann (mathematician)
Wilhelm Friedrich Ackermann (born March 29, 1896 in Schönebecke (Herscheid) , † December 24, 1962 in Lüdenscheid ) was a German mathematician .
Life
Ackermann studied mathematics, physics and philosophy at the University of Göttingen from 1914 to 1924, with interruptions through participation in the First World War . He was a student of David Hilbert in Göttingen and became famous for the Ackermann function named after him , an example of a recursive function that is not primitive-recursive .
In 1924 he received his doctorate from Hilbert with the thesis "Justification of the 'tertium non datur' using Hilbert's theory of consistency". He then received a three-year research grant that enabled him to stay in Cambridge .
In 1925 he discovered the Ackermann function named after him , which is important for theoretical computer science today.
In 1928 he completed his preparatory service for teaching at secondary schools in Göttingen . He then worked for a year at what was then the Konrad-Schlaun-Oberrealschule in Münster . From 1929 to 1948 he taught at the Arnoldinum grammar school in Burgsteinfurt , and in 1935 he was promoted to the faculty there. In 1948 he returned to his hometown Lüdenscheid , where he taught at the Geschwister-Scholl-Gymnasium until 1961 . In 1957, he was promoted to senior lecturer in mathematics.
He was a corresponding member of the Academy of Sciences in Göttingen and honorary professor at the Westphalian Wilhelms University in Münster . In 1962 Ackermann was one of the seven founding members of the German Association for Mathematical Logic and for Foundations of Exact Sciences (DVMLG).
Together with David Hilbert, he wrote the book Basics of Theoretical Logic in 1928 . In view of Hilbert's advanced age at the time, he was its main author. He also became known through work on the decision problem of predicate logic , the consistency of elementary number theory and set theory . In particular, he created the Ackermann set theory in 1955 .
He died unexpectedly at the age of 66 on December 24, 1962. Three days earlier, he was giving a lecture on basic mathematical research at the Westphalian Wilhelms University in Münster. In Münster, he gave regular lectures on mathematical logic and the fundamentals of mathematics at the chair headed by Hans Hermes .
Constance Reid gives an answer to the question of why Ackermann did not embark on a university career :
“Hilbert was very opposed to marriage for young scientists anyway. [...] Later, when Wilhelm Ackermann, with whom he had worked and collaborated on a book, married, Hilbert was very angry. He refused to do anything more to further Ackermann's career. "
Orally the following statement is passed down from Hilbert:
“Oh, that's wonderful. This is good news for me. Because if this man is so crazy that he gets married and even has a child, I am freed from any obligation to do something for him. "
Ackermann taught 26 hours a week at the Arnoldinum in the summer of 1929 and was at times the only math teacher there. In the Arnoldinum's obituary it says:
"Senior Student Councilor Dr. Ackermann was not only a widely respected and popular teacher, he was also a world-famous scientist. "
During his studies in Göttingen, he met Fritz Lettenmeyer (1891–1953) who, with interruptions, continued to study for four semesters in Göttingen from 1920–1922. The passionate alpinist Lettenmeyer made the ridge crossing Huderbankspitze – Kaiserkopf – Hochglück with Ackermann with an overnight stay in the Lamsenjochhütte .
Fonts
- with David Hilbert: Fundamentals of Theoretical Logic , Basic Teachings of Mathematical Sciences 27, Springer 1928
- The consistency of the axiom of choice , 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Volume 1924 , pp. 246–250
- Justification of the "tertium non datur" using Hilbert's theory of consistency , 1925, Mathematische Annalen, Volume 93 , pp. 1–36
- On Hilbert's structure of real numbers , 1928, Mathematische Annalen, Volume 99 , pp. 118-133
- About the satisfiability of certain counting expressions , 1928, Mathematische Annalen, Volume 100 , pp. 638–649
- Investigations into the elimination problem of mathematical logic , 1935, Mathematische Annalen, Volume 110 , pp. 390-413
- On the elimination problem of mathematical logic , 1935, Mathematische Annalen, Volume 111 , pp. 61–63
- Contributions to the decision problem of mathematical logic , 1936, Mathematische Annalen, Volume 112 , pp. 419-432
- The consistency of general set theory , 1936, Mathematische Annalen, Volume 114 (1937) , pp. 305-315
- Set theoretical justification of logic , 1938, Mathematische Annalen, Volume 115 , pp. 1–22
- On the consistency of number theory , 1940/1941, Mathematische Annalen, Volume 117 , pp. 162–194
- A system of type-free logic . Volume I, Leipzig 1941.
- Constructive structure of a section of the second Cantor number class , 1951, Mathematische Zeitschrift, Volume 53, Issue 5 , pp. 403-413
- On the Axiomatics of Set Theory , 1955, Mathematische Annalen, Volume 131 (1956) , pp. 336-345
- Consistent structure of a type-free logic. , 1951/52, Mathematische Zeitschrift, Volume 55 , pp. 364-384
- Consistent structure of a type-free logic. II. , 1953, Mathematische Zeitschrift, Volume 57 , pp. 155-166
- Philosophical remarks on mathematical logic and basic mathematical research . In: Ratio , Volume 1, 1957.
- A type-free system of logic with sufficient mathematical applicability I. , 1958, Archive for mathematical logic and basic research, Volume 4 , pp. 3–26
- A type-free system of logic with sufficient mathematical applicability II. , 1960/61, Archive for mathematical logic and basic research, Volume 5 , pp. 96–111
literature
- Gottwald, Ilgauds, Schlote: Lexicon of important mathematicians . 1990. p. 12 f.
- Constance Reid: Hilbert , Springer 1970, p. 173.
- Dieter Remus: Professor Wilhelm Ackermann, teacher at the Arnoldinum and researcher in mathematics . In: 400 years Arnoldinum 1588–1988. Festschrift . Greven 1988, pp. 211-219.
- Hans Hermes : In memoriam WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1-8 with list of publications, web link .
Web links
- John J. O'Connor, Edmund F. Robertson : Wilhelm Ackermann (mathematician). In: MacTutor History of Mathematics archive .
- Hermes, In memoriam (pdf 945 KB)
- Kurzbiographie (English)
- Author profile in the database zbMATH
Individual evidence
- ↑ Anita Ehlers. Dear Hertz! Physicists and mathematicians in anecdotes . Basel: Birkhäuser Verlag, 1994, p. 161. Also in Constance Reid Hilbert .
personal data | |
---|---|
SURNAME | Ackermann, Wilhelm |
ALTERNATIVE NAMES | Ackermann, Wilhelm Friedrich (full name) |
BRIEF DESCRIPTION | German mathematician |
DATE OF BIRTH | March 29, 1896 |
PLACE OF BIRTH | Schönebecke (Herscheid) |
DATE OF DEATH | December 24, 1962 |
Place of death | Ludenscheid |