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 revistas oficiales son:
Además, la ASL cuenta con una revista patrocinada:
La organización jugó un papel en la publicación de los escritos recopilados de Kurt Gödel . [2]
Apuntes de clases de lógica [3]
La perspectiva en la 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 35.ª Conferencia Gödel de 2024
Thomas Scanlon, (In)decidibilidad en campos
La 34.ª Conferencia Gödel de 2023
Carl Jockusch , De los algoritmos que tienen éxito en un gran conjunto de entradas a los grados de Turing como espacio métrico
La 33.ª Conferencia Gödel de 2022
Patricia Blanchette , El formalismo en la lógica
La trigésima segunda conferencia de Gödel de 2021
Matthew Foreman , Difeomorfismos de Gödel
La 31.ª Conferencia Gödel de 2020
Elisabeth Bouscaren , La ubicuidad de las configuraciones en la teoría de modelos
La 30.ª Conferencia Gödel 2019
Sam Buss , Totalidad, Probabilidad y Viabilidad
La vigésimo novena conferencia anual Gödel 2018
Rod Downey , Aleatoriedad algorítmica
La vigésimo octava conferencia anual Gödel 2017
Charles Parsons , Gödel y el universo de conjuntos
La vigésimo séptima conferencia anual Gödel 2016
Stevo Todorcevic , Problemas básicos en la teoría de conjuntos
La vigésimo sexta conferencia anual Gödel 2015
Alex Wilkie , Continuaciones complejas de funciones definibles en una aplicación diofántica
La vigésimo quinta conferencia anual Gödel 2014
Julia F. Knight , Teoría de la estructura computable y fórmulas de formas especiales
La vigésimo cuarta conferencia anual Gödel 2013
Kit Fine , semáforo del hacedor de la verdad
La vigésimo tercera conferencia anual Gödel 2012
John Steel , Los conjuntos definibles ordinales hereditarios en modelos de determinación
La vigésimo segunda conferencia anual Gödel 2011
Anand Pillay , Teorías de primer orden
La vigésimo primera conferencia anual Gödel 2010
Alexander Razborov , Complejidad de las pruebas proposicionales
La vigésima conferencia anual Gödel 2009
Richard Shore , Matemáticas inversas: el patio de recreo de la lógica
La decimonovena conferencia anual Gödel 2008
W. Hugh Woodin , La hipótesis del continuo, la conjetura de $\Omega$ y el problema del modelo interno de un cardinal supercompacto
La decimoctava conferencia anual Gödel 2007
Ehud Hrushovski (conferencia sobre su obra pronunciada en su ausencia por Thomas Scanlon )
Decimoséptima Conferencia Anual Gödel 2006
Per Martin-Löf , Las dos capas de la lógica
La decimosexta conferencia anual Gödel 2005
Menachem Magidor , teoremas de Skolem-Lowenheim para lógicas generalizadas
La decimoquinta conferencia anual Gödel 2004
Michael O. Rabin , Pruebas, persuasiones y aleatoriedad en matemáticas
La decimocuarta conferencia anual Gödel 2003
La decimotercera conferencia anual Gödel 2002
Harvey Friedman , Cuestiones sobre los fundamentos de las matemáticas
Duodécima Conferencia Anual Gödel 2001
Theodore A. Slaman , Teoría de la recursión
La undécima conferencia anual Gödel de 2000
Jon Barwise (Cancelado debido a la muerte del orador)
Décima Conferencia Anual Gödel 1999
Stephen A. Cook , Lógica y complejidad computacional
Novena Conferencia Anual Gödel 1998
Alexander S. Kechris , Tendencias actuales en la teoría descriptiva de conjuntos
La octava conferencia anual Gödel de 1997
1997 Solomon Feferman , Ocupaciones y preocupaciones con Gödel: Sus *Obras* y la Obra
Séptima Conferencia Anual Gödel 1996
1996 Saharon Shelah , Categoricidad sin compacidad
Sexta Conferencia Anual Gödel 1995
1995 Leo Harrington , Goedel, Heidegger y la percepción directa (o por qué soy un teórico de la recursión)
La quinta conferencia anual de Gödel de 1994
1994 Donald A. Martin , izq. (der.): Una encuesta
La cuarta conferencia anual de Gödel de 1993
1993 Angus Macintyre , Lógica del análisis real y p-ádico: logros y desafíos
La tercera conferencia anual de Gödel de 1992
1992 Joseph R. Shoenfield , El método de prioridades
La segunda conferencia anual de Gödel de 1991
1991 Dana Scott , ¿Los lógicos serán reemplazados por máquinas?
La primera conferencia anual de Gödel de 1990
1990 Ronald Jensen , modelos interiores y grandes cardenales
La ASL celebra dos reuniones principales cada año, una en América del Norte y otra en Europa (esta última conocida como el Coloquio de Lógica ). Además, la ASL celebra periódicamente reuniones conjuntas con la Sociedad Matemática Estadounidense ("AMS") y la Asociación Filosófica Estadounidense ("APA"), y patrocina reuniones en muchos países diferentes cada año.
[7]
La asociación entrega periódicamente una serie de premios y reconocimientos. [8]
El Premio Karp es otorgado por 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 establecido 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 metálico y fue creado en 1999 para honrar 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 la escritura expositiva destacada 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 es el honor de ser el orador en la reunión anual de la asociación. El premio lleva el nombre de Kurt Gödel .
Para consultar la lista completa de oradores, consulte la serie de conferencias Gödel más arriba.
