En filosofía de las matemáticas, el intuicionismo o neointuicionismo (contrario a preintuicionismo) es una aproximación a las matemáticas que considera todo objeto matemático como producto de la mente humana. Así por ejemplo, los números, como los personajes de los cuentos de hadas, no son más que entidades mentales, que no existiría si las mentes humanas no pensaran en ellos.
Como consecuencia de esta concepción, la existencia de un objeto es equivalente a la posibilidad de su construcción. La existencia de un objeto debe ser demostrada en lugar de deducirse de una demostración de la imposibilidad de su no-existencia. Luego, la prueba conocida por reducción al absurdo se vería con sospecha. Esto contrasta con el enfoque clásico, que formula que la existencia de un objeto se puede demostrar 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.
Para el intuicionismo la validez de un enunciado matemático es equivalente a haber sido probado, pues ¿qué otro criterio (diría un intuicionista) puede ser válido si los objetos son meras construcciones mentales? Esto significa que un enunciado matemático no tiene el mismo significado para un intuicionista que para un matemático clásico.
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.
Algunas teorías modernas de la filosofía de las matemáticas niegan la existencia de fundamentos en el sentido original. Algunas teorías tienden a centrarse en la práctica de las matemáticas, y tienen como objetivo describir y analizar el funcionamiento real de los matemáticos como grupo social. Otras tratan de crear una ciencia cognitiva de las matemáticas, se centran en la cognición humana como el origen de la fiabilidad de las matemáticas cuando se aplica al mundo real. Estas teorías propondrían encontrar fundamentos sólo en el pensamiento humano, y no en cualquier construcción externa objetiva. La cuestión sigue siendo controvertida
intuicionismo, este, artículo, sección, necesita, referencias, aparezcan, publicación, acreditada, este, aviso, puesto, junio, 2014, filosofía, matemáticas, intuicionismo, neointuicionismo, contrario, preintuicionismo, aproximación, matemáticas, considera, tod. Este articulo o seccion necesita referencias que aparezcan en una publicacion acreditada Este aviso fue puesto el 9 de junio de 2014 En filosofia de las matematicas el intuicionismo o neointuicionismo contrario a preintuicionismo es una aproximacion a las matematicas que considera todo objeto matematico como producto de la mente humana Asi por ejemplo los numeros como los personajes de los cuentos de hadas no son mas que entidades mentales que no existiria si las mentes humanas no pensaran en ellos Como consecuencia de esta concepcion la existencia de un objeto es equivalente a la posibilidad de su construccion La existencia de un objeto debe ser demostrada en lugar de deducirse de una demostracion de la imposibilidad de su no existencia Luego la prueba conocida por reduccion al absurdo se veria con sospecha Esto contrasta con el enfoque clasico que formula que la existencia de un objeto se puede demostrar refutando su falsedad Para los intuicionistas esto no es valido la refutacion de la falsedad de un objeto matematico no significa que es posible hallar una prueba constructiva de su existencia Por consiguiente el intuicionismo es una variedad del constructivismo matematico aunque no son el mismo concepto Para el intuicionismo la validez de un enunciado matematico es equivalente a haber sido probado pues que otro criterio diria un intuicionista puede ser valido si los objetos son meras construcciones mentales Esto significa que un enunciado matematico no tiene el mismo significado para un intuicionista que para un matematico clasico Por ejemplo en logica intuicionista decir A o B significa que A o B pueden ser probados En particular la Ley de Tercero Excluido o Principio de Bivalencia A o A negada no es valida por el hecho de que no se puede probar la declaracion A o su negacion El intuicionismo tambien rechaza la abstraccion del infinito no considera asignarle a algun conjunto dado entidades infinitas como el campo de los numeros naturales o a una secuencia arbitraria de numeros racionales Esto requiere la reconstruccion de los fundamentos de la teoria de conjuntos y el calculo como la teoria constructivista de conjuntos y el analisis constructivo respectivamente Algunas teorias modernas de la filosofia de las matematicas niegan la existencia de fundamentos en el sentido original Algunas teorias tienden a centrarse en la practica de las matematicas y tienen como objetivo describir y analizar el funcionamiento real de los matematicos como grupo social Otras tratan de crear una ciencia cognitiva de las matematicas se centran en la cognicion humana como el origen de la fiabilidad de las matematicas cuando se aplica al mundo real Estas teorias propondrian encontrar fundamentos solo en el pensamiento humano y no en cualquier construccion externa objetiva La cuestion sigue siendo controvertidaIntuicionistas notables EditarLuitzen Egbertus Jan Brouwer Arend Heyting Stephen Cole Kleene Michael Dummett Datos Q10879018Obtenido de https es wikipedia org w index php title Intuicionismo amp oldid 123139558, wikipedia, wiki, leyendo, leer, libro, biblioteca,
