Prof.Cook

Autor:

Jiří Janíček

• Pokud hodláte některou z mých fotografií použít mimo Wikipedii, budu rád, když mi o tom dáte vědět, a to např. prostřednictvím tohoto e-mailu. Děkuji.
• If you are going to use a photograph of mine outside of Wikipedia, I would appreciate, if you let me know about that, e.g. using this e-mail. Thank you.

Přisuzování:

Obrázek je označen jako „Vyžadováno uvedení zdroje“ (Attribution Required), ale nebyly uvedeny žádné informace o přiřazení. Při použití šablony MediaWiki pro licence CC-BY byl pravděpodobně parametr atribuce vynechán. Autoři zde mohou najít příklad pro správné použití šablon.

Shortlink:

https://czwiki.cz/b/3b0fb

Zdroj:

Wikimedia Commons

Formát:

1002 x 1211 Pixel (693517 Bytes)

Popis:

Profesor Cook během přednášky na Podzimní škole logiky a složitosti na MFF v Praze, 24. 9. 2008

Licence:

CC BY-SA 3.0

Credit:

Photographed by me. Thanks for a hint and a generous invitation by Ondřej Kunčar.

Sdílet obrázek:

         

Více informací o licenci na obrázek naleznete zde. Poslední aktualizace: Sun, 28 Jan 2024 14:16:18 GMT

Relevantní články

Stephen Arthur Cook 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. 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ů 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. .. pokračovat ve čtení