Gödel Lecturer

distinction en logique mathématique

Gödel-Lecturer est une distinction en logique mathématique décernée par l'Association for Symbolic Logic. Le prix est accompagné d'une conférence donnée par le lauréat devant l'assemblée générale de l'ASL. Ce prix porte le nom de Kurt Gödel.

LauréatsModifier

Avec le titre de la conférence :

  • 1990 Ronald Jensen, Inner Models and Large Cardinals.
  • 1991 Dana Scott, Les logiciens vont-ils être remplacés par des machines ? (titre anglais : Will Logicians be Replaced by Machines?)
  • 1992 Joseph R. Shoenfield (de), The Priority Method.
  • 1993 Angus Macintyre, Logic of Real and p-adic Analysis: Achievements and Challenges.
  • 1994 Donald A. Martin, L(R) : un état des lieux (titre anglais : 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, Tendances actuelles en théorie descriptive des ensembles (titre anglais : Current Trends in Descriptive Set Theory).
  • 1999 Stephen A. Cook, Logique et complexité calculatoire (titre anglais : Logic and computational complexity).
  • 2000 Jon Barwise, décédé avant d'avoir pu donner sa conférence
  • 2001 Theodore A. Slaman, Théorie de la récursion (titre anglais : Recursion Theory).
  • 2002 Harvey Friedman, Problèmes des fondements des mathématiques (titre anglais : 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, Deux niveaux de logique (titre anglais : The two layers of logic).
  • 2007 Ehud Hrushovski, en son absence, une conférence sur ses travaux a été donnée par Thomas Scanlon.
  • 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 Alexandre Razborov, Complexity of Propositional Proofs.
  • 2011 Anand Pillay, Théories du premier ordre (titre anglais : First order theories).
  • 2012 John R. Steel, The hereditarily ordinal definable sets in models of determinacy.
  • 2013 Kit Fine[1], Truthmaker semantics.
  • 2014 Julia Knight[2] Computable structure theory and formulas of special forms.
  • 2015 Alex Wilkie[3] Complex continuations of functions definable in   with a diophantine application.
  • 2016 Stevo Todorčević
  • 2017 Charles Parsons, Gödel and the universe of sets.
  • 2018 Rod Downey, Algorithmic randomness.
  • 2019 Sam Buss (de), Totality, provability and feasibility[4]

Liens externesModifier

Notes et référencesModifier

  1. Pavlina Penk-Aitman: ASL 2013 North American Annual Meeting.
  2. (en) Pavlina Penk-Aitman, « ASL 2013 North American Annual Meeting », sur math.uwaterloo.ca (consulté le 9 février 2015)
  3. Association for Symbolic Logic, annual meeting 2015, Mathematics – Illinois.
  4. (en) « Association for Symbolic Logic 2019 Annual North American Meeting », sur asl2019.commons.gc.cuny.edu, (consulté le 28 juin 2019)

Source de la traductionModifier

(de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Gödel-Lecturer » (voir la liste des auteurs).