스티븐 쿡

위키백과 ― 우리 모두의 백과사전.

이 문서는 편집 지침에 맞춰 다듬어야 합니다.

스티븐 아더 쿡(Stephen Arthur Cook)은 미국의 전산학자이다.

1971년 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 논문 〈The Complexity of Theorem Proving Procedures〉에서 NP-완전의 개념을 확립한 것으로 유명하다. 이 논문에 들어있는 쿡의 정리는 boolean satisfiability problem이 NP-완전임을 증명하는 것이다. 이 논문에서 P와 NP가 같은지를 질문했는데, 이 질문은 컴퓨터 과학의 가장 중요한 문제이며, 수많은 사람들이 연구하고 있으나 아직도 해결되지 않았다.

《컴퓨터를 만든 15인의 과학자(데이스 샤사 지음. 세종연구원 출판. 1998년》에서 그에 대한 자세한 이야기를 읽을 수 있다. 이 책은 《Out of Their Minds - The Lives and Discoveries of 15 Great Computer Scientists(ISBN 0387982698)》를 번역한 것이다.


[편집] 경력

[편집] 바깥고리