Emil Leon Post

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.

Kategória:Narodenia v 1897
Kategória:Úmrtia v 1954
Kategória:Poľskí matematici
Kategória:Poľskí logici
Kategória:Matematici USA
Kategória:Logici USA
Kategória:Matematici židovského pôvodu
Kategória:Logici židovského pôvodu
Kategória:Osobnosti USA židovského pôvodu
Kategória:Osobnosti z Podleského vojvodstava