La Noción de Prueba en la Lógica Intuitiva

Sinopsis

Heyting, de la escuela intuicionista, desarrolla la lógica intuicionista como una alternativa a la lógica clásica, basándose en la idea de que la existencia de un objeto matemático debe estar ligada a su construibilidad. Su trabajo explora la justificación de las reglas lógicas.