Мэтью Кук - Matthew Cook

О других людях по имени Мэтью Кук см. Мэтью Кук (значения).

Мэтью Кук (родился 7 февраля 1970 г.) - математик и компьютерный ученый, доказавший Стивен Вольфрам предположение, что Правило 110 клеточный автомат является Полный по Тьюрингу.

биография

Кук родился в Моргантаун, Западная Вирджиния и вырос в Эванстон, Иллинойс. Он выпускник Летние занятия по математике в Hampshire College программу и закончил бакалавриат в Университет Иллинойса и программу семестров по математике в Будапеште. В 1987 году Кук квалифицировался как член американской команды из шести человек. Международная математическая олимпиада и завоевал бронзовую медаль. В 1990 году Кук пошел работать в Wolfram Research, создатели системы компьютерной алгебры Mathematica. Он защитил докторскую диссертацию в области вычислений и нейронных систем в Калтех с 1999 по 2005 год. Сейчас в Институте Нейроинформатика в Цюрихе в Швейцарии.

Работа со Стивеном Вольфрамом

В 1990-х Кук работал научным сотрудником в Стивен Вольфрам, помогая в работе над книгой Вольфрама, Новый вид науки. Среди прочего, он разработал доказательство того, что Правило 110 клеточный автомат является полным по Тьюрингу.

Кук представил свое доказательство на Институт Санта-Фе конференции CA98 перед публикацией книги Вольфрама - действие, которое побудило Wolfram Research обвинить Кука в нарушении его NDA и привело к блокировке публикации доказательства в трудах конференции.[1]

Новый вид науки был выпущен в 2002 году с наброском доказательства. В 2004 году Кук опубликовал свой доказательство в журнале Вольфрама Сложные системы.

Рекомендации

  1. ^ Мартинес, Хенаро Дж .; Сек Туох Мора, Хуан; Чапа, Серджио; Леметр, Кристиан (апрель 2019 г.). «Краткие заметки и история вычислений в Мексике за 50 лет». Международный журнал параллельных, возникающих и распределенных систем: 1–8. arXiv:1905.07527. Дои:10.1080/17445760.2019.1608990. Получено 2020-04-15.

внешняя ссылка