Gödel Lector
Gödel-Lecturer este o distincție în logică matematică acordată de Asociația pentru Logică Simbolică . Premiul este însoțit de o prelegere susținută de câștigător adunării generale ASL. Acest premiu poartă numele lui Kurt Gödel .
Laureați
Cu titlul conferinței:
- 1990 Ronald Jensen , Modele interioare și cardinali mari.
- 1991 Dana Scott , Logienii vor fi înlocuiți cu mașini? (Titlu în limba engleză: Logicianii vor fi înlocuiți cu mașini? )
- 1992 Joseph R. Shoenfield (de) , Metoda prioritară.
- 1993 Angus Macintyre , Logica analizei reale și p-adice: realizări și provocări.
- 1994 Donald A. Martin , L (R): un inventar (titlu în limba engleză: L (R): A Survey ).
- 1995 Leo Harrington , Gödel, Heidegger și percepția directă (sau, De ce sunt un teoretician al recursiunii).
- 1996 Saharon Shelah , Categoricitate fără compactitate.
- 1997 Solomon Feferman , Ocupații și ocupații cu Gödel: „Lucrările” sale și lucrarea.
- 1998 Alexander S. Kechris , Tendințe actuale în teoria descriptivă a seturilor .
- 1999 Stephen A. Cook , Logic and computational complex (Titlu în engleză: Logic and computational complex ).
- 2000 Jon Barwise , care a murit înainte de a putea susține prelegerea
- 2001 Theodore A. Slaman , Teoria recursivității.
- 2002 Harvey Friedman , Problemele bazelor matematicii (titlul în limba engleză: Probleme în bazele matematicii ).
- 2003 Boris Zilber , Categoricitate.
- 2004 Michael O. Rabin , Dovezi convingeri și întâmplare în matematică.
- 2005 Menachem Magidor , teoreme Skolem-Lowenheim pentru logica generalizată.
- 2006 Per Martin-Löf , Deux levels de logic (titlu în engleză: The two layer of logic ).
- 2007 Ehud Hrushovski , în absența sa, a ținut o prelegere despre opera sa de Thomas Scanlon.
- 2008 W. Hugh Woodin , Ipoteza continuului, Ω-Conjectura și problema modelului interior al unui cardinal supercompact.
- 2009 Richard A. Shore , Reverse Mathematics: the Playground of Logic.
- 2010 Alexandre Razborov , Complexitatea dovezilor propoziționale.
- 2011 Anand Pillay , Theories of the first order (titlu în limba engleză: The first order theories ).
- 2012 John R. Steel , Seturile definibile în mod ereditar în modele de determinare.
- 2013 Kit Fine , semantică Truthmaker.
- 2014 Julia Knight Teoria structurii calculabile și formule de forme speciale.
- 2015 Alex Wilkie Continuări complexe ale funcțiilor definibile cu o aplicație diofantină.
- 2016 Stevo Todorčević
- 2017 Charles Parsons (ro) , Gödel și universul seturilor.
- 2018 Rod Downey , Aleatoriu algoritmic.
- 2019 Sam Buss (de) , Totalitate, probabilitate și fezabilitate
linkuri externe
Note și referințe
- Pavlina Penk-Aitman: ASL 2013 North American Annual Meeting.
- (în) Pavlina Penk-Aitman, „ ASL 2013 North American Annual Meeting ” pe math.uwaterloo.ca (accesat la 9 februarie 2015 )
- Association for Symbolic Logic, întâlnire anuală 2015, Matematică - Illinois.
- (în) „ Reuniunea anuală nord-americană a Asociației pentru logică simbolică 2019 ” pe asl2019.commons.gc.cuny.edu ,20 mai 2019(accesat la 28 iunie 2019 )