www.fmath.info

Emil oli erakordselt ere laps, kuid tema elu oli üks suur tragöödia. Kui ta oli laps ta kaotas käe õnnetuses aga see puude oli üks, mida ta käsitleda hästi. Ta pidi näo vaimsete probleemide oma täiskasvanud elu, mis oli laastav mõju talle, muutes füüsilise probleemi kaotanud käsi tundub üsna tühine võrreldes.

Seal oli tasuta põhiharidus olemas spetsiaalselt andekate laste New Yorgis. See oli Townsend Harris High School mis asuvad samas kohas College of New York City. Valmimisel High School Post jäi sama ülikooli, sest ta jätkas õpinguid City College.

Nüüd arvad Post AS matemaatilise loogik kuid esimene teema, mis tõi talle oli astronoomia. Kuigi õpib College of New York City õppis ta matemaatikat, kuid on vähe märk sellest, et praegu ta eriti ligi poole loogika. Kuigi üliõpilaste Euroopa Kolledžis kirjutas ta oma esimese raamatu, mis oli üldistatud eristamine. Küsimus küsis ta oli põnev üks: mida diferentsiaali operaator D ⁿ silmas, kui n ei ole täisarv? Kuigi kirjutatud, kui ta oli üliõpilaste Post ei esitanud paberil Ameerika Matemaatika Selts kuni 1923 ja ta oli lõpuks ei avaldata enne 1930. See ei sisalda tegelikult oluline idee, nähtud paberi Post osutub oluliseks tulemuseks umbes pöörates Laplace teisendus. Käesolev trükis ilmunud kaua pärast Posti lõpetamist oma esimese astme, mis oli tema BS sõlmitud City College 1917.

Pärast kooli lõpetamist oma esimese astme Post alustas magistri teadus Columbia Ülikoolis. Olulise sündmuse Post karjäär oli avaldamist Russell ja Whitehead 's Principia Mathematica. Esimeses maht Principia Mathematica ilmus 1910, teine 1912 ja kolmas 1913. Kui Post alustas oma õpinguid ta uusi põnevaid arengu ja Post osalenud Cassius J Keyser seminar Columbia kus uuriti Principia Mathematica. Post anti määral olen 1918 ja doktorikraadi 1920. Tema Ph.D. Lõputöö oli matemaatiline loogika, ja me arutame seda veel hetke, kuid kõigepealt meile tähele, et Post kirjutas teise raamatu kui kraadiõppe, mis avaldati enne oma esimese raamatu, see oli lühike töö funktsionaalne võrrandi gammafunktsiooni.

Nüüd pöörduvad Posti Ph.D. väitekirja, milles ta osutunud täielikuks ja järjepidevuse loogika kivi kirjeldatud Principia Mathematica, kehtestades tõde tabeli abil. Seejärel üldiste oma tõe tabel meetodit, mis põhineb kahe väärtuse "tõene" ja "vale", et meetod, mis oli suvalise hulga tõe väärtust. Lõplik ja võib-olla kõige tähelepanuväärne, uued ideed, mis Post tutvustas oma väitekirja oli anda raamistiku süsteemide loogikat nagu järeldada, mis põhinevad piiratud protsess manipuleerimine sümboleid. Sellist süsteemi loogikast, et Post ettepanek tekitab tänapäeva terminoloogiat, rekursiivselt enumerable kogum sõnu piiratud tähestikku. See oleks õiglane öelda, et Posti Thesis algas tõendi teooria.

Pärast doktorikraadi Post läks Princetoni ülikooli aastal Procter liige. Ta naasis Columbia Ülikoolis ja peagi pärast seda, oli tema esimene hooaeg on haigus, mis oli kordub kogu oma karjääri ja piirata, mida ta oleks võinud saavutada. Nagu Davis kirjutab:

Ta kandis kogu oma täiskasvanud elu halvata maniakaal-depressiivse haiguse ajal, kui ei medikamentoosne ravi oli kättesaadav kõnealuse Tõbi.

