查看: 3525|回复: 0

图灵奖中的数学家 zz

字体大小: 正常放大

Allos

13 主题	2 听众	103 积分

升级 1.5%

该用户从未签到

电梯直达

1^#

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

|招呼Ta 关注Ta

图灵奖中的数学家 zz

; |0 _) s& ?9 E$ e( |. t* a2 ^3 n 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 0 {) v- u. `. E! |/ y9 V$ C' s+ r2 N) }必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 ! _, R/ [. \0 Y$ t$ K; E 精髓。 + @$ s- d# h! b5 B1 u+ ^ ! l+ |- T$ O+ s2 z! o6 {3 i: T 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 7 l; R/ U5 @" @& g1 r0 W, z% Q图灵奖得主以及他们的主要成就。 . X' a- u+ n5 R# S6 V) T7 r 9 }& @: W0 u& y; T8 h: @7 q1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， $ L# x8 }: ]+ g2 g2 I9 d0 i; R后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 + r7 W8 m7 a+ q7 h) F系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 / O* k( n' T% `' I是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， ' e3 M1 W c$ }. \- O$ Y. U2 `3 J' b 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna r% j+ e" N& T% ~ 奖得主。 4 A o% r, w8 c0 [9 A9 R $ s9 Y; d6 t0 ?- f" s! r1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 ! l; B4 k: |+ }% l5 }, t7 n; { 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 % y# w) {0 b5 N! C- M 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 9 \: o8 ]1 h3 M" O: C3 C但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 % ]$ e" h* G6 E5 b& I X# p; u+ b* }7 B' J1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 ) M3 _# b, K# l. b 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 0 Q0 B0 p! o2 p/ l7 V) f"Reducibility Among Combinatorial Problems"。他在并行算法，组合 4 Q% V; `; c' z) l优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 7 g+ M! Y; i; |* o$ u 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 ( Q l. {* h) u9 J* Q) u# g ( O$ ?9 h. z4 S; ?+ {3 A+ ? i; J1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 - ~; u/ F7 Z: Z0 P6 `$ c是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 . a$ I; h: ?2 S5 z3 ^ ^ W6 S 巨著 The Art of Computer Programming，已出版3卷。 # ^! K7 I1 x7 w( } 1 [1 L ?: D" L2 j) h* d 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 : T) O6 i2 ^. V+ z0 v' l 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 - `5 ~ \. H+ |- { % }$ D8 _' L' s6 h1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 5 m" U" N6 v2 Y+ s0 e6 T/ l f在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 + M, e3 v0 N" N9 B h, S: ["dedicated himself to make the world safe for numerical computations." * L0 W o6 ]6 D( O # ^. |1 [* r4 R: `3 S 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 ! R7 w$ B0 E: `% i IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 + k0 l4 @/ x% _$ f6 A* F; l是发明了RISC（reduced instruction set computers），大大改善了芯片 2 V7 `! s, T1 `; w的性能。 ( k( l& k2 h* v3 G6 a; F & ^" \6 Z( o0 T9 Z7 A0 [ 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 0 l* _' z) |5 ?" a 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 5 y" u, t2 M/ J8 {7 ? 6 T7 {% u* L3 a* f8 A" L1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 9 w& l" U& ~% G e5 p位。人工智能大师，Lisp语言发明人。 0 Q% \& M, J8 b/ [/ z8 l* i* b 8 j$ h/ B8 n2 ]3 q8 {+ N4 ~8 h1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 * K, z! R% A( Q t; I( R6 O 大学获博士学位。主要贡献是数值计算和"backward"误差分析。

; s* X. J8 c3 m+ g* x1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 / Y* {1 \8 z) q, z " ?2 G8 B1 _% x/ l, {* g程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 6 {/ \* \/ O+ m* M7 L) |# @ $ C' v, t. U' M: w 附录： & X5 U# }" }5 R( | p# t+ Y http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ # F0 F; a z' Z4 M5 i6 c d: f9 L 9 i$ B p& }3 L( P; o; A8 F ; Y( l7 W8 [: Y3 B& X1 V; e