Gödel Lecturer
Gödel-Lecturer ist eine Ehrung in mathematischer Logik der Association for Symbolic Logic. Mit dem Preis ist eine Vorlesung auf der jährlichen Hauptversammlung der Association for Symbolic Logic verbunden. Der Preis ist nach Kurt Gödel benannt.
Preisträger
Jeweils mit dem Titel der Vorlesung:
- 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, 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, Categoricity without compactness.
- 1997 Solomon Feferman, Occupations and Preoccupations with Gödel: His „Works“ and the Work.
- 1998 Alexander S. Kechris, Current Trends in Descriptive Set Theory.
- 1999 Stephen A. Cook, Logic and computational complexity.
- 2000 Jon Barwise, starb vor der Vorlesung
- 2001 Theodore A. Slaman, Recursion Theory.
- 2002 Harvey Friedman, Issues in the foundations of mathematics.
- 2003 Boris Zilber, Categoricity.
- 2004 Michael O. Rabin, Proofs persuasions and randomness in mathematics.
- 2005 Menachem Magidor, Skolem-Lowenheim theorems for generalized logics.
- 2006 Per Martin-Löf, The two layers of logic.
- 2007 Ehud Hrushovski, eine Vorlesung über sein Werk wurde in seiner Abwesenheit von Thomas Scanlon gehalten.
- 2008 W. Hugh Woodin, The Continuum Hypothesis, the ω Conjecture, and the inner model problem of one supercompact cardinal.
- 2009 Richard A. Shore, Reverse Mathematics: the Playground of Logic.
- 2010 Alexander Rasborow, Complexity of Propositional Proofs.
- 2011 Anand Pillay, First order theories.
- 2012 John R. Steel, The hereditarily ordinal definable sets in models of determinacy.
- 2013 Kit Fine[1]
- 2014 Julia Knight[2]
- 2015 Alex Wilkie[3]
Weblinks
- ↑ Pavlina Penk-Aitman: ASL 2013 North American Annual Meeting. In: math.uwaterloo.ca. Abgerufen am 9. Februar 2015.
- ↑ Logic Colloquium 2014. In: logic.at. Abgerufen am 9. Februar 2015 (englisch).
- ↑ Association for Symbolic Logic, annual meeting 2015, Mathematics – Illinois. In: math.uiuc.edu. Abgerufen am 9. Februar 2015 (englisch).