Мэтью Кук
Мэтью Кук (родился 7 февраля 1970 г.) — математик и ученый-компьютерщик, наиболее известный тем, что доказал Стивена Вольфрама гипотезу по Правилу 110 о том, что клеточный автомат является Тьюринг-полным .
Биография [ править ]
Кук родился в Моргантауне, Западная Вирджиния , и вырос в Эванстоне, штат Иллинойс . Он закончил бакалавриат в Университете Иллинойса и Будапештские семестры по программе математики. В 1987 году Кук вошел в состав сборной США из шести человек на Международную математическую олимпиаду и завоевал бронзовую медаль. В 1990 году Кук перешёл на работу в компанию Wolfram Research , создателя системы компьютерной алгебры Mathematica . С 1999 по 2005 год он защитил докторскую диссертацию по вычислительным системам и нейронным системам в Калифорнийском технологическом институте. Сейчас он работает в Институте нейроинформатики в Цюрихе, Швейцария.
со Вольфрамом Работа Стивеном
В 1990-х годах Кук работал научным сотрудником Стивена Вольфрама , помогая в работе над книгой Вольфрама « Новый вид науки» . Среди прочего, он разработал доказательство, показывающее, что клеточный автомат по Правилу 110 является Тьюринг-полным.
Кук представил свое доказательство на конференции CA98 Института Санта-Фе перед публикацией книги Вольфрама - действие, которое побудило Wolfram Research обвинить Кука в нарушении его соглашения о неразглашении и привело к блокировке публикации доказательства в материалах конференции. [1]
В 2002 году был выпущен «Новый вид науки» с описанием доказательства. В 2004 году Кук опубликовал свое доказательство в журнале Wolfram Complex Systems . [2]
Ссылки [ править ]
- ^ Мартинес, Хенаро Дж.; Сек Туох Мора, Хуан; Чапа, Серджио; Леметр, Кристиан (апрель 2019 г.). «Краткие заметки и исторические вычисления в Мексике за 50 лет» . Международный журнал параллельных, новых и распределенных систем . 35 (2): 185–192. arXiv : 1905.07527 . дои : 10.1080/17445760.2019.1608990 . S2CID 150262966 . Проверено 15 апреля 2020 г.
- ^ Кук, Мэтью (2004). «Универсальность в элементарных клеточных автоматах» . Сложные системы . 15 :1–40. Архивировано (PDF) из оригинала 28 мая 2016 года.
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
