Oración 1: 1 Nociones Fundamentales La lógica intuicionista fue desarrollada por Arend Heyting para proveer una base solida al programa intuicionista desarrollada por Brouwer, el cual, como respuesta a las paradojas de la teoŕıa de conjuntos surgidas a principio del siglo XX, aceptaba como pruebas matemáticas válidas sólo aquellas que haćıan una construcción explicita de lo que se queŕıa mostrar (concepto vago que los trabajos de Heyting hicieron preciso)
Oración 2: s de esta postura la lógica intuicionista no aceptada el principio del tercio excluso, porque hasta no hacer una prueba de una afirmación o su negación no podemos afirmar que ella es verdadera o falsa, ni el de la doble negación, porque hacer una prueba de que la negación de una proposición es falsa no nos da una prueba contructivista de la afirmación
Conector: como consecuencia
Relación: reasoning
Género: books