Wilhelm Ackermann (matematiker)

Wilhelm Ackermann (ca. 1935)

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

Liv

Ackermann studerede matematik, fysik og filosofi ved universitetet i Göttingen fra 1914 til 1924 med afbrydelser gennem deltagelse i første verdenskrig . Han var elev af David Hilbert i Göttingen og blev berømt for Ackermann-funktionen opkaldt efter ham , et eksempel på en rekursiv funktion , der ikke er primitiv-rekursiv .

I 1924 modtog han sin doktorgrad fra Hilbert med afhandlingen "Justification of the 'tertium non datur' ved hjælp af Hilberts teori om konsistens". Han modtog derefter et tre-årigt forskningsstipend, der gjorde det muligt for ham at blive i Cambridge .

I 1925 opdagede han Ackermann-funktionen opkaldt efter ham , hvilket er vigtigt for den teoretiske datalogi i dag.

I 1928 afsluttede han sin forberedende tjeneste for undervisning på gymnasier i Göttingen . Han arbejdede derefter i et år på det daværende Konrad-Schlaun-Oberrealschule i Münster . Fra 1929 til 1948 underviste han på Arnoldinum-grammatikskolen i Burgsteinfurt , og i 1935 blev han forfremmet til fakultetsmedlem der. Den 1. maj 1933 sluttede han sig til NSDAP (medlemsnummer 2.167.324) og var medlem af NSLB og NSV . I juli 1933 skrev han også rapporter om dennes politiske pålidelighed. I 1948 vendte han tilbage til sin hjemby Lüdenscheid , hvor han underviste på Geschwister-Scholl-Gymnasium indtil 1961 . I 1957 blev han forfremmet til lektor i matematik der.

Han var et tilsvarende medlem af videnskabsakademiet i Göttingen og æresprofessor ved Westphalian Wilhelms Universitet i Münster . I 1962 var Ackermann et af de syv grundlæggende medlemmer af den tyske sammenslutning for matematisk logik og for fundamenter for eksakte videnskaber (DVMLG).

Sammen med David Hilbert skrev han bogen Basics of Theoretical Logic i 1928 . I betragtning af Hilberts avancerede alder på det tidspunkt var han dens hovedforfatter. Han blev også kendt gennem sit arbejde med beslutningsproblemet med predikatlogik , konsistensen af elementær talteori og sætteori . Især oprettede han Ackermann-sætteorien i 1955 .

Han døde uventet i en alder af 66 år den 24. december 1962. Tre dage tidligere holdt han et foredrag om grundlæggende matematisk forskning ved Westphalian Wilhelms University i Münster. I Münster holdt han regelmæssige foredrag om matematisk logik og det grundlæggende i matematik ved stolen ledet af Hans Hermes .

Constance Reid giver et svar på spørgsmålet om, hvorfor Ackermann ikke begyndte på en universitetskarriere :

”Hilbert var alligevel meget modstander af ægteskab for unge forskere. [...] Senere, da Wilhelm Ackermann, med hvem han havde arbejdet og samarbejdet om en bog, blev gift, var Hilbert meget vred. Han nægtede at gøre noget mere for at fremme Ackermanns karriere. "

Mundtligt sendes følgende erklæring fra Hilbert:

”Åh, det er vidunderligt. Dette er gode nyheder for mig. For hvis denne mand er så skør, at han gifter sig og endda får et barn, er jeg befriet for enhver forpligtelse til at gøre noget for ham. "

Ackermann underviste 26 timer om ugen på Arnoldinum sommeren 1929 og var endda den eneste matematiklærer der til tider. I Arnoldinums nekrolog siger det:

"Senior studenterråd Dr. Ackermann var ikke kun en meget respekteret og populær lærer, han var også en verdensberømt videnskabsmand. "

Under sine studier i Göttingen lærte han Fritz Lettenmeyer at kende (1891–1953), som fortsatte med at studere i fire semestre i Göttingen fra 1920–1922. Den lidenskabelige alpinist Lettenmeyer krydsede ryggen Huderbankspitze - Kaiserkopf - Hochglück med Ackermann med en overnatning i Lamsenjochhütte .

Skrifttyper

litteratur

  • Gottwald, Ilgauds, Schlote: Lexikon af vigtige matematikere . 1990, s. 12 f.
  • Constance Reid: Hilbert. Springer 1970, s. 173.
  • Dieter Remus: Wilhelm Ackermann og matematik. I: Albert Röser: Portrætter fra fire århundreder. Arnoldinum Steinfurt 1588–1988, Steinfurter Schriften11, Steinfurt 1988, s. 185–203.
  • Dieter Remus: Professor Wilhelm Ackermann, lærer ved Arnoldinum og forsker 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 publikationsliste, weblink .

Weblinks

Individuelle beviser

  1. Forbundsarkiv R 9361-IX KARTEI / 81399
  2. ^ Willi Feld: Burgsteinfurt under nazitiden, bind 1. Münster 2019. s. 112ff
  3. Anita Ehlers. Kære Hertz! Fysikere og matematikere i anekdoter . Basel: Birkhäuser Verlag, 1994, s. 161. Også i Constance Reid Hilbert .