Ackermann, Wilhelm
Versiunea actuală a paginii nu a fost încă revizuită de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită pe 27 decembrie 2017; verificările necesită 6 modificări .| Wilhelm Ackerman | |
|---|---|
| Wilhelm Ackermann | |
| Numele la naștere | limba germana Wilhelm Friedrich Ackermann |
| Data nașterii | 29 martie 1896 [1] [2] [3] […] |
| Locul nașterii | Herscheid , Imperiul German |
| Data mortii | 24 decembrie 1962 [1] [3] [4] (66 de ani) |
| Un loc al morții | |
| Țară | Imperiul German, Republica Weimar, Al Treilea Reich, Germania |
| Sfera științifică | matematică , logică |
| Loc de munca | |
| Alma Mater | |
| consilier științific | David Gilbert |
 Citate pe Wikiquote | |
| Fișiere media la Wikimedia Commons | |
Wilhelm Friedrich Ackermann ( german Wilhelm Friedrich Ackermann ; 29 martie 1896 , Herscheid , Imperiul German , - 24 decembrie 1962 , Lüdenscheid , Germania ) - matematician și logician german , profesor.
Biografie
Ackermann și-a luat doctoratul de la Universitatea din Göttingen în 1925 cu o teză intitulată Justificarea „tertium non datur” prin teoria dovedirii consistenței a lui Hilbert ( germană: Begründung des „tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit ), o dovadă a consistenței aritmeticii fără utilizarea evidentă a axiomei lui Peano a inducției complete (deși a fost încă folosită implicit). Din 1929 până în 1948 a predat la Gimnaziul din Steinfurt , apoi până în 1961 la Lüdenscheid . A fost membru corespondent al Academiei de Științe din Göttingen și profesor onorific la Universitatea din Westfalia .
În 1928 , Ackermann l-a ajutat pe David Hilbert să pregătească prelegerile 1917-1922 pentru publicare. pentru o introducere în logica matematică - Fundamentals of Theoretical Logic ( germană: Grundzüge der theoretischen Logik ). Cartea conține prima expunere a logicii de ordinul întâi și întrebările pe care Gödel le-a rezolvat ulterior în teorema completității și teorema incompletității .
În ciuda faptului că Ackerman a preferat să lucreze în sistemul școlar decât în învățământul universitar, a fost implicat activ în știință și a avut multe publicații. Ackerman a lucrat la dovezi ale consistenței teoriei mulțimilor (1937), aritmetică completă (1940), logică liberă (1952) și o nouă axiomatizare a teoriei mulțimilor (1956). În teoria algoritmilor, funcția Ackermann este cunoscută pe scară largă .
În 1956, Ackermann a abordat în mod explicit problematica logicii relevante pentru prima dată . Deși mai târziu s-a știut că înainte de Ackerman sistemul logicii relevante a fost construit de I. E. Orlov (anii 1920), iar după A. Church (1951), sistemul logic de implicare puternică al lui Ackermann a fost prima considerație explicită a problemelor logicii relevante.
Publicații în limba rusă
- Gilbert D., Akkerman V. Fundamentele logicii teoretice. — M.: Grupul editorial URSS, 2010. — 304 p. — ISBN 978-5-484-01144-5 .
Note
- ↑ 1 2 3 4 5 Arhiva MacTutor Istoria Matematicii
- ↑ ACKERMANN WILHELM // Encyclopædia Universalis (franceză) - Encyclopædia Britannica .
- ↑ 1 2 Friedrich Wilhelm Ackermann // Enciclopedia Brockhaus (germană) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Baza de date a Autorității Naționale Cehe
- ↑ https://projecteuclid.org/euclid.ndjfl/1093956238 - p. 1.
Literatură
- Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f.
- Constance Reid: Hilbert, Springer 1970, S.173.
- Dieter Remus: Profesorul Wilhelm Ackermann, Lehrer am Arnoldinum und Forscher in der Mathematik. În: 400 Jahre Arnoldinum 1588-1988. Festschrift. Greven 1988, S.211-219.
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| ||||