Wilhelm Ackermann: Difference between revisions
m →External links: add category |
m New external link to Ackermann functions |
||
Line 52: | Line 52: | ||
*[http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093956238 Hermes, ''In memoriam WILHELM ACKERMANN 1896-1962''] (PDF, 945 KB) |
*[http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.ndjfl/1093956238 Hermes, ''In memoriam WILHELM ACKERMANN 1896-1962''] (PDF, 945 KB) |
||
*[https://zbmath.org/authors/?q=ai:ackermann.wilhelm Author profile] in the database [[Zentralblatt MATH|zbMATH]] |
*[https://zbmath.org/authors/?q=ai:ackermann.wilhelm Author profile] in the database [[Zentralblatt MATH|zbMATH]] |
||
*[https://www.wolframscience.com/nks/notes-4-3--ackermann-functions/ Ackermann Functions] in [[A New Kind of Science]] |
|||
{{Authority control}} |
{{Authority control}} |
Revision as of 16:33, 15 February 2021
This article needs additional citations for verification. (September 2017) |
Wilhelm Ackermann | |
---|---|
Ackermann coding, Ackermann set theory | |
Scientific career | |
Fields | Mathematics |
Doctoral advisor | David Hilbert |
Wilhelm Friedrich Ackermann (/ˈækərmən/; German: [ˈakɐˌman]; 29 March 1896 – 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.
Biography
Ackermann was born in Herscheid, 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 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
In turn, Hilbert's support vanished when Ackermann got married:
—Anita Ehlers. Liebes Hertz! Physiker und Mathematiker in Anekdoten. Basel: Birkhäuser Verlag, 1994, p. 161. See also Constance Reid Hilbert.
Later in life, Ackerman continued working as a high school teacher. Still, he kept continually engaged in the field of research and published many contributions to the foundations of mathematics until the end of his life. He died in Lüdenscheid, Germany in December 1962.
See also
- Ackermann coding
- Ackermann ordinal
- Ackermann set theory
- Ackermann function
- Inverse Ackermann function
Bibliography
- 1928. "On Hilbert's construction of the real numbers" in Jean van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press: 493–507.
- 1940. Zur Widerspruchsfreiheit der Zahlentheorie, Mathematische Annalen, vol. 117, pp 162–194.
- 1950 (1928). (with David Hilbert) Principles of Mathematical Logic. Chelsea. Translation of 1938 German edition.
- 1954. Solvable cases of the decision problem. North Holland.
External links
- O'Connor, John J.; Robertson, Edmund F., "Wilhelm Ackermann", MacTutor History of Mathematics Archive, University of St Andrews
- Wilhelm Ackermann at the Mathematics Genealogy Project
- Erich Friedman's page on Ackermann at Stetson University
- Hermes, In memoriam WILHELM ACKERMANN 1896-1962 (PDF, 945 KB)
- Author profile in the database zbMATH
- Ackermann Functions in A New Kind of Science