Seminario de Lógica Matemática

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. 

Durante el primer semestre de 2025 estaremos haciendo sesiones de estudio centradas en teoría de la demostración (o proof theory). 
Las reuniones son todos los jueves a las 16:10, en la sala 1 del edificio Rolando Chuaqui. 

El siguiente drive contiene material relativo al desarrollo de las sesiones:

https://drive.google.com/drive/folders/1xAmcDzXu6gQ-THBst1pKOQ5GHlCiHK0I




2024-03-21
16:10hrs.
Renato Lewin. PUC
Algebrización de la Lógica I
Sala 2, Edificio Rolando Chuaqui
Abstract:
Las oraciones de la lógica proposicional clásica verifican una serie de propiedades algebraicas simlilares a las de los números. Esto sugiere hacer un tratamiento algebraico de la lógica. Adelantándose a su tiempo George Boole sentó las bases de este estudio. Ya en el siglo XX, Alfred Tarski hizo la construcción general que asocia este cálculo proposicional con una clase de álgebras que se denominan álgebras de Boole.

En esta charla estudiaremos con cierto detalle esta relación.