图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 8 l8 i9 |3 D. D: L8 f( {+ R计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 2 X$ j3 e6 ~( l/ n0 C) p但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 ) K1 ]; O6 M/ Y8 H& |4 V1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 * C# c; T1 J0 O: t$ j"Reducibility Among Combinatorial Problems"。他在并行算法，组合 $ N+ B8 F6 J7 M. `优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 . G- ~9 d3 L4 X9 a. h1 H基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 2 B& O, F; C( u; y _! @0 s, P 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 / j2 q2 a* D: k* @是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 0 i2 U% F6 F% @. q; D巨著 The Art of Computer Programming，已出版3卷。 & z/ p$ V4 b6 w: h ( @( M# M6 y( p5 U6 k" r1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 , m* P2 j+ q( ~9 ^; y3 K+ E1 Q1 E 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 6 X) W8 h! W# Z/ e- N$ F在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 & Q2 [# F1 ?, |"dedicated himself to make the world safe for numerical computations." ) E I2 r! s i% ]+ x+ W! C2 Y 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 6 h1 ` o- V. c* J# m3 [3 r6 r的性能。 K3 B3 D. C' }1 Q7 ~ 7 r8 i2 X3 d2 d& }1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 0 s$ o$ |" O% h( k H数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 9 E" C0 _, A* r( a 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 7 U# |- O: ?) [% \: o1 c / e b! C0 C5 `) m. n8 {9 l1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 8 f: F, L( e- ^) B+ R大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

4 J7 \. w1 d; c3 [

; s( }; k0 b a$ q, K9 H& q1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 : L* i6 C5 y: W2 h. \8 E5 C程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 + E$ _& u2 J6 I* g 附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 8 u4 R% y4 ~* c, x _ ( G4 c: f5 z+ I( I& X7 y0 r: B