数学建模社区-数学中国

标题: 图灵奖中的数学家 zz [打印本页]

作者: Allos    时间: 2004-12-7 17:03
标题: 图灵奖中的数学家 zz

图灵奖中的数学家 zz

/ f6 S2 c- p# p: v: [6 ?+ V

" o. A1 e$ N: f 数学是所有工科的基础,要想在工程科学上真正严谨的作学问, 9 k7 j* `% I9 z必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的 Y& f$ W8 d) K: N1 z精髓。 1 N% [2 v; Y( n: s / L0 O3 k' N! ^& q: [! t下面向大家介绍几位学数学出身或者本身就是数学家的计算机 , b0 Y$ B6 s, F6 t图灵奖得主以及他们的主要成就。 4 Q4 O8 _3 r- j! i1 | / {: a; D6 G' L& E 1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位, 4 C9 v# l2 ~. Z9 N3 j* U- {3 G: d后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 8 F# h9 _; u+ c( O系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图 / ` u# |5 b1 f# k 是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计, 9 |3 \# w* x$ W. ^' w$ Z航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna ) E, n8 x/ F# }: M奖得主。 - q* C' w [! A+ M3 L) Q & e- R. w7 G( u6 @1 K 1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学 2 @' [* z* A7 A+ U+ S5 s# @ h2 R学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 ( D4 I- s- Y8 b3 f5 E计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 . v: M9 @7 e; h4 j' G但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 1 Y Y2 m2 b5 A& W E" A9 } 8 ?1 m2 A1 o3 n7 W$ X2 V9 D 1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。 + y' H& S$ O& u4 \% T( m1 S 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 . w7 a. b3 O& U' n) n2 ^"Reducibility Among Combinatorial Problems"。他在并行算法,组合 7 V2 X- b" e7 D# B* J' b9 D$ U# Q优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 ! G9 E4 _9 O6 ~) e0 F/ T+ j 基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。 ?1 w' h8 o9 X2 m0 _ # y& j8 w. {0 g5 Q- q+ ]+ U1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前 1 k/ z' ^7 x$ g/ L) [9 [ 是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 4 j5 [5 e& N4 j2 b4 M R 巨著 The Art of Computer Programming,已出版3卷。 g& I/ b( n; D$ l3 ^" d# m6 i ( N' z9 S' F3 z2 r$ B5 S2 C 1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。 4 e9 ]' t3 t# |毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。 9 _/ t" A4 |& \ B l8 I9 `% i 9 Y+ m& Z3 n5 j1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 L6 e$ E& K1 u: A/ }/ q" V在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是 + L- u/ ]% a0 c6 U/ ^4 p$ I2 r "dedicated himself to make the world safe for numerical computations." 2 r% w0 o3 ~" X+ [; E5 |) v8 w& A / _. o# r# [+ J1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入 - Q) a) D8 I3 IIBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 : C0 ~* ?$ l; z& Q( x! b5 f 是发明了RISC(reduced instruction set computers),大大改善了芯片 [) U9 L7 b7 X. f的性能。 4 B- A% v/ k2 n ' h% s! |$ \- p6 d5 B1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获 ; m. A" R7 F; o/ p数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。 : x; ?# D Z: E9 D8 ~$ V* K I; s' Z: O5 H: o1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学 " t/ r7 \+ b- G0 y/ | 位。人工智能大师,Lisp语言发明人。 " ^/ H4 V& |1 e! \+ c, i% f . N4 i& q9 J0 q' m: P8 f" L1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥 ) w# a2 [" `3 K9 @: V2 |. D6 t 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

- J/ _3 s. I2 y8 w/ M3 h& K8 S

5 a4 L2 ~1 p% y# H6 y 1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方 A D1 N( J+ g4 Y- r . _+ U. M/ Z/ L- f. _程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。 / p/ L1 g* i$ P4 p - E4 j; x5 L+ ^- K# c& C 附录: 5 g( b& K: c7 K$ L' l1 t' ~ http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ & W& p1 t3 o4 Z# d . _3 Y( J' ~; j- {2 n9 z, r* u * J. f. E8 O, a1 A- o7 V






欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5