Multimediaexpo.cz je již 18 let na českém internetu !!
Stephen Cook
Z Multimediaexpo.cz
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 milión dolarů Navštíveno 15. 1. 2009 [1]. Problém se dotýká celé řady vědních oborů — teoretické informatiky, matematiky, logiky, kryptografie, ale také i filosofie. V roce 1982 obdržel Turingovu cenu. V září 2008 navštívil pražskou Podzimní školu logiky.
V roce 1962 absolvoval Harvardovu univerzitu, v roce 1966 zde obdržel titul PhD.
Související články
Galerie
Profesoři Cook a Krajíček během Podzimní školy logiky a složitosti v Praze (24. září 2008) |
Externí odkazy
Náklady na energie a provoz naší encyklopedie prudce vzrostly. Potřebujeme vaši podporu... Kolik ?? To je na Vás. Náš FIO účet — 2500575897 / 2010 |
---|
Informace o článku.
Článek je převzat z Wikipedie, otevřené encyklopedie, do které přispívají dobrovolníci z celého světa. |