Emil Leon Post
z Wikipédie, slobodnej encyklopédie
| 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 |
|
Pozri aj Biografický portál |
|
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š. |
