图灵奖中的数学家 zz

Allos

图灵奖中的数学家 zz

, g6 e: w/ N$ M" {& F* ~8 y5 o

数学是所有工科的基础，要想在工程科学上真正严谨的作学问， 必须有一个扎实的数学功底。比如计算机科学中，离散数学就是它的 精髓。 % N% _/ S) k9 A& z, \ 8 A! i3 T6 E. X; _+ V* H( _, ^下面向大家介绍几位学数学出身或者本身就是数学家的计算机 图灵奖得主以及他们的主要成就。 ' o" X+ w, T6 C7 ^+ Q9 H 4 {7 X8 G8 q8 R; ^9 P1986年获奖的Robert E.Tarjan，在加州理工获数学学士学位， ! g" u. g( D$ B+ @: X后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机 系教授，主要研究图论，算法和数据结构设计。他发现了判断一个图 是否为平面图的线性时间复杂度的算法，在数据库软件，电路设计， ( Z& U3 U* n8 d! @' }5 T2 z$ @航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna + N4 a3 U+ `1 ~' [, ?奖得主。 d9 ~, V2 G M1 }8 ^7 b0 `; x6 v* c 1972年获奖的Edsger W.Dijkstra，在祖国荷兰获数学和物理学 1 A. x m# ^1 Z: T. \: S5 ^2 u学士，理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。 7 u# `/ I8 V. ~ o6 e5 ?& l- A 1985年获奖的Richard M.Karp，在Harvard大学获应用数学博士学位。 现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 "Reducibility Among Combinatorial Problems"。他在并行算法，组合 9 U+ Z" q { v0 h$ g& e, @优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 O& c( @" |" l% N! K" I% Z基因数据表达。他也是美国国家科学院院士，获得过美国国家科学奖。 w0 m& n4 t7 B/ { b1974年获奖的Donald E. Knuth，在加州理工获数学博士，退休前 1 ^* C0 P, }% H6 A- V4 j是Standford大学计算机系教授。发明数学排版软件TeX，现在正在撰写 巨著 The Art of Computer Programming，已出版3卷。 & R8 P8 o1 p: L2 d# C! u8 q9 C( _ + A' K& j+ b3 g/ W1983年获奖的Dennis M.Ritchie，在Harvard大学获应用数学博士学位。 毕业后加入Bell实验室，参与发明了Unix操作系统，发明了C,C++编程语言。 2 {, B+ d& [4 ^8 _; A7 q# J5 J ! v3 ^1 `( |( e3 C0 K/ [+ w7 V1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 ' p$ i$ k2 n( {* O( n$ Y在数值计算，特别是浮点运算方面的贡献而获奖，有人评价他是 6 M' t) m# p4 W9 Q+ ^2 n5 R"dedicated himself to make the world safe for numerical computations." $ R y: A2 ?; S, N# |* a1987年获奖的John Cocke，在Duke大学获数学博士学位。毕业后进入 IBM公司工作，同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献 是发明了RISC（reduced instruction set computers），大大改善了芯片 的性能。 & t, l2 A/ b% F' |6 O( G1969年获奖的Marvin Minsky，在Harvard获数学学士，在Princeton获 数学硕士，后在MIT任数学和计算机教授。主要贡献是人工智能。 - _7 h0 C8 h I! F. h! `$ o 1971年获奖的John McCarthy，在加州理工获数学学士，在Princeton获数学博士学 $ F2 e1 F6 ]; V0 h位。人工智能大师，Lisp语言发明人。 1970年获奖的John Hardy Wilkinson，16岁入Rochester大学数学系学习，后在剑桥 大学获博士学位。 主要贡献是数值计算和"backward"误差分析。

+ C. t, l0 P9 g& R

1 s d5 t3 _; {* s' v6 p D1968年获奖的Richard Hamming，在UIUC获数学博士学位，博士论文题目是“线性微分方 $ `+ _1 t' X# |程中的边值问题”。在数值分析，概率统计，编码理论上有卓越建树。 ; _4 E& y1 H& E: E$ n 附录： 3 v+ }4 ~! C9 [ ]3 r6 j5 E4 Y7 q$ Jhttp://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ % P* `& s% L; A# x9 B2 ]! _. [: U ' p' j' A8 X- Z1 m% G& G0 V