La Asociación de Lógica Simbólica ( ASL ) es una organización internacional de especialistas en lógica matemática y lógica filosófica . La ASL fue fundada en 1936 y su primer presidente fue Curt John Ducasse . El actual presidente de la ASL es Phokion Kolaitis . [1]
La ASL publica libros y revistas académicas . Sus tres diarios oficiales son:
Además, la ASL cuenta con una revista patrocinada:
La organización participó en la publicación de la recopilación de escritos de Kurt Gödel . [2]
Notas de conferencias sobre lógica [3]
Perspectiva en lógica [4]
Lógica matemática de Joseph R. Shoenfield [5]
La serie de conferencias Gödel es una serie de conferencias anuales en ASL que se remontan a 1990. [6]
La trigésima cuarta conferencia de Gödel 2023
Carl Jockusch , Desde algoritmos que tienen éxito en un gran conjunto de entradas hasta los grados de Turing como espacio métrico
La trigésima tercera conferencia de Gödel 2022
Patricia Blanchette , El formalismo en la lógica
La trigésima segunda conferencia de Gödel 2021
Matthew Foreman , Difeomorfismos de Gödel
La trigésima primera conferencia de Gödel 2020
Elisabeth Bouscaren , La ubicuidad de las configuraciones en la teoría de modelos.
La trigésima conferencia de Gödel 2019
Sam Buss , Totalidad, Probabilidad y Viabilidad
La vigésima novena conferencia anual de Gödel 2018
Rod Downey , aleatoriedad algorítmica
La vigésima octava conferencia anual de Gödel 2017
Charles Parsons , Gödel y el universo de los decorados
La vigésima séptima conferencia anual de Gödel 2016
Stevo Todorcevic , Problemas básicos en la teoría de conjuntos.
La vigésima sexta conferencia anual de Gödel 2015
Alex Wilkie , Continuaciones complejas de funciones definibles con una aplicación diofántica.
La vigésima quinta conferencia anual de Gödel 2014
Julia F. Knight , Teoría de estructuras computables y fórmulas de formas especiales.
La vigésima cuarta conferencia anual de Gödel 2013
Kit Fine , semática Truthmaker
La vigésima tercera conferencia anual de Gödel 2012
John Steel , Los conjuntos definibles hereditariamente ordinales en modelos de determinación.
La vigésima segunda conferencia anual de Gödel 2011
Anand Pillay , Teorías de primer orden
La vigésima primera conferencia anual de Gödel 2010
Alexander Razborov , Complejidad de las pruebas proposicionales
La vigésima conferencia anual de Gödel 2009
Richard Shore , Matemáticas inversas: el patio de juegos de la lógica
Decimonovena Conferencia Anual de Gödel 2008
W. Hugh Woodin , La hipótesis del continuo, la conjetura $\Omega$ y el problema del modelo interno de un cardinal supercompacto
Decimoctava Conferencia Anual de Gödel 2007
Ehud Hrushovski (una conferencia sobre su trabajo pronunciada en su ausencia por Thomas Scanlon )
Decimoséptima Conferencia Anual de Gödel 2006
Per Martin-Löf , Las dos capas de la lógica
Decimosexta Conferencia Anual de Gödel 2005
Menachem Magidor , teoremas de Skolem-Lowenheim para lógica generalizada
Decimoquinta Conferencia Anual de Gödel 2004
Michael O. Rabin , Pruebas de persuasión y aleatoriedad en matemáticas.
Decimocuarta Conferencia Anual de Gödel 2003
Decimotercera Conferencia Anual de Gödel 2002
Harvey Friedman , Problemas en los fundamentos de las matemáticas.
La duodécima conferencia anual de Gödel 2001
Theodore A. Slaman , Teoría de la recursividad
La undécima conferencia anual de Gödel 2000
Jon Barwise (Cancelado por muerte del orador)
Décima Conferencia Anual de Gödel 1999
Stephen A. Cook , Lógica y complejidad computacional.
La novena conferencia anual de Gödel 1998
Alexander S. Kechris , Tendencias actuales en la teoría descriptiva de conjuntos
Octava Conferencia Anual de Gödel 1997
1997 Solomon Feferman , Ocupaciones y preocupaciones con Gödel: sus*obras* y la obra
Séptima Conferencia Anual de Gödel 1996
1996 Saharon Shelah , Categoricidad sin compacidad
La Sexta Conferencia Anual de Gödel 1995
1995 Leo Harrington , Goedel, Heidegger y la percepción directa (o por qué soy un teórico de la recursión)
Quinta Conferencia Anual de Gödel 1994
1994 Donald A. Martin , L (R): Una encuesta
La cuarta conferencia anual de Gödel 1993
1993 Angus Macintyre , Lógica del análisis real y p-ádico: logros y desafíos
Tercera conferencia anual de Gödel 1992
1992 Joseph R. Shoenfield , El método de prioridad
Segunda Conferencia Anual de Gödel 1991
1991 Dana Scott , ¿Serán reemplazados los lógicos por máquinas?
La primera conferencia anual de Gödel 1990
1990 Ronald Jensen , Modelos internos y grandes cardenales
La ASL celebra dos reuniones principales cada año, una en Norteamérica y otra en Europa (esta última conocida como Coloquio Lógico ). Además, la ASL celebra periódicamente reuniones conjuntas con la Sociedad Estadounidense de Matemáticas ("AMS") y la Asociación Filosófica Estadounidense ("APA"), y patrocina reuniones en muchos países diferentes cada año.
[7]
La asociación presenta periódicamente una serie de premios y reconocimientos. [8]
El Premio Karp lo otorga la asociación cada cinco años por un artículo o libro destacado en el campo de la lógica simbólica. Consiste en un premio en efectivo y fue creado en 1973 en memoria de la profesora Carol Karp . [9]
El Premio Sacks se otorga a la tesis doctoral más destacada en lógica matemática. Consiste en un premio en efectivo y se creó en 1999 en honor al profesor Gerald Sacks del MIT y Harvard.
Los destinatarios incluyen: [10]
Inaugurado en 2007, el Premio Shoenfield se otorga cada tres años en dos categorías, libro y artículo, reconociendo escritos expositivos destacados en el campo de la lógica y honrando el nombre de Joseph R. Shoenfield . [11]
Los destinatarios incluyen:
Inaugurada en 1990, la Conferencia Gödel tiene el honor de ser la oradora en la reunión anual de la asociación. El premio lleva el nombre de Kurt Gödel .
Para obtener la lista completa de oradores, consulte la Serie de conferencias Gödel más arriba.