La Conferencia Gödel es un prestigioso honor otorgado en el campo de la lógica matemática por la Asociación para la Lógica Simbólica (Association for Symbolic Logic). Este reconocimiento se asocia con una conferencia anual que se lleva a cabo durante la reunión general de la asociación.
Llamada así en honor a Kurt Gödel, uno de los lógicos más influyentes de la historia, el premio ha sido concedido anualmente desde 1990, destacando las contribuciones significativas de académicos y matemáticos en diversas áreas de la lógica.
Ganadores del Premio y Temas de las Conferencias
La lista de los galardonados es mantenida en línea por la Asociación para la Lógica Simbólica. A lo largo de los años, los temas han abarcado desde la teoría de conjuntos y la complejidad computacional hasta la filosofía de la lógica.
| Año | Ganador | Título de la Conferencia |
|---|---|---|
| 1990 | Ronald Jensen | Modelos Internos y Cardinales Grandes |
| 1991 | Dana Scott | ¿Serán los lógicos reemplazados por las máquinas? |
| 1992 | Joseph R. Shoenfield | El Método de Prioridad |
| 1993 | Angus Macintyre | Lógica del Análisis Real y p-ádico: Logros y Desafíos |
| 1994 | Donald A. Martin | L(R): Un Estudio |
| 1995 | Leo Harrington | Gödel, Heidegger y la Percepción Directa |
| 1996 | Saharon Shelah | Categoricidad sin compacidad |
| 1997 | Solomon Feferman | Ocupaciones y Preocupaciones con Gödel: Sus Obras y el Trabajo |
| 1998 | Alexander S. Kechris | Tendencias Actuales en la Teoría de Conjuntos Descriptiva |
| 1999 | Stephen Cook | Lógica y complejidad computacional |
| 2001 | Theodore Slaman | Teoría de la Recursión |
| 2002 | Harvey Friedman | Cuestiones en los fundamentos de las matemáticas |
| 2003 | Boris Zilber | Categoricidad |
| 2004 | Michael O. Rabin | Pruebas, persuasiones y aleatoriedad en matemáticas |
| 2005 | Menachem Magidor | Teoremas de Skolem-Lowenheim para lógicas generalizadas |
| 2006 | Per Martin-Löf | Las dos capas de la lógica |
| 2008 | W. Hugh Woodin | La Hipótesis del Continuo, la Conjetura $\Omega$ y el problema del modelo interno de un cardinal supercompacto |
| 2009 | Richard Shore | Matemáticas Inversas: El Patio de Juegos de la Lógica |
| 2010 | Alexander Razborov | Complejidad de las Pruebas Proposicionales |
| 2011 | Anand Pillay | Teorías de primer orden |
| 2012 | John R. Steel | Los conjuntos hereditariamente definibles por ordinales en modelos de determinación |
| 2013 | Kit Fine | Semántica de los creadores de verdad |
| 2014 | Julia F. Knight | Teoría de estructuras computables y fórmulas de formas especiales |
| 2015 | Alex Wilkie | Continuaciones complejas de funciones definibles en $\mathbb{R}_{an,exp}$ con una aplicación diofántica |
| 2016 | Stevo Todorčević | Problemas de base en la teoría de conjuntos |
| 2017 | Charles Parsons | Gödel y el universo de conjuntos |
| 2018 | Rod Downey | Aleatoriedad Algorítmica |
| 2019 | Samuel Buss | Totalidad, demostrabilidad y factibilidad |
| 2020 | Élisabeth Bouscaren | La ubicuidad de las configuraciones en la Teoría de Modelos |
| 2021 | Matthew Foreman | Difeomorfismos de Gödel |
| 2022 | Patricia Blanchette | Formalismo en Lógica |
| 2023 | Carl Jockusch | De algoritmos que tienen éxito en un gran conjunto de entradas a los grados de Turing como un espacio métrico |
| 2024 | Thomas W. Scanlon | (In)decidibilidad en campos |
