escuela de filosofía de la matemática (Brouwer, Heyting), caracterizada por la opinión de que los números son construcciones mentales; se apoya en una aritmética restringida y en una lógica no estándar.
(Haack, 1978).
En filosofía de las matemáticas, Intuicionismo o Neointuicionismo (contrario a preintuicionismo), es una aproximación a las matemáticas a partir de una visión mental y constructiva. Considera todo objeto matemático como producto de la mente humana, por ende, la existencia de un objeto es equivalente a la posibilidad de su construcción.
Esto contrasta con el enfoque clásico, que formula que la existencia de un objeto puede ser demostrada refutando su falsedad. Para los intuicionistas esto no es válido; la refutación de la falsedad de un objeto matemático no significa que es posible hallar una prueba constructiva de su existencia. Por consiguiente, el Intuicionismo es una variedad del Constructivismo matemático, aunque no son el mismo concepto.
Si los objetos son meras construcciones mentalesara para el Intuicionismo la validez de un enunciado matemático es equivalente a haber sido probado. Esto significa que un enunciado matemático no tiene el mismo significado para un intuicionista que para un matemático clásico.
Por ejemplo, decir A o B, para un intuicionista significa que A o B pueden ser probados. En particular la Ley de Tercero Excluido o Principio de Bivalencia, A ∨ ~A, no es válida por el hecho de que no se puede probar la declaración A o su negación.
El Intuicionismo también rechaza la abstracción del infinito; no considera asignarle a algún conjunto dado entidades infinitas, como el campo de los números naturales, o a una secuencia arbitraria de números racionales. Esto requiere la reconstrucción de los fundamentos de la Teoría de Conjuntos y el Cálculo como la Teoría Constructivista de Conjuntos y el Análisis Constructivo respectivamente.
(Wikipedia).