Кук, Стивен Артур: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Badger M. (обсуждение | вклад) Нет описания правки |
м Удаление шаблонов: {{нп5}}×1 |
||
Строка 35: | Строка 35: | ||
== Награды == |
== Награды == |
||
* [[1982]] — [[Премия Тьюринга]] «За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет.»<ref>[http://awards.acm.org/citation.cfm?id=N991950&srt=alpha&alpha=C&aw=140&ao=AMTURING ACM Award Citation / Stephen A Cook]{{Недоступная ссылка|date=Октябрь 2018 |bot=InternetArchiveBot }}</ref>{{ref-en}} |
* [[1982]] — [[Премия Тьюринга]] «За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет.»<ref>[http://awards.acm.org/citation.cfm?id=N991950&srt=alpha&alpha=C&aw=140&ao=AMTURING ACM Award Citation / Stephen A Cook]{{Недоступная ссылка|date=Октябрь 2018 |bot=InternetArchiveBot }}</ref>{{ref-en}} |
||
* [[1999]] — |
* [[1999]] — [[CRM-Fields-PIMS prize]] |
||
* [[2012]] — [[Канадская золотая медаль Герхарда Херцберга]] |
* [[2012]] — [[Канадская золотая медаль Герхарда Херцберга]] |
||
* [[2015]] — [[BBVA Foundation Frontiers of Knowledge Awards]] «За его важную роль в определении того, что компьютеры могут и не могут эффективно решать. Его работы оказали огромное влияние на всех полях, где сложные вычисления имеют решающее значение.»<ref>[http://www.virtual-strategy.com/2016/01/12/bbva-foundation-frontiers-knowledge-award-goes-stephen-cook-determining-some-problems-do- The BBVA Foundation Frontiers of Knowledge Award goes to Stephen Cook for determining that some problems do not lend themselves to efficiently computable solutions | Virtual-S…<!-- Заголовок добавлен ботом -->]</ref>{{ref-en}} |
* [[2015]] — [[BBVA Foundation Frontiers of Knowledge Awards]] «За его важную роль в определении того, что компьютеры могут и не могут эффективно решать. Его работы оказали огромное влияние на всех полях, где сложные вычисления имеют решающее значение.»<ref>[http://www.virtual-strategy.com/2016/01/12/bbva-foundation-frontiers-knowledge-award-goes-stephen-cook-determining-some-problems-do- The BBVA Foundation Frontiers of Knowledge Award goes to Stephen Cook for determining that some problems do not lend themselves to efficiently computable solutions | Virtual-S…<!-- Заголовок добавлен ботом -->]</ref>{{ref-en}} |
Версия от 17:35, 6 января 2020
Стивен Артур Кук | |
---|---|
Stephen Arthur Cook | |
Имя при рождении | англ. Stephen Arthur Cook |
Дата рождения | 14 декабря 1939 (84 года) |
Место рождения | Буффало, штат Нью-Йорк, США |
Страна | |
Научная сфера | информатика |
Место работы |
Калифорнийский университет в Беркли Торонтский университет |
Альма-матер | Гарвардский университет |
Учёная степень | доктор наук |
Научный руководитель | Ван Хао (Hao Wang) |
Ученики | Уолтер Савич |
Известен как | Теория сложности вычислений |
Награды и премии | Премия Тьюринга |
Сайт | cs.toronto.edu/~sacook/ |
Медиафайлы на Викискладе |
Стивен Артур Кук (англ. Stephen Arthur Cook; род. 14 декабря 1939 года, Буффало, США) — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.
В своей работе «The Complexity of Theorem Proving Procedures»[1] Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.
Член Канадского королевского общества (1984), Национальной академии наук США (1985)[2], Лондонского королевского общества (1998)[3].
Биография
Кук получил титул бакалавра в Мичиганском университете в 1961 году. Год спустя он получил степень магистра наук в Гарварде, где в 1966 году достиг степени доктора философии. До 1970 года работал ассистентом (англ. assistant professor) по математике в Беркли, где так и не получил статус постоянного сотрудника. Ричард Карп, лауреат премии Тьюринга 1985 года, скажет об этом
Это навсегда останется нашей виной, что мы не смогли уговорить факультет математики дать ему этот статус.
Оригинальный текст (англ.)It is to our everlasting shame that we were unable to persuade the math department to give him tenure.
Эту честь ему оказал Торонтский университет, назначив Стивена Кука профессором в 1975 году.
Награды
- 1982 — Премия Тьюринга «За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет.»[5] (англ.)
- 1999 — CRM-Fields-PIMS prize
- 2012 — Канадская золотая медаль Герхарда Херцберга
- 2015 — BBVA Foundation Frontiers of Knowledge Awards «За его важную роль в определении того, что компьютеры могут и не могут эффективно решать. Его работы оказали огромное влияние на всех полях, где сложные вычисления имеют решающее значение.»[6] (англ.)
См. также
Примечания
- ↑ «The Complexity of Theorem Proving Procedures» (англ.)
- ↑ Кук, Стивен Артур на сайте Национальной академии наук США (англ.)
- ↑ Stephen Cook (англ.)
- ↑ "A Personal View of Computer Science at Berkeley" Ричард Карп к 30-летию факультета информатики Беркли (англ.)
- ↑ ACM Award Citation / Stephen A Cook (недоступная ссылка)
- ↑ The BBVA Foundation Frontiers of Knowledge Award goes to Stephen Cook for determining that some problems do not lend themselves to efficiently computable solutions | Virtual-S…
Ссылки
- Сайт Стивена Кука при Торонтском университете (англ.)
- «Stephen Cook» на сайте NSERC (англ.)
- Родившиеся 14 декабря
- Родившиеся в 1939 году
- Доктора наук
- Персоналии по алфавиту
- Учёные по алфавиту
- Лауреаты премии Тьюринга
- Родившиеся в Буффало
- Учёные в области информатики США
- Выпускники Гарвардского университета
- Члены Канадского королевского общества
- Члены Национальной академии наук США
- Члены Лондонского королевского общества
- Награждённые канадской золотой медалью Герхарда Херцберга