Filosofía de la matemática: logicismo, formalismo, intuicionismo y el teorema de Gödel

Cuando un matemático afirma que 2 + 2 = 4, parece decir algo indudablemente verdadero. Pero ¿qué hace exactamente que esa afirmación sea verdadera? ¿Existe el número 2 en algún lugar — en una Forma platónica, como símbolo sobre el papel, o como construcción de la mente? ¿Y cómo llegamos a conocer verdades matemáticas sin necesitar observar ningún hecho empírico? Estas preguntas, de apariencia inocente, constituyen el corazón de uno de los campos más exigentes de la filosofía: la filosofía de la matemática. En los siglos XIX y XX dejaron de ser especulación marginal para convertirse en urgencia intelectual, desencadenando una de las crisis más fecundas de la historia del pensamiento — una crisis cuyas reverberaciones siguen moldeando la lógica, la computación y la filosofía de la mente contemporáneas.

1. Las dos grandes preguntas: ontología y epistemología

La filosofía de la matemática gira en torno a dos ejes que se entrelazan sin confundirse del todo.

La pregunta ontológica indaga sobre la naturaleza de los objetos matemáticos: ¿existen los números, los conjuntos, las funciones, las figuras geométricas? Y si existen, ¿en qué sentido? El platonismo matemático (o realismo matemático) responde afirmativamente: los objetos matemáticos existen de modo independiente de la mente humana y del mundo físico, habitando un dominio abstracto y eterno. Los matemáticos descubren teoremas; no los inventan. Por el contrario, el nominalismo niega que existan entidades abstractas — solo existen cosas particulares y concretas; los “números” son meros nombres útiles, ficciones convenientes. El ficcionalismo de Hartry Field, desarrollado en Science Without Numbers (1980), radicaliza esta posición: los enunciados matemáticos son literalmente falsos (pues presuponen entidades inexistentes), pero son instrumentalmente útiles para la ciencia, del mismo modo en que las ficciones literarias pueden ser útiles sin ser verdaderas.

La pregunta epistemológica interroga cómo conocemos las verdades matemáticas. Parecen ser a priori — independientes de la experiencia sensible — y necesarias — no podrían ser falsas en ningún mundo posible. (Para la distinción entre conocimiento a priori y a posteriori, véase el artículo sobre conocimiento a priori y a posteriori.) Pero si los objetos matemáticos son abstractos y no están causalmente relacionados con nosotros, ¿cómo los alcanza la mente? Paul Benacerraf formuló esta tensión con precisión quirúrgica en “Mathematical Truth” (1973): una semántica realista — que trata los enunciados matemáticos como verdaderos acerca de objetos reales — entra en conflicto con cualquier epistemología naturalista que exija alguna conexión causal entre el sujeto cognoscente y los objetos conocidos. El dilema de Benacerraf sigue siendo un punto de referencia ineludible en el debate contemporáneo.

2. El platonismo de Frege y el proyecto logicista

A finales del siglo XIX, Gottlob Frege emprendió la respuesta filosófica más ambiciosa al problema de los fundamentos de la matemática: demostrar que la aritmética es reducible a la lógica pura. Este proyecto recibió el nombre de logicismo — la tesis de que las verdades aritméticas son, en el fondo, verdades lógicas.

Frege partió de la insatisfacción con las justificaciones disponibles para los números. En Die Grundlagen der Arithmetik (1884), argumentó que los números no son propiedades de objetos físicos ni construcciones psicológicas; son objetos abstractos — extensiones de conceptos. El cero es la extensión del concepto “no idéntico a sí mismo”; el uno es la extensión del concepto “idéntico a cero”; y así sucesivamente. Para ejecutar la derivación, Frege había creado ya en Begriffsschrift (1879) una notación de lógica de predicados rigurosa — con cuantificadores, variables y funciones — que dejó atrás la silogística aristotélica y fundó la lógica moderna.

