Stephen Arthur Cook is a noted computer scientist. Cook formalised the notion of NP-completeness in a famous 1971 paper "The Complexity of Theorem Proving Procedures", which also contained Cook's theorem, a proof that the boolean satisfiability problem is NP-complete. The paper left unsolved the greatest open question in theoretical computer science - whether complexity classes P and NP are equivalent. Cook received the Turing Award in 1982 for his discovery.

PropertyValue
dbpedia-owl:Person/almaMater
dbpedia-owl:Person/birthDate
  • 1939-12-14 (xsd:date)
dbpedia-owl:Person/birthPlace
dbpedia-owl:Person/knownFor
dbpedia-owl:Scientist/doctoralAdvisor
dbpedia-owl:Scientist/doctoralStudent
dbpedia-owl:almaMater
dbpedia-owl:birthDate
  • 1939-12-14 (xsd:date)
dbpedia-owl:birthPlace
dbpedia-owl:doctoralAdvisor
dbpedia-owl:doctoralStudent
dbpedia-owl:knownFor
dbpedia-owl:thumbnail
dbpprop:abstract
  • Stephen Arthur Cook is a noted computer scientist. Cook formalised the notion of NP-completeness in a famous 1971 paper "The Complexity of Theorem Proving Procedures", which also contained Cook's theorem, a proof that the boolean satisfiability problem is NP-complete. The paper left unsolved the greatest open question in theoretical computer science - whether complexity classes P and NP are equivalent. Cook received the Turing Award in 1982 for his discovery. His citation reads: For his advancement of our understanding of the complexity of computation in a significant and profound way. His seminal paper, The Complexity of Theorem Proving Procedures, presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory of NP-Completeness. The ensuing exploration of the boundaries and nature of NP-complete class of problems has been one of the most active and important research activities in computer science for the last decade. He received his Bachelor's degree in 1961 from the University of Michigan. At Harvard University, he received his Master's degree in 1962 and his Ph.D. in 1966. From 1966 to 1970 he was Assistant Professor at the University of California, Berkeley in the math department, which infamously denied him tenure. In a speech celebrating the 30th anniversary of the Berkeley EECS department, fellow Turing Award winner and Berkeley professor Richard Karp said that, "It is to our everlasting shame that we were unable to persuade the math department to give him tenure. " Cook then joined the faculty at the University of Toronto in 1970 as an Associate Professor, and was promoted to Professor in 1975 and University Professor in 1985 in the Computer Science Department and Mathematics Department. He is a Fellow of the Association for Computing Machinery (2008).
  • Stephen Arthur Cook ist Professor der Informatik an der University of Toronto in 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 Award.
  • Stephen Arthur Cook je americký informatik. Je znám především díky svému článku "The Complexity of Theorem Proving Procedures" z roku 1971, ve kterém formalizoval pojem NP-úplnosti a dokázal, že existuje NP-úplný problém. Tento článek otevřel jeden z největších nevyřešených problémů současné informatiky a to, zda P = NP. Tato otázka byla zařazena mezi sedm tzv. Problémů tisíciletí vyhlášených v roce 2000 Clayovým matematickým institutem, za vyřešení každého z těchto problémů je vypsána odměna milion dolarů. Problém se dotýká celé řady vědních oborů — teoretické informatiky, matematiky, logiky, kryptografie, ale také i filosofie. V roce 1982 obdržel Turingovu cenu. V září 2008 navštívil pražskou Podzimní školu logiky. V roce 1962 absolvoval Harvardovu univerzitu, v roce 1966 zde obdržel titul PhD.
  • Stephen Arthur Cook es un reconocido científico de la computación. Cook formalizó la cosa de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La Complejidad de los Procedimientos de Prueba de Teoremas"), que tambiénlas clases de complejidad P y NP. Cook recibió el Premio Turing en 1982 por su descubrimiento: Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década. Recibió su licenciatura en 1961 por la Universidad de Míchigan. En la Universidad de Harvard, recibió su título de máster en 1962, y se doctoró en 1966. Desde 1966 hasta 1970 fue profesor asistente en la Universidad de California, Berkeley. Se unió al profesorado de la Universidad de Toronto en 1970 como profesor asociado, siendo ascendido a profesor en 1975 y profesor universitario en 1985 en el Departamento de Informática y en el de Matemáticas.
  • Stephen Arthur Cook est un informaticien qui a formalisé la notion de NP-complétude. Il est l'auteur de la publication The Complexity of Theorem Proving Procedures dans laquelle il établit le théorème de Cook, qui prouve que le problème SAT est NP-complet.
  • スティーブン・クック（Stephen A. Cook, 1939年 - ）は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面の研究に従事している。 1971年の論文 "The Complexity of Theorem Proving Procedures" でNP完全の概念を定式化し、 充足可能性問題がNP完全であること（クックの定理）を示した。 その計算複雑性理論への多大な貢献により、82年のチューリング賞を受賞。 米ニューヨーク州バッファロー生まれ。 1961年ミシガン大学卒業。66年ハーバード大学で博士号取得。同年カリフォルニア大学バークレー校助教授。 70年加トロント大学准教授、75年教授（現職）。 主な教え子としてウォルター・サヴィッチがいる。
  • Stephen Arthur Cook – amerykański informatyk, ceniony za fundamentalny wkład w rozwój teorii złożoności obliczeniowej, za co otrzymał nagrodę Turinga w 1982 roku.
  • Stephen Arthur Cook este un informatician american, care a formalizat noţiunea de NP-completitudine într-o lucrare scrisă în 1971 şi intitulată Complexitatea procedurilor de demonstrare a teoremelor, în care a demonstrat că problema satisfacerii expresiilor booleene este NP completă. Pentru aceasta, Cook a primit în 1982 Premiul Turing.
  • Стивен Артур Кук — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга. В своей работе «The Complexity of Theorem Proving Procedures» Кук доказал, что задача выполнимости булевых формул является NP-полной. Тем самым он поднял вопрос о равенстве классов сложности P и NP, один из сложнейших вопросов теории вычислительных систем, на который до сих пор нет ответа.
  • 史提芬·A·古克（Stephen A. Cook，1939年－），計算機科學家，計算複雜性理論的重要研究者。 1971年，在他的論文《The Complexity of Theorem Proving Procedures》，他整理了NP完備性的目標，亦產生了古克定理——布爾可滿足性問題是NP完備的證明。 1982年，古克得到图灵奖。因為其論文開啟了NP完備性的研究，令這個範疇於之後的十年成為計算機科學中最活躍和重要的研究。 古克現為多倫多大學的計算機科學和數學部門教授。
