Кук, Стивен Артур
Материал из Википедии — свободной encyclopedia
В Википедии есть статьи о других людях с фамилией Кук.
Стивен Артур Кук (англ. Stephen Arthur Cook; род. 14 декабря 1939 года, Буффало, США) — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.
Краткие факты Стивен Артур Кук, Имя при рождении ...
Стивен Артур Кук | |
---|---|
англ. Stephen Arthur Cook | |
Имя при рождении | англ. Stephen Arthur Cook |
Дата рождения | 14 декабря 1939(1939-12-14) (84 года) |
Место рождения | Буффало, штат Нью-Йорк, США |
Страна | |
Род деятельности | специалист в области информатики, преподаватель университета, математик |
Научная сфера | информатика |
Место работы |
Калифорнийский университет в Беркли Торонтский университет |
Альма-матер | Гарвардский университет |
Учёная степень | доктор наук |
Научный руководитель | Ван Хао (Hao Wang) |
Ученики | Уолтер Савич |
Известен как | Теория сложности вычислений |
Награды и премии | Премия Тьюринга |
Сайт | cs.toronto.edu/~sacook/ |
Медиафайлы на Викискладе |
Закрыть
В своей работе «The Complexity of Theorem Proving Procedures»[1] Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.
Член Канадского королевского общества (1984), Национальной академии наук США (1985)[2], Лондонского королевского общества (1998)[3].