El proyecto alcanzó su forma más completa en Grundgesetze der Arithmetik (vol. I, 1893; vol. II, 1903). Pero ese mismo año en que el segundo volumen estaba a punto de publicarse, Bertrand Russell le envió a Frege una carta con un descubrimiento perturbador.

3. La paradoja de Russell y el derrumbe de los fundamentos

En 1901, Russell descubrió una contradicción en el corazón de la teoría de conjuntos utilizada por Frege. El sistema de Frege permitía formar el conjunto de todos los conjuntos que satisficieran cualquier condición bien definida. Russell aplicó esta regla al concepto “conjunto que no es miembro de sí mismo” y obtuvo la paradoja que lleva su nombre: si ese conjunto existe, pertenece a sí mismo si y solo si no pertenece a sí mismo — una contradicción lógica ineludible.

Russell comunicó la paradoja a Frege en una carta de junio de 1902. La respuesta de Frege, en el apéndice apresurado del segundo volumen de las Grundgesetze, es uno de los documentos más conmovedores de la historia de la filosofía: reconoció que la paradoja sacudía el cimiento sobre el que había construido la aritmética, sin poder ofrecer en ese momento una solución satisfactoria. El logicismo fregiano, en su formulación original, estaba comprometido.

Russell y Alfred North Whitehead pasaron años reconstruyendo los fundamentos sobre bases más seguras. El resultado fueron los tres volúmenes de Principia Mathematica (1910–1913), que introdujeron la teoría de tipos: las entidades se ordenan en una jerarquía de tipos (individuos, clases de individuos, clases de clases…), y la formación de conjuntos debe respetar esa jerarquía, bloqueando la paradoja. El precio fue una enorme complejidad técnica: la derivación del simple enunciado “1 + 1 = 2” ocupa cientos de páginas. Los Principia representaron el intento más monumental de salvar el logicismo, aunque al costo de axiomas adicionales (como el Axioma de Reducibilidad y el Axioma del Infinito) que no parecen ser verdades puramente lógicas.

4. El formalismo de Hilbert

Mientras los logicistas intentaban reducir la matemática a la lógica, el matemático alemán David Hilbert proponía una solución de naturaleza diferente. Para Hilbert, la cuestión no era de qué hablaba la matemática, sino cómo funcionaba: la matemática debía entenderse como la manipulación de símbolos formales según reglas explícitas. Una teoría matemática es un conjunto de axiomas y reglas de deducción; la “verdad” interna consiste en derivabilidad formal.

El Programa de Hilbert (Hilbertprogramm), desarrollado en la década de 1920, tenía un objetivo preciso: probar, mediante métodos finitarios (es decir, usando solo razonamiento sobre objetos finitos y concretos), que los sistemas formales de la matemática — incluida la aritmética y la teoría de conjuntos — son consistentes (libres de contradicción). La distinción central era entre matemática “real” (enunciados sobre objetos finitos y concretos, comprensibles intuitivamente) y matemática “ideal” (enunciados sobre infinitos y entidades abstractas), que serían herramientas útiles sin compromiso ontológico directo. Siempre que la adición de elementos ideales no produjera contradicciones, su uso estaría justificado.

Hilbert expresó su optimismo con una frase memorable: “nadie nos expulsará del paraíso que Cantor ha creado” — refiriéndose a la teoría de conjuntos infinitos de Georg Cantor, que algunos matemáticos (en especial los intuicionistas) querían rechazar como matemáticamente ilegítima. Para Hilbert, el rigor formal bastaba para garantizar la solidez del edificio matemático.

5. El intuicionismo de Brouwer

La tercera gran escuela surgió de la insatisfacción radical con los supuestos compartidos por logicistas y formalistas. El matemático holandés L. E. J. Brouwer, fundador del intuicionismo, argumentó que la matemática es una actividad de construcción mental, anterior a cualquier lenguaje o sistema formal. Los objetos matemáticos no existen independientemente de la mente; son construidos por la intuición, cuyo fundamento es la intuición pura del tiempo — en eco a Kant, pero con consecuencias mucho más radicales.

