Emil Leon Post
Emil Leon Post (ur. 11 lutego 1897 w Augustowie, zm. 21 kwietnia 1954 w Nowym Jorku) – amerykański matematyk i logik pochodzenia żydowskiego pochodzący z terenów dzisiejszej Polski.
Życiorys
edytujPost urodził się w żydowskiej rodzinie[1]. Ojciec, Arnold J. Post w 1897 na zaproszenie brata wyjechał do Stanów Zjednoczonych. W maju 1904 roku do Ameryki wraz z synem Emilem i dwoma córkami, Anną i Ethel, przybyła żona Arnolda, Pear. Zamieszkali w Harlemie. Emil Post jako dwunastolatek stracił lewą rękę[2].
Po obronie doktoratu z matematyki na Uniwersytecie Columbia w 1920 roku, poszedł na studia podoktoranckie na Uniwersytecie w Princeton. Podczas pobytu w Princeton był bardzo bliski odkrycia, że system przedstawiony w Principia mathematica Russella i Whiteheada jest niezupełny, co zostało udowodnione dopiero przez Kurta Gödla w 1931. Post pracował później w Nowym Jorku jako nauczyciel matematyki w szkole średniej. Od 1936 aż do śmierci pracował w City College of New York.
W 1921 roku objawiła się u niego choroba maniakalno-depresyjna. Po drugim ataku choroby przestał nauczać na Cornell University i w latach dwudziestych XX w. utrzymywał się nauczając w George Washington High School w Nowym Jorku[2].
W 1929 roku ożenił się z Gertrudą Singer. Żona wspomagała go przy maszynopisaniu artykułów i listów oraz zajęła się stroną materialną życia. Ich jedyne dziecko to córka Phyllis Goodman.
W swojej pracy doktorskiej pisanej na Columbia University Post udowodnił, że rachunek zdań z Principia mathemathica jest zupełny, to znaczy, że w systemie złożonym z aksjomatów podanych w Principiach oraz reguł podstawiania i modus ponens wszystkie tautologie są twierdzeniami. Niezależnie od Wittgensteina i Charlesa Sandersa Peirce’a Post wymyślił i wykorzystywał tablice prawdy[3]. Najbardziej jest jednak znany ze swoich osiągnięć w teorii rekursji.
Cały czas zmagał się ze swoją maniakalno-depresyjną chorobą. W 1954 roku uległ ponownie nawrotom ataków. W kwietniu 1954 roku umarł na atak serca po leczeniu elektrowstrząsami w szpitalu dla umysłowo chorych w Nowym Jorku. Jego żona Gertrude Singer Post (ur. 1900) zmarła w dwa lata później.
Od 1918 roku Post był członkiem American Mathematical Society, a od 1936 roku członkiem Association for Symbolic Logic[2].
Teoria rekursji
edytujW 1936, niezależnie od Alana Turinga (twórcy maszyny Turinga), zaproponował abstrakcyjny model obliczeń, nazwany „maszyną Posta”.
Sformułował tzw. problem odpowiedniości Posta oraz tzw. problem Posta (czy istnieje nieobliczalny, rekurencyjnie przeliczalny zbiór o stopniu Turinga mniejszym niż stopień problemu stopu). Problem Posta znalazł pozytywne rozwiązanie w latach 50.
Publikacje
edytuj- 1936, „Finite Combinatory Processes – Formulation 1”, Journal of Symbolic Logic 1: s. 103–105.
- 1943, „Formal Reductions of the General Combinatorial Decision Problem”, American Journal of Mathematics 65: s. 197–215.
- 1944, „Recursively enumerable sets of positive integers and their decision problems”, Bulletin of the American Mathematical Society 50: s. 284–316. Wprowadza ważne pojęcie redukcji many-one.
Przypisy
edytuj- ↑ J.J. O'Connor, E.F. Robertson: Emil Leon Post, wrzesień 2001
- ↑ a b c Grzegorz Czerwiński, Jarosław Ławski (red.), Żydzi Wschodniej Polski, t. XVIII, 2016, s. 104.
- ↑ Odpowiedni tekst Posta znajduje się w książce From Frege To Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard Uni. Press, 1967
Bibliografia
edytuj- Davis, Martin (1993). The Undecidable (Ed.), s. 288–406. Dover. ISBN 0-486-43228-9. Zawiera przedruki niektórych prac Posta.
- Davis, Martin (1994). „Emil L. Post: His Life and Work” w: Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post. Birkhäuser: xi—xxviii. Esej biograficzny.
Linki zewnętrzne
edytuj
John J. O’Connor; Edmund F. Robertson: Emil Leon Post w MacTutor History of Mathematics archive (ang.)
