图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

$ n. L+ q& e4 i M6 \

S$ z- U& s d8 @; j 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， $ A. }+ M% o3 ?) w+ F" y, _必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 ' ]& f! {) G$ H$ ~6 n- p. {8 h ; ] Y3 Q+ B$ ?. S+ A+ }下面向大家介绍几位学数学出身或者本身就是数学家的计算机 ( T' ]7 ]/ R5 j+ ?8 B图灵奖得主以及他们的主要成就。 " L7 b/ g' c6 r1 _; U1 P/ n- S 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， # B* N: a4 {: @9 N! G# I- u$ ?后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， , e; U1 c6 Y* D4 I: W航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 ! l/ K" K0 G0 d 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 . ] o8 U7 Q8 V7 J l" [计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 5 ]+ k2 P& ?& g但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 : L' T6 N7 Y& x f 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 0 _* f6 u5 \+ I) m+ S+ B8 b"Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 + P1 u0 {2 G6 h( `7 M. l4 L 4 S( r* B4 W {8 @* V- d& d( [1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 # k% z1 U" y3 M5 C" u1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 / b: S+ p4 P+ _" }; P"dedicated himself to make the world safe for numerical computations." 9 t% z) s3 i+ m6 W! }' B6 H1 K+ v! e1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 6 ^4 }1 Q+ k" R, \) AIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 # q# Q' t' s3 C$ }* Z4 A3 Y; \ ; I+ R& f# m- u0 @! C1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 ) m5 A/ q/ V) d$ c$ I位。人工智能大师，Lisp语言发明人。 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 , P% N# J7 a. X+ n$ p8 r大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

2 X- t. G) u% g; O' K& b/ R

1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 ' U* o& F1 g; s9 H6 T7 X; \ 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 ! v8 {4 {! S* _/ V- B8 N 附录： . `) ~/ c8 ?# _7 b+ ^http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ . D& q5 j8 t# B; l2 O2 X) d / ?$ H" M) P h' J/ E3 [2 k