Stephen Cook
| Stephen Cook | |
|---|---|
 | |
| Rodné jméno | Stephen Arthur Cook |
| Narození | 14. prosince 1939 (84 let) Buffalo |
| Alma mater | Harvardova univerzita Michiganská univerzita |
| Povolání | informatik, vysokoškolský učitel a matematik |
| Zaměstnavatelé | Torontská univerzita Kalifornská univerzita v Berkeley |
| Ocenění | Turingova cena (1982) Gödel Lecturer (1999) CRM-Fields-PIMS prize (1999) John L. Synge Award (2006) ACM Fellow (2008) … více na Wikidatech |
| Děti | Gordon Cook |
| Web | www |
 multimediální obsah na Commons | |
| Některá data mohou pocházet z datové položky. | |
Stephen Arthur Cook (* 14. prosince 1939 Buffalo, New York, USA) je americký informatik. Je znám především díky svému článku The Complexity of Theorem Proving Procedures z roku 1971, ve kterém formalizoval pojem NP-úplnosti a dokázal, že existuje NP-úplný problém (Cookova–Levinova věta). Tento článek otevřel jeden z největších nevyřešených problémů současné informatiky, a to zda P = NP. Tato otázka byla zařazena mezi sedm tzv. Problémů tisíciletí vyhlášených v roce 2000 Clayovým matematickým institutem. Za vyřešení každého z těchto problémů je vypsána odměna milion dolarů[1][2] Problém se dotýká celé řady vědních oborů — teoretické informatiky, matematiky, logiky, kryptografie, ale i filosofie. V roce 1982 obdržel Cook Turingovu cenu. V září 2008 navštívil pražskou Podzimní školu logiky.
Život
V roce 1962 absolvoval Harvardovu univerzitu, v roce 1966 zde obdržel titul Ph.D.
Odkazy
Reference
V tomto článku byly použity překlady textů z článků Stephen Cook na anglické Wikipedii, NP problem na anglické Wikipedii a Millennium Prize Problems na anglické Wikipedii.
- ↑ http://www.claymath.org/millennium/ Archivováno 8. 1. 2008 na Wayback Machine. Navštíveno 15. 1. 2009.
- ↑ http://mat.fsv.cvut.cz/benes/ZAJ%C3%8DMAVOST%20-%20probl%C3%A9my%20CMI.htm Archivováno 1. 9. 2008 na Wayback Machine. Navštíveno 15. 1. 2009
Související články
- P
- NP
- Problém P versus NP
- Problémy tisíciletí
- Cookova–Levinova věta
- Složitost
Externí odkazy
Obrázky, zvuky či videa k tématu Stephen Cook na Wikimedia Commons
Média použitá na této stránce
Autor:
- Pokud hodláte některou z mých fotografií použít mimo Wikipedii, budu rád, když mi o tom dáte vědět, a to např. prostřednictvím tohoto e-mailu. Děkuji.
- If you are going to use a photograph of mine outside of Wikipedia, I would appreciate, if you let me know about that, e.g. using this e-mail. Thank you.
Profesor Cook během přednášky na Podzimní škole logiky a složitosti na MFF v Praze, 24. 9. 2008