dbpprop:almaMater
dbpprop:birthDate
dbpprop:birthPlace
dbpprop:dateOfBirth
  • 1939 (xsd:integer)
dbpprop:doctoralAdvisor
dbpprop:doctoralStudents
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:imageWidth
  • 150px
dbpprop:knownFor
dbpprop:name
  • Cook, Stephen Arthur
  • Stephen Arthur Cook
dbpprop:prizes
dbpprop:reference
dbpprop:shortDescription
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitution
rdf:type
rdfs:comment
  • Stephen Arthur Cook is a noted computer scientist. Cook formalised the notion of NP-completeness in a famous 1971 paper "The Complexity of Theorem Proving Procedures", which also contained Cook's theorem, a proof that the boolean satisfiability problem is NP-complete. The paper left unsolved the greatest open question in theoretical computer science - whether complexity classes P and NP are equivalent. Cook received the Turing Award in 1982 for his discovery.
  • Stephen Arthur Cook ist Professor der Informatik an der University of Toronto in 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 Award.
  • Stephen Arthur Cook je americký informatik. Je znám především díky svému článku "The Complexity of Theorem Proving Procedures" z roku 1971, ve kterém formalizoval pojem NP-úplnosti a dokázal, že existuje NP-úplný problém. Tento článek otevřel jeden z největších nevyřešených problémů současné informatiky a to, zda P = NP. Tato otázka byla zařazena mezi sedm tzv.
  • Stephen Arthur Cook es un reconocido científico de la computación. Cook formalizó la cosa de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La Complejidad de los Procedimientos de Prueba de Teoremas"), que tambiénlas clases de complejidad P y NP. Cook recibió el Premio Turing en 1982 por su descubrimiento: Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo.
  • Stephen Arthur Cook est un informaticien qui a formalisé la notion de NP-complétude. Il est l'auteur de la publication The Complexity of Theorem Proving Procedures dans laquelle il établit le théorème de Cook, qui prouve que le problème SAT est NP-complet.
  • スティーブン・クック（Stephen A.
  • Stephen Arthur Cook – amerykański informatyk, ceniony za fundamentalny wkład w rozwój teorii złożoności obliczeniowej, za co otrzymał nagrodę Turinga w 1982 roku.
  • Stephen Arthur Cook este un informatician american, care a formalizat noţiunea de NP-completitudine într-o lucrare scrisă în 1971 şi intitulată Complexitatea procedurilor de demonstrare a teoremelor, în care a demonstrat că problema satisfacerii expresiilor booleene este NP completă. Pentru aceasta, Cook a primit în 1982 Premiul Turing.
  • Стивен Артур Кук — американский учёный в области теории вычислительных систем. Знаменит своей работой над теорией сложности вычислений, лауреат премии Тьюринга.
  • 史提芬·A·古克（Stephen A.
rdfs:label
  • Stephen Cook
  • Stephen A. Cook
  • Stephen Cook
  • Stephen Cook
  • Stephen Cook
  • スティーブン・クック
  • Stephen Cook
  • Stephen Cook
  • Кук, Стивен Артур
  • 史提芬·古克
owl:sameAs
skos:subject
foaf:depiction
foaf:givenname
  • Stephen Arthur
  • Stephen Arthur
foaf:name
  • Stephen Arthur Cook
  • Stephen Arthur Cook
foaf:page
foaf:surname
  • Cook
  • Cook
is dbpedia-owl:Scientist/doctoralStudent of
is dbpedia-owl:doctoralStudent of
is dbpprop:doctoralStudents of
is dbpprop:name of
is dbpprop:redirect of
is owl:sameAs of