マシュー・クック

マシュー・クック（1970年2月7日生まれ）は数学者、コンピュータ科学者であり、ルール110 セルオートマトンがチューリング完全であるというスティーブン・ウルフラムの予想を証明したことで最もよく知られています。

バイオグラフィー

クック氏はウェストバージニア州モーガンタウンで生まれ、イリノイ州エバンストンで育った。イリノイ大学で学士号を取得し、ブダペスト数学セメスタープログラムを修了。1987年、クック氏は国際数学オリンピックの米国チーム6人のメンバーとして出場し、銅メダルを獲得。1990年、クック氏は数式処理システムMathematicaの開発元であるウルフラムリサーチ社に入社。1999年から2005年までカリフォルニア工科大学で計算と神経システムの博士課程を修了。現在はスイスのチューリッヒにある神経情報学研究所に所属している。

1990年代、クックはスティーブン・ウルフラムの研究助手として働き、ウルフラムの著書『A New Kind of Science』の執筆に協力した。とりわけ、彼はルール110セルオートマトンがチューリング完全であることを示す証明を開発した。

クックは、ウルフラムの本の出版前にサンタフェ研究所の会議CA98で証明を発表しました。この行動により、ウルフラムリサーチはクックがNDAに違反したと非難し、会議の議事録での証明の公開を阻止する結果となりました。 ^[1]

2002年に「A New Kind of Science」が出版され、その証明の概要が紹介された。2004年にクックはウルフラムの雑誌「Complex Systems」にその証明を発表した。^[2]

^ Martinez, Genaro J.; Seck Tuoh Mora, Juan; Chapa, Sergio; Lemaitre, Christian (2019 年 4 月)。「メキシコにおける 50 年間のコンピューティングに関する簡単なメモと歴史」。International Journal of Parallel , Emergent and Distributed Systems。35 (2): 185–192。arXiv : 1905.07527。doi : 10.1080 /17445760.2019.1608990。S2CID 150262966。2020年 4 月 15日に閲覧。
^ Cook, Matthew (2004). 「Universality in Elementary Cellular Automata」. Complex Systems . 15 : 1–40. doi :10.25088/ComplexSystems.15.1.1. 2016年5月28日時点のオリジナルよりアーカイブ(PDF) 。