Conferencia Gödel

La Conferencia Gödel es un reconocimiento en lógica matemática otorgado por la Asociación de Lógica Simbólica , asociado a 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): Un estudio.
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 al fallecimiento del orador. ^{[ 4 ]}
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 , Demostraciones, persuasión 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.
2007 Ehud Hrushovski — Thomas W. Scanlon impartió una conferencia sobre su trabajo titulado Teoría de modelos algebraicos en su ausencia. ^[⁵^]
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 recreo 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 la estructura computable 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 , Gödel y el universo de conjuntos.
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 , 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.

Véase también

Referencias

^ Kechris, Alexander S. (1991). "Reunión anual de la Asociación de Lógica Simbólica: Berkeley, 1990" . The Journal of Symbolic Logic . 56 (1): 361– 371. doi : 10.2307/2274945 . ISSN 0022-4812 . Además, la Conferencia Gödel, una novedad de las Reuniones Anuales de la ASL, se inauguró este año. La primera conferencia Gödel fue impartida por Ronald Jensen, quien habló sobre Modelos Internos y Grandes Cardinales.
^ "Reunión anual de la Asociación de Lógica Simbólica" . The Journal of Symbolic Logic . 57 (1): 352– 365. 1992. doi : 10.2307/2275205 . ISSN 0022-4812 . Dana Scott impartió la segunda Conferencia anual Gödel, titulada ¿ Serán reemplazados los lógicos por máquinas?
^ "Gödel Lecturers – Asociación para la Lógica Simbólica" . Consultado el 31 de mayo de 2023 .
^ "Reunión Anual de 2000 de la Asociación de Lógica Simbólica" . 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" . Boletín de Lógica Simbólica . 13 (3): 386– 408. 2007. ISSN 1079-8986 .

Enlaces externos

Sitio web oficial

[1] Kechris, Alexander S. (1991). "Reunión anual de la Asociación de Lógica Simbólica: Berkeley, 1990" . The Journal of Symbolic Logic . 56 (1): 361– 371. doi : 10.2307/2274945 . ISSN 0022-4812 . Además, la Conferencia Gödel, una novedad de las Reuniones Anuales de la ASL, se inauguró este año. La primera conferencia Gödel fue impartida por Ronald Jensen, quien habló sobre Modelos Internos y Grandes Cardinales.

[2] "Reunión anual de la Asociación de Lógica Simbólica" . The Journal of Symbolic Logic . 57 (1): 352– 365. 1992. doi : 10.2307/2275205 . ISSN 0022-4812 . Dana Scott impartió la segunda Conferencia anual Gödel, titulada ¿ Serán reemplazados los lógicos por máquinas?

[3] "Gödel Lecturers – Asociación para la Lógica Simbólica" . Consultado el 31 de mayo de 2023 .

[4] "Reunión Anual de 2000 de la Asociación de Lógica Simbólica" . Boletín de Lógica Simbólica . 6 (3): 361– 396. 2000. doi : 10.2307/421070 . ISSN 1079-8986 .

[5] "Reunión Anual de 2007 de la Asociación de Lógica Simbólica" . Boletín de Lógica Simbólica . 13 (3): 386– 408. 2007. ISSN 1079-8986 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[