查看: 3532|回复: 0

图灵奖中的数学家 zz

字体大小: 正常放大

Allos

13 主题	2 听众	103 积分

升级 1.5%

该用户从未签到

电梯直达

1^#

发表于 2004-12-7 17:03 |只看该作者 |正序浏览

|招呼Ta 关注Ta

图灵奖中的数学家 zz

& ~2 M+ u+ }; B* S, c" K 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， , m/ P( g2 j$ S9 @, p 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 * J `# r( f: e7 z$ u1 m# C 精髓。 - F7 J1 z9 a. a3 ^0 R 6 C; J% L% M6 l下面向大家介绍几位学数学出身或者本身就是数学家的计算机 8 f' y/ H" @2 G2 X6 X图灵奖得主以及他们的主要成就。 % W* a3 [- [7 ~0 s 3 D3 {9 Y) q/ D2 x0 ^* r3 @1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， , c9 c+ R( l: M1 O后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 $ Z* _$ v$ z2 _% e系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 2 ?8 b( s$ T J 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 1 E5 C9 K8 U( w+ Y/ P* s: G航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna $ y) \7 Z" Y7 z, ^ 奖得主。 . L( D6 a8 B7 w7 v; z9 m 1 D3 x( \ F3 A+ C' W1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 % \( S3 [' m4 K& b! v% P+ \学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 & _# ] G# X+ u6 c9 K, W" Z计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 * w* e# i3 S1 |5 S6 |. L但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 8 U. u8 N* t: h, ?3 ^ 7 {+ z! E5 p; f/ p1 y7 d" ^ y1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 4 t) v% V( Z: w/ m J$ s 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 + b/ |6 E i' L6 @6 T "Reducibility Among Combinatorial Problems"。他在并行算法，组合 7 s( h8 |6 G; e 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 0 `6 B/ n5 v+ U! l7 j- j 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 $ B" q, G+ N7 f' n8 q" g ' @, E" C; L3 t2 m4 v0 N9 e1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 . t" _- U* H% F. C% M 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 % X z, T1 v8 Z巨著 The Art of Computer Programming，已出版3卷。 5 x1 G2 N. f. P. C) g! q$ d! L / A( S$ \: x/ z \$ U2 H! z, |1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 6 ?. P" E, Z+ D1 }# D" a 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 ; n( w+ c4 X8 G2 O 9 ~3 w/ X- R8 l2 o2 y1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 2 i. h% ?/ R+ \8 H- o 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 / m, Z1 d6 [) g+ U "dedicated himself to make the world safe for numerical computations." 5 w8 b; K$ w. S0 c/ Q$ H " X/ y9 S; ]% W) y% G7 m( T$ r5 I! f1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 , Q( {$ z4 Q4 |( KIBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 4 b/ Y3 K+ N8 w ^是发明了RISC（reduced instruction set computers），大大改善了芯片 3 ?5 x; g# G$ W9 n: l 的性能。 4 f7 ^: }) G7 q; A # j( L5 l, o2 b: t- [7 `7 W# n1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 " j1 p, E) {4 E" F& j' e! l数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 $ j; W* |7 f# H& z a 3 l) T4 G/ z% ^; V( K3 W1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 4 l; k1 N! ?9 N, W# k; O5 T& S1 s 位。人工智能大师，Lisp语言发明人。 , ^* c3 d7 n# E/ t0 S& I # x, G/ ~ g; w* k+ j- Q' [1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 7 d5 e3 R; k) R% q. o `' C大学获博士学位。主要贡献是数值计算和"backward"误差分析。

/ m( t7 q( |, Y' v( `& M1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 ; R8 J: o( x0 t: I ) L" Y" K' w. s" a( U+ i% h 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 ! T5 ~9 S. f8 D# g, i( _& ]8 X " D& z2 [6 B# ^7 f t9 q/ e: t 附录： 6 V" R7 d. x: Z, m" \0 x' x: D8 S/ @ http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ H1 F- D# s( z1 f U/ |) x; s& w . ]; W1 `7 N0 K j8 R . R) o9 X# B+ q* ?* K5 ?5 `