Emil Leon Post
poľsko-americký matematik a logik / From Wikipedia, the free encyclopedia
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.
Rýchle fakty Narodenie, Úmrtie ...
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 |
Zavrieť
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š. |