Wilhelm Ackermann (matematikus)

Wilhelm Ackermann (kb. 1935)

Wilhelm Friedrich Ackermann (született March 29-, 1896-os a Schönebecke (Herscheid) , † December 24-, 1962-es a Lüdenscheid ) német matematikus .

Élet

Ackermann 1914 és 1924 között matematikát, fizikát és filozófiát tanult a göttingeni egyetemen , az első világháborúban való részvétel útján . Ő tanítványa volt David Hilbert a Göttingen és lett híres a Ackermann függvény róla elnevezett , egy példa a rekurzív függvény , ami nem primitív rekurzív .

1924-ben doktori címet kapott Hilbert-től "A" tertium non datur "igazolása Hilbert konzisztencia elméletének felhasználásával" tézissel. Ezután hároméves kutatási támogatást kapott, amely lehetővé tette számára, hogy Cambridge-ben maradjon .

1925-ben fedezte fel a róla elnevezett Ackermann-funkciót , amely ma fontos az elméleti számítástechnika számára .

1928-ban befejezte a göttingeni középiskolák tanításának előkészítő szolgálatát . Ezután egy évig dolgozott az akkori münsteri Konrad-Schlaun-Oberrealschule-ban . 1929-től 1948 tanított a Arnoldinum gimnázium a Burgsteinfurt , és 1935-ben került elő a kar tagja van. 1933. május 1-jén csatlakozott az NSDAP-hoz (tagsági száma: 2.167.324), és tagja volt az NSLB-nek és az NSV-nek . 1933 júliusában beszámolókat írt kollégái politikai megbízhatóságáról is. 1948-ban visszatért szülővárosába, Lüdenscheidbe , ahol 1961 - ig a Geschwister-Scholl-Gimnáziumban tanított. 1957-ben előléptették az ottani matematika vezető oktatóvá.

A göttingeni Tudományos Akadémia levelező tagja és a Münsteri Westphalian Wilhelms Egyetem tiszteletbeli tanára volt . 1962-ben Ackermann a Német Matematikai Logikai és Pontos Tudományos Alapítványok Szövetségének (DVMLG) hét alapító tagja volt .

David Hilberttel együtt 1928-ban megírta az elméleti logika alapjai című könyvet . Tekintettel Hilbert akkori magas korára, ő volt a fő szerzője. Azt is ismertté vált, az ő munkája a döntési probléma az elsőrendű logika , a következetesség az elemi számelmélet és halmazelmélet . Különösen 1955-ben alkotta meg az Ackermann-halmazelméletet .

Váratlanul 66 éves korában halt meg 1962. december 24-én. Három nappal korábban a matematikai Westphalian Wilhelms Egyetemen tartott előadást a matematikai alapkutatásokról. Münsterben rendszeresen tartott előadásokat a matematikai logikáról és a matematika alapjairól a Hans Hermes vezette széknél .

Constance Reid választ ad arra a kérdésre, hogy Ackermann miért nem kezdett egyetemi pályára :

Szóbeli módon a következő állítást adta át Hilbert:

Ackermann 1929 nyarán heti 26 órát tanított az Arnoldinumban, és időnként ott volt az egyetlen matematikatanár is. Az Arnoldinum nekrológjában ez áll:

Göttingeni tanulmányai során megismerte Fritz Lettenmeyert (1891–1953), aki 1920–1922 között négy féléven keresztül folytatta tanulmányait Göttingenben. A szenvedélyes alpinista, Lettenmeyer átment a Huderbankspitze - Kaiserkopf - Hochglück hegygerincen Ackermann-nal egy éjszakai tartózkodás mellett a Lamsenjochhütte-ben .

Betűtípusok

• David Hilbert-szel: Az elméleti logika alapjai. Matematikatudomány alaptanításai 27, Springer 1928
• A választott axióma konzisztenciája , 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, 1924. évfolyam, 246–250.
• A "tertium non datur" igazolása Hilbert konzisztencia-elméletének felhasználásával , 1925, Mathematische Annalen, 93. kötet , 1–36.
• Hilbert valós számok szerkezetéről , 1928, Mathematische Annalen, 99. évfolyam, 118-133.
• Bizonyos számláló kifejezések kielégítőségéről , 1928, Mathematische Annalen, 100. évfolyam, 638–649.
• Vizsgálatok a matematikai logika eliminációs problémájához, 1935, Mathematische Annalen, 110. évfolyam, 390–413.
• A matematikai logika kiküszöbölési problémájáról , 1935, Mathematische Annalen, 111. kötet , 61–63.
• Hozzájárulások a matematikai logika döntési problémájához , 1936, Mathematische Annalen, 112. évfolyam, 419–432.
• Az általános halmazelmélet konzisztenciája , 1936, Mathematische Annalen, 114. évfolyam (1937) , 305-315.
• A logika elméleti igazolása , 1938, Mathematische Annalen, 115. évfolyam,1–22.
• A számelmélet konzisztenciájáról, 1940/1941, Mathematische Annalen, 117. évfolyam, 162–194.
• Típus nélküli logika rendszere . I. kötet, Lipcse 1941.
• A második Cantor- számosztály1951-es szakaszának konstruktív felépítése , Mathematische Zeitschrift, 53. évfolyam, 5. szám , 403–413.
• A halmazelmélet axiomatikájáról , 1955, Mathematische Annalen, 131. kötet (1956) , 336-345.
• A típus nélküli logika következetes felépítése. , 1951/52, Mathematische Zeitschrift, 55. évfolyam, 364-384.
• A típus nélküli logika következetes felépítése. II. , 1953, Mathematische Zeitschrift, 57. évfolyam, 155–166.
• Filozófiai megjegyzések a matematikai logikához és az alapvető matematikai kutatáshoz. In: Arány. 1957. 1. kötet.
• Típus nélküli logikai rendszer kellő matematikai alkalmazhatósággal I. , 1958, Archívum matematikai logikához és alapkutatáshoz, 4. kötet , 3–26.
• Típus nélküli logika, kellő matematikai alkalmazhatósággal II. , 1960/61, Archívum matematikai logikához és alapkutatáshoz, 5. kötet , 96–111.

irodalom

• Gottwald, Ilgauds, Schlote: Fontos matematikusok lexikona . 1990, 12. o.
• Constance Reid: Hilbert. Springer 1970, 173. o.
• Dieter Remus: Wilhelm Ackermann és a matematika. In: Albert Röser: Portrék négy évszázadból. Arnoldinum Steinfurt 1588–1988, Steinfurter Schriften11, Steinfurt 1988, 185–203.
• Dieter Remus: Wilhelm Ackermann professzor, az Arnoldinum tanára és matematikai kutató. In: 400 év Arnoldinum 1588–1988. Emlékkönyv vki tiszteletére. Greven 1988, 211–219.
• Hans Hermes : In memoriam WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1–8, publikációk listájával, internetes link .

internetes linkek

• John J. O'Connor, Edmund F. Robertson :  Wilhelm Ackermann (matematikus). In: MacTutor matematikatörténeti archívum .
• Hermes, In memoriam (pdf 945 KB)
• Kurzbiographie (angol)
• Szerzői profil az adatbázisban zbMATH

Egyéni bizonyíték

1. ↑ Szövetségi levéltár R 9361-IX KARTEI / 81399
2. ^ Willi Feld: Burgsteinfurt a náci korszakban, 1. kötet Münster 2019. P. 112ff
3. ↑ Ehlers Anita. Kedves Hertz! Fizikusok és matematikusok anekdotákban . Bázel: Birkhäuser Verlag, 1994, 161. o. Constance-ban is Reid Hilbert .