Ackermann, Wilhelm
Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 27. joulukuuta 2017 tarkistetusta versiosta . tarkastukset vaativat 6 muokkausta .| 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 |
 Wikilainaukset | |
| 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 .
Elämäkerta
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.
Venäjänkieliset julkaisut
- Gilbert D., Akkerman V. Teoreettisen logiikan perusteet. — M.: Kustannusryhmä URSS, 2010. — 304 s. — ISBN 978-5-484-01144-5 .
Muistiinpanot
- ↑ 1 2 3 4 5 MacTutor Matematiikan historia -arkisto
- ↑ ACKERMANN WILHELM // Encyclopædia Universalis (ranska) - Encyclopædia Britannica .
- ↑ 1 2 Friedrich Wilhelm Ackermann // Brockhaus Encyclopedia (saksa) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Tšekin kansallisten viranomaisten tietokanta
- ↑ https://projecteuclid.org/euclid.ndjfl/1093956238 - s. 1.
Kirjallisuus
- Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f.
- Constance Reid: Hilbert, Springer 1970, S.173.
- Dieter Remus: Professori Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. Julkaisussa: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, S.211-219.
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||