スティーブン・クック
(ステファン・クック から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/12/08 08:57 UTC 版)
スティーブン・アーサー・クック(Stephen Arthur. Cook, 1939年12月14日 - )は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面や証明複雑性の研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。
- ^ A Personal View of Computer Science at Berkeley - Richard Karp
- ^ "The Complexity of Theorem Proving Procedures", PDF file of a scanned version
- ^ "The Complexity of Theorem Proving Procedures", PDF file of a retyped version
- ^ P vs. NP Archived 2013年10月14日, at the Wayback Machine. problem on Millennium Prize Problems page - Clay Mathematics Institute
- ^ P vs. NP problem's official description by Stephen Cook on Millennium Prize Problems
- ^ "Feasibly Constructive Proofs and the Propositional Calculus" on ACM
- ^ "The Relative Efficiency of Propositional Proof Systems" on JStore
- ^ "Logical Foundations of Proof Complexity"'s official page
- ^ Stephen Cook on ACM Fellows
- 1 スティーブン・クックとは
- 2 スティーブン・クックの概要
- 3 私生活
固有名詞の分類
20世紀の数学者 | 遠山啓 春木博 スティーブン・クック ジョン・G・トンプソン グリン・ハーマン |
21世紀の数学者 | バリー・メイザー 春木博 スティーブン・クック ジョン・G・トンプソン グリン・ハーマン |
アメリカ合衆国の数学者 | バリー・メイザー ウィラード・ギブズ スティーブン・クック ジョン・G・トンプソン トム・アポストル |
カナダの数学者 | イヴァン・ニーベン スティーブン・クック サイモン・プラウフ ドナルド・ギリース ブライアン・グッドウィン |
- スティーブン・クックのページへのリンク