Eventos

Título: «Demostraciones de una proposición como puntos fijos de un operador idempotente» Director: Dr. Pablo Barenbaum Jurado: - Dr. Santiago Figueira - Dr. Alejandro Petrovich Resumen: En este trabajo exploramos una idea de Dana Scott, de acuerdo con la cual es posible interpretar a cada proposición lógica como un [...]