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