Hispanopedia WikiLa 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 se fundó en 1936 y su primer presidente fue Curt John Ducasse . La actual presidenta de la ASL es Natasha Dobrinen . [ 1 ]
Publicaciones
La ASL publica libros y revistas académicas . Sus tres revistas oficiales son:
- Revista de Lógica Simbólica : publica investigaciones en todas las áreas de la lógica matemática. Fundada en 1936, ISSN 0022-4812 .
- Boletín de Lógica Simbólica : publica principalmente artículos divulgativos y reseñas. Fundado en 1995, ISSN 1079-8986. ( Cambridge Core )
- Revista de Lógica Simbólica : publica investigaciones relacionadas con la lógica, la filosofía, la ciencia y sus interacciones. Fundada en 2008, ISSN 1755-0203 .
Además, la ASL cuenta con una revista patrocinada:
- La revista Journal of Logic and Analysis publica investigaciones sobre las interacciones entre la lógica matemática y el análisis puro y aplicado. Fue fundada en 2009 como sucesora de acceso abierto de la revista Logic and Analysis de Springer . ISSN 1759-9008 .
La organización desempeñó un papel en la publicación de los escritos recopilados de Kurt Gödel . [ 2 ]
Serie de libros
Notas de clase en lógica [ 3 ]
Perspectivas en lógica [ 4 ]
Libros
Lógica matemática por Joseph R. Shoenfield [ 5 ]
Ciclo de conferencias Gödel
La serie de conferencias Gödel es una serie de conferencias anuales en lengua de señas americana (ASL) que se remontan a 1990. [ 6 ]
Trigésimo quinta conferencia Gödel 2024
Thomas Scanlon , (In)decidibilidad en campos
Trigésimo cuarta conferencia Gödel 2023
Carl Jockusch , Desde algoritmos que tienen éxito en un gran conjunto de entradas hasta los grados de Turing como un espacio métrico
La trigésimo tercera conferencia Gödel de 2022
Patricia Blanchette , Formalismo en lógica
La trigésimo segunda conferencia Gödel de 2021
Matthew Foreman , difeomorfismos de Gödel
Trigésimo primera conferencia Gödel 2020
Elisabeth Bouscaren , La ubicuidad de las configuraciones en la teoría de modelos.
Trigésima Conferencia Gödel 2019
Sam Buss , Totalidad, Demostrabilidad y Factibilidad
Vigésimo novena Conferencia Anual Gödel 2018
Rod Downey , Aleatoriedad algorítmica
Vigésimo octava Conferencia Anual Gödel 2017
Charles Parsons , Gödel y el universo de los conjuntos
Vigésimo séptima Conferencia Anual Gödel 2016
Stevo Todorcevic , Problemas básicos en teoría de conjuntos
Vigésimo sexta Conferencia Anual Gödel 2015
Alex Wilkie , Continuaciones complejas de funciones definibles con una aplicación diofántica
Vigésimo quinta Conferencia Anual Gödel 2014
Julia F. Knight , Teoría de la estructura computable y fórmulas de formas especiales
Vigésimo cuarta Conferencia Anual Gödel 2013
Kit Fine , semántica de Truthmaker
Vigésimo tercera conferencia anual Gödel 2012
John Steel , Los conjuntos definibles ordinales hereditarios en modelos de determinación
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
Vigésima Conferencia Anual Gödel 2009
Richard Shore , Matemáticas inversas: el patio de recreo de la lógica
Decimonovena Conferencia Anual Gödel 2008
W. Hugh Woodin , La hipótesis del continuo, la conjetura Ω y el problema del modelo interno de un cardinal supercompacto
Decimoctava Conferencia Anual Gödel 2007
Ehud Hrushovski (una conferencia sobre su obra impartida en su ausencia por Thomas Scanlon)
Decimoséptima Conferencia Anual Gödel 2006
Per Martin-Löf , Las dos capas de la lógica
Decimosexta Conferencia Anual Gödel 2005
Menachem Magidor , Teoremas de Skolem-Lowenheim para lógicas generalizadas
Decimoquinta Conferencia Anual Gödel 2004
Michael O. Rabin , Demostraciones, persuasión y aleatoriedad en matemáticas
La decimocuarta Conferencia Anual Gödel 2003
La decimotercera conferencia anual Gödel 2002
Harvey Friedman , Cuestiones en los fundamentos de las matemáticas
Duodécima Conferencia Anual Gödel 2001
Theodore A. Slaman , Teoría de la recursión
Undécima Conferencia Anual Gödel 2000
Jon Barwise (Cancelado debido al fallecimiento del ponente)
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.
Octava Conferencia Anual Gödel 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 , Gödel, Heidegger y la percepción directa (o, por qué soy un teórico de la recursión)
Quinta Conferencia Anual Gödel 1994
1994 Donald A. Martin , L(R): Un estudio
Cuarta Conferencia Anual Gödel 1993
1993 Angus Macintyre , Lógica del análisis real y p-ádico : logros y desafíos
Tercera Conferencia Anual Gödel 1992
1992 Joseph R. Shoenfield , El método de prioridad
Segunda Conferencia Anual Gödel 1991
1991 Dana Scott , ¿Serán reemplazados los lógicos por máquinas?
Primera Conferencia Anual Gödel 1990
1990 Ronald Jensen , Modelos interiores y grandes cardenales
Reuniones
La ASL celebra dos reuniones principales cada año: una en Norteamérica y otra en Europa (esta última conocida como el Coloquio de Lógica ). Además, la ASL organiza regularmente reuniones conjuntas con la Sociedad Matemática Estadounidense (AMS) y la Asociación Filosófica Estadounidense (APA), y patrocina reuniones en numerosos países cada año.
Lista de presidentes
Premios
La asociación otorga periódicamente una serie de premios y galardones. [ 8 ]
Premio Karp
The Karp Prize is awarded by the association every five years for an outstanding paper or book in the field of symbolic logic. It consists of a cash award and was established in 1973 in memory of Professor Carol Karp.[9]
Sacks Prize
The Sacks Prize is awarded for the most outstanding doctoral dissertation in mathematical logic. It consists of a cash award and was established in 1999 to honor Professor Gerald Sacks of MIT and Harvard.
Recipients include:[10]
Shoenfield Prize
Inaugurated in 2007, the Shoenfield Prize is awarded every three years in two categories, book and article, recognizing outstanding expository writing in the field of logic and honoring the name of Joseph R. Shoenfield.[11]
Recipients include:
Gödel Lecture
Inaugurated in 1990, the Gödel Lecture is the honor of being the speaker at the association's annual meeting. The award is named after Kurt Gödel.
For the complete list of speakers, please see Gödel Lecture Series above.
References
- ^"Association for Symbolic Logic". The Bulletin of Symbolic Logic. 31 (1): 188–193. March 2025. JSTOR 27379752.
- ^"Gödel Lecturers – Association for Symbolic Logic". Archived from the original on 22 December 2019. Retrieved 21 February 2019.
- ^"Lecture Notes in Logic – Association for Symbolic Logic". Archived from the original on 29 February 2024. Retrieved 29 February 2024.
- ^"Perspectives in Logic – Association for Symbolic Logic". Archived from the original on 29 February 2024. Retrieved 29 February 2024.
- ^"Other Books – Association for Symbolic Logic". Archived from the original on 29 February 2024. Retrieved 29 February 2024.
- ^"Gödel Lecturers – Association for Symbolic Logic". Archived from the original on 12 February 2024. Retrieved 29 February 2024.
- ^ "Ex Oficiales – Asociación para la Lógica Simbólica" . Archivado del original el 22 de diciembre de 2019. Recuperado el 26 de septiembre de 2019 .
- ^ "Premios y Distinciones – Asociación de Lógica Simbólica" . Asociación de Lógica Simbólica. Archivado del original el 24 de enero de 2019. Consultado el 24 de enero de 2019 .
- ^ "Ganadores del Premio Karp – Asociación de Lógica Simbólica" . Archivado del original el 22 de julio de 2019. Consultado el 24 de enero de 2019 .
- ^ "Ganadores del Premio Sacks – Asociación de Lógica Simbólica" . Archivado del original el 22 de julio de 2019. Consultado el 24 de enero de 2019 .
- ^ "Ganadores del Premio Shoenfield – Asociación de Lógica Simbólica" . Archivado del original el 22 de julio de 2019. Consultado el 21 de febrero de 2019 .
Enlaces externos
- sitio web de ASL
- Revista de lógica simbólica
- La revisión de la lógica simbólica
- La Revista de Lógica y Análisis
- Sociedades científicas de los Estados Unidos
- Organizaciones de lógica matemática
- Lógica filosófica
- Organizaciones filosóficas
- Organizaciones fundadas en 1936