Wilhelm Ackermann - Wilhelm Ackermann

Wilhelm Ackermann
Ackermann Wilhelm.jpg
Wilhelm Ackermann c.  1935
Született ( 1896-03-29 )1896. március 29
Herscheid , Német Birodalom
Meghalt 1962. december 24. (1962-12-24)(66 éves)
Lüdenscheid , Nyugat -Németország
Állampolgárság német
alma Mater Göttingeni Egyetem
Ismert
Tudományos karrier
Mezők Matematika
Doktori tanácsadó David Hilbert

Wilhelm Friedrich Ackermann ( / æ k ər m ə n / ; német: [akɐˌman] ; 29. március 1896 - December 24. 1962) volt a német matematikus és logikus legismertebb munkája a matematikai logika és a Ackermann függvény , fontos példa az elméleti számítás .

Életrajz

Ackermann született Herscheid , Németországban , és elnyerte a doktori A Göttingeni Egyetem 1925-ben az ő értekezését Begründung des „tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit , ami egy konzisztencia bizonyítása számtani látszólag anélkül Peano indukció (bár ez nem felhasználás pl indukciós hosszában igazolások). Ez volt az egyik a bizonyításelmélet két fő műve közül az 1920 -as években, és az egyetlen, amely Hilbert gondolatmenetét követte . 1929 1948-ig tanított a Arnoldinum Gimnázium Burgsteinfurt , aztán Lüdenscheid 1961-ig is volt egy levelező tagja Akademie der Wissenschaften ( Academy of Sciences ) Göttingenben, és tiszteletbeli professzora University of Münster .

1928 -ban Ackermann segített David Hilbertnek a bevezető matematikai logikáról szóló 1917 - 22 előadásait szöveggé alakítani, a Principles of Mathematical Logic szöveggel . Ez a szöveg tartalmazta az első, elsőrendű logikával kapcsolatos kitételt , és a teljesség és eldönthetőség problémáját vetette fel ( Entscheidungsproblem ). Ackermann folytatta konstrukciót összhang igazolások a halmazelmélet (1937), a teljes aritmetikai (1940), Tipusmentes logika (1952), és egy új axiomatizálása a halmazelmélet (1956).

Viszont Hilbert támogatása eltűnt, amikor Ackermann férjhez ment:

Ó, ez a wunderbar. Das sind gute Neuigkeiten für mich. Denn wenn dieser Mann so verrückt ist, daß er heiratet und sogar ein Kind hat, bin ich von jeder Verpflichtung befreit, etwas für ihn tun zu müssen.
Ó, ez csodálatos. Ez jó hír számomra. Mert ha ez az ember annyira őrült, hogy férjhez megy, és még gyereket is szül, akkor már nem vagyok felelős azért, hogy bármit is tegyek érte.

- Ehlers Anita. Liebes Hertz! Fizikus és matematikus Anekdotenben . Bázel: Birkhäuser Verlag, 1994, p. 161. Lásd még Constance Reid Hilbert .

Az élet későbbi szakaszában Ackerman középiskolai tanárként dolgozott. Ennek ellenére folyamatosan foglalkozott a kutatásokkal, és élete végéig számos közleményt tett közzé a matematika alapjaiban. Meghalt Lüdenscheid , Németország a december 1962.

Lásd még

Bibliográfia

Hivatkozások

Külső linkek