| Post, Emil Leon Augustów, Oroszország (ma Lengyelország), 1897. febr. 11. - New York City, 1954. ápr. 21. Lengyel-amerikai matematikus Családja 1904-ben kivándorolt a cári Oroszországból az Egyesült Államokba.
Post tanulmányait a College of the City of New York-on, majd a Columbia
egyetemen végezte. Doktori disszertációjában Russell
és Whitehead Principia Mathematica c. művében leírt propozíciós kalkulus
konzisztenciáját bizonyította. Néhány évi középiskolai tanárság után a City
College tanára lett, itt dolgozott élete végéig. Munkáját betegségek
akadályozták: gyermekkorában egy balesetben fél karját elveszítette, felnőtt
korában pedig mániás-depressziós betegséggel küzdött. Jelentős eredményeket
ért el a szimbolikus logika, a halmazelmélet, a rekurzív függvények, a
modern számítástudomány megalapozása terén. 1936-ban bevezette a "Post-gép" fogalmát, mely a Turing-géphez hasonló megfontolásokon alapszik.
Fontosak az inverz Laplace-transzformációra vonatkozó eredményei is,
melyeket még egyetemi hallgató korában ért el, de csak jóval később
publikált.
| | | Web dokumentumok |