En la filosofía de las matemáticas , el intuicionismo , o neointuicionismo (opuesto al preintuicionismo ), es un enfoque en el que las matemáticas se consideran puramente el resultado de la actividad mental constructiva de los humanos en lugar del descubrimiento de principios fundamentales que se afirma que existen en una realidad objetiva. [1] Es decir, la lógica y las matemáticas no se consideran actividades analíticas en las que se revelan y aplican propiedades profundas de la realidad objetiva, sino que se consideran la aplicación de métodos internamente consistentes utilizados para realizar construcciones mentales más complejas, independientemente de su posible existencia independiente en una realidad objetiva.
La característica distintiva fundamental del intuicionismo es su interpretación de lo que significa que un enunciado matemático sea verdadero. En el intuicionismo original de Brouwer , la verdad de un enunciado matemático es una afirmación subjetiva: un enunciado matemático corresponde a una construcción mental, y un matemático puede afirmar la verdad de un enunciado solo verificando la validez de esa construcción por intuición . La vaguedad de la noción intuicionista de verdad a menudo conduce a malas interpretaciones sobre su significado. Kleene definió formalmente la verdad intuicionista desde una posición realista, pero Brouwer probablemente rechazaría esta formalización por carecer de sentido, dado su rechazo de la posición realista/platónica. Por lo tanto, la verdad intuicionista sigue estando algo mal definida. Sin embargo, debido a que la noción intuicionista de verdad es más restrictiva que la de las matemáticas clásicas, el intuicionista debe rechazar algunos supuestos de la lógica clásica para asegurarse de que todo lo que prueba es de hecho intuicionistamente verdadero. Esto da lugar a la lógica intuicionista .
Para un intuicionista, la afirmación de que existe un objeto con ciertas propiedades es una afirmación de que se puede construir un objeto con esas propiedades. Cualquier objeto matemático se considera un producto de una construcción de una mente y, por lo tanto, la existencia de un objeto es equivalente a la posibilidad de su construcción. Esto contrasta con el enfoque clásico, que afirma que la existencia de una entidad puede probarse refutando su no existencia. Para el intuicionista, esto no es válido; la refutación de la no existencia no significa que sea posible encontrar una construcción para el objeto putativo, como se requiere para afirmar su existencia. Como tal, el intuicionismo es una variedad del constructivismo matemático ; pero no es el único tipo.
La interpretación de la negación es diferente en la lógica intuicionista que en la lógica clásica. En la lógica clásica, la negación de un enunciado afirma que el enunciado es falso ; para un intuicionista, significa que el enunciado es refutable . [2] Por lo tanto, existe una asimetría entre un enunciado positivo y uno negativo en el intuicionismo. Si un enunciado P es demostrable, entonces P ciertamente no puede ser refutable. Pero incluso si se puede demostrar que P no puede ser refutado, esto no constituye una prueba de P. Por lo tanto, P es un enunciado más fuerte que no-no-P .
De manera similar, afirmar que A o B son ciertas, para un intuicionista, es afirmar que A o B pueden ser probadas . En particular, la ley del tercio excluido , " A o no A ", no se acepta como un principio válido. Por ejemplo, si A es algún enunciado matemático que un intuicionista aún no ha probado o refutado, entonces ese intuicionista no afirmará la verdad de " A o no A ". Sin embargo, el intuicionista aceptará que " A y no A " no pueden ser verdaderas. Por lo tanto, los conectivos "y" y "o" de la lógica intuicionista no satisfacen las leyes de De Morgan como lo hacen en la lógica clásica.
La lógica intuicionista sustituye la verdad abstracta por la constructibilidad y se asocia con una transición de la prueba de la teoría de modelos a la verdad abstracta en las matemáticas modernas . El cálculo lógico preserva la justificación, en lugar de la verdad, a través de las transformaciones que producen proposiciones derivadas. Se ha considerado que brinda apoyo filosófico a varias escuelas de filosofía, en particular al antirrealismo de Michael Dummett . Por lo tanto, contrariamente a la primera impresión que su nombre podría transmitir, y como se observa en enfoques y disciplinas específicos (por ejemplo, los conjuntos y sistemas difusos ), las matemáticas intuicionistas son más rigurosas que las matemáticas fundadas convencionalmente, donde, irónicamente, los elementos fundamentales que el intuicionismo intenta construir/refutar/refundar se toman como dados intuitivamente. [ cita requerida ]
Entre las diferentes formulaciones del intuicionismo, existen varias posiciones diferentes sobre el significado y la realidad del infinito.
El término infinito potencial se refiere a un procedimiento matemático en el que hay una serie interminable de pasos. Después de completar cada paso, siempre hay otro paso por realizar. Por ejemplo, considere el proceso de contar:
El término infinito actual se refiere a un objeto matemático completo que contiene un número infinito de elementos. Un ejemplo es el conjunto de números naturales , .
En la formulación de la teoría de conjuntos de Cantor, hay muchos conjuntos infinitos diferentes, algunos de los cuales son mayores que otros. Por ejemplo, el conjunto de todos los números reales es mayor que , porque cualquier intento de poner los números naturales en correspondencia uno a uno con los números reales siempre fracasará: siempre habrá un número infinito de números reales "sobrantes". Cualquier conjunto infinito que pueda ponerse en correspondencia uno a uno con los números naturales se dice que es "contable" o "numerable". Los conjuntos infinitos mayores que esto se dicen que son "incontables". [3]
La teoría de conjuntos de Cantor dio origen al sistema axiomático de la teoría de conjuntos de Zermelo-Fraenkel (ZFC), que hoy constituye el fundamento más común de las matemáticas modernas . El intuicionismo se creó, en parte, como reacción a la teoría de conjuntos de Cantor.
La teoría constructiva de conjuntos moderna incluye el axioma de infinito de ZFC (o una versión revisada de este axioma) y el conjunto de números naturales. La mayoría de los matemáticos constructivos modernos aceptan la realidad de los conjuntos infinitos numerables (sin embargo, véase Alexander Esenin-Volpin para un contraejemplo).
Brouwer rechazó el concepto de infinito actual, pero admitió la idea de infinito potencial.
Según Weyl 1946, 'Brouwer dejó en claro, como creo que está más allá de toda duda, que no hay evidencia que respalde la creencia en el carácter existencial de la totalidad de todos los números naturales... la secuencia de números que crece más allá de cualquier etapa ya alcanzada al pasar al siguiente número, es una multiplicidad de posibilidades abiertas hacia el infinito; permanece para siempre en el estado de creación, pero no es un reino cerrado de cosas existentes en sí mismas. El hecho de que convirtamos ciegamente una en otra es la verdadera fuente de nuestras dificultades, incluidas las antinomias, una fuente de naturaleza más fundamental que la que indicaba el principio del círculo vicioso de Russell. Brouwer nos abrió los ojos y nos hizo ver hasta qué punto las matemáticas clásicas, alimentadas por una creencia en el 'absoluto' que trasciende todas las posibilidades humanas de realización, van más allá de las afirmaciones que pueden reclamar un significado real y una verdad fundada en la evidencia.
— Kleene 1991, págs. 48-49
La historia del intuicionismo se remonta a dos controversias en las matemáticas del siglo XIX.
La primera de ellas fue la invención de la aritmética transfinita por Georg Cantor y su posterior rechazo por parte de varios matemáticos destacados, entre ellos el más famoso, su maestro Leopold Kronecker , un finitista confirmado .
El segundo de ellos fue el intento de Gottlob Frege de reducir todas las matemáticas a una formulación lógica a través de la teoría de conjuntos, y su descarrilamiento por parte de un joven Bertrand Russell , el descubridor de la paradoja de Russell . Frege había planeado una obra definitiva en tres volúmenes, pero justo cuando el segundo volumen estaba a punto de imprimirse, Russell le envió una carta en la que describía su paradoja, que demostraba que una de las reglas de autorreferencia de Frege era contradictoria en sí misma. En un apéndice del segundo volumen, Frege reconoció que uno de los axiomas de su sistema conducía de hecho a la paradoja de Russell. [4]
Según cuenta la historia, Frege cayó en una depresión y no publicó el tercer volumen de su obra como había planeado. Para más información, véase Davis (2000), capítulos 3 y 4: Frege: From Breakthrough to Despair y Cantor: Detour through Infinity. Véase van Heijenoort para las obras originales y el comentario de van Heijenoort.
Estas controversias están estrechamente vinculadas, ya que los métodos lógicos utilizados por Cantor para demostrar sus resultados en aritmética transfinita son esencialmente los mismos que los utilizados por Russell para construir su paradoja. Por lo tanto, la forma en que uno decide resolver la paradoja de Russell tiene implicaciones directas sobre el estatus que se le otorga a la aritmética transfinita de Cantor.
A principios del siglo XX, LEJ Brouwer representaba la postura intuicionista y David Hilbert la postura formalista (véase van Heijenoort). Kurt Gödel ofrecía opiniones que se denominaban platónicas (véanse varias fuentes sobre Gödel). Alan Turing considera: " sistemas no constructivos de lógica en los que no todos los pasos de una prueba son mecánicos, sino que algunos son intuitivos". [5] Más tarde, Stephen Cole Kleene presentó una consideración más racional del intuicionismo en su Introducción a las metamatemáticas (1952). [6]
Nicolas Gisin adopta las matemáticas intuicionistas para reinterpretar la indeterminación cuántica , la teoría de la información y la física del tiempo . [7]
Traducción parcial: Montgomery Furth, 1964. The Basic Laws of Arithmetic. Univ. of California Press. Traducción de secciones seleccionadas en Frege (1960). Traducción completa de ambos volúmenes: Philip A. Ebert y Marcus Rossberg, 2013, Basic Laws of Arithmetic. Oxford University Press.
Traducción de secciones seleccionadas en Frege (1960). Traducción completa de ambos volúmenes: Philip A. Ebert y Marcus Rossberg, 2013, Basic Laws of Arithmetic. Prensa de la Universidad de Oxford.
