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).