Стывен Артур Кук

Стывен Артур Кук
англ.: Stephen Cook
Дата нараджэння	14 снежня 1939(1939-12-14) (84 гады)
Месца нараджэння	Буфала, акруга Эры[d], штат Нью-Ёрк, ЗША
Грамадзянства	ЗША  Канада
Дзеці	Gordon Cook[d]
Род дзейнасці	спецыяліст у галіне інфарматыкі, выкладчык універсітэта, матэматык
Навуковая сфера	інфарматыка
Месца працы	Таронцкі ўніверсітэт Каліфарнійскі ўніверсітэт у Берклі
Навуковая ступень	доктар навук
Альма-матар	Гарвардскі ўніверсітэт Мічыганскі ўніверсітэт
Навуковы кіраўнік	Hao Wang[d]
Член у	Лонданскае каралеўскае таварыства Нацыянальная акадэмія навук ЗША Каралеўскае таварыства Канады Амерыканская акадэмія мастацтваў і навук Гётынгенская акадэмія навук Асацыяцыя вылічальнай тэхнікі[d]
Узнагароды	член Лонданскага каралеўскага таварыства прэмія Цьюрынга (1982) CRM-Fields-PIMS prize[d] (1999) Гёдэльскі лектар[d] (1999) BBVA Foundation Frontiers of Knowledge Award[d] (2015) член Асацыяцыі вылічальнай тэхнікі[d] (2008) член Каралеўскага таварыства Канады[d] Канадскі залаты медаль Герхарда Герцберга (2012) John L. Synge Award[d] (2006)
Сайт	cs.toronto.edu/~sacook/
Медыяфайлы на Вікісховішчы

Стывен Артур Кук (англ.: Stephen Arthur Cook; нар. 14 снежня 1939, Буфала, ЗША) — амерыканскі вучоны ў галіне тэорыі вылічальных сістэм. Вядомы сваёй працай над тэорыяй складанасці вылічэнняў, лаўрэат прэміі Цьюрынга.

У сваёй працы «The Complexity of Theorem Proving Procedures» Кук даказаў, што задача выканальнасці булевых формул з’яўляецца NP-поўнай. Тым самым ён падняў пытанне аб роўнасці класаў складанасці P і NP, адно з найскладанейшых пытанняў тэорыі вылічальных сістэм, на якое да гэтага часу няма адказу.

Член Канадскага каралеўскага таварыства (1984), Нацыянальнай акадэміі навук ЗША (1985), Лонданскага каралеўскага таварыства (1998).