Wilhelm Ackermann (matemaatikko)
Wilhelm Friedrich Ackermann (syntynyt Maaliskuu 29, 1896 in Schönebecke (Herscheid) , † Joulukuu 24, 1962 in Lüdenscheid ) oli saksalainen matemaatikko .
Elämä
Ackermann opiskeli matematiikkaa, fysiikkaa ja filosofiaa Göttingenin yliopistossa vuosina 1914–1924 keskeytyksin osallistumalla ensimmäiseen maailmansotaan . Hän oli opiskelija David Hilbert vuonna Göttingen ja tuli kuuluisa Ackermann toiminto nimetty hänen , esimerkki rekursiivinen funktio , joka ei ole primitiiviset rekursiivinen .
Vuonna 1924 hän sai tohtorin tutkinnon Hilbertiltä väitöskirjaan "Tertium non datur" -perusteen käyttäminen Hilbertin johdonmukaisuusteorian avulla. Sitten hän sai kolmen vuoden tutkimusapurahan, jonka avulla hän pystyi pysymään Cambridgessa .
Vuonna 1925 hän löysi hänen nimensä Ackermann-toiminnon , joka on tärkeä teoreettisen tietojenkäsittelytieteen kannalta nykyään.
Vuonna 1928 hän suoritti valmistelupalvelun opetukselle Göttingenin lukioissa. Sitten hän työskenteli vuoden ajan Konster-Schlaun-Oberrealschulessa Münsterissä . Vuodesta 1929-1948 hän opetti Arnoldinum lyseossa vuonna Burgsteinfurt , ja vuonna 1935 hänet ylennettiin tiedekunnan jäsenenä siellä. 1. toukokuuta 1933 hän liittyi NSDAP: hen (jäsennumero 2.167.324) ja oli NSLB: n ja NSV: n jäsen . Heinäkuussa 1933 hän kirjoitti myös raportteja kollegoidensa poliittisesta luotettavuudesta. Vuonna 1948 hän palasi kotikaupunkiinsa Lüdenscheidiin , jossa hän opetti Geschwister-Scholl-lukiossa vuoteen 1961 saakka . Vuonna 1957 hänet ylennettiin siellä matematiikan vanhemmaksi luennoitsijaksi.
Hän oli vastaava jäsen Academy of Sciences Göttingenissä ja kunniaprofessori klo Westfalenin Wilhelms Universität Münster . Vuonna 1962 Ackermann oli yksi seitsemästä perustajajäsenestä Saksan matemaattisen logiikan ja tarkan tieteen säätiöiden yhdistyksessä (DVMLG).
Hän kirjoitti yhdessä David Hilbertin kanssa kirjan Teoreettisen logiikan perusteet vuonna 1928 . Hilbertin tuolloin korkea ikä huomioon ottaen hän oli sen pääkirjailija. Hän myös tuli tunnetuksi työstään päätösongelmalla ja predikaattilogiikan , The johdonmukaisuus alkeis lukuteoria ja joukko-oppi . Erityisesti hän loi Ackermann-sarjan teorian vuonna 1955 .
Hän kuoli yllättäen 66-vuotiaana 24. joulukuuta 1962. Kolme päivää aiemmin hän piti luentoa matemaattisesta perustutkimuksesta Westfalenin Wilhelmsin yliopistossa Münsterissä. Münsterissä hän piti säännöllisesti luentoja matemaattisesta logiikasta ja matematiikan perusteista Hans Hermesin johdolla.
Constance Reid antaa vastauksen kysymykseen, miksi Ackermann ei aloittanut yliopistouraa :
”Hilbert vastusti kuitenkin hyvin nuorten tutkijoiden avioliittoa. [...] Myöhemmin, kun Wilhelm Ackermann, jonka kanssa hän oli työskennellyt ja tehnyt yhteistyötä kirjan kanssa, meni naimisiin, Hilbert oli hyvin vihainen. Hän kieltäytyi tekemästä mitään muuta Ackermannin uran edistämiseksi. "
Hilbert välittää suullisesti seuraavan lausunnon:
"Voi, se on hienoa. Tämä on hyvä uutinen minulle. Koska jos tämä mies on niin hullu, että menee naimisiin ja jopa saa lapsen, olen vapautettu velvollisuudesta tehdä jotain hänen puolestaan. "
Ackermann opetti 26 tuntia viikossa Arnoldinumissa kesällä 1929 ja oli siellä toisinaan ainoa matematiikan opettaja. Arnoldinumin nekrologissa sanotaan:
"Vanhempi opiskelijaneuvos Dr. Ackermann ei ollut vain arvostettu ja suosittu opettaja, vaan myös maailmankuulu tiedemies. "
Göttingenissä opiskellessaan hän tutustui Fritz Lettenmeyeriin (1891–1953), joka jatkoi opintojaan neljä lukukautta Göttingenissä vuosina 1920–1922. Intohimoinen alpinisti Lettenmeyer ylitti Huderbankspitze - Kaiserkopf - Hochglück -harjan Ackermannin kanssa yöpymällä Lamsenjochhüttessä .
Fontit
- David Hilbertin kanssa: Teoreettisen logiikan perusteet. Matematiikan peruskurssit 27, Springer 1928
- Valitun aksiooman johdonmukaisuus , 1924, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, osa 1924 , s.246-250.
- "Tertium non datur" -perusteen käyttäminen Hilbertin johdonmukaisuusteorian avulla , 1925, Mathematische Annalen, osa 93 , s. 1–36.
- Hilbertin reaalilukujen rakenteesta , 1928, Mathematische Annalen, osa 99 , sivut 118-133.
- Tiettyjen laskentalausekkeiden tyydyttävyydestä , 1928, Mathematische Annalen, osa 100 , s. 638–649.
- Tutkimukset matemaattisen logiikan eliminointiongelmasta , 1935, Mathematische Annalen, osa 110 , s. 390-413.
- Matemaattisen logiikan eliminointiongelmasta , 1935, Mathematische Annalen, osa 111 , s. 61–63.
- Panokset matemaattisen logiikan päätösongelmaan, 1936, Mathematische Annalen, nide 112 , s. 419-432.
- Yleisen joukko-teorian yhdenmukaisuus , 1936, Mathematische Annalen, osa 114 (1937) , s. 305-315.
- Aseta logiikan teoreettinen perustelu , 1938, Mathematische Annalen, osa 115 , s. 1–22.
- Sen johdonmukaisuutta lukuteoria , 1940/1941, Mathematische Annalen, Volume 117 , s. 162-194.
- Tyypillisen logiikan järjestelmä . Osa I, Leipzig 1941.
- Rakentava rakenne toisen Cantorin numeroluokan osasta , 1951, Mathematische Zeitschrift, osa 53, numero 5 , s. 403-413.
- Joukkuteorian Axiomaticsista , 1955, Mathematische Annalen, osa 131 (1956) , s. 336-345.
- Tyypillisen logiikan johdonmukainen rakenne. , 1951/52, Mathematische Zeitschrift, osa 55 , s. 364-384.
- Tyypillisen logiikan johdonmukainen rakenne. II. , 1953, Mathematische Zeitschrift, osa 57 , s. 155-166.
- Filosofiset huomautukset matemaattisesta logiikasta ja matemaattisesta perustutkimuksesta. Julkaisussa: Ratio. Osa 1, 1957.
- Tyyppinen logiikkajärjestelmä, jolla on riittävä matemaattinen sovellettavuus I. , 1958, Arkisto matemaattista logiikkaa ja perustutkimusta varten, osa 4 , s. 3–26.
- Tyyppinen logiikkajärjestelmä, jolla on riittävä matemaattinen sovellettavuus II. , 1960/61, Arkisto matemaattista logiikkaa ja perustutkimusta varten, 5. osa , s. 96–111.
kirjallisuus
- Gottwald, Ilgauds, Schlote: Tärkeiden matemaatikkojen sanakirja . 1990, s. 12 f.
- Constance Reid: Hilbert. Springer 1970, s. 173.
- Dieter Remus: Wilhelm Ackermann ja matematiikka. Julkaisussa: Albert Röser: Muotokuvia neljästä vuosisadasta. Arnoldinum Steinfurt 1588–1988, Steinfurter Schriften11, Steinfurt 1988, s. 185–203.
- Dieter Remus: professori Wilhelm Ackermann, Arnoldinumin opettaja ja matematiikan tutkija. Vuonna: 400 vuotta Arnoldinum 1588–1988. Festschrift. Greven 1988, sivut 211-219.
- Hans Hermes : Muistiinpanona WILHELM ACKERMANN 1896–1962. Notre Dame Journal of Formal Logic 8 (1967), 1-8, julkaisuluettelo, verkkolinkki .
nettilinkit
- John J.O'Connor, Edmund F.Robertson : Wilhelm Ackermann (matemaatikko). Julkaisussa: MacTutor Mathematics History archive .
- Hermes, muistoksi (pdf 945 kt)
- Kurzbiographie (englanti)
- Kirjoittajaprofiili tietokannassa zbMATH
Yksittäiset todisteet
- ↑ Liittovaltion arkisto R 9361-IX KARTEI / 81399
- ^ Willi Feld: Burgsteinfurt natsien aikakaudella, 1. osa. Münster 2019. s. 112ff
- ↑ Anita Ehlers. Hyvä Hertz! Fyysikot ja matemaatikot anekdooteissa . Basel: Birkhäuser Verlag, 1994, s. 161. Myös Constance Reid Hilbert .
henkilökohtaiset tiedot | |
---|---|
SUKUNIMI | Ackermann, Wilhelm |
VAIHTOEHTOISET NIMET | Ackermann, Wilhelm Friedrich (koko nimi) |
LYHYT KUVAUS | Saksalainen matemaatikko |
SYNTYMÄAIKA | 29. maaliskuuta 1896 |
SYNTYMÄPAIKKA | Schönebecke (Herscheid) |
KUOLINPÄIVÄMÄÄRÄ | 24. joulukuuta 1962 |
KUOLEMAN PAIKKA | Ludenscheid |