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

Heyting continúa desarrollando su idea de intuicionismo, justificando la lógica a través de construcciones mentales en un contexto más formal.

En este trabajo, Heyting formaliza la lógica intuicionista, abordando la construcción matemática como un concepto central en su teoría.

Este libro presenta las bases del intuicionismo, enfatizando cómo la demostración en la lógica intuitiva se relaciona con las construcciones concretas.

Heyting ofrece una exposición sistemática de los fundamentos intuicionistas, enlazando la lógica intuicionista con su construcción matemática a través de un análisis claro.

Brouwer destaca la necesidad de construir mentalmente los objetos matemáticos, alineándose con la premisa de Heyting sobre la existencia ligada a la construibilidad.

Heyting introduce la lógica constructiva, que rechaza el principio del tercero excluido, defendiendo la construcción explícita de objetos matemáticos como necesaria para la existencia.