V sobotu 2. listopadu proběhla mohutná oslava naší plnoletosti !!
Multimediaexpo.cz je již 18 let na českém internetu !!

Stephen Cook

Z Multimediaexpo.cz

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 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

Externí odkazy