Stephen Cook

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání
Stephen Cook
Prof.Cook.jpg
Rodné jméno Stephen Arthur Cook
Narození 14. prosince 1939 (78 let)
Buffalo
Alma mater Harvardova univerzita
Michiganská univerzita
Zaměstnavatelé University of Toronto
Kalifornská univerzita v Berkeley
Ocenění Turingova cena (1982)
Gödel Lecturer (1999)
CRM-Fields-PIMS prize (1999)
Fellow of the Association for Computing Machinery (2008)
Order of Ontario (2013)
… více na Wikidatech
Děti Gordon Cook
Web www.cs.toronto.edu/~sacook/
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 (Cook-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[editovat | editovat zdroj]

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

Odkazy[editovat | editovat zdroj]

Reference[editovat | editovat zdroj]

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.

  1. http://www.claymath.org/millennium/ Navštíveno 15. 1. 2009.
  2. http://mat.fsv.cvut.cz/benes/ZAJ%C3%8DMAVOST%20-%20probl%C3%A9my%20CMI.htm Navštíveno 15. 1. 2009

Související články[editovat | editovat zdroj]

Externí odkazy[editovat | editovat zdroj]