La Escuela de Lógica y Conjuntos es un evento organizado y auspiciado por diferentes universidades públicas mexicanas, dirigido a estudiantes de licenciatura y posgrado interesados en estas disciplinas y las que les son adyacentes.
En la actualidad, bajo el nombre de “lógica matemática” se cobija un numeroso grupo de áreas de investigación, que van desde el estudio de los modos correctos de razonamiento hasta el examen de los fundamentos de las matemáticas. Sin lugar a dudas, una de las causas de la renovación de la lógica fue su incorporación a las matemáticas, con la consiguiente adopción de sus métodos y procedimientos: una fuerte simbolización, el uso de conceptos mediante definiciones, novedosos métodos de prueba y el recurso al método axiomático. Esta incorporación estimuló el desarrollo de nuevas áreas de investigación como, por ejemplo, la teoría de modelos, la teoría de la demostración y las ciencias de la computación. Fue justo al investigar los fundamentos de la aritmética y la teoría de conjuntos y su formalización que la lógica logró sus resultados más sobresalientes: los teoremas limitativos y la prueba de independencia de la Hipótesis del continuo. Otra característica del desarrollo de la lógica contemporánea ha sido su utilización en la solución de problemas pertenecientes a otras áreas de la matemática como, por ejemplo, el álgebra, la topología y el análisis matemático, o en la construcción de lenguajes de programación e incluso la electrónica, donde se le aplica en el diseño de circuitos eléctricos.
Actualmente en México existe una comunidad grande y creciente de estudiantes, profesores e investigadores interesados en la lógica matemática, por lo que la vocación de la ELC es constituirse en un espacio de interacción de esta comunidad, en el que se muestre el trabajo y se promueva la colaboración entre sus miembros.
La 1ELC se llevó a cabo en julio de 2012 en la Ciudad de Puebla, y en ella se ofrecieron dos minicursos: “Máquinas de Turing, una introducción a la incomputabilidad”, por el Dr. Carlos Torres Alcaráz y “Teoría de Ramsey infinita “ por el Dr. Carlos Azarel Martínez Ranero, entonces becario posdoctoral en el CCM-UNAM, y actualmente investigador de la Universidad de Concepción, en Chile.
La 2ELC se llevó a cabo en el mes de noviembre de 2013 en las instalaciones del Centro de Ciencias Matemáticas, ubicado en el Campus Morelia de la UNAM, y en ella se impartieron los minicursos “Introducción a la Teoría Descriptiva de Conjuntos”, por el Dr. Carlos Uzcátegui de la Universidad de los Andes en Mérida, Venezuela; y “Una introducción a las Lógicas Modales Proposicionales”, por el Dr. Max Fernández de Castro, de la Universidad Autónoma Metropolitana.
La 3elc se desarrolló en noviembre de 2014 en la ciudad de Zacatlán, Puebla, y en esta se impartieron los cursos “The strength of set and class theory for algebraic geometry and homotopy “ por el Profesor Colin McLarty de la Case Western Reserve University; “Interacción entre ultrafiltros y teoremas de tipo Ramsey” por David José Fernández Bretón, entonces Candidato a Doctor por la York University en Toronto, Canadá; y “Campos no usuales” por el Dr. Rigoberto Vera Mendoza de la Universidad Michoacana de San Nicolás de Hidalgo.
La 4elc se llevará a cabo del 7 al 9 de diciembre de 2015 en el Edificio Amoxcalli de la Facultad de Ciencias de la UNAM y contará con la presencia del Dr. Antonio Montalban, de la University of California, Berkeley, quien impartirá un curso corto sobre “Matemáticas Computables”.