Wykład Gödla

Wykład Gödla to wyróżnienie z logiki matematycznej przyznawane przez Association for Symbolic Logic , związane z corocznym wykładem na walnym zgromadzeniu stowarzyszenia. Nagroda nosi imię Kurta Gödla i jest przyznawana corocznie od 1990 roku.

Laureaci nagród

Lista nagrodzonych i tytułów wykładów jest prowadzona online przez Association for Symbolic Logic.

1990 Ronald Jensen , Modele wewnętrzne i wielcy kardynałowie.
1991 Dana Scott , Czy logicy zostaną zastąpieni przez maszyny?
1992 Joseph R. Shoenfield , Metoda pierwszeństwa.
1993 Angus Macintyre , Logika analizy rzeczywistej i p-adycznej: osiągnięcia i wyzwania.
1994 Donald A. Martin , L(R): Ankieta.
1995 Leo Harrington , Gödel, Heidegger i Percepcja bezpośrednia (lub dlaczego jestem teoretykiem rekurencji).
1996 Saharon Shelah , Kategoryczność bez zwartości.
1997 Solomon Feferman , Zawody i zaabsorbowanie Gödelem: Jego *Dzieła* i praca.
1998 Alexander S. Kechris , Aktualne trendy w opisowej teorii mnogości.
1999 Stephen Cook , Logika i złożoność obliczeniowa.
2000 Jon Barwise — odwołany z powodu śmierci mówcy.
2001 Theodore Slaman , Teoria rekurencji.
2002 Harvey Friedman , Zagadnienia z podstaw matematyki.
2003 Boris Zilber , Kategoryczność.
2004 Michael O. Rabin , Dowody perswazji i losowość w matematyce.
2005 Menachem Magidor , Twierdzenia Skolema-Lowenheima dla logiki uogólnionej.
2006 Per Martin-Löf , Dwie warstwy logiki.
2007 Ehud Hrushovski — wykład na temat jego pracy zatytułowany Algebraic Model Theory wygłosił pod jego nieobecność TM Scanlon .
2008 W. Hugh Woodin kontinuum, $,$ i problem modelu wewnętrznego jednego kardynała superkompaktowego. hipoteza
2009 Richard Shore , Matematyka odwrócona: plac zabaw logiki.
2010 Alexander Razborov , Złożoność dowodów zdań.
2011 Anand Pillay , Teorie pierwszego rzędu.
2012 John R. Steel , Dziedzicznie porządkowe definiowalne zbiory w modelach determinacji.
2013 Kit Fine , semantyka Truthmakera.
2014 Julia F. Knight , Obliczalna teoria struktur i formuły form specjalnych.
2015 Alex $_$ funkcji aplikacji ,
2016 Stevo Todorčević , Podstawowe problemy w teorii mnogości.
2017 Charles Parsons (filozof) , Gödel i wszechświat zbiorów.
2018 Rod Downey , Losowość algorytmiczna.
2019 Samuel Buss , Totalność, możliwość udowodnienia i wykonalność.
2020 Élisabeth Bouscaren , Wszechobecność konfiguracji w teorii modeli.
2021 Matthew Foreman , Gödel Dyfeomorfizmy.

Zobacz też

Linki zewnętrzne

Oficjalna strona internetowa