Matthew Cook
Matthew Cook (född 7 februari 1970) är en matematiker och datavetare som är mest känd för att ha bevisat Stephen Wolframs gissning att Rule 110- cellautomaten är Turing-komplett .
Biografi
Cook föddes i Morgantown, West Virginia och växte upp i Evanston, Illinois . Han är en alumn vid Hampshire College Summer Studies in Mathematics- programmet och avslutade sina grundstudier vid University of Illinois och Budapest Semesters in Mathematics-programmet. 1987 kvalificerade Cook sig som medlem av det amerikanska laget med sex personer till den internationella matematiska olympiaden och vann en bronsmedalj. 1990 gick Cook till jobbet för Wolfram Research , tillverkare av datoralgebrasystemet Mathematica . Han doktorerade i Computation and Neural Systems vid Caltech från 1999 till 2005. Han är nu vid Institutet för Neuroinformatik i Zürich i Schweiz.
Arbeta med Stephen Wolfram
På 1990-talet arbetade Cook som forskningsassistent till Stephen Wolfram och hjälpte till med arbetet med Wolframs bok, A New Kind of Science . Bland annat utvecklade han ett bevis som visar att Rule 110 cellulära automaten är Turing-komplett.
Cook presenterade sitt bevis vid Santa Fe Institute -konferensen CA98 innan publiceringen av Wolframs bok – en åtgärd som fick Wolfram Research att anklaga Cook för att ha brutit mot hans NDA och resulterade i att publiceringen av beviset blockerades i konferensförhandlingarna.
A New Kind of Science släpptes 2002 med en översikt över beviset. 2004 publicerade Cook sitt bevis i Wolframs tidskrift Complex Systems .
externa länkar
| Allmän | |
|---|---|
| Nationalbibliotek | |
| Vetenskapliga databaser | |
