Emil Leon Post

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání
Emil Leon Post
Emil Leon Post.jpg
Narození 11. února 1897
Augustov
Úmrtí 21. dubna 1954 (ve věku 57 let)
New York, USAUSA USA
Alma mater Kolumbijská univerzita
Zaměstnavatel City College of New York
Některá data mohou pocházet z datové položky.

Emil Leon Post (11. února 1897 Augustów, Ruské impérium21. dubna 1954 New York, USA) byl polsko-americký matematik a logik. Je známý zejména díky svému přínosu v matematické logice, teorii vyčíslitelnosti a teorii formálních jazyků.

Post je autorem výpočtového modelu, ekvivalentního Turingova stroje, nazývaného také Postův-Turingův stroj. Nerozhodnutelnost tzv. Postova korespondenčního problému navíc hraje mimořádně důležitou roli při dokazování nerozhodnutelnosti mnoha jiných problémů.

Odkazy[editovat | editovat zdroj]

Reference[editovat | editovat zdroj]

V tomto článku byl použit překlad textu z článku Emil Leon Post na slovenské Wikipedii.

Související články[editovat | editovat zdroj]