图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 5 W# _& t, M' b 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 $ a! c" r3 v/ x& _" \" A' X图灵奖得主以及他们的主要成就。 " M- p- Y- c, ~# ^' n1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， ( m& d# J3 P% L: G& W7 A/ T后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， - v2 H+ V( E: ^1 {航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 * ?: \( j* S+ j, f% U 6 v) m% }) z) i# c' b% ]2 A1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 6 L+ T6 [+ l1 c0 Q学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 ( |% q5 t0 ]0 q计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 # w4 N6 s; q8 N L) J* _) h& |* `5 G1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 6 b4 }. q" s! u& I& [& s6 R3 f现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 , B4 r& G4 k! _! W; [1 g. S! M"Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 ) d* i2 z# q9 l 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 ; q. L+ J9 c# [# {是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 # `& \' V' K% O7 ~! J1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 ( f# o" i, W# C. F) f/ {& u9 V2 Z毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 6 v: z Y5 L* a+ O & p- y/ l& a5 K1 r" q! b7 n$ S1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 ( O/ e& h p7 a$ b" F3 ?/ l在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." ' C f0 ~4 i; K0 |2 f2 x- t& x 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 " N& g2 c7 f Z是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 ' ?& v/ |; {5 l6 ~ 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 + i5 u) ?& }+ q9 g; Z数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 * S. a+ B. ]. f9 `. x1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 [- Y0 U% L: q# L' ~5 A+ F* Q [大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

; w: `$ l- q9 i1 {/ k# T+ b

& b$ [7 \8 D3 W2 p* }1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 / }/ Q, q h( M& ?7 M- U附录： 7 M+ t: \% k; ]) J1 r. ?' m8 Dhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ " b$ e9 A- f+ f, o7 S * I1 m' Z5 y6 Z3 \% @( q