Post, Emile Leon
| Post, Emile Leon | |
|---|---|
| Emil Leon Post | |
| Namn vid födseln | putsa Emil Leon Post |
| Födelsedatum | 11 februari 1897 |
| Födelseort | Avgustov , ryska imperiet |
| Dödsdatum | 21 april 1954 (57 år) |
| En plats för döden | New York , USA |
| Land | |
| Ockupation | matematiker , filosof , logiker , universitetslektor |
| Mediafiler på Wikimedia Commons | |
Emil Leon Post ( Eng. Post Emil Leon , 11 februari 1897 , Augustow , kungariket Polen , ryska imperiet ) - 21 april 1954 , New York , USA ) - amerikansk matematiker och logiker ; en av grundarna av den mångvärdiga logiken ( 1921 ); stora verk om matematisk logik: Postalgebra , Postklasser av funktioner i logikens algebra; föreslog en abstrakt datormaskin - Post-maskinen .
Biografi
Emil Leon Post föddes i en ortodox judisk familj som bodde nära Bialystok . 1897 emigrerade hans far Arnold till USA. När det blev bättre för min pappa flyttade även familjen (sjuårige Emil, hans två systrar och mamma) från Ryssland till New York. Familjen bodde i ett bekvämt hus i Harlem.
Som barn var Emil förtjust i astronomi, men en olycka strök killens planer – vid 12 års ålder tappade han sin vänstra arm. Innan han gick ut skolan skickade Emil in en förfrågan till flera observatorier – om hans brist på astronomyrke skulle störa. Svaren han fick hindrade honom från att förverkliga sina barndomsambitioner, och Emil började på matematik.
1921 tog Emil Post sin doktorsexamen i matematik från Columbia University. I sin avhandling skisserade han en metod för att utvärdera satsformler med hjälp av sanningstabeller. I den erhölls för första gången ett antal grundläggande resultat inom metalogik för klassisk propositionell logik: konsistens, deduktiv fullständighet, swagger, funktionell fullständighet. I detta arbete, för första gången, konstrueras en flervärdig logik med mer än 3 sanna värden och med ett godtyckligt antal distingerade värden. Det är också fastställt här att uppsättningen av slutna klasser i klassisk logik är räknebar.
Post tillbringade det akademiska året 1920–1921 i postdoktorala studier vid Princeton University. Det var här han fick sin första attack av manodepressiv psykos. Denna sjukdom åtföljde Post under hela hans liv. Han återhämtade sig tillräckligt från denna första attack för att säkra en lärarposition vid Cornell University, men en andra attack tvingade honom att sluta undervisa vid universitetet. På 1920-talet försörjde sig Emil Post på att undervisa i matematik vid George Washington High School i New York. Tillsammans med sin läkare utvecklade Post en kur som ordinerades för att eliminera främmande upphetsningar som ledde till psykotiska episoder. Regimen tillät Post att göra vetenskap och forskning i endast 3 timmar om dagen.
Trots en sådan regim och en stor studiebelastning (16 timmar i veckan) kunde Post publicera sina inflytelserika verk under denna period. Hans äktenskap med Gertrude Singer 1929 bidrog utan tvekan till stabiliteten i hans liv. Hustrun hjälpte Emil genom att trycka hans artiklar och brev, och skötte även familjens dagliga ekonomi.
1932 fick Emil Post en position vid institutionen för matematik vid City College i New York . Efter en månad lämnade han tjänsten, men återvände 1935 och satt kvar på ämbetet till sin död 1954 av en hjärtattack under en elektrisk stöt.
Emil Post är en av de fyra stora vetenskapsmän som nästan samtidigt insåg möjligheten att förtydliga den allmänna idén om algoritmen. 1943 var Post först med att föreslå det allmänna beräkningsbegreppet, vilket är av grundläggande betydelse för att bevisa oavgörbarheten hos ett antal problem i matematik. År 1944 publicerades Postens kanske mest inflytelserika verk, där teorin om grader av obestämbarhet presenteras i sin ursprungliga form, och 1947, för första gången i matematikens historia (oavsett A. Markov ), ett exempel av ett "intramatematiskt" olösligt massalgoritmiskt problem, nämligen problemet med A. Thue (jämställdhetsproblem för semigrupper). Post trodde – och skrev om detta till Kurt Gödel – att han 15 år före Gödels revolutionära arbete om ofullständighet redan hade dessa satser, om än inte i en så fullständig form.
Se även
Litteratur
- A. S. Karpenko . Post // New Philosophical Encyclopedia : i 4 volymer / föregående. vetenskaplig-ed. råd av V. S. Stepin . — 2:a uppl., rättad. och ytterligare - M . : Tanke , 2010. - 2816 sid.
Ytterligare läsning
- Davis, Martin (1993). The Unecidable (Ed.), s. 288-406. Dover. ISBN 0-486-43228-9 . Omtryck av flera tidningar med posten.
- Davis, Martin (1994). "Emil L. Post: His Life and Work" i Davis, M., red., Solvability, Provability, Definability: The Collected Works of Emil L. Post . Birkhauser: xi-xxviii. En biografisk uppsats.
Länkar
- John J. O'Connor och Edmund F. Robertson . Inlägg, Emile Leon - biografi på MacTutor .
 Tematiska platser | ||||
|---|---|---|---|---|
| Ordböcker och uppslagsverk | ||||
| Släktforskning och nekropol | ||||
| ||||