图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

# n+ D2 h: W. P4 n8 ?

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 0 p5 P( C9 G& i; m( L8 f9 j) e' _ 0 N+ N. K; P$ }! k( X下面向大家介绍几位学数学出身或者本身就是数学家的计算机 " x1 k$ {: P; V4 a" K7 O+ |图灵奖得主以及他们的主要成就。 " c1 z' Z2 {1 j1 x# g' }& X& x9 V 9 d- |3 Z) r9 t9 C B! \6 v1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， ) A7 X4 N6 T3 n0 r) ~2 e后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 0 [! R( ~! f# x# d' Q. i是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， ) d+ z9 S) v+ [航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 8 n% b& A9 U' O. s+ h奖得主。 ! i% I! X. L, f* f, J 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 # s: [4 Z$ n) m( g& K, T3 l" E0 c& o学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 ) M+ P2 ?- [9 W但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 ' w( i3 A5 C- u2 i现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 & Z X' I) y% x2 h- y优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 9 `7 u) m- d. t3 b7 v; t基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 5 [* C& U$ b7 Z8 } 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 ) X, z. b7 R! S4 E 2 d- x& k/ v% @& [. I6 i9 R2 T1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 1 |" Y5 G6 U) J7 [. p( q毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 ' v6 F+ R X; B% k1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 2 ^$ o# n7 M/ ?; C. [; ^+ T# @在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 0 \; I: i, J+ k2 ?"dedicated himself to make the world safe for numerical computations." - Z1 v- b4 `5 Z5 \1 m 2 k8 y5 K2 Z! B! ]$ O3 h1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 ! U1 I/ q8 n( p0 z" U* O 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 ( E( ?* @+ v4 F( c- |7 Z1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 & }% X7 Y% ]* w/ e位。人工智能大师，Lisp语言发明人。 " x, u' e* L V0 g 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 7 v, D5 I) Y( o: @: p大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

* c6 s+ W( Y, \, n5 B$ ~" b

, [& L0 Y! Q5 G0 D. u+ j# c1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 6 e# J$ z' k9 O( B) I 2 E% S7 J! a0 T程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 1 `- h. j R+ Z9 G1 _0 S# q3 p 0 b- p2 A$ J+ `5 z5 N) |附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ 0 q# Y% B+ c- D