Emil Leon Post

Emil Leon Post
Emil Leon Post
Rodne jmeno	Emil Leon Post
Narozeni	11. unora 1897 ; Augustov
Umrti	21. dubna 1954 (ve v?ku 57 let) ; New York , USA
Misto poh?beni	H?bitov Mound Hebron ( 40°43′54″ s. ?. , 73°49′43″ z. d. )
Alma mater	Townsend Harris High School (do 1913) ; Newyorska m?stska kolej (do 1917) ; Kolumbijska univerzita (1917?1920)
Povolani	matematik , filozof , logik a vysoko?kolsky u?itel
Zam?stnavatele	Princetonska univerzita (1920?1921) ; Kolumbijska univerzita (1921?1924) ; Cornellova univerzita (1924?1927) ; George Washington Educational Campus (1927?1932) ; Newyorska m?stska kolej (1932?1954)
	multimedialni obsah na Commons
	N?ktera data mohou pochazet z datove polo?ky .

Emil Leon Post ( 11. unora 1897 Augustow , Ruske imperium (v sou?asnosti Polsko ) ? 21. dubna 1954 New York , USA ) byl polsko-americky matematik a logik ?idovskeho p?vodu. Je znamy zejmena diky svemu p?inosu v matematicke logice , teorii vy?islitelnosti a teorii formalnich jazyk? .

Biografie [ editovat | editovat zdroj ]

Post se narodil v polske ortodoxni ?idovske rodin? . Otec v roce 1897 emigroval do USA a kdy? se mu za?alo da?it, p?ijela za nim i jeho rodina ? sedmilety Emil, jeho dv? sestry a matka. Rodina bydlela v komfortnim byt? v Haarlemu. Jako dit? byl Emil uchvacen astronomii, ale jeho plany zhatilo ne?t?sti, kdy? ve dvanacti letech p?i?el o levou ruku. P?ed ukon?enim ?kolni dochazky podal dotaz v n?kolika observato?ich, zda jeho posti?eni neni na p?eka?ku draze astronoma. Obdr?ene odpov?di ho od d?tskych ambici odradily a Emil se za?al v?novat matematice.

Po obhajeni doktoratu z matematiky na Kolumbijske univerzit? v roce 1921 nastoupil na postdoktorske studium na univerzit? v Princetonu . Po dobu pobytu v Princetonu byl velmi blizko objevu, ?e system p?edstaveny v Principia mathematica Bertranda Russella a Alfreda North Whiteheada je neuplny , co? bylo zd?vodn?no teprve Kurtem Godelem v roce 1931 ( Godelovy v?ty o neuplnosti ). Post pracoval pozd?ji v New Yorku jako u?itel matematiky na st?edni ?kole. Od roku 1936 a? do sve smrti pracoval v City College of New York .

Teorie rekurze [ editovat | editovat zdroj ]

V roce 1936 uvedl p?edpoklad abstraktniho modelu vypo?tu, nazvany ?Post?v stroj”, a to nezavisle na Alanu Turingovi , tv?rci ekvivalentniho Turingova stroje (nazyvaneho take Post?v-Turing?v stroj ).

Zformuloval a roku 1946 p?edstavil Post?v koresponden?ni problem , jeho? nerozhodnutelnost hraje mimo?adn? d?le?itou roli p?i dokazovani nerozhodnutelnosti mnoha jinych problem?; rozvinut byl v 50. letech.

Vybrana dila [ editovat | editovat zdroj ]

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.

Bibliografie [ editovat | editovat zdroj ]

Davis, Martin (1993). The Undecidable (Ed.), s. 288?406. Dover. ISBN 0-486-43228-9 . Obsahuje p?etisky n?kterych Postovych praci.
Davis, Martin (1994). ?Emil L. Post: His Life and Work” w: Davis, M., ed., Solvability, Provability, Definability: The Collected Works of Emil L. Post . Birkhauser: xi?xxviii. Biograficka esej.

Odkazy [ editovat | editovat zdroj ]

Reference [ editovat | editovat zdroj ]

V tomto ?lanku byly pou?ity p?eklady text? z ?lank? Emil Leon Post na slovenske Wikipedii a Emil Leon Post na polske Wikipedii.

Souvisejici ?lanky [ editovat | editovat zdroj ]

Externi odkazy [ editovat | editovat zdroj ]

Obrazky, zvuky ?i videa k tematu Emil Leon Post na Wikimedia Commons