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 |
| Odkazy | |
| Commons |  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.
|
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |