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 operador idempotente y a cada demostracion como un punto fijo del correspondiente operador. Usamos una extensión del cálculo-lambda sin tipos como lenguaje para expresar a los operadores y a sus argumentos. Estudiamos esta interpretación primero en el marco de la lógica minimal: demostramos que es correcta e identificamos restricciones adicionales para que resulte ser completa. Extendemos además los resultados al marco de la lógica intuicionista de segundo orden.