Otevřít hlavní menu

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.

Stephen Cook
Prof.Cook.jpg
Rodné jméno Stephen Arthur Cook
Narození 14. prosince 1939 (79 let)
Buffalo
Alma mater Harvardova univerzita
Michiganská univerzita
Zaměstnavatelé University of Toronto
Kalifornská univerzita v Berkeley
Ocenění Turingova cena (1982)
CRM-Fields-PIMS prize (1999)
Gödel Lecturer (1999)
Fellow of the Association for Computing Machinery (2008)
Gerhard Herzberg Canada Gold Medal for Science and Engineering (2012)
… více na Wikidatech
Děti Gordon Cook
Web www.cs.toronto.edu/~sacook/
Některá data mohou pocházet z datové položky.

Obsah

ŽivotEditovat

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

OdkazyEditovat

ReferenceEditovat

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 Archivováno 1. 9. 2008 na Wayback Machine Navštíveno 15. 1. 2009

Související článkyEditovat

Externí odkazyEditovat