Das Kefk Network Wiki befindet sich im Testbetrieb.
Stephen A. Cook
Aus Kefk.
Stephen Arthur Cook (* 1939 in Buffalo, New York) ist Professor der Informatik an der Universität in Toronto/Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner Lehrtätigkeit aber auch an der Schnittstelle von Logik und Berechenbarkeitstheorie.
Cook wurde in der theoretischen Informatik berühmt durch den Satz von Cook: "SAT ist NP-vollständig". 1982 bekam er für diese Entdeckung den Turing-Preis.
Weblinks
| Personendaten | |
|---|---|
| NAME | Cook, Stephen A. |
| KURZBESCHREIBUNG | Informatiker, bekannt durch den Satz von Cook |
| GEBURTSDATUM | 1939 |
| GEBURTSORT | Buffalo, New York |
| Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Stephen_A._Cook, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation. |
