|
图灵奖中的数学家 zz
2 J' j: X7 d, j - C* C' [% n3 O9 X( p& Y1 M- x
数学是所有工科的基础,要想在工程科学上真正严谨的作学问,
+ v9 B: C& c1 `; k, L1 r: T0 j必须有一个扎实的数学功底。比如计算机科学中,离散数学就是它的
: d6 C& L8 m3 f精髓。 6 n2 k4 d3 j' l- z" Y; @
. G3 X }0 q5 ^' i
下面向大家介绍几位学数学出身或者本身就是数学家的计算机 ) q3 ?8 k/ F5 N6 d+ A" P
图灵奖得主以及他们的主要成就。 9 h" {! {3 |& y2 k& ~
( k5 |/ e6 J; p) e, Z' U# Y* ~1986年获奖的Robert E.Tarjan,在加州理工获数学学士学位,
( e" i0 N* ~0 `& \* G% P5 f后来在Stanford取得计算机和数学博士学位。现在是Princeton计算机
( q4 W0 v5 e1 d- e6 C. ]3 b系教授,主要研究图论,算法和数据结构设计。他发现了判断一个图 4 a. p& `& C. L$ G
是否为平面图的线性时间复杂度的算法,在数据库软件,电路设计,
; ~% F1 r$ U: D9 T( _" f航空线路图优化等领域有广泛应用。Tarjan也是1982年首届Nevanlinna
1 K& R- V0 G" U6 x: _0 g3 {+ G奖得主。 " x- s1 d6 J) f
: n: A% X( V+ z- l1972年获奖的Edsger W.Dijkstra,在祖国荷兰获数学和物理学 2 O1 Y" V v: X% n/ X, Q
学士,理论物理博士学位。在他2000年退休前一直是美国Taxas大学的 / u0 K3 b! x( W t
计算机科学和数学教授。发现了以他名字命名的图论中的最短路径算法。 * U. N2 k \4 m& s5 w* B: S, s) A
但他获得图灵奖的主要原因却是发明了ALGOL这一第二代编程语言。
9 C7 Z% D7 p h* C5 \
6 I/ W! z2 T& c2 y. }& c1985年获奖的Richard M.Karp,在Harvard大学获应用数学博士学位。
) ^4 [& |( v6 f* P6 _& X现在是Berkeley大学计算机系教授。最重要的论文是1972年发表的 : C# u# H* z$ I, R; }6 |5 Z
"Reducibility Among Combinatorial Problems"。他在并行算法,组合
; q. ?# e5 o2 H4 m9 S优化问题的概率分析方面颇有建树。现在的研究方向是人类基因测序和 6 z, e3 N1 h$ ] l( G
基因数据表达。他也是美国国家科学院院士,获得过美国国家科学奖。 " P7 y! F0 ^% C* a
7 S( H# J- s6 ?& j E7 \1974年获奖的Donald E. Knuth,在加州理工获数学博士,退休前 7 p3 S/ x0 {& S& L$ X+ Y4 d3 ]4 o
是Standford大学计算机系教授。发明数学排版软件TeX,现在正在撰写 9 @4 w& _% ?' X# a% c
巨著 The Art of Computer Programming,已出版3卷。
) v g0 H/ @1 u2 h w* b
8 J4 g9 r7 W" ]$ x1983年获奖的Dennis M.Ritchie,在Harvard大学获应用数学博士学位。 / H5 f: k" _5 Z. q. I
毕业后加入Bell实验室,参与发明了Unix操作系统,发明了C,C++编程语言。
8 a7 W! Y, a( E2 v I$ U
, t: d' ~4 \$ h1989年获奖的William V.Kahan是加州Berkeley分校的数学教授。他因为 ) ]! x& s+ ]8 V. C9 p3 j" M3 O
在数值计算,特别是浮点运算方面的贡献而获奖,有人评价他是 # v9 {% Q1 H0 f; P2 U& H9 x& n
"dedicated himself to make the world safe for numerical computations."
; f4 }. r: n3 x! m! J: v ) \# y* A% f5 K0 B5 f# E
1987年获奖的John Cocke,在Duke大学获数学博士学位。毕业后进入
# \) O, |, @6 Y F1 j: WIBM公司工作,同时也在MIT和NYU的Courant研究所做过客座教授。主要贡献
6 M/ X4 L: @2 v' n& B4 ^2 J1 S是发明了RISC(reduced instruction set computers),大大改善了芯片 " \ _ ]% D' b& B, z6 g2 @) q' \9 N
的性能。
3 _5 [% f1 c# |; H( k: I& w3 O( d8 R
6 e& D) e. n; q& w1969年获奖的Marvin Minsky,在Harvard获数学学士,在Princeton获 2 J5 q% A) u& E0 v! r1 D7 ?& {2 L
数学硕士,后在MIT任数学和计算机教授。主要贡献是人工智能。
4 @8 d$ ~6 g/ { 0 w: i" s8 |* L) x5 B& n6 m4 R
1971年获奖的John McCarthy,在加州理工获数学学士,在Princeton获数学博士学
0 | u9 X7 B: i3 G3 ~5 a) h位。人工智能大师,Lisp语言发明人。
1 x3 \# q/ e. L7 A* x, i + r6 W; Q7 p! V! q+ a
1970年获奖的John Hardy Wilkinson,16岁入Rochester大学数学系学习,后在剑桥 3 H" X. o5 ], p) I
大学获博士学位。 主要贡献是数值计算和"backward"误差分析。 6 o4 O8 l7 r/ S& }6 i0 O( f
6 I r$ c* p$ ^
1968年获奖的Richard Hamming,在UIUC获数学博士学位,博士论文题目是“线性微分方
& Y* l6 c8 f1 }/ s+ f # Z# Q" ]: j; r$ E1 \
程中的边值问题”。在数值分析,概率统计,编码理论上有卓越建树。 + ^; `% t# {5 F
. F G- L) g4 E2 M: c( O8 S( Z V
附录: 2 b5 }; z6 [) ?1 @2 x
http://www.cs.wlu.edu/~whaleyt/classes/313/Turing/ / C3 ^8 U- j/ L5 L
$ w+ v7 P2 N; F& A8 ]$ C. }
+ f5 \* ?5 v6 N2 }1 p
|