Aastal 1924 Post läks Cornelli kuid sai taas haigeks. Ta jätkas tööd keskkooli õpetaja New Yorgis 1927. Ta abiellus Gertrude Singer 1929 ning neil oli üks laps, tütar Phyllis. Siis aastal 1932 oli ta määratud City College. Ta lahkus pärast lühikest õigekirja taas võitleb tema vaimuhaiguse, kuid tagastas kolm aastat hiljem ning veetis kogu oma ülejäänud elu seal. Kell City College tema õpetamise koormus oli 16 kontakti tundi nädalas, mis muutsid leidsite aega teadus-väga raske. Ka töötajad ei kontorid oma, kuid nad kõik panna ühte ruumi koos ühe suure laua keskele. Post valis kodus töötada, kuid laps see koormaks pere. Post tütre Phyllis selgitas hiljem oma elus kuidas Gertrude Post oli võidelnud, et anda oma abikaasale võimalus pühendada aega teadus:

Mu isa oli geenius, mu ema oli pühak ... Lisaks kirjutada soovituskirja, mu ema ka kirjutada mu isa käsikirju ja kirju ... Ema oli ka see, kes käidelda kõiki rahaasju ... Ta oli puhver igapäevaelus on lubatud isa pühendada oma tähelepanu matemaatika (nagu ka tema erinevad huvid tänapäeva maailma asjades). Kas ta on saavutanud nii palju ilma temata? Mina ei arva nii.

Posti varajase surma vanus 57 oli peaaegu kindlasti otsene tagajärg ravi sai tema psüühikahäire. Tol ajal nagu maniakaal-depressiivse haigusi raviti elektrilöögi ravi. See oli kohutav kohtlemine kohutav haigus ja üks, mis põhjustas suuri kannatusi. Selle aluseks oli midagi paremat kui asjaolu, et pärast patsiendid said selle ravi palju olnud perioode veel normaalse vaimse vahel. Post sai elektrilöögi ravi mitmeid kordi ja see oli samas oli ta vaimne institutsioon, varsti pärast elektrilööki, et ta sai infarkti ja suri.

Post on tuntud oma töö polyadic rühmade rekursiivselt enumerable komplektide ja raskusastmega unsolvability, samuti oma panuse unsolvability probleeme kombinatorisista matemaatika. Ta tutvustas mõistete täielikkuse ja järjekindluse raamatu tõde laua meetodeid, mis arenenud tööd oma doktoriväitekirja. Ta arvele need meetodid oma õpetaja Columbia, CJ Keyser, selle asemel, et Charles Peirce ja E Schröder nagu see oli varem. 1920 Post osutunud tulemused sarnased, mis Gödel, kirik ja Turingi avastas hiljem, kuid ta ei avaldanud neid. Ta põhjust ta ei avaldanud oli, sest ta arvas, et täielik analüüs "oli vajalik saada heakskiit. Ta kirjutas:

Õigsuse see tulemus on selgelt sõltuvad täielikult usaldusväärsuse analüüs viib eespool üldistus ... see on täiesti nõrk oma sõltuvust loogika Principia Mathematica ... täielik üldine täielik analüüs oleks anda kõiki võimalikke viise, kuidas inimmõistus võib asutada piiratud protsessid tekitavad järjestusi.

Ta tegi ka matemaatiline uuring Lukasiewicz 's kolme hinnatakse loogika. Umbes samal ajal, kui ta kirjutas oma päevikusse:

I uuringus Matemaatika kui toodet inimmõistuse mitte absoluutne.

Kui Gödel avaldas oma puudulikkust teoreemide 1931 Post mõistis, et ta oli oodanud liiga kaua, et avaldada, mida ta oli tõestatud ja et nüüd kogu krediit oleks minna Gödel. Aasta postkaardi kirjutatud Gödel aastal 1938, vahetult pärast nad kohtusid esimest korda, Post wrote:

... viisteist aastat olen läbi ümber mõelnud uskumatu matemaatilise Maailm minu ebatavalise ideid ning koosoleku mees peamiselt vastutavad kadumisele, et unistus pigem viiakse mind ära. Kuna te tundus huvitatud minu viis jõuda uute arengute ehk kirik saab näidata teile pika kirja kirjutasin talle nende kohta. Nagu iga väidab võin teha võib-olla parim võin öelda, et ma oleks olnud Gödel 'i teoreem 1921 - oleksin olnud Gödel.

