The Gödel Lecture is an honor in
mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
given by the
Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is ...
, associated with an annual lecture at the association's general meeting. The award is named after
Kurt Gödel
Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imm ...
and has been given annually since 1990.
Award winners
The list of award winners and lecture titles is maintained online by the Association for Symbolic Logic.
* 1990
Ronald Jensen, ''Inner Models and Large Cardinals.''
* 1991
Dana Scott, ''Will Logicians be Replaced by Machines?''
* 1992
Joseph R. Shoenfield, ''The Priority Method.''
* 1993
Angus Macintyre
Angus John Macintyre FRS, FRSE (born 1941) 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 Mathemat ...
, ''Logic of Real and p-adic Analysis: Achievements and Challenges.''
* 1994
Donald A. Martin, ''L(R): A Survey.''
* 1995
Leo Harrington, ''Gödel, Heidegger, and Direct Perception (or, Why I am a Recursion Theorist).''
* 1996
Saharon Shelah
Saharon Shelah ( he, שהרן שלח; born July 3, 1945) is an Israeli mathematician. He is a professor of mathematics at the Hebrew University of Jerusalem and Rutgers University in New Jersey.
Biography
Shelah was born in Jerusalem on July ...
, ''Categoricity without compactness.''
* 1997
Solomon Feferman, ''Occupations and Preoccupations with Gödel: His *Works* and the Work.''
* 1998
Alexander S. Kechris
Alexander Sotirios Kechris ( el, Αλέξανδρος Σωτήριος Κεχρής; born March 23, 1946) is a set theorist and logician at the California Institute of Technology.
Contributions
Kechris has made contributions to the theory of Bor ...
, ''Current Trends in Descriptive Set Theory.''
* 1999
Stephen Cook, ''Logic and computational complexity.''
* 2000
Jon Barwise — cancelled due to the death of the speaker.
* 2001
Theodore Slaman
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory.
Slaman and W. Hugh Woodin formulated the Bi-interpretability Conjecture for the Turing degrees, w ...
, ''Recursion Theory.''
* 2002
Harvey Friedman
__NOTOC__
Harvey Friedman (born 23 September 1948)Handbook of Philosophical Logic, , p. 38 is an American mathematical logician at Ohio State University in Columbus, Ohio. He has worked on reverse mathematics, a project intended to derive the ax ...
, ''Issues in the foundations of mathematics.''
* 2003
Boris Zilber, ''Categoricity.''
* 2004
Michael O. Rabin, ''Proofs persuasions and randomness in mathematics.''
* 2005
Menachem Magidor
Menachem Magidor (Hebrew: מנחם מגידור; born January 24, 1946) is an Israeli mathematician who specializes in mathematical logic, in particular set theory. He served as president of the Hebrew University of Jerusalem, was president of ...
, ''Skolem-Lowenheim theorems for generalized logics.''
* 2006
Per Martin-Löf
Per Erik Rutger Martin-Löf (; ; born 8 May 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer scie ...
, ''The two layers of logic.''
* 2007
Ehud Hrushovski — a lecture on his work titled ''Algebraic Model Theory'' was given by
T. M. Scanlon in his absence.
* 2008
W. Hugh Woodin, ''The Continuum Hypothesis, the
Conjecture, and the inner model problem of one supercompact cardinal.''
* 2009
Richard Shore, ''Reverse Mathematics: the Playground of Logic.''
* 2010
Alexander Razborov, ''Complexity of Propositional Proofs.''
* 2011
Anand Pillay, ''First order theories.''
* 2012
John R. Steel
John Robert Steel (born October 30, 1948) is an American set theory, set theorist at University of California, Berkeley (formerly at University of California, Los Angeles, UCLA). He has made many contributions to the theory of inner models and de ...
, ''The hereditarily ordinal definable sets in models of determinacy.''
* 2013
Kit Fine, ''Truthmaker semantics.''
* 2014
Julia F. Knight, ''Computable structure theory and formulas of special forms.''
* 2015
Alex Wilkie, ''Complex continuations of functions definable in
with a diophantine application.''
* 2016
Stevo Todorčević, ''Basis problems in set theory.''
* 2017
Charles Parsons (philosopher), ''Gödel and the universe of sets.''
* 2018
Rod Downey, ''Algorithmic randomness.''
* 2019
Samuel Buss, ''Totality, provability and feasibility.''
* 2020
Élisabeth Bouscaren, ''The ubiquity of configurations in Model Theory.''
* 2021
Matthew Foreman
Matthew Dean Foreman is an American mathematician at
University of California, Irvine. He has made notable contributions in set theory and in ergodic theory.
Biography
Born in Los Alamos, New Mexico, Foreman earned his Ph.D. from the
Uni ...
, ''Gödel Diffeomorphisms.''
See also
*
Tarski Lectures
*
Karp Prize
*
List of mathematics awards
This list of mathematics awards is an index to articles about notable awards for mathematics. The list is organized by the region and country of the organization that sponsors the award, but awards may be open to mathematicians from around the wo ...
*
List of philosophy awards
*
List of logicians
References
{{reflist
External links
Official website
Mathematics awards
Philosophy awards