Kuchař, Stephen Arthur
| Stephen Arthur Cook | |
|---|---|
| Stephen Arthur Cook | |
| Jméno při narození | Angličtina Stephen Arthur Cook |
| Datum narození | 14. prosince 1939 (82 let) |
| Místo narození | Buffalo , New York , USA |
| Země | |
| Vědecká sféra | Informatika |
| Místo výkonu práce |
University of California na Berkeley University of Toronto |
| Alma mater | Harvardská Univerzita |
| Akademický titul | Ph.D |
| vědecký poradce | Wang Hao (Hao Wang) |
| Studenti | Walter Savic |
| Známý jako | Teorie výpočetní složitosti |
| Ocenění a ceny | Turingova cena |
| webová stránka | cs.toronto.edu/~sacook/ |
| Mediální soubory na Wikimedia Commons | |
Stephen Arthur Cook ( narozen 14. prosince 1939 , Buffalo , USA ) je americký počítačový vědec. Proslul svou prací na teorii výpočetní složitosti , vítěz Turingovy ceny .
Cook ve své práci „The Complexity of Theorem Proving Procedures“ [1] dokázal, že problém splnitelnosti pro booleovské formule je NP-úplný . Nastolil tak otázku rovnosti tříd složitosti P a NP , jednu z nejobtížnějších otázek v teorii výpočetních systémů, na kterou dodnes neexistuje odpověď.
Člen Královské společnosti Kanady (1984), Národní akademie věd USA (1985) [2] , Královské společnosti v Londýně (1998) [3] .
Životopis
Cook získal bakalářský titul na University of Michigan v roce 1961 . O rok později získal titul Master of Science na Harvardu , kde v roce 1966 získal titul Ph.D. Do roku 1970 působil jako odborný asistent v matematice v Berkeley , kde nikdy nezískal status stálého zaměstnance. Richard Karp , vítěz Turingovy ceny z roku 1985 , má toto co říci
Navždy zůstane naší vinou, že jsme nedokázali přesvědčit Matematickou fakultu, aby mu tento status udělila.
Původní text (anglicky)[ zobrazitskrýt] Je k naší věčné hanbě, že jsme nebyli schopni přesvědčit katedru matematiky, aby mu dala místo. — Richard Karp k 30. výročí katedry informatiky v Berkeley [4]Tuto poctu mu udělila University of Toronto jmenováním Stephena Cooka profesorem v roce 1975 .
Ocenění
- 1982 – Turingova cena „Za významný pokrok, kterého dosáhl v pochopení složitosti výpočetní techniky. Jeho práce položila základ pro teorii NP-úplnosti. Studium vlastností a hranic této třídy se za posledních deset let stalo jedním z nejdůležitějších směrů v teorii výpočetních systémů. [5 ]
- 1999 - cena CRM-Fields-PIMS
- 2012 - Zlatá medaile Kanaďana Gerharda Herzberga
- 2015 – BBVA Foundation Frontiers of Knowledge Awards „Za jeho důležitou roli při definování toho, co počítače mohou a nemohou efektivně vyřešit. Jeho práce měla obrovský dopad ve všech oblastech, kde jsou složité výpočty kritické." [6 ]
Viz také
Poznámky
- ↑ „Složitost postupů dokazování teorémů“ Archivováno 7. července 2007 na Wayback Machine
- ↑ Cook, Stephen Arthur na webu Národní akademie věd USA
- ↑ Stephen Cook archivován 31. srpna 2019 na Wayback Machine
- ↑ „Osobní pohled na počítačovou vědu v Berkeley“ Archivováno 4. března 2016 na Wayback Machine Richard Karp 30. výročí oddělení informatiky v Berkeley
- ↑ ACM Award Citation / Stephen A Cook (odkaz není k dispozici)
- ↑ Cenu BBVA Foundation Frontiers of Knowledge Award získává Stephen Cook za zjištění, že některé problémy se nehodí k efektivně vyčíslitelným řešením | Virtual-S… (nedostupný odkaz) . Datum přístupu: 19. ledna 2016. Archivováno z originálu 22. února 2019.
Odkazy
- Webové stránky Stephena Cooka na University of Toronto
- „Stephen Cook“ na webu NSERC
 Tematické stránky | ||||
|---|---|---|---|---|
| Slovníky a encyklopedie | ||||
| ||||
| Vítězové Turingovy ceny | |
|---|---|
| |