Ackermann, Wilhelm
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 27. december 2017; checks kræver 6 redigeringer .| Wilhelm Ackerman | |
|---|---|
| Wilhelm Ackermann | |
| Navn ved fødslen | tysk Wilhelm Friedrich Ackermann |
| Fødselsdato | 29. marts 1896 [1] [2] [3] […] |
| Fødselssted | Herscheid , det tyske rige |
| Dødsdato | 24. december 1962 [1] [3] [4] (66 år) |
| Et dødssted | |
| Land | Tyske Rige, Weimarrepublikken, Tredje Rige, Tyskland |
| Videnskabelig sfære | matematik , logik |
| Arbejdsplads | |
| Alma Mater | |
| videnskabelig rådgiver | David Gilbert |
 Citater på Wikiquote | |
| Mediefiler på Wikimedia Commons | |
Wilhelm Friedrich Ackermann ( tysk Wilhelm Friedrich Ackermann ; 29. marts 1896 , Herscheid , tyske rige , - 24. december 1962 , Lüdenscheid , Tyskland ) - tysk matematiker og logiker , lærer.
Biografi
Ackermann modtog sin ph.d.-grad fra universitetet i Göttingen i 1925 med en afhandling med titlen Justification of "tertium non datur" efter Hilberts teori om bevis for konsistens ( tysk: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit ), et bevis på aritmetikkens konsistens uden den åbenlyse brug af Peanos aksiom om fuldstændig induktion (selvom det stadig blev implicit brugt). Fra 1929 til 1948 underviste han på Gymnasium i Steinfurt , derefter indtil 1961 i Lüdenscheid . Han var et tilsvarende medlem af Videnskabsakademiet i Göttingen og æresprofessor ved University of Westphalia .
I 1928 hjalp Ackermann David Hilbert med at forberede forelæsningerne 1917-1922 til udgivelse. for en introduktion til matematisk logik - Fundamentals of Theoretical Logik ( tysk: Grundzüge der theoretischen Logik ). Bogen indeholder den første redegørelse for førsteordenslogik og de spørgsmål Gödel efterfølgende løste i fuldstændighedssætningen og ufuldstændighedssætningen .
På trods af at Ackerman foretrak at arbejde i skolesystemet frem for universitetsuddannelse, var han aktivt involveret i videnskab og havde mange publikationer. Ackerman arbejdede på beviser for sammenhængen i mængdeteori (1937), komplet aritmetik (1940), fri logik (1952) og en ny aksiomatisering af mængdeteori (1956). I teorien om algoritmer er Ackermann-funktionen almindeligt kendt .
I 1956 adresserede Ackermann eksplicit problematikken med relevant logik for første gang . Selvom det senere blev kendt, at før Ackerman systemet med relevant logik blev konstrueret af I. E. Orlov (1920'erne), og efter A. Church (1951), var Ackermanns logiske system med stærke implikationer den første eksplicitte overvejelse af problemerne med relevant logik.
Publikationer på russisk
- Gilbert D., Akkerman V. Fundamentals of theoretical logic. — M.: Forlagsgruppen URSS, 2010. — 304 s. — ISBN 978-5-484-01144-5 .
Noter
- ↑ 1 2 3 4 5 MacTutor History of Mathematics Archive
- ↑ ACKERMANN WILHELM // Encyclopædia Universalis (fransk) - Encyclopædia Britannica .
- ↑ 1 2 Friedrich Wilhelm Ackermann // Brockhaus Encyclopedia (tysk) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Tjekkiske nationale myndigheders database
- ↑ https://projecteuclid.org/euclid.ndjfl/1093956238 - s. 1.
Litteratur
- Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f.
- Constance Reid: Hilbert, Springer 1970, S.173.
- Dieter Remus: Professor Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. I: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, S.211-219.
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||