Stephen Cook

Stephen Cook
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.

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ÍMAVOST - problémy CMI.htm Archivováno 1. 9. 2008 na Wayback Machine. Navštíveno 15. 1. 2009

Související články

Externí odkazy

Obrázky, zvuky či videa k tématu Stephen Cook na Wikimedia Commons

Pahýl

Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.

[1] ttp://www.claymath.org/millennium/ Archivováno 8. 1. 2008 na Wayback Machine. Navštíveno 15. 1. 2009.

[2] ttp://mat.fsv.cvut.cz/benes/ZAJÍMAVOST - problémy CMI.htm Archivováno 1. 9. 2008 na Wayback Machine. Navštíveno 15. 1. 2009

[1]

[2]