Conferencia de Gödel

La Conferencia Gödel es un honor en lógica matemática otorgado por la Asociación de Lógica Simbólica , asociado con una conferencia anual en la asamblea general de la asociación. El premio lleva el nombre de Kurt Gödel y se otorga anualmente desde 1990. ^[1]^[2]

Ganadores de premios

La Asociación de Lógica Simbólica mantiene en línea la lista de ganadores de premios y títulos de conferencias. ^[3]

1990 Ronald Jensen , Modelos internos y grandes cardenales.
1991 Dana Scott , ¿Serán reemplazados los lógicos por 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): Una encuesta.
1995 Leo Harrington , Gödel, Heidegger y la percepción directa (o por qué soy un teórico de la recursión).
1996 Saharon Shelah , Categoricidad sin compacidad.
1997 Solomon Feferman , Ocupaciones y preocupaciones con Gödel: sus *Obras* y la Obra.
1998 Alexander S. Kechris , Tendencias actuales en la teoría descriptiva de conjuntos.
1999 Stephen Cook , Lógica y complejidad computacional.
2000 Jon Barwise - cancelado debido a la muerte del orador. ^[4]
2001 Theodore Slaman , Teoría de la recursión.
2002 Harvey Friedman , Problemas en los fundamentos de las matemáticas.
2003 Boris Zilber , Categoricidad.
2004 Michael O. Rabin , Pruebas de persuasión y aleatoriedad en matemáticas.
2005 Menachem Magidor , Teoremas de Skolem-Lowenheim para lógica generalizada.
2006 Per Martin-Löf , Las dos capas de la lógica.
2007 Ehud Hrushovski : TM Scanlon dio una conferencia sobre su trabajo titulada Teoría de modelos algebraicos en su ausencia. ^[5]
2008 W. Hugh Woodin , La hipótesis del continuo, la conjetura y el problema del modelo interno de un cardinal supercompacto. $\Omega$
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 definibles hereditariamente ordinales en modelos de determinación.
2013 Kit Fine , Semántica de Truthmaker.
2014 Julia F. Knight , Teoría de estructuras computables y fórmulas de formas especiales.
2015 Alex Wilkie , Continuaciones complejas de funciones definibles con una aplicación diofántica. $\mathbb {R} _ {an,exp}$
2016 Stevo Todorčević , Problemas básicos en teoría de conjuntos.
2017 Charles Parsons (filósofo) , Gödel y el universo de los decorados.
2018 Rod Downey , Aleatoriedad algorítmica.
2019 Samuel Buss , Totalidad, demostrabilidad y viabilidad.
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 , Desde algoritmos que tienen éxito en un gran conjunto de entradas hasta los grados de Turing como espacio métrico.

Ver también

Referencias

^ Kechris, Alexander S. (1991). "Reunión anual de la Asociación de Lógica Simbólica: Berkeley, 1990". La revista de lógica simbólica . 56 (1): 361–371. doi :10.2307/2274945. ISSN 0022-4812. Además, este año se inauguró la Conferencia Gödel, una nueva característica de las Reuniones Anuales de ASL. La primera conferencia de Gödel estuvo a cargo de Ronald Jensen, quien habló sobre los modelos internos y los grandes cardenales.
^ "Reunión Anual de la Asociación de Lógica Simbólica". La revista de lógica simbólica . 57 (1): 352–365. 1992. doi : 10.2307/2275205. ISSN 0022-4812. Dana Scott pronunció la segunda conferencia anual de Gödel, titulada ¿Serán reemplazados los lógicos por las máquinas?
^ "Profesores de Gödel - Asociación de Lógica Simbólica" . Consultado el 31 de mayo de 2023 .
^ "Reunión Anual 2000 de la Asociación de Lógica Simbólica". El Boletín de Lógica Simbólica . 6 (3): 361–396. 2000. doi : 10.2307/421070. ISSN 1079-8986.
^ "Reunión Anual de 2007 de la Asociación de Lógica Simbólica". El Boletín de Lógica Simbólica . 13 (3): 386–408. 2007. ISSN 1079-8986.

enlaces externos

Página web oficial