Alfred Tarski was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
Paul Richard Halmos was a Hungarian-born American mathematician and statistician who made fundamental advances in the areas of mathematical logic, probability theory, statistics, operator theory, ergodic theory, and functional analysis. He was also recognized as a great mathematical expositor. He has been described as one of The Martians.
Yuri Ivanovich Manin was a Russian mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics.
Hilbert's seventeenth problem is one of the 23 Hilbert problems set out in a celebrated list compiled in 1900 by David Hilbert. It concerns the expression of positive definite rational functions as sums of quotients of squares. The original question may be reformulated as:
Heini Halberstam was a Czech-born British mathematician, working in the field of analytic number theory. He is remembered in part for the Elliott–Halberstam conjecture from 1968.
Daniel J. Kleitman is an American mathematician and professor of applied mathematics at MIT. His research interests include combinatorics, graph theory, genomics, and operations research.
Angus John Macintyre FRS, FRSE is a British mathematician and logician who is a leading figure in model theory, logic, and their applications in algebra, algebraic geometry, and number theory. He is Emeritus Professor of Mathematics, at Queen Mary University of London.
In mathematical logic, and more specifically in model theory, an infinite structure (M,<,...) that is totally ordered by < is called an o-minimal structure if and only if every definable subset X ⊆ M (with parameters taken from M) is a finite union of intervals and points.
In mathematical logic, computational complexity theory, and computer science, the existential theory of the reals is the set of all true sentences of the form
Annamalai Ramanathan was an Indian mathematician in the field of algebraic geometry, who introduced the notion of Frobenius splitting of algebraic varieties jointly with Vikram Bhagvandas Mehta in. The notion of Frobenius splitting led to the solution of many classical problems, in particular a proof of the Demazure character formula and results on the equations defining Schubert varieties in general flag manifolds.
Rodney Graham Downey is a New Zealand and Australian mathematician and computer scientist, an emeritus professor in the School of Mathematics and Statistics at Victoria University of Wellington in New Zealand. He is known for his work in mathematical logic and computational complexity theory, and in particular for founding the field of parameterised complexity together with Michael Fellows.
Stevo Todorčević, is a Yugoslavian mathematician specializing in mathematical logic and set theory. He holds a Canada Research Chair in mathematics at the University of Toronto, and a director of research position at the Centre national de la recherche scientifique in Paris.
Matthias Aschenbrenner is a German-American mathematician. He is a professor of mathematics and director of the logic group at the University of Vienna. His research interests include differential algebra and model theory.
Joseph Robert Shoenfield was an American mathematical logician.
Élisabeth Bouscaren is a French mathematician who works on algebraic geometry, algebra and mathematical logic.
Bruce Reznick is an American mathematician long on the faculty at the University of Illinois at Urbana–Champaign. He is a prolific researcher noted for his contributions to number theory and the combinatorial-algebraic-analytic investigations of polynomials. In July 2019, to mark his 66th birthday, a day long symposium "Bruce Reznick 66 fest: A mensch of Combinatorial-Algebraic Mathematics" was held at the University of Bern, Switzerland.
Anne C. Morel was an American mathematician known for her work in logic, order theory, and algebra. She was the first female full professor of mathematics at the University of Washington.
Joris van der Hoeven is a Dutch mathematician and computer scientist, specializing in algebraic analysis and computer algebra. He is the primary developer of GNU TeXmacs.
Anand Pillay is a British mathematician and logician working in model theory and its applications in algebra and number theory.
The Gödel Lecture is an honor in mathematical logic given by the Association for Symbolic Logic, associated with an annual lecture at the association's general meeting. The award is named after Kurt Gödel and has been given annually since 1990.
