图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 8 ~' `) U L3 v; k' q; Z必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 0 G8 x [3 L' Z精髓。 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 # O0 v( U! S/ r& h图灵奖得主以及他们的主要成就。 5 n0 R: x6 V, G- Y3 b1 F! d $ I- g' a- A v5 H' e1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 5 Y m; `( y& I0 }( d后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 * _& A3 b5 `1 V' \ / B a: V, }/ j1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 # q1 V$ P4 s0 w. T' N! [1 K但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 $ z! O% e; U+ O( v4 y现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 2 X. Y _2 y" X; B* [% z"Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 9 c1 Q% B$ r9 k3 {! n 0 X/ f+ H; C* t6 N! ~1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 % V2 ]. R6 T* N. L# `6 @, Q0 `巨著 The Art of Computer Programming，已出版3卷。 1 R# B, e, `, i2 D( V* |* u " }, w: n/ s6 a" p; x, n& Y4 \# O# u1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 % B$ U% _: d9 B! ^9 k 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 , n. A. z, P4 m% o# \在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 , d1 S6 n" d4 B& s$ z( z; ?2 ["dedicated himself to make the world safe for numerical computations." 2 Z4 d/ t2 W4 }) b $ k! V$ R) R1 F" C3 N, d! K1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 + C; c; Z- Q% a$ D是发明了RISC（reduced instruction set computers），大大改善了芯片 : B, T/ h0 c, Z& R的性能。 1 N# i4 _3 v6 i2 |/ t$ u1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 # l+ g) X8 C1 _) w8 S7 Y/ E数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 9 G! ~0 g+ X' G3 E" O; X 0 J$ o k+ L$ ` s1 Y1 K1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 4 w- T F/ W' N( i7 S4 k位。人工智能大师，Lisp语言发明人。 % j* C2 |; G' N$ ]4 A% y 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

& [9 l7 ^3 ^6 z1 s2 s: m

. ~) @- h/ e) ^+ |1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 8 n5 T* Q9 H+ U( h 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 1 P- o- A" V# T# V1 h) K# X8 S 附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ : ^$ @; U7 ~9 f' X, B