Die Gödel-Vorlesung ist eine Auszeichnung der Association for Symbolic Logic im Bereich der mathematischen Logik und ist mit einem jährlichen Vortrag im Rahmen der Generalversammlung der Vereinigung verbunden. Die Auszeichnung ist nach Kurt Gödel benannt und wird seit 1990 jährlich verliehen. [ 1 ] [ 2 ]
Preisträger
Die Liste der Preisträger und Vortragstitel wird von der Association for Symbolic Logic online geführt. [ 3 ]
- 1990 Ronald Jensen , Innere Modelle und große Kardinäle.
- 1991 Dana Scott , Werden Logiker durch Maschinen ersetzt?
- 1992 Joseph R. Shoenfield , Die Prioritätsmethode.
- 1993 Angus Macintyre , Logik der reellen und p-adischen Analysis: Errungenschaften und Herausforderungen.
- 1994 Donald A. Martin , L(R): Eine Übersicht.
- 1995 Leo Harrington , Gödel, Heidegger und die direkte Wahrnehmung (oder: Warum ich ein Rekursionstheoretiker bin).
- 1996 Saharon Shelah , Kategorizität ohne Kompaktheit.
- 1997 Solomon Feferman , Beschäftigungen und Anliegen mit Gödel: Seine *Werke* und das Werk.
- 1998 Alexander S. Kechris , Aktuelle Trends in der deskriptiven Mengenlehre.
- 1999 Stephen Cook , Logik und Berechnungskomplexität.
- 2000 Jon Barwise — abgesagt aufgrund des Todes des Redners. [ 4 ]
- 2001 Theodore Slaman , Rekursionstheorie.
- 2002 Harvey Friedman , Probleme in den Grundlagen der Mathematik.
- 2003 Boris Zilber , Kategorizität.
- 2004 Michael O. Rabin , Beweise, Überzeugungen und Zufall in der Mathematik.
- 2005 Menachem Magidor , Skolem-Lowenheim-Sätze für verallgemeinerte Logiken.
- 2006 Per Martin-Löf , Die zwei Ebenen der Logik.
- 2007 hielt Thomas W. Scanlon in Ehud Hrushovskis Abwesenheit einen Vortrag über dessen Arbeit mit dem Titel „Algebraische Modelltheorie“ . [ 5 ]
- 2008 W. Hugh Woodin , Die Kontinuumshypothese, die Vermutung und das innere Modellproblem einer superkompakten Kardinalzahl.
- 2009 Richard Shore , Umgekehrte Mathematik: Der Spielplatz der Logik.
- 2010 Alexander Razborov , Komplexität von Aussagenbeweisen.
- 2011 Anand Pillay , Theorien erster Ordnung.
- 2012 John R. Steel , Die erblich ordinalen definierbaren Mengen in Modellen der Determiniertheit.
- 2013 Kit Fine , Truthmaker-Semantik.
- 2014 Julia F. Knight , Computable structure theory and formulas of special forms.
- 2015 Alex Wilkie , Komplexe Fortsetzungen von Funktionen, die mit einer diophantischen Anwendung definiert werden können.
- 2016 Stevo Todorčević , Basisprobleme in der Mengenlehre.
- 2017 Charles Parsons , Gödel und das Universum der Mengen.
- 2018 Rod Downey , Algorithmische Zufälligkeit.
- 2019 Samuel Buss , Totalität, Beweisbarkeit und Machbarkeit.
- 2020 Élisabeth Bouscaren , Die Allgegenwart von Konfigurationen in der Modelltheorie.
- 2021 Matthew Foreman , Gödel Diffeomorphismen.
- 2022 Patricia Blanchette , Formalismus in der Logik.
- 2023 Carl Jockusch , Von Algorithmen, die auf einer großen Menge von Eingaben erfolgreich sind, bis hin zu den Turing-Graden als metrischem Raum.
- 2024 Thomas W. Scanlon , (Un)Entscheidbarkeit in Körpern.
Siehe auch
Referenzen
- ^ Kechris, Alexander S. (1991). „Jahrestagung der Association for Symbolic Logic: Berkeley, 1990“ . The Journal of Symbolic Logic . 56 (1): 361–371 . doi : 10.2307/2274945 . ISSN 0022-4812 .
Darüber hinaus wurde in diesem Jahr die Gödel-Vorlesung, eine neue Tradition der ASL-Jahrestagungen, eingeführt. Die erste Gödel-Vorlesung hielt Ronald Jensen zum Thema Innere Modelle und Große Kardinalzahlen.
- ^ „Jahrestagung der Association for Symbolic Logic“ . The Journal of Symbolic Logic . 57 (1): 352–365 . 1992. doi : 10.2307/2275205 . ISSN 0022-4812 .
Dana Scott hielt die zweite jährliche Gödel-Vorlesung mit dem Titel „
Werden Logiker durch Maschinen ersetzt?“
- ^ „Gödel Lecturers – Association for Symbolic Logic“ . Abgerufen am 31.05.2023 .
- ^ „Jahrestagung 2000 der Association for Symbolic Logic“ . The Bulletin of Symbolic Logic . 6 (3): 361–396 . 2000. doi : 10.2307/421070 . ISSN 1079-8986 .
- ^ „Jahrestagung 2007 der Association for Symbolic Logic“ . The Bulletin of Symbolic Logic . 13 (3): 386–408 . 2007. ISSN 1079-8986 .
