Abstract

Tras una introducción histórica al intuicionismo como filosofía de las matemáticas, se introduce la lógica intuicionista. Comenzamos desde sus fundamentos según la interpretación BHK, y continuamos con las reglas del cálculo de deducción natural adecuado. Se discuten las diferencias con la lógica clásica estándar que la caracterizan. El tema siguiente lo constituyen los modelos de Kripke para la lógica intuicionista, y tras él se tratan la aritmética y el análisis intuicionista. Finalmente se explican las secuencias de elección libre de Brouwer. Hay una corta discusión del concepto de realizabilidad y del papel de la lógica intuicionista en los sistemas formales intuicionistas. El artículo concluye con una nueva clase de juegos para el cálculo intuicionista proposicional introducido recientemente por Mezhirov.