Стивен Артур Кук Американский учёный в области теории вычислительных систем Дата рождения: 14.12.1939 Страна: США

1. Биография Стивена Артура Кука
2. Работа над задачей выполнимости булевых формул
3. Образование и научная карьера
4. Профессорство в Торонтском университете

Биография Стивена Артура Кука

Стивен Артур Кук является американским учёным, известным в области теории вычислительных систем. Он прославился своей работой над теорией сложности вычислений и был удостоен премии Тьюринга за свой вклад в развитие этой области.

Работа над задачей выполнимости булевых формул

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

Образование и научная карьера

Кук получил степень бакалавра в Мичиганском университете в 1961 году, а уже через год завершил обучение в Гарварде, где получил степень магистра наук. В 1966 году он достиг степени доктора философии. Начиная свою научную карьеру, Кук работал ассистентом по математике в Беркли до 1970 года, однако не смог получить статус постоянного сотрудника. В связи с этим, Ричард Карп, лауреат премии Тьюринга 1985 года, выразил свое сожаление по поводу невозможности университета убедить математический факультет в необходимости предоставить Куку статус постоянного сотрудника.

Профессорство в Торонтском университете

Следующей вехой в карьере Стивена Кука стало приглашение от Торонтского университета, где он был назначен профессором в 1975 году. Это признание его значимости и вклада в область теории вычислительных систем. Кук продолжал работать в университете, внесая важные научные открытия и вкладывая свои знания и опыт в образование молодых учёных.

Стивен Артур Кук стал выдающимся учёным в области теории вычислительных систем благодаря своей работе над теорией сложности вычислений и доказательству NP-полноты задачи выполнимости булевых формул. Его вклад в развитие этой области науки остаётся великим и признанным международным сообществом.