吴文俊院士与Mumford教授共同获得2006年邵逸夫奖数学奖
邵逸夫奖评审会主席杨振宁
邵逸夫奖于2002 年设立,以表彰在学术及科学研究或应用获得突破成果,和该成果对人类生活产生意义深远影响的科学家。目前在数学科学、天文学、生命科学与医学领域设有3个奖项,每年颁奖一次,每项奖金100万美元。现代微分几何学的奠基者陈省身(S.S.Chern)教授、费马大定理的终结者怀尔斯(A. Wiles)教授分别获得第一、二届邵逸夫数学奖。
相关链接:
邵逸夫奖数学科学委员会和邵逸夫奖基金会对获奖人工作的评述
(转自邵逸夫奖官方网站)
David
Mumford and Wu Wentsun
both started their careers in pure mathematics (algebraic geometry and topology
respectively) but each then made a substantial move towards applied mathematics
in the direction of computer science.
Mumford worked on
computer aspects of vision and Wu on computer proofs in the field of Geometry.
In both cases their pioneering contributions to research and in the development
of the field were outstanding. Many leading scientists in these areas were
trained by them or followed in their footsteps.
Mumford's early work, for which he
received the Fields Medal in 1974, was in algebraic geometry and especially the
study of algebraic curves. This is an old and central subject in mathematics
with contributions from many of the great names of the past. Despite this, much
remained to be done and Mumford's great achievement was to revitalise
and push forward the theory of moduli. Algebraic
Curves depend on an important integer, the genus g. For g = 0 the
curve is rational, for g = 1 it is elliptic and depends on an additional
continuous parameter or modulus. For g > 2 there are
After two decades
in this field, Mumford made a drastic switch to computer vision, where he used
his mathematical abilities and insight to make original and fundamental
contributions. He helped to provide a conceptual framework and to provide
examples of specific solutions that can in principle be generalized to a range
of problems. His 1985 paper with Shah on variational approaches to signal
processing was recently awarded a prize by the
Mumford's many original contributions to pattern theory and vision research
were described in his 1999 book Two and Three Dimensional Patterns of the
Face (A. K. Peters Co.) and the forthcoming Pattern Theory through
Examples.
Wu Wentsun was one of the
geometers strongly influenced by Chern Shiing-Shen (Shaw Laureate in 2004). His
early work, in the post-war period, centred on the
topology of manifolds which underpins differential geometry and the area where
the famous Chern classes provide important
information. Wu discovered a parallel set of invariants, now called the
Wu classes, which have proved almost equally important. Wu went on to use his
classes for a beautiful result on the problem of embedding manifolds in
Euclidean Space.
In the 1970's Wu turned his attention to questions of computation, in particular
the search for effective methods of automatic machine proofs in geometry. In 1977 Wu introduced a powerful mechanical method,
based on Ritt's concept of characteristic sets. This
transforms a problem in elementary geometry into an algebraic statement about
polynomials which lends itself to effective computation.
This method of Wu
completely revolutionized the field, effectively provoking a paradigm shift.
Before Wu the dominant approach had been the use of AI search methods, which
proved a computational dead end. By introducing sophisticated mathematical
ideas Wu opened a whole new approach which has proved extremely effective on a
wide range of problems, not just in elementary geometry.
Wu also returned
to his early love, topology, and showed how the rational homotopy
theory of Dennis Sullivan could be treated algorithmically, thus uniting the
two areas of his mathematical life.
In his 1994 Basic
Principles in Mechanical Theorem Proving in Geometry (Springer), and his
2000 Mathematics Mechanization (Science Press), Wu described his
revolutionary ideas and subsequent developments. Under his leadership
Mathematics Mechanization has expanded in recent years into a rapidly growing
discipline, encompassing research in computational algebraic geometry, symbolic
computation, computer theorem proving and coding theory.
Although the
mathematical careers of Mumford and Wu have been parallel rather than
contiguous they have much in common. Beginning with the traditional
mathematical field of geometry, contributing to its modern development and then
moving into the new areas and opportunities which the advent of the computer
has opened up, they demonstrate the breadth of mathematics. Together they
represent a new role model for mathematicians of the future and are deserved
winners of the Shaw Prize.
The Shaw Prize in Mathematical Sciences
Committee
The Shaw Prize Foundation
(转自邵逸夫奖官方网站)
相关报道:吴文俊院士荣获邵逸夫数学奖 路甬祥表示祝贺
(转自《科学时报》)
被媒体誉为“21世纪东方诺贝尔奖” 每项奖金100万美元
吴文俊成为首位获得此项国际性大奖的国内学者
邵逸夫奖评审会主席杨振宁
吴文俊院士是我国著名数学家。他于上世纪50年代对数学的主要领域——拓扑学作出了杰出贡献。70年代后期,吴文俊开创了崭新的数学机械化领域。他建立了用计算机证明几何定理的“吴方法”,实现了高效几何定理自动证明;提出了“吴消元法”,为代数与微分方程组结构确定与符号求解提供了完整的方法。吴文俊还将自己的理论应用于计算机图形学、机器人、机构设计、全局优化、化学平衡、天体运行等领域的问题。吴文俊曾获首届国家自然科学一等奖(1956年),第三世界科学院数学奖(1990年),陈嘉庚数理科学奖(1993年),首届香港求是科技基金会杰出科学家奖(1994年),Herbrand自动推理杰出成就奖(1997年),首届国家最高科技奖(2000年)。
此次获奖的科学家一共六名,其中还包括另一名华人科学家王晓东。他获得了邵逸夫生命科学与医学奖。今年43岁的王晓东目前在美国德州大学西南医学中心
被媒体誉为“21世纪东方诺贝尔奖”的邵逸夫奖是按照
据悉,吴文俊院士将与其他获奖者一道,于
(转自《科学时报》)