La intuición lógica , o la intuición matemática o la intuición racional , es una serie de previsión instintiva, conocimiento y sabiduría a menudo asociados con la capacidad de percibir la verdad lógica o matemática , y la capacidad de resolver desafíos matemáticos de manera eficiente. [1] Los seres humanos aplican la intuición lógica para probar teoremas matemáticos , [2] validar argumentos lógicos, [3] desarrollar algoritmos y heurísticas , [4] y en contextos relacionados donde se involucran desafíos matemáticos. [5]La capacidad de reconocer la verdad lógica o matemática e identificar métodos viables puede variar de persona a persona, e incluso puede ser el resultado del conocimiento y la experiencia, que están sujetos al cultivo. [6] Es posible que la habilidad no se pueda realizar en un programa de computadora por otros medios que no sean la programación genética o la programación evolutiva . [7]
Platón y Aristóteles consideraban la intuición como un medio para percibir ideas, lo suficientemente significativo como para que, para Aristóteles, la intuición comprendiera el único medio para conocer principios que no están sujetos a discusión . [8]
Henri Poincaré distinguió la intuición lógica de otras formas de intuición . En su libro El valor de la ciencia , señala que:
... [H] ay muchos tipos de intuición. He dicho cuánto difiere la intuición del número puro, de donde procede la inducción matemática rigurosa, de la intuición sensible de la que la imaginación, propiamente dicha, es el principal contribuyente. [9]
El pasaje continúa asignando dos roles a la intuición lógica: permitirle elegir qué ruta seguir en la búsqueda de la verdad científica y permitirle comprender los desarrollos lógicos. [10]
Bertrand Russell , aunque crítico con el misticismo intuitivo , [11] señaló que el grado en que una verdad es evidente según la intuición lógica puede variar de una situación a otra, y afirmó que algunas verdades evidentes son prácticamente infalibles :