Wilhelm Ackermann (matematiker)

Wilhelm Ackermann (ungefär 1935)

Wilhelm Friedrich Ackermann (född 29 mars 1896 i Schönebecke (Herscheid) , † 24 december 1962 i Lüdenscheid ) var en tysk matematiker .

Liv

Ackermann studerade matematik, fysik och filosofi vid universitetet i Göttingen från 1914 till 1924 med avbrott genom deltagande i första världskriget . Han var elev av David Hilbert i Göttingen och blev känd för Ackermann-funktionen som namnges efter honom , ett exempel på en rekursiv funktion som inte är primitiv-rekursiv .

År 1924 tog han sin doktorsexamen från Hilbert med avhandlingen "Justification of the 'tertium non datur' med Hilberts teori om konsistens". Han fick sedan ett treårigt forskningsbidrag som gjorde det möjligt för honom att stanna i Cambridge .

1925 upptäckte han Ackermann-funktionen som namnges efter honom , vilket är viktigt för den teoretiska datavetenskapen idag.

1928 avslutade han sin förberedande tjänst för undervisning vid gymnasieskolor i Göttingen . Han arbetade sedan ett år vid det dåvarande Konrad-Schlaun-Oberrealschule i Münster . Från 1929 till 1948 undervisade han vid Arnoldinum-grammatikskolan i Burgsteinfurt , och 1935 befordrades han till fakultetsmedlemmen där. Den 1 maj 1933 gick han med i NSDAP (medlemsnummer 2.167.324) och var medlem i NSLB och NSV . I juli 1933 skrev han också rapporter om den politiska tillförlitligheten hos sina kollegor. 1948 återvände han till sin hemstad Lüdenscheid , där han undervisade vid Geschwister-Scholl-Gymnasium fram till 1961 . 1957 befordrades han till universitetslektor i matematik där.

Han var en motsvarande medlem av vetenskapsakademin i Göttingen och hedersprofessor vid Westphalian Wilhelms University of Münster . År 1962 var Ackermann en av de sju grundande medlemmarna av den tyska föreningen för matematisk logik och för stiftelser för exakt vetenskap (DVMLG).

Tillsammans med David Hilbert skrev han boken Basics of Theoretical Logic 1928 . Med tanke på Hilberts höga ålder vid den tiden var han dess huvudförfattare. Han blev också känd genom sitt arbete med beslutsproblemet med predikatlogik , konsistensen av elementär talteori och uppsättningsteori . I synnerhet skapade han Ackermann uppsättningsteori 1955 .

Han dog oväntat 66 år gammal den 24 december 1962. Tre dagar tidigare höll han en föreläsning om grundläggande matematisk forskning vid Westphalian Wilhelms University i Münster. I Münster höll han regelbundet föreläsningar om matematisk logik och matematikens grundläggande ordförande under ordförande Hans Hermes .

Constance Reid svarar på frågan varför Ackermann inte började på en universitetskarriär :

Muntligt överlämnas följande uttalande från Hilbert:

Ackermann undervisade 26 timmar i veckan på Arnoldinum sommaren 1929 och var till och med den enda matematikläraren där ibland. I Arnoldinums dödsannons står det:

Under sina studier i Göttingen lärde han känna Fritz Lettenmeyer (1891–1953), som fortsatte att studera under fyra terminer i Göttingen från 1920–1922. Den passionerade alpinisten Lettenmeyer korsade åsen Huderbankspitze - Kaiserkopf - Hochglück med Ackermann med en övernattning i Lamsenjochhütte .

Typsnitt

• med David Hilbert: Fundamentals of Theoretical Logic. Grundläggande lärdomar i matematiska vetenskaper 27, Springer 1928
• Konsistensen av det valda axiomet , 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Volym 1924 , s. 246-250.
• Motivering av "tertium non datur" med hjälp av Hilberts teori om konsistens , 1925, Mathematische Annalen, Volym 93 , s. 1–36.
• Om Hilberts struktur av reella siffror , 1928, Mathematische Annalen, Volym 99 , s 118-133.
• Om tillfredsställelsen av vissa räkningsuttryck , 1928, Mathematische Annalen, Volym 100 , s. 638–649.
• Undersökningar av elimineringsproblemet för matematisk logik , 1935, Mathematische Annalen, Volym 110 , s. 390-413.
• Om elimineringsproblemet med matematisk logik , 1935, Mathematische Annalen, Volym 111 , s. 61–63.
• Bidrag till beslutsproblemet för matematisk logik , 1936, Mathematische Annalen, Volym 112 , s. 419-432.
• Konsistensen av allmän uppsättningsteori , 1936, Mathematische Annalen, Volym 114 (1937) , s. 305-315.
• Ställ in teoretisk motivering av logiken , 1938, Mathematische Annalen, Volym 115 , s. 1–22.
• Om nummerteorins konsistens, 1940/1941, Mathematische Annalen, Volym 117 , s. 162–194.
• Ett system med typfri logik . Volym I, Leipzig 1941.
• Konstruktiv struktur för ett avsnitt av den andra Cantor-nummerklassen , 1951, Mathematische Zeitschrift, Volym 53, nummer 5 , s. 403-413.
• On the Axiomatics of Set Theory , 1955, Mathematische Annalen, Volym 131 (1956) , s. 336-345.
• Konsekvent struktur för en typfri logik. , 1951/52, Mathematische Zeitschrift, Volym 55 , s. 364-384.
• Konsekvent struktur för en typfri logik. II. , 1953, Mathematische Zeitschrift, Volym 57 , s. 155-166.
• Filosofiska kommentarer om matematisk logik och grundläggande matematisk forskning. I: Förhållande. Volym 1, 1957.
• Ett typfritt logiksystem med tillräcklig matematisk tillämpbarhet I. , 1958, Arkiv för matematisk logik och grundforskning, Volym 4 , s. 3–26.
• Ett typfritt logiksystem med tillräcklig matematisk tillämpbarhet II. , 1960/61, Arkiv för matematisk logik och grundforskning, Volym 5 , s. 96–111.

litteratur

• Gottwald, Ilgauds, Schlote: Lexikon för viktiga matematiker . 1990, s. 12 f.
• Constance Reid: Hilbert. Springer 1970, s. 173.
• Dieter Remus: Wilhelm Ackermann och matematik. I: Albert Röser: Porträtt från fyra århundraden. Arnoldinum Steinfurt 1588–1988, Steinfurter Schriften11, Steinfurt 1988, s. 185–203.
• Dieter Remus: Professor Wilhelm Ackermann, lärare vid Arnoldinum och forskare i matematik. Om: 400 år Arnoldinum 1588–1988. Festschrift. Greven 1988, s. 211-219.
• Hans Hermes : In memoriam WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1-8 med publikationslista, webblänk .

webb-länkar

• John J. O'Connor, Edmund F. Robertson :  Wilhelm Ackermann (matematiker). I: MacTutor History of Mathematics archive .
• Hermes, In memoriam (pdf 945 KB)
• Kurzbiographie (engelska)
• Författarprofil i databasen zbMATH

Individuella bevis

1. ↑ Federal Archives R 9361-IX KARTEI / 81399
2. ^ Willi Feld: Burgsteinfurt under nazitiden, Volym 1. Münster 2019. S. 112ff
3. ↑ Anita Ehlers. Kära Hertz! Fysiker och matematiker i anekdoter . Basel: Birkhäuser Verlag, 1994, s. 161. Även i Constance Reid Hilbert .