Кук, Стивен | это... Что такое Кук, Стивен? (original) (raw)

Кук, Стивен

Кук, Стивен

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

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

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

Содержание

• 1 Биография
• 2 Награды
• 3 См. также
• 4 Ссылки
• 5 Примечания

Биография

Кук получил титул бакалавра в Мичиганском университете в 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]

См. также

• Теорема Кука

Ссылки

• Сайт Стивена Кука при Торонтском Университете (англ.)
• «Stephen Cook» на сайте NSERC (англ.)

Примечания

1. ↑ «The Complexity of Theorem Proving Procedures»(англ.)
2. ↑ "A Personal View of Computer Science at Berkeley" Ричард Карп к 30-летию факультета информатики Беркли (англ.)
3. ↑ http://awards.acm.org/citation.cfm?id=N991950&srt=alpha&alpha=C&aw=140&ao=AMTURING (англ.)

Wikimedia Foundation.2010.

Полезное

Смотреть что такое "Кук, Стивен" в других словарях:

• Кук, Стивен Артур — Стивен Артур Кук Stephen Arthur Cook Дата рождения … Википедия
• Кук Стивен Артур — Стивен Артур Кук Stephen Arthur Cook Дата рождения: 14 декабря 1939 Место рождения: Буффало Гражданство … Википедия
• Кук — Кук: Кук один из египетских богов Кук или тханъ корейский суп с прозрачным бульоном. Фамилия Кук, Авраам Ицхак (1865 1935) раввин, создатель религиозного сионизма. Кук, Барбара (1927) американская певица. Кук, Бенджамин… … Википедия
• Стивен Тайлер — Steven Tyler … Википедия
• Кук, Дэвид — Дэвид Роланд Кук David Roland Cook … Википедия
• Стивен (город, Миннесота) — Город Стивен Stephen Страна СШАСША … Википедия
• Брэнд, Стивен — Стивен Брэнд Steven Brand Имя при рождении: Стивен Брэнд Дата рождения: 26 июня 1969(1969 06 26) (43 года) Ме … Википедия
• Стивен Артур Кук — … Википедия
• Стивен Кук — … Википедия
• Сент-Стивен (город, Миннесота) — Город Сент Стивен St. Stephen Страна СШАСША … Википедия