polsko-americký matematik From Wikipedia, the free encyclopedia
Emil Leon Post (11. února 1897 Augustów, Ruské impérium (v současnosti Polsko) – 21. dubna 1954 New York, USA) byl polsko-americký matematik a logik židovského původu. Je známý zejména díky svému přínosu v matematické logice, teorii vyčíslitelnosti a teorii formálních jazyků.
| Emil Leon Post | |
|---|---|
 | |
| Rodné jméno | Emil Leon Post |
| Narození | 11. února 1897 Augustov |
| Úmrtí | 21. dubna 1954 (ve věku 57 let) New York,  USA |
| Místo pohřbení | Hřbitov Mound Hebron (40°43′54″ s. š., 73°49′43″ z. d.) |
| Alma mater | Townsend Harris High School (do 1913) Newyorská městská kolej (do 1917) Kolumbijská univerzita (1917–1920) |
| Povolání | matematik, filozof, logik a vysokoškolský učitel |
| Zaměstnavatelé | Princetonská univerzita (1920–1921) Kolumbijská univerzita (1921–1924) Cornellova univerzita (1924–1927) George Washington Educational Campus (1927–1932) Newyorská městská kolej (1932–1954) |
 multimediální obsah na Commons | |
| Některá data mohou pocházet z datové položky. | |
Post se narodil v polské ortodoxní židovské rodině. Otec v roce 1897 emigroval do USA a když se mu začalo dařit, přijela za ním i jeho rodina – sedmiletý Emil, jeho dvě sestry a matka. Rodina bydlela v komfortním bytě v Haarlemu. Jako dítě byl Emil uchvácen astronomií, ale jeho plány zhatilo neštěstí, když ve dvanácti letech přišel o levou ruku. Před ukončením školní docházky podal dotaz v několika observatořích, zda jeho postižení není na překážku dráze astronoma. Obdržené odpovědi ho od dětských ambicí odradily a Emil se začal věnovat matematice.
Po obhájení doktorátu z matematiky na Kolumbijské univerzitě v roce 1921 nastoupil na postdoktorské studium na univerzitě v Princetonu. Po dobu pobytu v Princetonu byl velmi blízko objevu, że systém představený v Principia mathematica Bertranda Russella a Alfreda North Whiteheada je neúplný, což bylo zdůvodněno teprve Kurtem Gödelem v roce 1931 (Gödelovy věty o neúplnosti). Post pracoval později v New Yorku jako učitel matematiky na střední škole. Od roku 1936 až do své smrti pracoval v City College of New York.
V roce 1936 uvedl předpoklad abstraktního modelu výpočtu, nazvaný „Postův stroj”, a to nezávisle na Alanu Turingovi, tvůrci ekvivalentního Turingova stroje (nazývaného také Postův-Turingův stroj).
Zformuloval a roku 1946 představil Postův korespondenční problém, jehož nerozhodnutelnost hraje mimořádně důležitou roli při dokazování nerozhodnutelnosti mnoha jiných problémů; rozvinut byl v 50. letech.
V tomto článku byly použity překlady textů z článků Emil Leon Post na slovenské Wikipedii a Emil Leon Post na polské Wikipedii.
Obrázky, zvuky či videa k tématu Emil Leon Post na Wikimedia Commons Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
