แมทธิว คุก (เกิด 7 กุมภาพันธ์ 1970) เป็นนักคณิตศาสตร์และนักวิทยาศาสตร์คอมพิวเตอร์ ซึ่งเป็นที่รู้จักกันดีจากการพิสูจน์ว่าออโตมาตาเซลลูลาร์ตามกฎข้อ 110 นั้นสมบูรณ์แบบตามทฤษฎีบททัวริง

คุกเกิดที่เมืองมอร์แกนทาวน์ รัฐเวสต์เวอร์จิเนียและเติบโตในเมืองเอแวนสตัน รัฐอิลลินอยส์เขาสำเร็จการศึกษาระดับปริญญาตรีจากมหาวิทยาลัยอิลลินอยส์และหลักสูตรคณิตศาสตร์ที่บูดาเปสต์ ในปี 1987 คุกได้รับคัดเลือกเป็นสมาชิกทีมชาติสหรัฐอเมริกา 6 คน เข้าร่วมการแข่งขันโอลิมปิกคณิตศาสตร์นานาชาติและได้รับเหรียญทองแดง ในปี 1990 คุกเข้าทำงานที่Wolfram Researchผู้ผลิตระบบพีชคณิตคอมพิวเตอร์Mathematicaเขาทำวิทยานิพนธ์ระดับปริญญาเอกด้านการคำนวณและระบบประสาทที่Caltechตั้งแต่ปี 1999 ถึง 2005 ปัจจุบันเขาทำงานอยู่ที่สถาบันประสาทสารสนเทศแห่งซูริก ประเทศสวิตเซอร์แลนด์

ในช่วงทศวรรษ 1990 คุกทำงานเป็นผู้ช่วยวิจัยให้กับสตีเฟน วูลฟรามโดยช่วยงานเขียนหนังสือของวูลฟรามเรื่อง " วิทยาศาสตร์รูปแบบใหม่" (A New Kind of Science ) หนึ่งในงานที่เขาทำคือการพัฒนาบทพิสูจน์ที่แสดงให้เห็นว่า ออโตมาตาเซลลูลาร์ ตามกฎข้อ 110นั้นสมบูรณ์แบบตามทฤษฎีของทัวริง (Turing-complete)

คุกนำเสนอหลักฐานของเขาในการ ประชุม สถาบันซานตาเฟ CA98 ก่อนการตีพิมพ์หนังสือของวูลฟราม ซึ่งการกระทำดังกล่าวทำให้วูลฟราม รีเสิร์ชกล่าวหาคุกว่าละเมิดข้อตกลงรักษาความลับ (NDA)และส่งผลให้การเผยแพร่หลักฐานในรายงานการประชุมถูกระงับ ^{[ 1 ]}

หนังสือ A New Kind of Scienceวางจำหน่ายในปี 2002 โดยมีโครงร่างของบทพิสูจน์ ในปี 2004 คุกได้ตีพิมพ์บทพิสูจน์ของเขาในวารสารComplex Systemsของ Wolfram ^{[ 2 ]}

• เว็บไซต์ส่วนตัว
• สถานที่ตั้งอยู่ที่ INI Zurich

• Matthew Cookที่DBLP Bibliography Server