Wilhelm Ackerman | |
---|---|
Wilhelm Ackermann | |
Nimi syntyessään | Saksan kieli Wilhelm Friedrich Ackermann |
Syntymäaika | 29. maaliskuuta 1896 [1] [2] [3] […] |
Syntymäpaikka | Herscheid , Saksan valtakunta |
Kuolinpäivämäärä | 24. joulukuuta 1962 [1] [3] [4] (66-vuotias) |
Kuoleman paikka | |
Maa | Saksan valtakunta, Weimarin tasavalta, kolmas valtakunta, Saksa |
Tieteellinen ala | matematiikka , logiikka |
Työpaikka | |
Alma mater | |
tieteellinen neuvonantaja | David Gilbert |
![]() | |
Mediatiedostot Wikimedia Commonsissa |
Wilhelm Friedrich Ackermann ( saksalainen Wilhelm Friedrich Ackermann ; 29. maaliskuuta 1896 , Herscheid , Saksan valtakunta , - 24. joulukuuta 1962 , Lüdenscheid , Saksa ) - saksalainen matemaatikko ja loogikko , opettaja .
Ackermann valmistui tohtoriksi Göttingenin yliopistosta vuonna 1925 väitöskirjalla, jonka otsikkona on "tertium non datur" perustelu Hilbertin johdonmukaisuuden todistusteorialla ( saksa: Begründung des "tertium non datur" mittels der Hilbertschen Theorie der Widerspruchsfreiheit ), todiste aritmeettisen johdonmukaisuudesta ilman ilmeistä Peanon täydellisen induktion aksiooman käyttöä (vaikka sitä käytettiin edelleen implisiittisesti). Vuosina 1929-1948 hän opetti Gymnasiumissa Steinfurtissa , sitten vuoteen 1961 asti Lüdenscheidissä . Hän oli Göttingenin tiedeakatemian kirjeenvaihtajajäsen ja Westfalenin yliopiston kunniaprofessori .
Vuonna 1928 Ackermann auttoi David Hilbertiä valmistelemaan luennot 1917-1922 julkaisua varten. matemaattisen logiikan johdannosta - Teoreettisen logiikan perusteet ( saksa: Grundzüge der theoretischen Logik ). Kirja sisältää ensimmäisen asteen logiikan esittelyn ja kysymykset, jotka Gödel myöhemmin ratkaisi täydellisyyslauseessa ja epätäydellisyyslauseessa .
Huolimatta siitä, että Ackerman työskenteli mieluummin koulujärjestelmässä kuin yliopistokoulutuksessa, hän oli aktiivisesti mukana tieteessä ja hänellä oli monia julkaisuja. Ackerman työskenteli joukkoteorian (1937), täydellisen aritmeettisen (1940), vapaan logiikan (1952) ja joukkoteorian uuden aksiomatisoinnin (1956) johdonmukaisuuden todisteiden parissa. Algoritmien teoriassa Ackermann-funktio tunnetaan laajalti .
Vuonna 1956 Ackermann käsitteli ensimmäistä kertaa nimenomaisesti relevantin logiikan ongelmaa . Vaikka myöhemmin tuli tiedoksi, että ennen Ackermania relevantin logiikan järjestelmän rakensi I. E. Orlov (1920-luku) ja A. Churchin jälkeen (1951), Ackermannin vahvan implikoinnin looginen järjestelmä oli ensimmäinen eksplisiittinen pohdinta relevantin logiikan ongelmista.
![]() | ||||
---|---|---|---|---|
Sanakirjat ja tietosanakirjat | ||||
|