La implicación más controvertida del intuicionismo concierne al principio del tercero excluido: la ley lógica que afirma que, para cualquier proposición P, o bien P es verdadera o bien ¬P (la negación de P) es verdadera. En la lógica clásica, esa ley es universalmente válida y permite las demostraciones por reducción al absurdo (demostrar P mostrando que ¬P lleva a contradicción, sin construir P explícitamente). Brouwer rechazó el principio del tercero excluido para totalidades infinitas: una proposición sobre infinitos solo puede afirmarse como verdadera cuando existe una construcción mental efectiva que la demuestre; afirmar que P o ¬P sin tal construcción es ilegítimo.

Esta posición tiene costos concretos: partes significativas de la matemática clásica — incluidas muchas demostraciones del análisis real — dejan de ser válidas por depender de razonamientos no constructivos. Arend Heyting formalizó la lógica intuicionista en los años 1930, convirtiéndola en un sistema riguroso comparable a la lógica clásica: la lógica intuicionista es estrictamente más débil (menos principios son válidos en ella), y la diferencia central es precisamente la ausencia del tercero excluido irrestricto.

El intuicionismo sigue siendo una posición minoritaria frente a la práctica matemática corriente, pero ha ejercido una influencia duradera en la lógica constructiva, la teoría de la demostración y — décadas después — la semántica de los lenguajes de programación funcional.

6. El golpe de Gödel: los teoremas de incompletud

En 1931, el lógico austríaco Kurt Gödel (1906–1978) publicó un artículo titulado Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I que transformó para siempre la filosofía de la matemática y la lógica.

El Primer Teorema de Incompletud de Gödel demuestra: todo sistema formal consistente que sea suficientemente expresivo para capturar la aritmética elemental de los números naturales contiene necesariamente proposiciones que no pueden ser probadas ni refutadas dentro del propio sistema. La demostración emplea una estrategia de autorreferencia de extraordinaria ingeniosidad: Gödel codificó la propia sintaxis del sistema formal mediante números naturales (la “gödelización” o numeración de Gödel), construyendo entonces una sentencia que, traducida, afirma “No soy demostrable en este sistema”. Si el sistema pudiera probar esa sentencia, sería inconsistente; como no puede probarla, la sentencia es verdadera — pero indecidible.

El Segundo Teorema de Incompletud se sigue como corolario: ningún sistema formal consistente suficientemente poderoso puede probar su propia consistencia usando solo recursos internos al propio sistema. Este resultado golpeó directamente el Programa de Hilbert: la demostración finitaria de consistencia que Hilbert ambicionaba es, en principio, imposible — pues tal demostración constituiría exactamente la prueba de consistencia que el segundo teorema prohíbe, a menos que el sistema sea en efecto inconsistente.

Es importante ser precisos sobre lo que los teoremas de Gödel muestran y lo que no muestran. No refutan la matemática ni prueban que la matemática sea “inconsistente”. Muestran que, dentro de sistemas formales suficientemente ricos, la verdad y la demostrabilidad no coinciden: existen verdades matemáticas que trascienden cualquier sistema axiomático fijo. Tampoco implican que la matemática sea irracional o que el rigor sea imposible — solamente que ningún sistema formal cerrado agota la totalidad de las verdades aritméticas.

El impacto de los teoremas sobre el Programa de Hilbert fue técnicamente devastador, pero no vació el formalismo como filosofía: aún se puede sostener que la práctica matemática consiste en manipulación formal, reconociendo simplemente que ningún sistema único es completo.

7. Desarrollos contemporáneos

La crisis de los fundamentos y los teoremas de Gödel abrieron un vasto territorio de debates que se prolonga hasta hoy.

El argumento de la indispensabilidad de Willard Van Orman Quine y Hilary Putnam ofrece una defensa pragmática del platonismo matemático: si las mejores teorías científicas cuantifican indispensablemente sobre entidades matemáticas (números, funciones, conjuntos), entonces tenemos buenas razones para creer que esas entidades existen, del mismo modo que creemos en la existencia de los electrones porque la física los postula. La matemática queda confirmada empíricamente de manera indirecta, junto con las teorías científicas que la utilizan. Para las cuestiones subyacentes de lenguaje, referencia y compromiso ontológico, véase el artículo sobre filosofía del lenguaje.

