Stephen Cook

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Profesor Cook během Podzimní školy logiky a složitosti v Praze (září 2008)

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.

Galerie[editovat | editovat zdroj]

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]