奖项及对应人物
- 屠呦呦:诺贝尔生理学或医学奖
- 莫言:诺贝尔文学奖
- 德布罗意:诺贝尔物理学奖
- 丘成桐(1982)、陶哲轩(2006):菲尔兹奖(40岁以下)
- 陈省身(1983)、丘成桐(2010):沃尔夫奖(没有年龄限制)
- 张益唐:孪生素数猜想
- 张首晟:华裔美籍物理学家
Church-Turing Thesis(邱奇图灵论题,不是Theorem定理)
任何算法都可以由一台图灵机来执行,即以任何编程语言编写的算法都可以被翻译成一台图灵机,反之亦然,因此任何一种编程语言都足够用来有效的表达任何算法。简而言之就是“任何在算法上可计算的问题同样可由图灵机计算”——算法的直观概念=图灵机算法
历届图灵奖得主及其贡献:
设计出第一台具有内置存储程序的计算机:莫里斯·威尔克斯 (Maurice V. Wilkes) :
人工智能:马文·明斯基(Marvin Minsky)、约翰-麦卡锡(John McCarthy)、艾伦·纽厄尔(Allen Newell)、希尔伯特·西蒙(Herbert Simon)
最短路Dijkstra算法:Dijkstra
数据库技术:查尔斯·巴赫曼 (Charles W. Bachman)
算法分析和程序语言设计:唐纳德·克努特(Donald Ervin Knuth)
非确定性机器概念:迈克尔·拉宾(Michael O Rabin)、达纳·斯科特(Dana S. Scott)
Backus范式(BNF)的发明人:巴克斯(Backus)
数据库之父、数据库关系模型:埃德加·弗兰克·科德(Edgar F. Codd)
奠定NPC理论的基础:史提芬库克
2000年图灵奖、院士:姚期智(清华姚班)
计算机与物理学之间的关系
优秀教授:应明生教授(量子计算)
优秀博士:季铮锋(量子纠缠)