스티븐 쿡에 대한 설명
스티븐 쿡에 대해서 알아보아요.
스티븐 쿡(Stephen Cook)은 NP 완전 문제에 대한 존재 자체를 처음으로 증명한 사람이에요.
스티븐 쿡에 대해서는 먼저 아래 버튼을 통해서 내용을 먼저 확인해주세요.
스티븐 쿡의 본명은 Stephen Arthur Cook 입니다.
스티븐쿡은 NP완전문제의 존재를 증명하고 개념을 확립한 인물로 유명한데 스티븐 쿡은 1939년에 미국 뉴욕에서 태어났습니다. 스티븐 쿡은 하버드 대학교의 수학과를 졸압하였고 그는 눈문을 통해서 새로운 가능성을 연 인물입니다.
스티븐 쿡은 정리 증명 절차의 복잡성(The Complexity of Teorem Proving Procedure)이라는 논문을 통해서 쿡의 정리를 포함시켰고 이를 통해서 충족 가능성 문제가 NP-완전 이라는 것을 증명함으로써 존재에 대해서 증명하였습니다. 이는 컴퓨터 과학의 매우 중요한 문제입니다.
NP 완전 문제를 풀 수 있으면 인류의 컴퓨터 역사를 다시 한번 크게 바꿀 수 있는 변곡점이 될 수 있다는 평가입니다.
스티븐 쿡은 NP-완전 문제의 존재를 증명하였고 명제 논리 증명 복잡도, 그리고 쿡-레빈 정리로 유명합니다. 1982년에는 튜링상을 수상하였으며 1999년에는 CRM-Fields-PIMS 상을 수상하였습니다. 2015년에는 캐나다 훈장을 수상하였고 BBVA 재단 지식 프론티어 상을 수상하기도 하였습니다.
스티븐 쿡은 토론토 대학교의 수학과 교수의 경력을 가지고 있습니다. 요트를 좋아하는 것으로 알려져 있습니다.
앨런 튜링은 누구인가?
앨런 튜링(Alan Turing)에 대한 설명 앨런 튜링에 대해서 알아보아요. 앨런 튜링(Alan Turing)은 컴퓨터와 인공지능의 아버지라고 불리우는 사람입니다. 앨런 튜링은 컴퓨터의 가장 기초라고 할 수 있
lucky.ktpbestlife.com
