图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 4 ^; o+ Q1 _' X% f1 {下面向大家介绍几位学数学出身或者本身就是数学家的计算机 3 e6 q9 l# c: x, D0 @0 I图灵奖得主以及他们的主要成就。 d. e# j6 }/ |/ N9 D: {, P : ~) l/ p2 c6 i/ R1 m" V& j! g( [1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 2 P) O4 {& s( E3 y! \: _( n. F后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 8 x. v; p" X6 K& `) I& N奖得主。 : Q# P6 K' I4 Y* A( U9 z# y' y1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 0 {3 K) v7 Z& B; c3 I3 q学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 : f q' _& n! @% f " s/ {8 i5 F9 B1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 ' D' ?5 ?7 J% p现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 # {1 i+ |+ d1 q, r$ P 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 * s& |' \/ _& c, f. t7 \是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 % G4 W' \ x5 ~/ V巨著 The Art of Computer Programming，已出版3卷。 ) a; S. K$ l( A+ m 5 |8 H/ P% \, O; c/ j& W3 n. h, l1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 ' e% v& o0 G3 ~8 y1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 ' L% c: ~- |6 A! t ~在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 ( x# _. i& ?% j0 H4 P1 l"dedicated himself to make the world safe for numerical computations." 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 0 L. H! T% l) F, M* F7 b6 f4 xIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 # \7 V( ~% `) A是发明了RISC（reduced instruction set computers），大大改善了芯片 - t0 S' Z1 Y# H# O的性能。 8 F1 r3 a- J; I$ m% |. T, }) j2 a, x0 n $ L3 y2 |. u, g1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 ! Q+ h, G1 c' k) i+ y4 G, T& v位。人工智能大师，Lisp语言发明人。 4 i! s$ ~8 X) G a! [( c. H" p3 @6 B1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 9 n8 z( f: x. E大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 : o% e4 h& a! {3 h4 C! l 3 X& r* L* [5 j6 j) N5 q程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 / X9 m8 e. l3 B$ b 附录： , V3 |# l' ^5 @# h: Z& I4 ohttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/