The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs.
The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences.
_q.jpg)
Martin David Davis (March 8, 1928 – January 1, 2023) was an American mathematician and computer scientist who contributed to the fields of computability theory and mathematical logic. His work on Hilbert's tenth problem led to the MRDP theorem. He also advanced the Post–Turing model and co-developed the Davis–Putnam–Logemann–Loveland (DPLL) algorithm, which is foundational for Boolean satisfiability solvers.
Davis won the Leroy P. Steele Prize, the Chauvenet Prize (with Reuben Hersh), and the Lester R. Ford Award. He was a fellow of the American Academy of Arts and Sciences and a fellow of the American Mathematical Society.
The Leroy P. Steele Prizes are awarded every year by the American Mathematical Society, for distinguished research work and writing in the field of mathematics. Since 1993, there has been a formal division into three categories.
The prizes have been given since 1970, from a bequest of Leroy P. Steele, and were set up in honor of George David Birkhoff, William Fogg Osgood and William Caspar Graustein. The way the prizes are awarded was changed in 1976 and 1993, but the initial aim of honoring expository writing as well as research has been retained. The prizes of $5,000 are not given on a strict national basis, but relate to mathematical activity in the USA, and writing in English (originally, or in translation).
The Fulkerson Prize for outstanding papers in the area of discrete mathematics is sponsored jointly by the Mathematical Optimization Society (MOS) and the American Mathematical Society (AMS). Up to three awards of $1,500 each are presented at each (triennial) International Symposium of the MOS. Originally, the prizes were paid out of a memorial fund administered by the AMS that was established by friends of the late Delbert Ray Fulkerson to encourage mathematical excellence in the fields of research exemplified by his work. The prizes are now funded by an endowment administered by MOS.
Kenneth Alan Ribet (/ˈrɪbɪt/; born June 28, 1948) is an American mathematician working in algebraic number theory and algebraic geometry. He is known for the Herbrand–Ribet theorem and Ribet's theorem, which were key ingredients in the proof of Fermat's Last Theorem, as well as for his service as President of the American Mathematical Society from 2017 to 2019. He is currently a professor of mathematics at the University of California, Berkeley.
John Forbes Nash Jr. (June 13, 1928 – May 23, 2015), known and published as John Nash, was an American mathematician who made fundamental contributions to game theory, real algebraic geometry, differential geometry, and partial differential equations. Nash and fellow game theorists John Harsanyi and Reinhard Selten were awarded the 1994 Nobel Prize in Economics. In 2015, Louis Nirenberg and he were awarded the Abel Prize for their contributions to the field of partial differential equations.
As a graduate student in the Princeton University Department of Mathematics, Nash introduced a number of concepts (including the Nash equilibrium and the Nash bargaining solution), which are now considered central to game theory and its applications in various sciences. In the 1950s, Nash discovered and proved the Nash embedding theorems by solving a system of nonlinear partial differential equations arising in Riemannian geometry. This work, also introducing a preliminary form of the Nash–Moser theorem, was later recognized by the American Mathematical Society with the Leroy P. Steele Prize for Seminal Contribution to Research. Ennio De Giorgi and Nash found, with separate methods, a body of results paving the way for a systematic understanding of elliptic and parabolic partial differential equations. Their De Giorgi–Nash theorem on the smoothness of solutions of such equations resolved Hilbert's nineteenth problem on regularity in the calculus of variations, which had been a well-known open problem for almost 60 years.