Aasta järelmeetmete kirjutatud kirjas päeval pärast kirjutab ta:

... Lõppude lõpuks ei ole ideid, kuid täitmise ideed, mis kujutavad endast märk ülevus.

Aastal 1936 tegi ta ettepaneku, mis on nüüd tuntud Post masin, mingi Automaat mille varasem mõiste programmi, mis von Neumann õppis 1946. Aastal 1941 kirjutas ta:

... matemaatilist mõtlemist, on ja peab olema sisuliselt loominguline ...

kuid ta ütles, on piirangud ja sümboolne loogika on:

... vaieldamatult tähendab paljastavad ning arendada neid piiranguid.

Post näitas, et sõna probleem Semigroups oli rekursiivselt lahustumatu 1947, mis annab lahenduse probleem, mis oli tingitud Thue 1914.

Quine, kirjas kirjutatud aastal 1954 pärast Posti surma, ütles:

Kaasaegne tõendi teooria ning ka kaasaegse teooria masin arvutuse sõltuda mõiste rekursiivne funktsioon. See suur hulk teoreetiline kontseptsioon ... avastati sõltumatult ... neli matemaatikud, ja üks neist oli Post. Järgnevad tööd Post oli oluline, et edasise edu teooria rekursiivne funktsioone.

Quine lisatakse 1972:

Teooria rekursiivne funktsioone, mis Postitus oli asutaja on nüüd peaaegu kaks korda sama vana kui ma kirjutasin selle kirja. Mis viljakas valdkonnas, on osutunud.

Nii, et Post läbi oma tunde City College oli pehmelt öeldes ebatavaline. Davis osales nende klasside Kolledžis New York City ajal 1940 ja ta annab meile selge pildi:

Posti klassid olid tautly organiseeritud äritegevust. Iga ajavahemik algab üliõpilaste recitations mis probleemid ja tõendid teoreemide alates lähetuse lõpuni. Need anti välja näiliselt juhuslikult ja pidi panna tahvli abita õpikud ja noodid. Oh Juhtuda hapless üliõpilane, kes oli valmistunud. Ta (või harva ta) oleks ees Posti "rohkem kurbust kui viha otsima". Omakorda õpilasi oleks rääkiv oma tööle. Hiljem Post saaksid viia oma 3 kaupa 5 kaarti ja selgitada erinevate trahvi võrra. Klassi oleks edukas, kui ta valmis oma viimase kaardi nagu kell heliseb. Küsimustele klassi olid julge: ei olnud aega. Üllataval kombel on need jäik pedagoogiliste meetodite oli väga edukas, ja Postitus oli väga populaarne õpetaja.

Paul Chessin tuletab meelde, mida õpetab Post New Yorgis umbes 1943:

Mäletan, et ta oli lühike jässakas kolleegid, kes alati riietatud kolm ülikond, tühi hülss hoolikalt Säilimise arvesse pool suitcoat tasku. Ta sammu pidevalt üles ja alla enne tahvli, öeldes selgelt, jõuliselt tema liikumisi. Ta tihti, äkki pööris umbes silmitsi pardal, kriit käes, et kirjutada. Käesolev ettepanek alati pigem lahti, et varrukas oma ankur, kuni lõpuks (kuni leevendamiseks klass) see flapped lõdvalt umbes sama keep võiks. See vaba liikumise tundus, et meid vabastada tema mõtlemine on ta pidanud loenguid.

Lõpuks anname selle väga hea austust Post alates Davis:

Posti tähtsus ületab tema teaduslik sissemaksete oluline, sest need olid. Ta jääb inspiratsiooni ka, et kuidas ta ületas oma potentsiaalselt halvata vaimse puudega, tema eristatav hääl ja tema jätkuvast pühendumisest teaduse ja tema õpilased.

Source:School of Mathematics and Statistics University of St Andrews, Scotland