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ůhttp://www.claymath.org/millennium/ Navštíveno 15. 1. 2009.http://mat.fsv.cvut.cz/benes/ZAJ%C3%8DMAVOST%20-%20probl%C3%A9my%20CMI.htm Navštíveno 15. 1. 2009 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
Související články P NP Problém P versus NP Problémy tisíciletí Cookova–Levinova věta Složitost
Externí odkazy
Kategorie:Američtí informatici Kategorie:Američtí logici Kategorie:Nositelé Turingovy ceny Kategorie:Členové Královské společnosti Kategorie:Členové Národní akademie věd USA Kategorie:Pedagogové na Torontské univerzitě Kategorie:Pedagogové na Kalifornské univerzitě v Berkeley Kategorie:Absolventi Harvardovy univerzity Kategorie:Absolventi Michiganské univerzity Kategorie:Narození v roce 1939 Kategorie:Narození 14. prosince Kategorie:Narození v Buffalu Kategorie:Žijící lidé Kategorie:Muži