图灵奖中的数学家 zz
4 l1 g4 f5 A# G, X 数学是所有工科的基础，要想在工程科学上真正严谨的作学问， ^, a6 I, C/ t* x' Q' A" Y2 p* C 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 ' \: e4 R5 {) @/ B 精髓。 ) z4 k7 p$ r6 B- c5 K8 s 下面向大家介绍几位学数学出身或者本身就是数学家的计算机 5 T' y& P- w+ J5 E4 R' T }0 g 图灵奖得主以及他们的主要成就。 ( p+ h' q0 i- ?3 D ' L8 M: V! Q% t 1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， ' e8 ?) {' e. v0 d6 m 后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 7 I- u" t9 x6 g& a 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， 航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna 奖得主。 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 : [7 c0 b9 V0 q5 M B1 I7 ? 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 + W& L3 Q& }( L2 w, _1 B& L' _ 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 K4 k& J0 E/ y+ [& I 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 2 a. ?1 X7 s$ N' y X9 R "Reducibility Among Combinatorial Problems"。他在并行算法，组合 优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 ( ]6 | O4 z% E, w# X 基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 % w) E' \. H4 x0 l# f0 L0 O! l 1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 # p% D& n0 H- r5 w+ J; Q! P. C* U 巨著 The Art of Computer Programming，已出版3卷。 : Z0 U: F H; O1 g# s3 k; t 1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 6 w4 P- H7 q N& C9 m4 |2 u 1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 . F6 m. i% s6 A! t" s( v- H. N "dedicated himself to make the world safe for numerical computations." , D2 C0 f" D& C8 s 1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 & o: l$ U$ w* } 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 ! r2 w9 l" j. W; f0 f" P! h/ a+ D 1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 # Z8 j9 `2 Y5 i; U# I2 p7 r; D. m- s 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 2 Y, w- x. q' l. I7 M- U: j4 U 位。人工智能大师，Lisp语言发明人。 r% R1 U3 H) L q& D Z 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 & B9 q2 f5 u; O( b 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。
) g+ G" T4 ]( }" d) w/ U7 P2 [ \0 B6 K9 a* { 1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 # o, @3 c' O5 Y( [4 T 程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 $ \- Z7 M" b B+ ?' ]) V: k : v2 V3 s$ z! U7 S! g% ^ 附录： http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ " T3 `- a. T5 s2 t; C 3 j% R) u! r6 C7 P9 j # y6 I2 r$ |. S; U: I7 F
| 欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) | Powered by Discuz! X2.5 |