史提芬·古克

维基百科，自由的百科全书
跳转至： 导航、 搜索
史提芬·古克

史提芬·A·古克（Stephen A. Cook，1939年－），計算機科學家，計算複雜性理論的重要研究者。

1971年，在他的論文《The Complexity of Theorem Proving Procedures》，他整理了NP完備性的目標，亦產生了古克定理——布爾可滿足性問題是NP完備的證明。

1982年，古克得到图灵奖。因為其論文開啟了NP完備性的研究，令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。

古克現為多倫多大學的計算機科學和數學系教授。

外部鏈結 [编辑]
佩利（1966） · 威尔克斯（1967） · 漢明（1968） · 閔斯基（1969） · 维尔金森（1970） · 麦卡锡（1971） · 戴克斯特拉（1972） · 巴赫曼（1973） · 高德納（1974） · 纽厄尔、西蒙（1975） · 拉宾、斯科特（1976） · 巴科斯（1977） · 弗洛伊德（1978） · 艾佛森（1979） · 霍爾（1980） · 科德（1981） · 古克（1982） · 湯普遜、里奇（1983） · 维尔特（1984） · 卡普（1985） · 霍普克罗夫特、塔扬（1986） · 科克（1987） · 苏泽兰（1988） · 卡亨（1989） · 考巴托（1990） · 米尔纳（1991） · 兰普森（1992） · 哈特马尼斯、斯特恩斯（1993） · 费根鲍姆、瑞迪（1994） · 布卢姆（1995） · 伯努利（1996） · 恩格尔巴特（1997） · 格雷（1998） · 布鲁克斯（1999） · 姚期智（2000） · 达尔、奈加特（2001） · 李维斯特、萨莫尔、阿德曼（2002） · 凯（2003） · 瑟夫、卡恩（2004） · 诺尔（2005） · 艾伦（2006） · 克拉克、爱默生、斯发基斯（2007） · 利斯科夫（2008） · 萨克尔（2009） · 瓦利安特（2010） · 珀尔（2011） · 莎菲·歌德瓦爾賽 (2012) · 希爾維奧·米卡利 (2012)
USA Flag Map.svg  這是关于美国科学家的小作品。你可以通过编辑或修订扩充其内容。
来自“http://zh.wikipedia.org/w/index.php?title=史提芬·古克&oldid=25332549”