매슈 쿡

Matthew Cook
매튜 쿡이라는 이름의 다른 사람들은 매튜 쿡을 보라.

매튜 쿡(Matthew Cook, 1970년 2월 7일 출생)은 수학자 겸 컴퓨터 과학자로, 규칙 110 세포 자동화가 튜링-완전하다는 스티븐 울프람의 추측을 입증한 것으로 가장 잘 알려져 있다.

전기

쿡은 웨스트버지니아주 모건타운에서 태어나 일리노이주 에반스턴에서 자랐다.그는 햄프셔 대학 수학 여름학과의 동문이며 일리노이 대학과 부다페스트 수학과에서 학부과정을 마쳤다.1987년 쿡은 국제수학올림피아드 6인조 미국팀의 일원으로 출전 자격을 얻어 동메달을 땄다.1990년에, 쿡은 컴퓨터 대수학 시스템 매머티카의 제조사인 울프램 리서치에 근무했다.그는 1999년부터 2005년까지 칼텍의 계산과 신경 시스템에서 박사학위를 받았다.그는 지금 스위스 취리히의 신경정보학 연구소에 있다.

Stephen Wolfiled with Stephen Wolfram

1990년대에 쿡은 Stephen Wolfram의 연구 보조원으로 일하면서 Wolfram의 책 "A New Kind of Science"에 대한 작업을 도왔다.무엇보다도, 그는 규칙 110 세포 자동화가 튜링-완전하다는 것을 보여주는 증거를 개발했다.

쿡은 울프램의 책이 출판되기 전 산타페 연구소의 CA98 회의에서 자신의 증거를 제시했는데, 이는 울프램 리서치가 쿡을 자신의 NDA를 위반했다고 비난하게 만들었고, 회의 진행 과정에서 그 증거의 발행을 저지하는 결과를 초래한 조치였다.[1]

새로운 종류의 과학은 2002년에 그 증거의 개요와 함께 발표되었다.2004년에 쿡은 울프램의 저널 콤플렉스 시스템즈에 그의 증거를 발표했다.[2]

참조

  1. ^ Martinez, Genaro J.; Seck Tuoh Mora, Juan; Chapa, Sergio; Lemaitre, Christian (April 2019). "Brief notes and history computing in Mexico during 50 years". International Journal of Parallel, Emergent and Distributed Systems. 35 (2): 185–192. arXiv:1905.07527. doi:10.1080/17445760.2019.1608990. S2CID 150262966. Retrieved 2020-04-15.
  2. ^ Cook, Matthew (2004). "Universality in Elementary Cellular Automata". Complex Systems. 15: 1–40. Archived (PDF) from the original on 28 May 2016.

외부 링크