Agenda
08/may
![](https://imfd.cl/wp-content/uploads/2024/05/photo_2024-05-07_12-38-31.jpg)
![](https://imfd.cl/wp-content/themes/understrap-child/images/evento-icono.png)
📌 Este miércoles 8 de mayo se realizará un nuevo Seminario de Lógica Matemática, que en esta ocasión será dictado por Pablo Barceló, director del IMC e investigador del Instituto Milenio @fundamentosdelosdatos y el Centro Nacional de Inteligencia Artificial (CENIA).
👨🏫 El seminario está dirigido a estudiantes de pregrado y posgrado interesados en los fundamentos de la matemática, teoría de modelos y teoría de computabilidad. El objetivo es profundizar en conceptos y teoremas relacionados con lenguajes formales, lógica algebraica y decidibilidad.
📑 Título: Complejidad de Kolmogorov y una demostración del Teorema de Gödel
𝗔𝗯𝘀𝘁𝗿𝗮𝗰𝘁: Definiremos la noción de complejidad de Kolmogorov de un string y demostraremos que el problema de computar tal complejidad es indecidible. A partir de esto entregaremos los ingredientes básicos para realizar una demostración sencilla del Teorema de Gödel.
📆 8 de mayo
🕓 16:10 horas
📍 Sala Multiusos, primer piso Edificio Felipe Villanueva, Facultad de Matemáticas (@mat.uc.cl), Campus San Joaquín, Universidad Católica de Chile.