Ackermann, Wilhelm
Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt hozzászólók, és jelentősen eltérhet a 2017. december 27-én felülvizsgált verziótól ; az ellenőrzések 6 szerkesztést igényelnek .| Wilhelm Ackerman | |
|---|---|
| Wilhelm Ackermann | |
| Születési név | német Wilhelm Friedrich Ackermann |
| Születési dátum | 1896. március 29. [1] [2] [3] […] |
| Születési hely | Herscheid , Német Birodalom |
| Halál dátuma | 1962. december 24. [1] [3] [4] (66 éves) |
| A halál helye | |
| Ország | Német Birodalom, Weimari Köztársaság, Harmadik Birodalom, Németország |
| Tudományos szféra | matematika , logika |
| Munkavégzés helye | |
| alma Mater | |
| tudományos tanácsadója | David Gilbert |
 Idézetek a Wikiidézetben | |
| Médiafájlok a Wikimedia Commons oldalon | |
Wilhelm Friedrich Ackermann ( német Wilhelm Friedrich Ackermann ; 1896. március 29., Herscheid , Német Birodalom , - 1962. december 24. , Lüdenscheid , Németország ) - német matematikus és logikus , tanár.
Életrajz
Ackermann a Göttingeni Egyetemen szerzett Ph.D. fokozatot 1925- ben a „tertium non datur” indoklása Hilbert-féle konzisztenciabizonyítási elmélet alapján című disszertációjával ( németül: Begründung des „tertium non datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit ), az aritmetika következetességének bizonyítéka a Peano-féle teljes indukciós axióma nyilvánvaló használata nélkül (bár implicit módon még mindig használták). 1929 -től 1948 - ig a steinfurti gimnáziumban , majd 1961 -ig a lüdenscheidi gimnáziumban tanított . A göttingeni Tudományos Akadémia levelező tagja és a Vesztfáliai Egyetem tiszteletbeli professzora volt .
1928- ban Ackermann segített David Hilbertnek előkészíteni az 1917-1922 közötti előadásokat a publikálásra. a matematikai logika bevezetéséhez - Az elméleti logika alapjai ( németül: Grundzüge der theoretischen Logik ). A könyv tartalmazza az elsőrendű logika első kifejtését és azokat a kérdéseket, amelyeket Gödel ezt követően a teljességi tételben és a hiányossági tételben megoldott .
Annak ellenére, hogy Ackerman szívesebben dolgozott az iskolarendszerben, mint az egyetemi oktatásban, aktívan részt vett a tudományban, és számos publikációja volt. Ackerman a halmazelmélet (1937), a teljes aritmetika (1940), a szabad logika (1952) és a halmazelmélet új axiomatizálásának (1956) konzisztenciájának bizonyításain dolgozott. Az algoritmusok elméletében az Ackermann-függvény széles körben ismert .
1956-ban Ackermann először foglalkozott kifejezetten a releváns logika problematikájával . Bár később ismertté vált, hogy Ackerman előtt a releváns logika rendszerét I. E. Orlov (1920-as évek), A. Church (1951) után pedig Ackermann erős implikációjú logikai rendszere volt az első explicit megfontolása a releváns logika problémáinak.
Orosz nyelvű publikációk
- Gilbert D., Akkerman V. Az elméleti logika alapjai. — M.: URSS Kiadócsoport, 2010. — 304 p. — ISBN 978-5-484-01144-5 .
Jegyzetek
- ↑ 1 2 3 4 5 MacTutor Matematikatörténeti archívum
- ↑ ACKERMANN WILHELM // Encyclopædia Universalis (francia) - Encyclopædia Britannica .
- ↑ 1 2 Friedrich Wilhelm Ackermann // Brockhaus Encyclopedia (német) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
- ↑ Cseh nemzeti hatósági adatbázis
- ↑ https://projecteuclid.org/euclid.ndjfl/1093956238 – 1. o.
Irodalom
- Gottwald, Ilgauds, Schlote: Lexikon bedeutender Mathematiker. 1990. S.12 f.
- Constance Reid: Hilbert, Springer 1970, S.173.
- Dieter Remus: Wilhelm Ackermann professzor, Lehrer am Arnoldinum und Forscher in der Mathematik. In: 400 Jahre Arnoldinum 1588-1988. Emlékkönyv vki tiszteletére. Greven 1988, S.211-219.
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| ||||