Hozzászólás, Emile Leon
| Hozzászólás, Emile Leon | |
|---|---|
| Emil Leon Post | |
| Születési név | fényesít Emil Leon Post |
| Születési dátum | 1897. február 11 |
| Születési hely | Avgustov , Orosz Birodalom |
| Halál dátuma | 1954. április 21. (57 évesen) |
| A halál helye | New York , USA |
| Ország | |
| Foglalkozása | matematikus , filozófus , logikus , egyetemi oktató |
| Médiafájlok a Wikimedia Commons oldalon | |
Emil Leon Post ( Eng. Post Emil Leon , 1897. február 11. , Augustow , Lengyel Királyság , Orosz Birodalom ) - 1954. április 21. , New York , USA ) - amerikai matematikus és logikus ; a sokértékű logika egyik megalapítója ( 1921 ); a matematikai logikával foglalkozó főbb munkák: Utóalgebra , A logikai algebra függvényosztályai; egy absztrakt számítástechnikai gépet javasolt – a Postagépet .
Életrajz
Emil Leon Post egy Bialystok közelében élő ortodox zsidó családban született . 1897-ben apja, Arnold emigrált az Egyesült Államokba. Amikor apám helyzete javult, a család (a hétéves Emil, két nővére és édesanyja) szintén Oroszországból New Yorkba költözött. A család egy kényelmes otthonban élt Harlemben.
Emil gyerekkorában rajongott a csillagászatért, de egy baleset áthúzta a srác terveit – 12 évesen elvesztette bal karját. Az iskola elvégzése előtt Emil több obszervatóriumhoz is kérelmet nyújtott be – vajon nem zavarja-e a csillagász szakma hiánya. A kapott válaszok visszatartották gyermekkori ambícióinak megvalósításától, és Emil a matematika felé kezdett.
1921-ben Emil Post matematikából doktorált a Columbia Egyetemen. Dolgozatában egy módszert vázolt fel a propozíciós formulák igazságtáblázatok segítségével történő értékelésére. Ebben először sikerült számos alapvető eredményt elérni a metalológiában a klasszikus propozíciós logikára vonatkozóan: következetesség, deduktív teljesség, swagger, funkcionális teljesség. Ebben a munkában először konstruálnak több értékű logikát több mint 3 valódi értékkel és tetszőleges számú megkülönböztető értékkel. Itt is megállapítható, hogy a klasszikus logikában a zárt osztályok halmaza megszámlálható.
Post az 1920–1921-es tanévet posztdoktori tanulmányokban töltötte a Princeton Egyetemen. Itt érte az első mániás-depresszív pszichózis rohama. Ez a betegség végigkísérte Postot egész életében. Az első támadásból kellőképpen felépült ahhoz, hogy tanári állást szerezzen a Cornell Egyetemen, de egy második támadás arra kényszerítette, hogy abbahagyja a tanítást az egyetemen. Az 1920-as években Emil Post abból élt, hogy matematikát tanított a New York-i George Washington Gimnáziumban. Post orvosával egy olyan kezelési rendet dolgozott ki, amelyet a pszichotikus epizódokhoz vezető idegen izgalmak kiküszöbölésére írtak elő. A rezsim napi 3 órán keresztül tette lehetővé a Post számára, hogy tudományos és kutatási tevékenységet folytasson.
Az ilyen rendszer és a nagy tanulmányi terhelés (heti 16 óra) ellenére a Post ebben az időszakban publikálhatta nagy hatású műveit. Gertrude Singerrel 1929-ben kötött házassága kétségtelenül hozzájárult élete stabilitásához. A feleség segített Emilnek cikkeinek és leveleinek kinyomtatásában, valamint a család napi pénzügyeivel is foglalkozott.
1932-ben Emil Post a New York-i City College matematika tanszékén kapott állást . Egy hónap elteltével elhagyta a pozíciót, de 1935-ben visszatért, és 1954-ben, áramütés következtében bekövetkezett szívroham következtében bekövetkezett haláláig hivatalban maradt.
Emil Post egyike annak a négy nagy tudósnak, akik szinte egyidejűleg felismerték az algoritmus általános elképzelésének tisztázásának lehetőségét. 1943-ban Post volt az első, aki javaslatot tett a számítás általános koncepciójára, amely alapvető fontosságú számos matematikai probléma eldönthetetlenségének bizonyításához. 1944-ben jelent meg Post talán legnagyobb hatású műve, ahol a eldönthetetlenségi fokozatok elméletét eredeti formájában mutatják be, 1947-ben pedig a matematika történetében először ( Markov A. -tól függetlenül) egy példa . egy „matematikán belüli” megoldhatatlan tömegalgoritmikus probléma, nevezetesen A. Thue problémája (félcsoportok egyenlőségi problémája). Post úgy vélte - és írt erről Kurt Gödelnek -, hogy 15 évvel Gödel forradalmi munkája előtt a befejezetlenségről már megvoltak ezek a tételek, bár nem ilyen teljes formában.
Lásd még
Irodalom
- A. S. Karpenko . Bejegyzés // Új filozófiai enciklopédia : 4 kötetben / előz. tudományos-szerk. V. S. Stepin tanácsa. — 2. kiadás, javítva. és további - M . : Gondolat , 2010. - 2816 p.
További olvasnivaló
- Davis, Martin (1993). A eldönthetetlen (Szerk.), pp. 288-406. Dover. ISBN 0-486-43228-9 . A Post több lapjának újranyomtatása.
- Davis, Martin (1994). "Emil L. Post: His Life and Work" in Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post . Birkhauser: xi-xxviii. Életrajzi esszé.
Linkek
- John J. O'Connor és Edmund F. Robertson . Post, Emile Leon - életrajz a MacTutoron .
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| Genealógia és nekropolisz | ||||
| ||||