Stephen Cook

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.

Stephen Cook
Rodné jméno	Stephen Arthur Cook
Narození	14. prosince 1939 (85 let) Buffalo
Alma mater	Harvardova univerzita Michiganská univerzita
Povolání	počítačový vědec, 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) společník ACM (2008) … více na Wikidatech
Děti	Gordon Cook
Web	www.cs.toronto.edu/~sacook/
multimediální obsah na Commons
Některá data mohou pocházet z datové položky.

Život

V roce 1962 absolvoval Harvardovu univerzitu, v roce 1966 zde obdržel titul Ph.D.