Tag Archives: logic

Mirar hacia fuera desde la lógica matemática (Bucaramanga, 10/18)

Días de la Matemática – CEMAT – UIS

Bucaramanga, 17 a 19 de octubre de 2018.

Mirar hacia fuera desde la lógica matemática (un paseo por preguntas de la química matemática)

Resumen – Modelar fenómenos externos a nuestra disciplina nunca es fácil. Requiere “cruzar puentes” a veces difíciles, requiere escuchar preguntas de investigadores de otros campos. La lógica matemática, y en particular su sub-área llamada “teoría de modelos” permiten asomarse a entender un poco a descifrar algunas preguntas planteadas por la física y por la química.
En esta charla miraremos algunas preguntas que han hecho algunos químicos – preguntas sobre la estructura de las sustancias químicas, sobre la tensión entre cálculos cada vez más complejos y (según algunos de ellos) un escaso entendimiento real de preguntas fundamentales. Y usaremos algo de teoría de modelos como “prisma” para abordar algunas de esas preguntas (principalmente debidas al químico suizo de finales del siglo pasado, Hans Primas).
La teoría de modelos recientemente ha indagado las llamadas “estructuras de aproximación” (o estructuras límite) en teoría de números y en física matemática, y también ha permitido entender fenómenos de no-localidad en física matemática. La no-localidad es central en el desarrollo de una versión “interna” de la química matemática, según Primas entre otros autores ya clásicos de esta disciplina.
La conferencia tendrá una estructura de “paseo” por diversas preguntas.

Entre ZFC y HoTT – sobre posibles crisis … (Medellín, 10/18)

Coloquio – Escuela de Matemáticas – Universidad Nacional de Colombia – Medellín

1 de octubre de 2018

Entre ZFC y HoTT – sobre posibles crisis de fundamentos en la matemática

Resumen: Se ha hablado recientemente de una nueva crisis en los fundamentos de la matemática, en relación con la propuesta originada en trabajos de Voevodsky sobre la “teoría homotópica de tipos” (Homotopy Type Theory, mejor conocida por su acrónimo HoTT) y una posible re-fundamentación de la matemática basada en esta. Hace poco más de un siglo hubo otra crisis que finalmente se decantó en la axiomatización de Zermelo y Fraenkel. Daré un panorama de lo qué está pasando realmente en HoTT y con el nuevo Axioma UF (Univalent Foundations), y trataré de poner en perspectiva la pregunta sobre la crisis. Esta charla se ubicará entre los dos extremos conjuntista y “tipo-teórico-homotópico”: el debate sobre el tema ha tenido contribuciones interesantes de Dzamonja (del lado conjuntístico) y Lurie (crítico, desde el lado categórico). Mostraré algo del debate reciente.

Membre du jury of Doctoral Thesis defense (Vienna, 7/18)

Mr. Fernando Gálvez (Univ. de Paris) will defend his doctoral thesis Le débat sur les notions d’objet et de structure mathématiques au sein du structuralisme contemporain : les travaux de Shapiro, Parsons et Hellman. (Director: Marco Panza).

The public defense will be at the University of Vienna (Philosophy Department) on 31 July 2018.

I will participate, as member of the Committee.

Logics underlying Abstract Elementary Classes (Warsaw, 4/18)

 
Abstract: I will first describe Abstract Elementary Classes as a global generalization of Infinitary Logic. I will emphasize constructions such as Galois types, the Representation Theorem and various open problems. In the second half, I will focus on some recent research on logics underlying AECs – with special emphasis on Shelah’s L^1_\kappa logic (satisfying Interpolation and weak remnants of compactness) and the role it plays in controlling Abstract Elementary Classes. This second part contains recent results of research and several open questions.
Logic Seminar, University of Warsaw.