图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

! f1 c- O, T9 l# N6 @( m, k

% _ T1 A$ U1 S/ C/ ? 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 9 B: |1 g9 v. g- u# L 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 & J6 }- k9 K8 Y/ n( V) N系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 6 b7 a4 {. U$ H8 }; V7 y是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， ) R3 M! {* N9 D" L5 I v) Z C9 B航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 " F, T9 z- \7 w$ Z: [: \$ \2 X9 K1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 $ y+ Z/ }: R4 L学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 7 a" T3 }$ W5 Z但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 * V/ X0 `. F, r1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 $ D- @5 S3 y& y) @4 _7 c, x4 s' S8 E"Reducibility Among Combinatorial Problems"。他在并行算法，组合 ! w) g5 h9 E. h g优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 2 g7 N( R% W# c4 U* i) M1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 & E% ~; {! \6 E) Q毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 + h) S% S0 U0 \, H. F - h! u; @. J Q9 N) Z5 A; m1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 " `+ t* ^6 l( n0 A# l在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 "dedicated himself to make the world safe for numerical computations." : s- }6 S9 O( \$ L* T5 F- q " A0 }! E- V* L7 s- r( \1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 ; M/ s9 F4 X( v b0 AIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 , C; k0 `% b$ {- k) O是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 3 P6 k$ j" I& R2 G4 n 6 {/ H' v- _2 I( z1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 ) d7 @' F' Z. `+ q. Y . E9 f5 w* a$ K7 f1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 位。人工智能大师，Lisp语言发明人。 : U) D, y* F: t* ^ * A9 T a! \# K- X0 n1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 / U6 _# s: g/ m* c! g大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

. I( ~- n+ ^# H9 L1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 & p# G3 o" e) j S% _7 v 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 % r- B* S2 a& R1 m附录： ! L! {) h' ^. H# S5 }* O: nhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ " I5 g' t$ G4 c s