Emil Leon Post

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Emil Leon Post
Emil Leon Post
poľsko-americký matematik a logik

Narodenie 11. február 1897
Augustów, Poľsko, vtedy Ruská ríša
Úmrtie 21. apríl 1954 (57 rokov)
New York, USA

Emil Leon Post (* 11. február 1897, Augustów, Poľsko, vtedy Ruská ríša - † 21. apríl 1954, New York, USA) bol poľsko-americký matematik a logik. Je známy najmä vďaka svojmu mimoriadne dôležitému prínosu matematickej logike, teórii vypočítateľnosti a teórii formálnych jazykov.

Post je autorom výpočtového modelu, ekvivalentného Turingovmu stroju, nazývaného aj Postov-Turingov stroj. Nerozhodnuteľnosť tzv. Postovho korešpondenčného problému zas hrá mimoriadne dôležitú úlohu pri dokazovaní nerozhodnuteľnosti mnohých iných problémov.