WikiDer > Stephen Cook

Stephen Cook
Persönliche Informationen
Vollständiger Name	Stephen Andrew Cook
Geburtsdatum	14. Dezember1939
Geburtsort	Büffel, New York
Wissenschaftliche Arbeit
Disziplin	Theoretische Informatik, Komplexitätstheorie
Offizielle Website

Stephen Andrew Cook (Büffel, 14. Dezember1939) ist ein amerikanischTheoretischer Informatiker und Professor zum Universität von Toronto. 1971 bewies er, dass es Entscheidungsprobleme existieren für die alle NP-Probleme in Polynomzeit reduziert werden kann. Dafür erhielt er 1982 den Turing-Preis.

Lebenszyklus

Cook wurde 1939 in geboren Büffel in dem amerikanisch Zustand New York. Sein Vater war Chemiker. Seine Mutter arbeitete einige Jahre als Englischlehrerin, war aber hauptsächlich Hausfrau.^[1]

1961 erhielt Cook seinen Bachelor-Abschluss mit dem Hauptfach Mathematik an der Universität von Michigan, und 1962 seinen Master an der Harvard Universität. Nachdem er 1966 an derselben Universität war befördert er hat einen job bei der Universität Berkeley. Als sein Vertrag 1970 nicht verlängert wurde, bekam er eine Festanstellung bei der Universität von Torontowo er seither arbeitet.^[2]

Cook ist verheiratet und hat zwei Söhne. In seiner Freizeit mag er Segeln.^[1]

Wissenschaftliche Beiträge

Cook gilt als einer der Pioniere der Komplexitätstheorie. 1971 schrieb er den bahnbrechenden Artikel Die Komplexität von Verfahren zum Beweisen von Theoremen^[3], in dem er bewies, dass es Entscheidungsprobleme existieren für die alle NP-Probleme in Polynomzeit reduziert werden kann. In diesem Artikel stellte er auch die Frage, ob die Klassen p und NP gleich sind, eine Frage, die später von den Lehm-Mathematik-Institut unter dem Millennium-Preisprobleme war inbegriffen. 1982 gewann er für seine Arbeiten zur Komplexitätstheorie den Turing-Preis.

Neben seiner Arbeit in der Komplexitätstheorie leistete Cook auch Beiträge zur Komplexitätstheorie für logische Beweise, Semantik von Programmiersprachen und künstliche Intelligenz.