The Shaw Prize in Mathematical Sciences 2006
Press Release
David Mumford and Wu Wentsun both started their careers in pure mathematics but then each 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 on research and to the development of the field were outstanding. Many leading scientists in these areas were trained by them or followed in their footsteps.
After two decades in this area Mumford made a drastic switch to computer vision, moving also to BrownUniversity, where he used his mathematical abilities and insight to make original and fundamental contributions. His 1985 paper with Shah on signal processing was recently awarded a prize by the Institute of of Electrical and Electronics Engineers (IEEE).
Wu returned to China in 1951 but his career was affected by the Culture Revolution, as a result of which he turned his attention to the questions of computation, in particular the search for effective methods of automatic machine proofs in geometry. In 1977 Wu introduced a powerful mechanical method that transforms a problem in elementary geometry into an algebraic statement which lends itself to effective computation. This method of Wu completely revolutionized the field, effectively provoking a paradigm shift. 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 opened up, they demonstrate the breadth of mathematics. Together they represent a new role model for mathematicians of the future are deserved winners of the Shaw Prize.
The Shaw Prize in Mathematical Sciences Committee The Shaw Prize Foundation
An Essay on 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 on research and to the development of the field were outstanding. Many leading scientists in these areas were trained by them or followed in their footsteps.
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 Institute of Electrical and Electronics Engineers (IEEE). Mumford¡¯s many original contributions to pattern theory and vision research were described in his 1999 book
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 ides 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 |