Matthew Cook (geboren am 7. Februar 1970) ist ein Mathematiker und Computerwissenschaftler, der die Vermutung von Stephen Wolfram bewiesen hat, dass die Regel 110 Zellautomat Turing-abgeschlossen ist. Regel 110 ist wohl das einfachste Turing-ganze zurzeit bekannte System.

Lebensbeschreibung

Koch ist in Morgantown, West Virginia geboren gewesen und ist in Evanston, Illinois aufgewachsen. Seine Studentenstudien waren an der Universität Illinois und die Budapester Halbjahre im Mathematik-Programm. Im Koch der 1980er Jahre qualifiziert als ein Mitglied der Sechs-Personen-US-Mannschaft zur Internationalen Mathematischen Olympiade. 1990 ist Koch für die Wolfram-Forschung, Schöpfer des Computeralgebra-Systems Mathematica zur Arbeit gegangen. Er hat seine Doktorarbeit in der Berechnung und den Nervensystemen an Caltech von 1999 bis 2005 getan.

Arbeit mit dem Wolfram von Stephen

Im Koch der 1990er Jahre, der als ein Forschungshelfer Stephen Wolfram gearbeitet ist, mit der Arbeit am Buch von Wolfram, Einer Neuen Art der Wissenschaft helfend. Unter anderem hat er einen Beweis entwickelt zeigend, dass die Regel 110 Zellautomat Turing-abgeschlossen ist. Der Beweis des Kochs dieser Tatsache wurde zuerst offensichtlich unmöglich von Wolfram 1985 erklärt.

Kochen Sie hat seinen Beweis auf der Institutkonferenz von Santa Fe CA98 vor dem Veröffentlichen des Buches des Wolframs - eine Handlung präsentiert, die Wolfram-Forschung dazu gebracht hat, Koch anzuklagen, seinen NDA zu verletzen, und auf das Blockieren der Veröffentlichung des Beweises in den Konferenzverhandlungen hinausgelaufen ist.

Eine Neue Art der Wissenschaft wurde 2002 mit einem Umriss des Beweises veröffentlicht. 2004 hat Koch seinen Beweis in den Zeitschriftenkomplex-Systemen des Wolframs veröffentlicht.

Links

• Persönliche Website
• Sammlung von Rezensionen des Buches des Wolframs