El ficcionalismo de Hartry Field (Science Without Numbers, 1980) responde al argumento de la indispensabilidad intentando mostrar que la física puede reformularse sin cuantificar sobre entidades matemáticas — la matemática es un instrumento conservativo (no añade consecuencias observacionales), no un compromiso ontológico genuino.

El estructuralismo matemático, desarrollado por Stewart Shapiro y Michael Resnik en las décadas de 1980–1990, propone que la matemática no habla de objetos aislados sino de estructuras: el número 2 no es una entidad con naturaleza intrínseca, sino la posición ocupada en cualquier sistema que satisfaga los axiomas de la aritmética. Lo que importa son las relaciones entre posiciones, no las posiciones en sí. Este enfoque evita algunas dificultades del platonismo clásico sin renunciar al realismo sobre estructuras.

Ludwig Wittgenstein ofreció una perspectiva radicalmente diferente: en sus notas sobre los fundamentos de la matemática (publicadas póstumamente como Remarks on the Foundations of Mathematics), rechazó la idea de que los teoremas de Gödel revelan un ámbito de verdades matemáticas independientes de la demostración, argumentando que la propia noción de “verdad matemática” solo tiene sentido dentro de prácticas de demostración. La posición de Wittgenstein es controvertida y ha sido leída de maneras muy distintas por la literatura secundaria.

El problema de Gettier — la clásica objeción a la definición de conocimiento como creencia verdadera justificada — tiene un eco curioso en la filosofía de la matemática: podemos tener creencias matemáticas verdaderas y justificadas (por demostraciones formales) que, a la luz de los resultados de Gödel, no capturan la totalidad de la verdad matemática. El artículo sobre el problema de Gettier explora esta estructura epistemológica más ampliamente.

8. Balance: la crisis que no terminó

La crisis de los fundamentos que se desplegó entre 1879 (el Begriffsschrift de Frege) y 1931 (los teoremas de Gödel) no arrojó una “solución” unívoca. El platonismo, el nominalismo, el logicismo, el formalismo y el intuicionismo siguen siendo posiciones vivas, cada una captando intuiciones genuinas sobre la naturaleza de la matemática.

Lo que permanece como herencia irreductible es la claridad de las preguntas. Los matemáticos pueden proseguir su trabajo sin preocuparse por la ontología — pero quien quiera saber qué es la matemática, por qué describe tan bien el mundo físico y cómo la mente humana accede a verdades necesarias, no puede escapar de las cuestiones que Frege, Brouwer, Hilbert y Gödel plantearon con una precisión sin precedentes. La filosofía de la matemática es, en ese sentido, el lugar donde la lógica, la epistemología y la metafísica confluyen de la manera más exigente y más bella.

Lecturas esenciales

• Gottlob Frege, Die Grundlagen der Arithmetik (1884). Traducción española: Los fundamentos de la aritmética, ed. Laia / UNAM.
• Bertrand Russell y Alfred North Whitehead, Principia Mathematica (3 vols., 1910–1913).
• Bertrand Russell, Introduction to Mathematical Philosophy (1919). Trad. española: Introducción a la filosofía matemática, ed. Paidós.
• Paul Benacerraf, “Mathematical Truth”, The Journal of Philosophy 70 (1973), pp. 661–679.
• Paul Benacerraf y Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2.ª ed., Cambridge University Press, 1983).
• Hartry Field, Science Without Numbers: A Defence of Nominalism (Blackwell, 1980; 2.ª ed. Oxford University Press, 2016).
• Stewart Shapiro, Philosophy of Mathematics: Structure and Ontology (Oxford University Press, 1997).
• Ernest Nagel y James R. Newman, El teorema de Gödel (trad. española, ed. Tecnos).
• Imre Lakatos, Pruebas y refutaciones (trad. española, ed. Alianza).

← Artículos