首页 > 知识&问答
斯蒂芬·库克——NP完备理论创始人
发布时间:2024-11-06 17:05:39 / 浏览量:
多伦多大学教授斯蒂芬·库克,曾经想出了世界上最棘手的数学难题,也曾荣获加拿大最高科学奖,如今,他又在周三的时候获得了2012年赫茨伯格金奖,这个奖是以诺贝尔文学奖得主格哈德·赫茨伯格的名字命名的,另外,还配有100万美元的奖金。库克,现73岁,为数学和计算机科学的现代加密技术和商业的心脏做出了重要的贡献。库克毕业于哈佛大学,获博士学位,并于1970年在北方的多伦多大学任教,除了著名的“复杂性理论”,库克在计算理论,算法设计,编程语言以及数学逻辑上都有了不错的成绩。颁发奖牌的委员会表示:“他仍然会花费越来越多的时间在工作上,他依然可能会花费几十年的时间在一个研究上,在宣布他的奖金的时候,他想到的是未来的研究经费有着落了,他就是斯蒂芬·库克。
NP完全性理论的奠基人斯蒂芬·A·库克(StephenA.Cook,1939年-),计算机科学家,计算复杂性理论的重要研究者。
1971年,在他的论文《TheComplexityofTheoremProvingProcedures》,他整理了NP完备性的目标,亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年,古克得到图灵奖。因为其论文开启了NP完备性的研究,令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。克现为多伦多大学的计算机科学和数学系教授。加拿大多伦多大学教授斯蒂芬·库克(StephenArthurCook)因在计算复杂性理论方面的贡献,尤其是在奠定NP完全性理论基础上的突出贡献而荣获1982年度的图灵奖。
1957年中学毕业后,库克离开克拉伦斯去上密歇根大学,专业是科学工程。一年级时他选了一门新开设的课程——程序设计,靠前次接触计算机。作为作业,他编了一个Algol程序以验证哥德巴赫猜想,在机器允许的范围内,每个大于3的偶数都是2个素数之和。这使库克开始对计算机科学发生兴趣。