Stephen Cook

Stephen Cook
Rodné jménoStephen Arthur Cook
Narození14. prosince 1939 (84 let)
Buffalo
Alma materHarvardova 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ětiGordon Cook
Webwww.cs.toronto.edu/~sacook/
Logo Wikimedia Commons 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.

Související články

Externí odkazy

Média použitá na této stránce

Prof.Cook.jpg
Autor:

Jiří Janíček

  • 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.
, Licence: CC BY-SA 3.0
Profesor Cook během přednášky na Podzimní škole logiky a složitosti na MFF v Praze, 24. 9. 2008