Seminario de Lógica Matemática: Complejidad de Kolmogorov y una demostración del Teorema de Gödel
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.
