Кук, Стивен Артур: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Интерактивная навигация по истории
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→‎Награды: орфография
Строка 25: Строка 25:


== Биография ==
== Биография ==
Кук получил титул [[бакалавр]]а в [[Мичиганский университет|Мичиганском университете]] в [[1961 год]]у. Год спустя, он получил титул [[магистр]]а наук в [[Гарвард]]е, где в 1966 году наконец достиг звания [[доктор философии|доктора философии]]. До [[1970 год]]а работал доцентом ({{lang-en|assistant professor}}) по математике в [[Калифорнийский университет в Беркли|Беркли]], где так и не получил звания профессора. [[Ричард Карп]], лауреат премии Тьюринга [[1985 год]]а, скажет об этом
Кук получил титул [[бакалавр]]а в [[Мичиганский университет|Мичиганском университете]] в [[1961 год]]у. Год спустя, он получил титул [[магистр]]а наук в [[Гарвард]]е, где в 1966 году наконец достиг звания [[доктор философии|доктора философии]]. До [[1970 год]]а работал ассистентом ({{lang-en|assistant professor}}) по математике в [[Калифорнийский университет в Беркли|Беркли]], где так и не получил статус постоянного сотрудника. [[Ричард Карп]], лауреат премии Тьюринга [[1985 год]]а, скажет об этом
{{начало цитаты}}Это навсегда останется нашей виной, что мы не смогли уговорить факультет математики дать ему эту профессуру.
{{начало цитаты}}Это навсегда останется нашей виной, что мы не смогли уговорить факультет математики дать ему этот статус.
{{oq|en|It is to our everlasting shame that we were unable to persuade the math department to give him tenure.}}
{{oq|en|It is to our everlasting shame that we were unable to persuade the math department to give him tenure.}}
{{конец цитаты|источник=[[Ричард Карп]] к 30-летию факультета информатики [[Калифорнийский университет в Беркли|Беркли]]<ref>[http://www.eecs.berkeley.edu/BEARS/CS_Anniversary/karp-talk.html "A Personal View of Computer Science at Berkeley"] [[Ричард Карп]] к 30-летию факультета информатики [[Калифорнийский университет в Беркли|Беркли]] {{ref-en}}</ref>}}
{{конец цитаты|источник=[[Ричард Карп]] к 30-летию факультета информатики [[Калифорнийский университет в Беркли|Беркли]]<ref>[http://www.eecs.berkeley.edu/BEARS/CS_Anniversary/karp-talk.html "A Personal View of Computer Science at Berkeley"] [[Ричард Карп]] к 30-летию факультета информатики [[Калифорнийский университет в Беркли|Беркли]] {{ref-en}}</ref>}}

Версия от 22:43, 11 августа 2010

Стивен Артур Кук
Stephen Arthur Cook
Имя при рождении англ. Stephen Arthur Cook
Дата рождения 14 декабря 1939(1939-12-14) (84 года)
Место рождения Буффало, штат Нью-Йорк, США
Страна США
Научная сфера Информатика
Место работы Калифорнийский университет в Беркли
Торонтский университет
Альма-матер Гарвардский университет
Учёная степень доктор наук
Научный руководитель Хао Ванг (Hao Wang)
Ученики Уолтер Савич
Известен как Теория сложности вычислений
Награды и премии Премия Тьюринга
Сайт cs.toronto.edu/~sacook/
Логотип Викисклада Медиафайлы на Викискладе
В Википедии есть статьи о других людях с фамилией Кук.

Стивен Артур Кук (англ. Stephen Arthur Cook, 14 декабря 1939 года, Буффало, США) — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.

В своей работе «The Complexity of Theorem Proving Procedures»[1] Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.

Биография

Кук получил титул бакалавра в Мичиганском университете в 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.
— Ричард Карп к 30-летию факультета информатики Беркли[2]

Эту честь ему оказал Торонтский университет, назначив Стивена Кука профессором в 1975 году.

Награды

  • 1982 — Премия Тьюринга «За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет.»[3]

Примечания

  1. ↑ «The Complexity of Theorem Proving Procedures» (англ.)
  2. ↑ "A Personal View of Computer Science at Berkeley" Ричард Карп к 30-летию факультета информатики Беркли  (англ.)
  3. ↑ ACM Award Citation / Stephen A Cook  (англ.)

См. также

Ссылки


Источник — https://ru.wikipedia.org/w/index.php?title=Кук,_Стивен_Артур&oldid=26900142