Agenda

Seminario de Lógica Matemática: Complejidad de Kolmogorov y una demostración del Teorema de Gödel
08/may

📌 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.