The Gödel Lecture is an honor in

mathematical logic Mathematical logic is the study of logic, 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 for ...

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 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 Ronald Björn Jensen (born April 1, 1936) is an American mathematician who lives in Germany, primarily known for his work in mathematical logic and set theory. Career Jensen completed a BA in economics at American University in 1959, and a Ph.D. ...

, ''Inner Models and Large Cardinals.'' * 1991

Dana Scott Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, Ca ...

, ''Will Logicians be Replaced by Machines?'' * 1992

Joseph R. Shoenfield Joseph Robert Shoenfield (1927, Detroit – November 15, 2000, Durham, North Carolina) was an American mathematical logician. Education Shoenfield obtained his PhD in 1953 with Raymond Louis Wilder at the University of Michigan (''Models of form ...

, ''The Priority Method.'' * 1993 Angus Macintyre, ''Logic of Real and p-adic Analysis: Achievements and Challenges.'' * 1994

Donald A. Martin Donald Anthony Martin (born December 24, 1940), also known as Tony Martin, is an American set theorist and philosopher of mathematics at UCLA, where he is an emeritus professor of mathematics and philosophy. Education and career Martin rece ...

, ''L(R): A Survey.'' * 1995

Leo Harrington Leo Anthony Harrington (born May 17, 1946) is a professor of mathematics at the University of California, Berkeley who works in recursion theory, model theory, and set theory. Having retired from being a Mathematician, Professor Leo Harrington is ...

, ''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 3, ...

, ''Categoricity without compactness.'' * 1997

Solomon Feferman Solomon Feferman (December 13, 1928 – July 26, 2016) was an American philosopher and mathematician who worked in mathematical logic. Life Solomon Feferman was born in The Bronx in New York City to working-class parents who had immigrated to th ...

, ''Occupations and Preoccupations with Gödel: His *Works* and the Work.'' * 1998 Alexander S. Kechris, ''Current Trends in Descriptive Set Theory.'' * 1999

Stephen Cook Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university professor at the Unive ...

, ''Logic and computational complexity.'' * 2000

Jon Barwise Kenneth Jon Barwise (; June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used. Education and career Born in Independence, ...

— 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, wh ...

, ''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 axi ...

, ''Issues in the foundations of mathematics.'' * 2003

Boris Zilber Boris Zilber (russian: Борис Иосифович Зильбер, born 1949) is a Soviet-British mathematician who works in mathematical logic, specifically model theory. He is a professor of mathematical logic at the University of Oxford. ...

, ''Categoricity.'' * 2004

Michael O. Rabin Michael Oser Rabin ( he, מִיכָאֵל עוזר רַבִּין; born September 1, 1931) is an Israeli mathematician and computer scientist and a recipient of the Turing Award. Biography Early life and education Rabin was born in 1931 in ...

, ''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 t ...

, ''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 Ehud Hrushovski ( he, אהוד הרושובסקי; born 30 September 1959) is a mathematical logician. He is a Merton Professor of Mathematical Logic at the University of Oxford and a Fellow of Merton College, Oxford. He was also Professor of ...

— a lecture on his work titled ''Algebraic Model Theory'' was given by

T. M. Scanlon Thomas Michael "Tim" Scanlon (; born 1940), usually cited as T. M. Scanlon, is an American philosopher. At the time of his retirement in 2016, he was the Alford Professor of Natural Religion, Moral Philosophy, and Civil Polity"The Alford Professo ...

in his absence. * 2008

W. Hugh Woodin William Hugh Woodin (born April 23, 1955) is an American mathematician and set theorist at Harvard University. He has made many notable contributions to the theory of inner models and determinacy. A type of large cardinals, the Woodin cardinals, ...

, ''The Continuum Hypothesis, the

\omega

Conjecture, and the inner model problem of one supercompact cardinal.'' * 2009

Richard Shore Richard Arnold Shore (born August 18, 1946) is a professor of mathematics at Cornell University who works in recursion theory. He is particularly known for his work on \mathcal, the partial order of the Turing degrees. * Shore settled the Hartl ...

, ''Reverse Mathematics: the Playground of Logic.'' * 2010

Alexander Razborov Aleksandr Aleksandrovich Razborov (russian: Алекса́ндр Алекса́ндрович Разбо́ров; born February 16, 1963), sometimes known as Sasha Razborov, is a Soviet and Russian mathematician and computational theorist. He is ...

, ''Complexity of Propositional Proofs.'' * 2011

Anand Pillay Anand Pillay (born 7 May 1951) is a British mathematician and logician working in model theory and its applications in algebra and number theory. Biography Pillay studied as an undergraduate at the University of Oxford, obtaining a Bachel ...

, ''First order theories.'' * 2012 John R. Steel, ''The hereditarily ordinal definable sets in models of determinacy.'' * 2013 Kit Fine, ''Truthmaker semantics.'' * 2014

Julia F. Knight Julia Frandsen Knight is an American mathematician, specializing in model theory and computability theory.Alex Wilkie Alex James Wilkie FRS (born 1948 in Northampton) is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pur ...

, ''Complex continuations of functions definable in

\mathbb_

with a diophantine application.'' * 2016 Stevo Todorčević, ''Basis problems in set theory.'' * 2017

Charles Parsons (philosopher) Charles Dacre Parsons (born April 13, 1933) is an American philosopher best known for his work in the philosophy of mathematics and the study of the philosophy of Immanuel Kant. He is professor emeritus at Harvard University. Life and career P ...

, ''Gödel and the universe of sets.'' * 2018 Rod Downey, ''Algorithmic randomness.'' * 2019

Samuel Buss Samuel R. (Sam) Buss is an American computer scientist and mathematician who has made major contributions to the fields of mathematical logic, complexity theory and proof complexity. He is currently a professor at the University of California, S ...

, ''Totality, provability and feasibility.'' * 2020

Élisabeth Bouscaren Élisabeth Bouscaren (born 1956) is a French mathematician who works on algebraic geometry, algebra and mathematical logic (model theory). Education and career Bouscaren received her doctorate in 1979 from the University of Paris VII and her ha ...

, ''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 Univer ...

, ''Gödel Diffeomorphisms.''

References

{{reflist

External links

Official website
Mathematics awards Philosophy awards

Award winners

See also

References

External links