El método axiomático y los cimientos de la verdad matemática

La idea fundamental del método axiomático consiste en partir de un conjunto de enunciados, denominados axiomas, y obtener, a partir de ellos, otros enunciados, llamados teoremas, mediante demostraciones. Una ciencia demostrativa, en su concepción clásica, se refiere a un dominio determinado de objetos y está constituida por enunciados verdaderos, organizados de manera que sus resultados se obtienen deductivamente a partir de ciertos principios fundamentales. Para ello, debe contar con términos primitivos, a partir de los cuales puedan definirse los restantes, y con un conjunto de principios cuya verdad no requiere demostración dentro de la propia ciencia, y desde los cuales se deducen los demás enunciados mediante inferencias lógicas. Esta concepción refleja una determinada visión del método axiomático, en la que los axiomas y los conceptos primitivos están vinculados, desde el comienzo, con el dominio de conocimiento que se pretende estudiar.

Aunque los orígenes del método axiomático no están claramente establecidos, la tradición occidental suele situarlos en la antigua Grecia. Se ha atribuido a Tales de Mileto un papel precursor en la introducción de la exigencia de demostraciones, al que siguieron las contribuciones de los pitagóricos, de Hipócrates de Quíos, de Eudoxo de Cnido y de Platón. Sin embargo, no existe consenso histórico sobre quién introdujo propiamente el método axiomático. En particular, los argumentos dialécticos presentes en los diálogos platónicos no constituyen, por sí mismos, sistemas axiomáticos.

Hacia la segunda mitad del siglo V a. C., probablemente alrededor de 440-430 a. C., Hipócrates de Quíos escribió una obra titulada Elementos. Considerada uno de los primeros intentos conocidos de organizar sistemáticamente los conocimientos geométricos, esta obra reunía proposiciones y demostraciones relativas, principalmente, a la geometría plana. Aunque no se conserva el texto original, su existencia y parte de su contenido se conocen a través de referencias de autores posteriores. En ella se aprecia ya una preocupación por establecer resultados a partir de otros previamente demostrados, lo que constituye un antecedente significativo de la organización axiomático-deductiva de la geometría.

Una de las primeras formulaciones sistemáticas de la ciencia demostrativa se encuentra en los Analíticos segundos (Analytikà Hýstera, Ἀναλυτικὰ Ὕστερα) de Aristóteles, escritos aproximadamente entre 350 y 330 a. C. Esta obra forma parte del conjunto de sus escritos lógicos conocido como el Órganon. En ella, Aristóteles desarrolla una teoría de la ciencia demostrativa que puede sintetizarse en las siguientes ideas:

1. El conocimiento científico requiere demostración. No basta con afirmar que una proposición es verdadera; es necesario justificarla mediante un razonamiento lógico que permita comprender por qué es verdadera.
2. Las demostraciones parten de principios fundamentales. No es posible demostrar todas las afirmaciones, pues ello conduciría a un regreso infinito. Por esta razón, toda ciencia debe partir de ciertos principios primeros que no se demuestran dentro de esa misma ciencia.
3. Las demostraciones tienen una estructura deductiva. A partir de los principios fundamentales se obtienen otras proposiciones mediante razonamientos lógicos, principalmente silogismos.
4. La ciencia busca conocer las causas. Para Aristóteles, el conocimiento científico no consiste únicamente en saber que algo sucede, sino también en comprender por qué sucede y cuáles son sus causas. En este sentido, la demostración científica debe proporcionar una explicación de los hechos.

El ejemplo más representativo de la construcción de un sistema matemático axiomático-deductivo lo constituyen los Elementos de Euclides, escritos hacia el 300 a. C. Esta obra representa un hito fundamental en la formación del pensamiento matemático deductivo. En ella, los conocimientos geométricos acumulados por generaciones anteriores, entre ellas las contribuciones de Hipócrates de Quíos, se organizan en un sistema deductivo estructurado a partir de definiciones, postulados y nociones comunes. Su importancia no reside únicamente en la recopilación y sistematización de los conocimientos geométricos de la Antigüedad, sino, fundamentalmente, en la consolidación de un modelo de construcción del conocimiento basado en el método axiomático y la deducción lógica. Durante más de dos mil años, Elementos  ejerció una influencia decisiva en la enseñanza y el desarrollo de las matemáticas, convirtiéndose en paradigma del rigor y de la organización racional del conocimiento científico.

Albert Einstein, en su ensayo *On the Method of Theoretical Physics*, recogido posteriormente en *Essays in Science* (1934), expresó su admiración por la geometría euclidiana con estas palabras:

"Reverenciamos a la antigua Grecia como la cuna de la ciencia occidental. Allí contempló el mundo por primera vez el milagro de un sistema lógico que avanzaba, paso a paso, con tal precisión que cada una de sus proposiciones resultaba absolutamente indudable: me refiero a la geometría de Euclides. Este admirable triunfo del razonamiento proporcionó al intelecto humano la confianza en sí mismo necesaria para sus posteriores conquistas. Si Euclides no logró encender tu entusiasmo juvenil, entonces no has nacido para ser un pensador científico"

El método axiomático en el siglo XIX

Hasta el siglo XIX, los sistemas axiomáticos se concebían como teorías estrechamente vinculadas a una interpretación concreta del mundo real. Sin embargo, la resolución de un problema milenario abrió el camino hacia una profunda revolución conceptual: el Quinto Postulado de Euclides —aquel que afirma que por un punto exterior a una recta solo pasa una paralela— siempre había sido el eslabón menos intuitivo de la geometría clásica. Durante más de dos milenios, los matemáticos intentaron deducirlo en vano a partir de los cuatro postulados iniciales.La ruptura llegó en el siglo XIX de la mano de Carl Friedrich Gauss, Nikolái Lobachevski y János Bolyai, quienes desafiaron la verdad irrefutable de dicho postulado e imaginaron universos donde pueden existir infinitas paralelas. Más tarde, Bernhard Riemann completó este marco al desarrollar un modelo donde no existe ninguna paralela. Nacían así las geometrías no euclidianas.

El hallazgo transformó por completo el método axiomático. Demostró que los axiomas no eran «verdades absolutas ni evidencias sagradas dictadas por la naturaleza», sino premisas formales e hipotéticas cuya validez reside en su coherencia interna y no en su parecido con la realidad sensible. Esta idea ya había sido anticipada por el matemático portugués José Anastácio da Cunha, quien defendía la libertad de establecer principios hipotéticos a condición de que las conclusiones se dedujeran de ellos con riguroso orden lógico.

A medida que la perspectiva formal se consolidaba hacia el siglo XX, un episodio clave reflejó este cambio de paradigma: el debate entre Gottlob Frege y David Hilbert sobre la naturaleza de los conceptos primitivos. Para Frege, siguiendo a Euclides, los conceptos primitivos debían conservar un significado intuitivo y específico, directamente vinculado al dominio que se intentaba axiomatizar. Hilbert, por el contrario, argumentaba que lo esencial no era el significado intrínseco de los términos, sino las relaciones lógicas que los axiomas establecían entre ellos. Según su famosa máxima, las palabras «punto», «recta» y «plano» podían sustituirse por «mesa», «silla» y «jarra de cerveza» sin alterar la validez del sistema, siempre que se mantuvieran las relaciones formales.

Gottlob Frege (1848 -1925) y David Hilbert (1862 -1943)

Con la postura de Hilbert, el interés matemático se desplazó definitivamente desde el contenido intuitivo de los conceptos hacia la arquitectura de sus relaciones. De este modo, un mismo sistema axiomático podía admitir múltiples interpretaciones y describir estructuras radicalmente distintas de la que motivó su creación. En tal sentido, entre finales del siglo XIX y principios del XX, figuras como Peano, Russell y el propio Hilbert buscaron axiomatizar la totalidad de las matemáticas con el fin de eliminar cualquier ambigüedad o contradicción.

Este cambio impulsó la evolución de la disciplina: de una matemática centrada tradicionalmente en el cálculo de números, funciones y espacio empírico, a una ciencia orientada a la caracterización de estructuras abstractas. Hitos como la teoría de variedades de Riemann, la teoría de grupos nacida de los trabajos de Évariste Galois y la corriente estructuralista promovida por el grupo Bourbaki (junto al propio Hilbert) redefinieron el objetivo de la axiomatización. Su fin no era ya deducir propiedades de un caso particular, sino caracterizar clases enteras de estructuras mediante sus modelos, estudiando todas sus posibles realizaciones.

Así, el sistema axiomático pasó de ser una mera guía deductiva a convertirse en un objeto de estudio metateórico en sí mismo. La investigación matemática comenzó a analizar la independencia de los axiomas, la clasificación de modelos y los teoremas de representación.

Gödel y la redefinición de la Verdad Matemática

Durante el siglo XX, la abstracción axiomática trascendió las fronteras de la geometría y la matemática pura para convertirse en una herramienta metodológica transversal. Destacan los trabajos de J. R. Woodger en la construcción de un cálculo formal aplicado a la biología, así como las propuestas para axiomatizar la teoría sintética de la evolución. De forma paralela, se desarrollaron aplicaciones en la teoría del aprendizaje y los modelos de conducta en psicología, mientras que en la física y las ciencias naturales permitió caracterizar sistemas compatibles con leyes fundamentales y predecir sus consecuencias sin recurrir directamente a la experimentación.

De este modo, el método axiomático dejó de ser un simple repertorio de verdades estáticas para erigirse en la herramienta suprema de abstracción: un lenguaje capaz de estructurar el conocimiento y crear universos lógicos coherentes en prácticamente cualquier campo de la ciencia moderna.

Para que un sistema formal sea considerado conceptualmente sólido, la lógica matemática exige que su conjunto de axiomas se cimenté sobre tres pilares fundamentales: la consistencia, que garantiza que no puedan demostrarse simultáneamente una afirmación y su contraria dentro del mismo sistema; la independencia, la cual asegura que ningún axioma sea redundante ni pueda deducirse a partir de los demás; y la completitud, la meta ideal según la cual toda proposición válida formulada en el sistema debe poder ser demostrada de forma irrefutable como verdadera o falsa.

Kurt Gödel (1906–1978)

No obstante, la búsqueda de un sistema formal definitivo alcanzó su punto de inflexión en 1931 a través de la llamada paradoja de la «Verdad Matemática». A principios del siglo XX, la comunidad científica confiaba en que las matemáticas constituían un edificio absolutamente completo, consistente y autosostenible. Sin embargo, el lógico Kurt Gödel sacudió los cimientos del pensamiento formal al demostrar sus célebres Teoremas de Incompletitud.

En su Primer Teorema, Gödel probó que en cualquier sistema axiomático lo suficientemente complejo como para incluir la aritmética elemental existen afirmaciones que son verdaderas pero que resultan imposibles de demostrar dentro del propio sistema. A esto se sumó su Segundo Teorema, el cual establece que un sistema axiomático tampoco puede demostrar su propia consistencia por sus propios medios.

La consecuencia fundamental de este hallazgo es tan profunda como reveladora: la verdad matemática no se puede reducir por completo a un mecanismo deductivo cerrado. Lejos de invalidar el método axiomático, el trabajo de Gödel demostró que la matemática es una disciplina viva e inagotable, donde siempre habrá verdades fundamentales que escapan al alcance de un conjunto finito de axiomas.

En la actualidad, el propósito del método axiomático consiste en brindar la estructura formal necesaria para garantizar el rigor y la solidez del conocimiento científico. Más que un reflejo de la realidad, la axiomatización es la gramática de la abstracción: una herramienta lógica que nos permite construir modelos coherentes, verificar teoremas complejos mediante sistemas informáticos y delimitar con precisión el alcance de nuestras teorías.

---

Lecturas complementarias: 

• Kurt Gödel: el Príncipe de las Tinieblas de las Matemáticas.
• Lógica Matemática. El álgebra del pensamiento.
• Elementos de Euclides.

---

Los números TRANSFINITOS y la hipótesis del continuo.

Desde la Antigüedad, el infinito ha ocupado un lugar especial en el pensamiento humano. Para nuestra intuición, parece representar aquello que nunca termina, aquello que no puede recorrerse por completo ni encerrarse dentro de unos límites. Los números naturales, por ejemplo, no tienen un último elemento: por grande que sea un número, siempre podemos añadirle una unidad y obtener otro mayor. Aunque el infinito se utilizaba en razonamientos sobre sucesiones, límites y geometría, resultaba difícil tratarlo como un objeto matemático susceptible de comparación y clasificación. Sin embargo, durante siglos, los matemáticos contemplaron el infinito con una mezcla de fascinación y perplejidad, tal como refleja una conocida frase de David Hilbert en su ensayo Über das Unendliche (Sobre el infinito), publicado en 1926:

¡El infinito! Ninguna otra cuestión ha conmovido tan profundamente el espíritu humano; ninguna otra idea ha estimulado tan fructíferamente su intelecto y, sin embargo, ningún otro concepto necesita tanto ser aclarado.

Georg Cantor (1845-1918)

Fue en el siglo XIX cuando Georg Cantor emprendió una de las transformaciones conceptuales más profundas de la historia de las matemáticas: demostrar que el infinito podía estudiarse rigurosamente y que no existía una única manera de ser infinito.

La idea decisiva consistió en preguntarse cómo comparar el tamaño de dos conjuntos. Cuando los conjuntos son finitos, el procedimiento parece evidente: contamos sus elementos. Pero ¿qué sucede cuando contienen infinitos elementos? No podemos terminar de contarlos uno a uno, de modo que necesitamos otro criterio.

En este artículo adoptaremos la convención de que los números naturales comienzan en \(1\), es decir, \(\mathbb{N}=\{1,2,3,\ldots\}\). Decimos que un conjunto \(A\) tiene cardinal \(n\in\mathbb{N}\), si existe una correspondencia biunívoca entre \(A\) y el conjunto \(\{1,2,\ldots,n\}\). En ese caso, \(A\) tiene exactamente \(n\) elementos. El cardinal de un conjunto finito se denota por \(\operatorname{Card}(A)\) o, de forma equivalente, por \(|A|\). Para los conjuntos infinitos, la misma idea de correspondencia permite comparar sus tamaños sin necesidad de contar sus elementos uno a uno. Esa fue la propuesta de Cantor para comparar dos conjuntos infinitos. Si cada elemento de uno puede emparejarse con uno y solo uno del otro, sin que sobre ningún elemento en ninguno de los dos conjuntos, ambos tienen el mismo cardinal, es decir, el mismo tamaño en sentido matemático. Esta idea, aparentemente sencilla, conduce a una conclusión sorprendente: los números naturales y los números pares positivos tienen el mismo cardinal. Podemos emparejarlos mediante la regla que asigna a cada número natural su doble:

\[ \begin{array}{cccccc} 1 & 2 & 3 & 4 & 5 & \cdots\\ \downarrow & \downarrow & \downarrow & \downarrow & \downarrow & \\ 2 & 4 & 6 & 8 & 10 & \cdots \end{array} \]

Aunque los números pares positivos constituyen una parte propia de los números naturales, ambos conjuntos tienen el mismo tamaño infinito. Denotamos este cardinal por \(\aleph_0\), que se lee «álef cero»; álef es la primera letra del alfabeto hebreo. Este cardinal es el menor de los cardinales infinitos y se denomina también cardinal transfinito.

Cantor llamó numerables a los conjuntos que pueden ponerse en correspondencia biunívoca con los números naturales. Son numerables los números enteros y también los números racionales, es decir, aquellos que pueden expresarse como el cociente de dos enteros, con denominador distinto de cero. Aunque entre dos números racionales distintos siempre existe otro número racional —y, de hecho, existen infinitos—, todos los números racionales pueden organizarse en una lista infinita en la que cada uno aparezca en alguna posición. 

Por sorprendente que parezca, esto significa que el conjunto de los números racionales tiene el mismo cardinal que el conjunto de los números naturales: \(\aleph_0\). Por sorprendente que parezca, esto significa que el conjunto de los números racionales tiene el mismo cardinal que el conjunto de los números naturales, es decir, \(\aleph_0\). Este fue uno de los primeros resultados obtenidos por Cantor. A continuación, presentamos una demostración intuitiva de la numerabilidad de los números racionales positivos, basada en una idea de Cantor.

Denotemos por \(\mathbb{Q}_+\) el conjunto de todos los números racionales positivos:\(\mathbb{Q}_+=\left\{\frac{p}{q}:p,q\in\mathbb{N}\right\}\). Para organizar estos números, consideremos la suma \(h=p+q\) y agrupemos las fracciones según el valor de \(h\), escribiendo únicamente aquellas que están irreducibles, es decir, cuyo numerador y denominador no tienen divisores comunes distintos de \(1\).

Para \(h=2\), solo tenemos el número racional \(\frac{1}{1}=1\). Para \(h=3\), obtenemos \(\frac{1}{2}\) y \(\frac{2}{1}=2\). Para \(h=4\), aparecen \(\frac{1}{3}\) y \(\frac{3}{1}=3\), ya que \(\frac{2}{2}=1\) representa un número que ya hemos incluido. Para \(h=5\), obtenemos las fracciones \(\frac{1}{4}\), \(\frac{2}{3}\), \(\frac{3}{2}\) y \(\frac{4}{1}=4\). Para \(h=6\), aparecen \(\frac{1}{5}\), \(\frac{5}{1}=5\) y las fracciones \(\frac{2}{4}\) y \(\frac{4}{2}\) quedan excluidas porque no están irreducibles y representan números ya considerados.

Continuando de este modo, obtenemos una lista en la que aparecen todos los números racionales positivos, sin repetir ninguno. Como cada grupo correspondiente a un valor fijo de \(h\) contiene un número finito de fracciones, podemos recorrer los grupos sucesivamente y asignar a cada racional positivo una posición en la lista. Por tanto, \(\mathbb{Q}_+\) es numerable. El siguiente gráfico ilustra el razonamiento anterior:

En la pirámide roja, el número racional p/q está representado por el par ordenado  (p,q). La correspondencia biunívoca entre ambas pirámides es obvia. 

El cardinal de los números reales

Cantor con \(\approx 25\) años

Los números reales incluyen tanto los racionales como los irracionales, como \(\sqrt{2}\), \(\pi\) o \(e\). Constituyen el sistema numérico con el que representamos los puntos de la recta real y trabajamos en buena parte del análisis matemático. A primera vista, podría parecer que también sería posible organizar todos los números reales en una lista: primero uno, después otro, y así sucesivamente. Sin embargo, Georg Cantor demostró que esto es imposible. Este resultado condujo a uno de los grandes descubrimientos de la teoría de conjuntos: "no todos los conjuntos infinitos son numerables". Su célebre argumento diagonal demuestra que, por muy completa que parezca una lista de números reales comprendidos entre cero y uno, siempre es posible construir otro número real que no figure en ella. La idea consiste en modificar la primera cifra decimal del primer número, la segunda del segundo, la tercera del tercero, y así sucesivamente, de modo que cada cifra del nuevo número sea diferente de la cifra correspondiente del número situado en esa posición de la lista. De esta manera, el número construido se diferencia de cada número de la lista en, al menos, una cifra decimal. En efecto, supongamos, por reducción al absurdo, que todos los números reales comprendidos entre cero y uno pueden ponerse en correspondencia biunívoca con los números naturales, de modo que formen una lista como la siguiente: \[ \begin{array}{rcl} 1 &\leftrightarrow& 0,a_{1,1}a_{1,2}a_{1,3}a_{1,4}\cdots\\ 2 &\leftrightarrow& 0,a_{2,1}a_{2,2}a_{2,3}a_{2,4}\cdots\\ 3 &\leftrightarrow& 0,a_{3,1}a_{3,2}a_{3,3}a_{3,4}\cdots\\ \vdots &\leftrightarrow& \vdots\\ n &\leftrightarrow& 0,a_{n,1}a_{n,2}a_{n,3}a_{n,4}\cdots\\ \vdots &\leftrightarrow& \vdots \end{array} \] Construyamos ahora un número real \(b=0,b_1b_2b_3\cdots b_n\cdots\), eligiendo cada cifra decimal \(b_k\) de manera que sea distinta de \(a_{k,k}\), es decir, de la cifra que ocupa la posición \(k\) en el \(k\)-ésimo número de la lista. Por ejemplo, podemos definir \[ b_k= \begin{cases} 1, & \text{si } a_{k,k}\neq 1,\\ 2, & \text{si } a_{k,k}=1. \end{cases} \] Así, cada cifra \(b_k\) es distinta de la correspondiente cifra diagonal \(a_{k,k}\). Por tanto, el número \(b\) no puede coincidir con el primero de la lista, porque difiere de él en la primera cifra decimal; tampoco con el segundo, porque difiere de él en la segunda cifra, ni con el tercero, porque difiere de él en la tercera, y así sucesivamente. En consecuencia, \(b\) no aparece en la lista, lo que contradice nuestra suposición de que esta contenía todos los números reales comprendidos entre cero y uno. Concluimos, por tanto, que  "los números reales comprendidos entre cero y uno no son numerables". En particular, el conjunto de los números reales es no numerable y, por ello, tiene una cardinalidad estrictamente mayor que la del conjunto de los números naturales.

El cardinal del conjunto de los números reales se suele denotar por \(\mathfrak{c}\) y viene dado por \(\qquad \mathfrak{c}=|\mathbb{R}|=2^{\aleph_0}.\)

La última igualdad se debe a que el conjunto de los números reales tiene el mismo cardinal que el conjunto de todos los subconjuntos de los números naturales, es decir, el conjunto potencia \(\mathcal{P}(\mathbb{N})\). En efecto, cada subconjunto de \(\mathbb{N}\) puede identificarse con una sucesión infinita de ceros y unos, y el conjunto de estas sucesiones tiene el mismo cardinal que \(\mathbb{R}\). Así, el tamaño de la recta continua queda relacionado con una operación fundamental de la teoría de conjuntos: formar el conjunto de todas las partes de un conjunto dado.

La desigualdad \(\aleph_0 < \mathfrak{c}\) nos obliga a abandonar la idea de que el infinito tiene un único tamaño. Existen conjuntos infinitos de cardinalidades diferentes, y el estudio de estos tamaños constituye uno de los temas fundamentales de la teoría de conjuntos.

Números transfinitos

Cantor y su esposa  Vally Guttmann en 1874

Cantor desarrolló dos conceptos relacionados, pero distintos: los números cardinales (a los que dedicamos este artículo) y los números ordinales. La palabra transfinito, utilizada por Cantor, expresa precisamente que estos números van más allá de lo finito sin constituir un infinito absoluto e indiferenciado. Permiten comparar tamaños infinitos y estudiar órdenes que no terminan nunca.

Los cardinales responden a la pregunta «¿cuántos elementos tiene un conjunto?». Los ordinales, en cambio, describen el orden de sus elementos: primero, segundo, tercero y así sucesivamente. En el caso finito, ambas ideas parecen casi inseparables, pero en el infinito muestran propiedades diferentes. El primer cardinal infinito es \(\aleph_0\), el tamaño de los números naturales. Después aparecen otros cardinales infinitos, como \(\aleph_1\), \(\aleph_2\) y, en general, \(\aleph_\alpha\), donde el índice puede ser también un ordinal transfinito.

Los ordinales ofrecen ejemplos especialmente llamativos. El primer ordinal infinito se representa mediante \(\omega\). Después de todos los naturales, podemos considerar un orden que añade un elemento nuevo al final: su tipo de orden es \(\omega+1\). También podemos formar \(\omega+2\), y así sucesivamente.

Estas expresiones no deben confundirse con las operaciones aritméticas habituales. La suma ordinal depende del orden de los elementos y, por ello, no siempre es conmutativa: \( 1+\omega=\omega, \qquad \omega+1>\omega. \)

La diferencia se entiende intuitivamente si pensamos en una sucesión interminable de posiciones. Añadir una posición al principio puede dejar el mismo tipo de orden que antes; añadirla al final produce, en cambio, un orden con un último elemento.

Los números transfinitos no son, por tanto, una curiosidad puramente simbólica. Proporcionan herramientas para estudiar la estructura de los conjuntos infinitos, las sucesiones, los órdenes y los fundamentos de las matemáticas.

La hipótesis del continuo

La existencia de infinitos cardinales cada vez mayores se explica mediante un resultado fundamental de la teoría de conjuntos: el teorema de Cantor establece que el conjunto potencia de cualquier conjunto tiene un cardinal estrictamente mayor que el del conjunto original. Así, si partimos de los números naturales, cuyo cardinal es \(\aleph_0\), obtenemos el conjunto de sus partes, \(\mathcal{P}(\mathbb{N})\), cuyo cardinal es \(2^{\aleph_0}=\mathfrak{c}\). Si repetimos este proceso, podemos construir conjuntos de cardinalidades cada vez mayores, sin alcanzar nunca un último infinito. Entre los cardinales transfinitos, uno de los casos más interesantes es la relación entre los dos primeros cardinales infinitos, \(\aleph_0\) y \(\aleph_1\), y la cardinalidad del continuo, \(\mathfrak{c}\).

Una vez demostrado que existen infinitos de tamaños distintos, surge una pregunta natural: ¿hay algún cardinal infinito entre el de los números naturales y el de los números reales? El cardinal de los naturales es \(\aleph_0\), mientras que el de los reales es \(\mathfrak{c}\). Como Cantor probó que \(\mathfrak{c}>\aleph_0\), sabemos que son distintos. Pero ¿existe algún conjunto cuyo cardinal sea estrictamente mayor que \(\aleph_0\) y estrictamente menor que \(\mathfrak{c}\)?

La hipótesis del continuo, abreviada habitualmente como HC, afirma que no existe tal cardinal. En su formulación habitual, sostiene que el cardinal del continuo es el siguiente cardinal infinito después de \(\aleph_0\); es decir,

Aquí, \(\aleph_1\) es el menor cardinal infinito estrictamente mayor que \(\aleph_0\). La hipótesis no dice que los reales sean numerables; afirma justamente que su cardinal es el siguiente cardinal infinito después del de los naturales. El nombre procede de la idea de continuo asociada a la recta real. Esta recta contiene infinitos puntos, y entre dos puntos distintos siempre hay otros puntos. Sin embargo, la densidad de los puntos no determina por sí sola su cardinal: los racionales también son densos en la recta, pero forman un conjunto numerable, mientras que los reales no lo son. La hipótesis del continuo pregunta, en definitiva, si hay un tamaño infinito intermedio entre el de los números naturales y el de la recta real.

Cantor formuló la hipótesis del continuo en el siglo XIX y trató de determinar si era verdadera. El problema adquirió una importancia especial porque afectaba a la estructura misma de los cardinales infinitos y al alcance de los métodos de la teoría de conjuntos.

•  Durante décadas, la cuestión permaneció abierta. En 1940, Kurt Gödel demostró que, si los axiomas habituales de la teoría de conjuntos son consistentes, también lo es su combinación con la hipótesis del continuo. En términos generales, esto significa que dichos axiomas no pueden refutar la hipótesis del continuo, suponiendo que sean consistentes.
• En 1963, Paul Cohen obtuvo el resultado complementario mediante la técnica del  forcing. Demostró que, si los axiomas de Zermelo--Fraenkel con el axioma de elección (conocidos como ZFC) son consistentes, también lo es su combinación con la negación de la hipótesis del continuo. 

  

  Kurt Gödel (906–1978) y Paul Cohen (1934–2007)

Los axiomas de Zermelo-Fraenkel con el axioma de elección (ZFC) constituyen el sistema de fundamentos más utilizado en la teoría de conjuntos moderna. Establecen las reglas básicas para trabajar rigurosamente con conjuntos, incluido el axioma de elección, que permite seleccionar un elemento de cada conjunto de una familia de conjuntos no vacíos. Sin embargo, no permiten decidir todas las cuestiones matemáticas, como demuestra la independencia de la hipótesis del continuo. 

En consecuencia, si ZFC es consistente, la hipótesis del continuo es independiente de esos axiomas: no puede demostrarse ni refutarse a partir de ellos. Este resultado no significa que la hipótesis sea simultáneamente verdadera y falsa dentro de una misma interpretación matemática. Significa que los axiomas considerados no determinan por sí solos su respuesta. Existen modelos de la teoría de conjuntos en los que la hipótesis se cumple y otros en los que no se cumple.

La independencia de la hipótesis del continuo ilustra un hecho profundo: incluso en matemáticas puede haber preguntas que no es posible resolver a partir de un sistema de axiomas determinado. En estos casos, la cuestión no es que el problema carezca de solución, sino que ni él ni su negación pueden demostrarse dentro del sistema. Esta situación recuerda a la del postulado de las paralelas de Euclides, cuya independencia permitió desarrollar geometrías distintas. En el caso de la hipótesis del continuo, los resultados de Kurt Gödel y Paul Cohen demostraron que, si los axiomas de Zermelo-Fraenkel con el axioma de elección (ZFC) son consistentes, ni la hipótesis ni su negación pueden demostrarse a partir de ellos. Este resultado plantea una cuestión fundamental: ¿hasta qué punto los axiomas determinan nuestra concepción de los conjuntos infinitos?

David Hilbert (1862–1943)

El trabajo de Georg Cantor revolucionó las matemáticas al demostrar que existen distintos tamaños de infinito: los números naturales y los racionales tienen la misma cardinalidad, mientras que los reales constituyen un infinito estrictamente mayor. Sus ideas encontraron una fuerte resistencia, especialmente por parte de Leopold Kronecker, defensor de una concepción más restrictiva de las matemáticas. A este último se atribuye la célebre frase «Dios creó los números enteros; todo lo demás es obra del hombre», que expresa su preferencia por una matemática fundada en objetos aritméticos más concretos. Frente a estas críticas, David Hilbert defendió la teoría de Cantor y, en 1900, incluyó la hipótesis del continuo entre sus 23 problemas para el nuevo siglo. La cuestión consistía en determinar si existe algún cardinal infinito estrictamente comprendido entre el de los números naturales y el de los números reales.

Un testimonio especialmente significativo de la defensa de esta teoría por parte de Hilbert es su célebre afirmación, pronunciada en 1925 y posteriormente difundida en la literatura matemática:

«Nadie podrá expulsarnos del paraíso que Cantor ha creado para nosotros».

El paraíso matemático de Cantor no solo amplió nuestra comprensión del infinito, sino que abrió interrogantes profundos sobre la naturaleza de los objetos matemáticos y los límites de los sistemas axiomáticos. Más de un siglo después de que Hilbert planteara el problema, la hipótesis del continuo sigue siendo uno de los ejemplos más fascinantes de cómo las matemáticas pueden revelar sus propios límites.

---

Lecturas complementarias: 

• Infinito potencial vs. infinito actual.
• El Hotel de Hilbert. 

---

Lógica Matemática. El álgebra del pensamiento

La lógica matemática es la rama de las matemáticas que estudia los principios del razonamiento válido mediante un lenguaje formal, símbolos y reglas precisas de inferencia. Su objetivo es analizar cómo se construyen los argumentos, cuándo una conclusión se deriva correctamente de unas premisas y qué propiedades tienen los sistemas formales en los que se expresan las demostraciones matemáticas.

A diferencia del razonamiento cotidiano, que a menudo depende del lenguaje natural y de la interpretación de las palabras, la lógica matemática busca expresar los argumentos de manera rigurosa, eliminando ambigüedades. Por ejemplo, consideremos el siguiente razonamiento:

Si llueve, la calle se moja. \(\qquad\) Está lloviendo. \(\qquad\) Por tanto, la calle se moja.

Este argumento tiene una estructura lógica que podemos representar simbólicamente mediante la regla de inferencia conocida como modus ponens:

\[ \bigl((p \Rightarrow q) \wedge p\bigr) \Rightarrow q, \]

donde \(p\) representa la proposición «llueve», \(q\) representa «la calle se moja», \(\Rightarrow\) significa «implica» y \(\wedge\) significa «y». Lo importante es que la conclusión se sigue necesariamente de las premisas, independientemente del significado concreto de las proposiciones.

La lógica matemática no se limita, sin embargo, a formalizar argumentos. También estudia los fundamentos de las matemáticas, la estructura de las demostraciones, los lenguajes formales, los conjuntos y las relaciones entre la verdad y la demostrabilidad. En su desarrollo moderno destacan disciplinas como la teoría de modelos, la teoría de la demostración, la teoría de conjuntos y la teoría de la computabilidad.

Como veremos, sus orígenes se remontan a la lógica de Aristóteles, pero su transformación en una disciplina matemática se produjo principalmente durante los siglos XIX y XX, con las aportaciones de matemáticos y lógicos como George Boole, Augustus De Morgan, Gottlob Frege, Giuseppe Peano, David Hilbert y Kurt Gödel.

La influencia de la lógica matemática va mucho más allá de las demostraciones: constituye uno de los fundamentos teóricos de la informática, la programación y la inteligencia artificial. Las operaciones lógicas están presentes en los circuitos digitales, mientras que los métodos de demostración formal permiten verificar propiedades de algoritmos y sistemas informáticos. En definitiva, la lógica matemática convierte el razonamiento en un objeto de estudio matemático. Nos permite investigar no solo cómo demostramos que una afirmación es verdadera, sino también cuáles son los límites de lo que puede demostrarse mediante un sistema formal. Es, en este sentido, una disciplina situada en la frontera entre las matemáticas, la filosofía y la informática: el estudio matemático de las reglas y los límites del pensamiento riguroso.

La historia de la lógica puede dividirse, con cierto grado de simplificación excesiva, en tres etapas: lógica griega, lógica escolástica y lógica matemática. En la primera etapa, las fórmulas lógicas consistían en palabras del lenguaje ordinario, sujetas a las reglas sintácticas habituales. En la segunda etapa, la lógica se abstrajo del lenguaje ordinario pero se caracterizó por reglas sintácticas diferenciadas y funciones semánticas especializadas. En la tercera etapa, la lógica se marcó por el uso de un lenguaje artificial en el que las palabras y los signos tienen funciones semánticas estrechamente limitadas. Mientras que en las dos primeras etapas los teoremas lógicos se derivaban del lenguaje ordinario, la lógica de la tercera etapa procede de manera contraria: primero construye un sistema puramente formal, y solo después busca una interpretación en el habla cotidiana. 

Lógica griega (\(\approx\) siglos IV–III a.C.)

La lógica griega se caracteriza por el hecho de que las fórmulas lógicas estaban formadas por palabras del lenguaje ordinario (el griego) y se regían por las reglas sintácticas habituales de ese lenguaje. No existía todavía un lenguaje artificial ni un sistema de símbolos formalizados; la lógica se expresaba y se practicaba dentro del propio discurso natural.  

Aristóteles (384-322 a. C.), Euclides de Alejandría (c. 325-c. 265 a. C.) y Crisipo de Solos (c. 279-c. 206 a. C.)

Los dos grandes aportes de este período son la lógica de términos aristotélica y la lógica proposicional estoica:

• Aristóteles, en el conjunto de tratados conocido como Organon (que incluye Categorías, Sobre la interpretación, Analíticos primeros, Analíticos segundos, Tópicos y Refutaciones sofísticas), sistematiza la lógica de términos o predicados. Analiza las proposiciones categóricas, desarrolla la teoría del silogismo, introduce las figuras y modos válidos, y distingue entre demostración científica, dialéctica y retórica. También elabora la doctrina de las categorías y una teoría de la demostración basada en premisas necesarias.
• Euclides, en sus Elementos, aunque se trata principalmente de una obra de geometría, establece el modelo paradigmático del razonamiento deductivo axiomático (definiciones, postulados, nociones comunes y teoremas). Este método influyó decisivamente en la concepción griega de la demostración rigurosa que la lógica aristotélica buscaba fundamentar.
• Mientras Aristóteles se centró en la lógica de términos, Crisipo y la escuela estoica desarrollaron una lógica proposicional. Analizaron conectivas como “si… entonces…”, “o… o…”, “no…”, y estudiaron los esquemas de inferencia válidos (los llamados “indemostrables”). También se ocuparon de paradojas y de la teoría de los significados (lekta). Al igual que la aristotélica, esta lógica se expresaba en el lenguaje ordinario, aunque no se conservan tratados completos equivalentes al Organon. Los estoicos dividían la lógica en retórica y dialéctica. Crisipo dio para la lógica una definición exacta de la proposición y de las reglas concernientes a la división sistemática de todas las proposiciones en simples y compuestas.

En conjunto, la lógica griega permanece inmanente al lenguaje natural y está orientada a la ciencia, a la dialéctica y a la argumentación filosófica.

Lógica escolástica (\(\approx\) siglos XII–XV)

La lógica escolástica representa una etapa de abstracción y tecnificación respecto de la griega. Aunque sigue utilizando fundamentalmente el lenguaje natural (el latín), este se transforma en un instrumento altamente especializado, con reglas sintácticas diferenciadas y funciones semánticas propias. La lógica se convierte así en una disciplina técnica autónoma.

Las obras más representativas de este período son:

• Pedro Hispano, Summulae Logicales (o Tractatus), el manual de lógica más difundido en las universidades europeas durante siglos. Sistematiza la lógica aristotélica y desarrolla la teoría de las propiedades de los términos (suppositio, ampliatio, appellatio, etc.).
• Guillermo de Ockham, Summa Logicae, una de las cumbres de la lógica medieval. Expone de forma rigurosa la teoría de la suposición, las consecuencias (consequentiae), los términos sincategoremáticos y una sofisticada semántica de los términos.
• Juan Buridán, Summulae de dialectica y sus tratados sobre las consecuencias, que aportan avances importantes en lógica proposicional, teoría de las inferencias y análisis de las paradojas (insolubilia).

Gottfried W. Leibniz
(1646-1716)

 

En resumen, mientras la lógica griega permanece dentro del lenguaje natural y la escolástica lo tecnifica sin abandonarlo del todo, se prepara ya el terreno para el posterior giro hacia un lenguaje formal autónomo.

Aunque Gottfried Wilhelm Leibniz (siglo XVII) no pertenece cronológicamente a la lógica escolástica, se le menciona con frecuencia como figura de transición. En obras como la Dissertatio de arte combinatoria (1666) y en sus numerosos fragmentos sobre  characteristica universalis y  calculus ratiocinator, propone la idea de un lenguaje simbólico artificial y de un cálculo lógico que permita reducir el razonamiento a operaciones mecánicas. Por ello se le considera un precursor de la tercera etapa (la lógica matemática), más que un representante de la lógica escolástica.

El camino hacia la Lógica Matemática

El álgebra del siglo XIX se caracterizó por una aparente tensión entre la creciente generalización y abstracción de sus conceptos y la necesidad de establecer restricciones más precisas en las expresiones algebraicas, reflejo de un cambio en las preguntas que los matemáticos buscaban responder. Mientras que en el continente, Abel, Galois y otros desarrollaron nuevos conceptos al abordar problemas concretos y adaptar o generalizar métodos existentes, los algebristas británicos de la misma generación se propusieron establecer el álgebra como una «ciencia demostrativa», preocupados por el retraso de Inglaterra respecto al continente en el desarrollo del análisis. Aunque atribuían parte de esta diferencia a la superioridad de la notación leibniziana \(dy/dx\) frente a la notación fluxional inglesa, también eran conscientes de la falta de rigor de los fundamentos del álgebra y del análisis, una debilidad que el obispo Berkeley había criticado duramente y que contrastaba con el rigor alcanzado por la geometría.

George Peacock, antiguo miembro de la Cambridge Analytical Society, publicó la primera obra importante dedicada a establecer el álgebra como una «ciencia demostrativa». Para ello, distinguió entre el álgebra aritmética, basada en los números y sus operaciones, y el álgebra simbólica, que estudia las combinaciones de símbolos conforme a leyes independientes de los valores concretos que estos representan. Ambas quedaban vinculadas por el principio de la permanencia de las formas equivalentes, según el cual las identidades algebraicas válidas para símbolos generales debían conservarse al sustituirlos por los objetos correspondientes. Aunque este principio no estaba suficientemente justificado y podía sugerir erróneamente que las mismas leyes eran aplicables a cualquier sistema de objetos, la propuesta de Peacock contribuyó a impulsar una concepción más abstracta del álgebra, susceptible de aplicaciones geométricas.

George T. Peacock (1791-1858), Augustus De Morgan (1806-1871) y George Boole (1815-1864)

Las ideas de Peacock, difundidas especialmente a partir de su informe sobre el análisis presentado en 1833, estimularon nuevas investigaciones sobre los fundamentos del álgebra y su relación con el cálculo operacional. Robert Murphy  (1806-1843), Augustus De Morgan (1806-1871) y Duncan F.  Gregory (1813-1844) profundizaron en el estudio de las leyes de combinación de símbolos, mientras que Gregory destacó las analogías entre las operaciones con números y las de diferenciación y diferencias.

De Morgan fue uno de los principales continuadores de la concepción del álgebra simbólica iniciada por Peacock. Mientras Peacock había distinguido entre el álgebra aritmética y la simbólica, De Morgan profundizó en la idea de que los símbolos algebraicos, incluidas las operaciones, podían estudiarse con independencia de los objetos concretos que representasen. Ya en su obra Trigonometry and Double Algebra (1830), defendió que el álgebra debía ocuparse de los símbolos y sus leyes de combinación, constituyendo una especie de gramática capaz de dar lugar a múltiples álgebras con significados diferentes. Aunque todavía consideraba que las leyes algebraicas habituales debían ser universales y limitaba las posibilidades de nuevos sistemas algebraicos, su planteamiento contribuyó decisivamente a avanzar hacia una concepción más abstracta del álgebra. Su obra cumbre Formal Logic fue publicada en 1847, el mismo año que apareció el primer libro de George Boole. Esta perspectiva preparó el terreno para el trabajo de George Boole, quien llevó mucho más lejos la idea de estudiar las leyes de combinación de símbolos y aplicarlas a un ámbito distinto del numérico: la lógica.

Boole y el álgebra de la lógica

Mientras Hamilton y Cayley desarrollaban nuevas formas de álgebra, George Boole (1815-1864), matemático británico esencialmente autodidacta, revolucionó la relación entre las matemáticas y la lógica. Influido por los trabajos de George Peacock y Augustus De Morgan, publicó en 1847 The Mathematical Analysis of Logic, obra en la que defendió que la lógica debía estudiarse mediante métodos matemáticos, en lugar de considerarse una rama de la metafísica. Su propuesta culminaba la evolución del álgebra simbólica al sostener que las matemáticas no debían definirse exclusivamente por el estudio de los números y las magnitudes, sino por el empleo de símbolos sujetos a leyes de combinación precisas y coherentes.

La contribución fundamental de Boole consistió en llevar esta concepción formal a sus últimas consecuencias, aplicando las operaciones algebraicas al razonamiento lógico. En su obra An Investigation of the Laws of Thought (1854), desarrolló un sistema algebraico en el que los símbolos representaban clases de objetos y las operaciones permitían expresar relaciones entre ellas. En términos actuales, la unión, la intersección y el complemento de conjuntos pueden representarse mediante operaciones algebraicas, lo que permite traducir proposiciones lógicas a ecuaciones y resolverlas mediante procedimientos sistemáticos. Por ejemplo, la relación \(xy=x\) expresa que todos los elementos de la clase \(x\) pertenecen también a la clase \(y\). A partir de estas relaciones, Boole mostró que era posible formalizar y resolver razonamientos silogísticos mediante cálculos simbólicos.

El álgebra de Boole se diferenciaba del álgebra ordinaria en propiedades esenciales: por ejemplo, en el álgebra de conjuntos se cumple \(x^2=x\), pues la intersección de una clase consigo misma no la modifica. Esta nueva estructura permitió establecer una correspondencia rigurosa entre las operaciones algebraicas y las relaciones lógicas. Sus aplicaciones se extendieron también al cálculo de probabilidades y, posteriormente, a campos como la teoría de la información y la informática, donde el álgebra de Boole constituye uno de los fundamentos de los circuitos digitales y de los sistemas de computación.

Además de sus aportaciones a la lógica, Boole desarrolló métodos algebraicos para resolver ecuaciones diferenciales lineales mediante operadores diferenciales, que estudió especialmente en su Treatise on Differential Equations (1859). Esta aproximación ilustraba la potencia de tratar determinados operadores mediante reglas algebraicas. En conjunto, su obra consolidó una nueva concepción de las matemáticas basada en la estructura y las leyes de los símbolos, y convirtió el álgebra en una herramienta para estudiar sistemáticamente el razonamiento. Su legado fue decisivo para el desarrollo de la lógica matemática moderna y para numerosas aplicaciones científicas y tecnológicas.

En resumen, Mathematical Analysis of Logic (1847) y, a fortiori, The Laws of Thought (1854) contienen mucho más del álgebra de conjuntos de lo que hemos indicado. En particular, esta última obra incluye aplicaciones a la probabilidad. Hoy el álgebra de Boole es utilizada ampliamente no solo por los matemáticos puros sino también por otros que la aplican a problemas de seguros y de teoría de la información. Las notaciones han cambiado algo desde los días de Boole, de modo que la unión y la intersección se indican generalmente por \(\cup\) y \(\cap\) más que por \(+\) y \(\times\), y el símbolo del conjunto nulo es \(\emptyset\) más que \(0\); pero los principios fundamentales son los que fueron establecidos por Boole hace más de un siglo.

La obra de George Boole sentó las bases de la lógica matemática al demostrar que el razonamiento formal puede expresarse mediante un sistema algebraico. Esta matematización de la lógica inspiró profundamente a generaciones posteriores —como Gottlob Frege, Bertrand Russell y, de manera determinante, a David Hilbert—, cuyos esfuerzos por axiomatizar rigurosamente las matemáticas y establecer sistemas formales consistentes (el célebre Programa de Hilbert) no habrían sido posibles sin el camino que Boole abrió al transformar la lógica en una disciplina matemática exacta.

---

Lecturas complementarias: 

• Kurt Gödel: el Príncipe de las Tinieblas de las Matemáticas.
• ¿Puede la inteligencia artificial sustituir a los matemáticos? 

---

Kurt Gödel: el Príncipe de las Tinieblas de las Matemáticas

Kurt Gödel (1906-1978)

Gödel fue uno de los matemáticos y lógicos más importantes del siglo XX. Su trabajo transformó nuestra comprensión de las matemáticas, la lógica y los límites del razonamiento formal. Su principal contribución consistió en demostrar que existen límites fundamentales en la capacidad de los sistemas matemáticos para demostrar todas las verdades que pueden expresarse dentro de ellos. Nació el 28 de abril de 1906 en Brno, Moravia, actualmente en la Republica Checa. Fue el menor de los dos hijos de Rudolf y Marianne Gödel, una familia de origen alemán vinculada a la industria textil, aunque sin antecedentes familiares destacados en el ámbito académico o intelectual.

En 1924, tras finalizar sus estudios en el Realgymnasium de Brno, Gödel se trasladó a Viena para ingresar en su universidad. Su hermano mayor había comenzado allí la carrera de Medicina cuatro años antes. En Viena entró en contacto con destacados matemáticos y filósofos del Círculo de Viena. Aunque compartía con ellos el interés por la lógica y la racionalidad, no aceptaba plenamente su visión positivista. Defendía una concepción platónica de las matemáticas: consideraba que los objetos y las verdades matemáticas existen independientemente de que podamos demostrarlos mediante un sistema formal.

Marianne y Rudolf Gödel con sus hijos Kurt (izquierda) y Rudolf (derecha).

El título de este artículo tiene su origen en una expresión tan llamativa como inquietante: «Modern math’s absolute Prince of Darkness» («el auténtico príncipe de las tinieblas de las matemáticas modernas»), con la que el escritor estadounidense David Foster Wallace (1968-2008) se refirió a Kurt Gödel en su libro Everything and More: A Compact History of Infinity (Todo y más: una breve historia del infinito). Como veremos más adelante, en 1931, los célebres teoremas de incompletitud de Gödel sacudieron los fundamentos de las matemáticas al demostrar que existen límites insalvables en lo que podemos establecer mediante reglas lógicas y demostraciones formales. 

Durante siglos, los matemáticos habían soñado con construir un sistema perfecto en el que toda verdad pudiera demostrarse a partir de unos principios bien definidos; mostró que ese ideal era inalcanzable: en cualquier sistema formal suficientemente potente y que cumpla ciertas condiciones, habrá verdades aritméticas que no podrán demostrarse dentro de él. Como si la verdad matemática desbordara siempre los límites de la biblioteca de demostraciones que construimos para contenerla, Gödel reveló que la lógica, por rigurosa que sea, no puede abarcarlo todo. No destruyó la verdad ni desacreditó las matemáticas; hizo algo mucho más sorprendente: demostró que la verdad matemática es más amplia que aquello que podemos demostrar mediante un único sistema formal y quizá ahí resida el sentido más profundo de su inquietante apodo "Príncipe de las Tinieblas". 

Gödel no apagó la luz de la razón, sino que nos obligó a descubrir que incluso esa luz tiene límites.  

Teoremas de Completidud e Incompletitud

•  El teorema de completitud. En su tesis doctoral, presentada en 1929, Gödel resolvió un problema fundamental planteado por David Hilbert y Wilhelm Ackermann: determinar si las reglas de la lógica de primer orden permiten demostrar todas las proposiciones que son consecuencias lógicas de unos axiomas. Su respuesta fue afirmativa. Este resultado, conocido como teorema de completitud de la lógica de primer orden, establece que si una proposición es verdadera en todos los modelos que satisfacen unos determinados axiomas, entonces puede demostrarse formalmente a partir de ellos. Es importante distinguir este resultado de otro problema diferente: demostrar todas las verdades acerca de los números naturales. Que la lógica de primer orden sea completa no significa que cualquier teoría matemática formulada con ella pueda demostrar todas las verdades de su ámbito.
• Los teoremas de incompletitud. En 1931, Gödel publicó el resultado que revolucionó los fundamentos de las matemáticas. Sus teoremas de incompletitud mostraron que los sistemas formales tienen limitaciones que no pueden eliminarse simplemente añadiendo nuevas reglas de demostración.

  El primer teorema de incompletitud afirma, de manera simplificada, que cualquier sistema formal consistente, suficientemente expresivo para desarrollar la aritmética y cuyos axiomas puedan reconocerse mediante procedimientos mecánicos, contiene proposiciones que no puede demostrar ni refutar, siempre que se cumplan las condiciones técnicas correspondientes. La idea esencial consiste en construir una proposición matemática que, de manera indirecta, habla de su propia demostrabilidad. Su estructura recuerda a la paradoja del mentiroso, pero Gödel consiguió formularla rigurosamente dentro de la aritmética. En términos intuitivos, la proposición afirma que no puede ser demostrada dentro del sistema. Si el sistema es consistente y se satisfacen las condiciones apropiadas, esa proposición resulta verdadera, pero no demostrable en él.

  El segundo teorema de incompletitud establece que un sistema formal de estas características no puede demostrar su propia consistencia mediante los recursos formales del propio sistema, bajo las hipótesis habituales de consistencia y formalización. Para justificar su consistencia se necesita recurrir a principios que no pueden quedar justificados de esa misma manera dentro del sistema original. Estos resultados limitaron las expectativas del programa de Hilbert, que pretendía establecer fundamentos rigurosos para las matemáticas y demostrar la consistencia de teorías complejas mediante métodos formales adecuados.

Las ideas de Gödel tuvieron una influencia decisiva en el desarrollo de la lógica matemática y de la informática teórica. Sus técnicas para codificar expresiones y razonamientos mediante números contribuyeron al desarrollo de la teoría de la computabilidad.

Gödel y Einstein a inicios de los años 1950's

Un ejemplo importante es el problema de la parada: determinar si un programa informático, dados un programa y unos datos de entrada arbitrarios, terminará su ejecución o continuará indefinidamente. Alan Turing demostró que no existe un procedimiento general capaz de resolver este problema para todos los programas posibles. Aunque los teoremas de incompletitud y el problema de la parada son resultados distintos, ambos ilustran una idea común: existen límites matemáticamente demostrables a lo que pueden resolver los procedimientos formales o algorítmicos.

Gödel también realizó contribuciones fundamentales a la teoría de conjuntos. En particular, demostró que el axioma de elección y la hipótesis del continuo son compatibles con los demás axiomas de la teoría de conjuntos de Zermelo-Fraenkel, suponiendo la consistencia de estos últimos. La hipótesis del continuo, propuesta por Georg Cantor, plantea que no existe ningún tamaño infinito intermedio entre el de los números naturales y el de los números reales. El resultado de Gödel no demuestra que esta hipótesis sea verdadera ni que pueda deducirse de los restantes axiomas; demuestra que no contradice dichos axiomas bajo las condiciones consideradas. Décadas después, Paul Cohen completó el panorama al demostrar la independencia de la hipótesis del continuo respecto de esos axiomas.

Además de sus investigaciones en lógica matemática y teoría de conjuntos, Gödel se interesó por cuestiones filosóficas y por la teoría de la relatividad. En 1949 demostró que las ecuaciones de Einstein admiten modelos cosmológicos con curvas temporales cerradas, lo que plantea la posibilidad teórica de viajar al pasado dentro de esos modelos.

Vida y legado

Kurt y Adele el día de su boda en 1938.

En 1940, debido a la situación política europea, Gödel emigró a Estados Unidos y se estableció en Princeton, donde trabajó en el Instituto de Estudios Avanzados y mantuvo una estrecha amistad con Albert Einstein. Su vida personal estuvo marcada por su matrimonio con Adele Porkert, a quien había conocido en Viena durante sus años de estudiante. A pesar de la oposición inicial de la familia de Gödel, ambos contrajeron matrimonio en septiembre de 1938. Adele desempeñó un papel fundamental en su vida, acompañándolo y ayudándolo a afrontar sus prolongados problemas de salud y sus crecientes temores a ser envenenado.

A pesar de su extraordinario talento, Gödel sufrió durante años graves problemas psicológicos que afectaron especialmente a sus últimos años. Cuando Adele tuvo que ser hospitalizada durante varios meses, su estado se deterioró progresivamente. Tras la muerte de su amigo Oskar Morgenstern, quedó cada vez más aislado y, convencido de que podían envenenarlo, dejó de alimentarse adecuadamente. Murió en Princeton el 14 de enero de 1978, a consecuencia de la desnutrición.

Gödel en 1973

 

El legado de Gödel va mucho más allá de sus teoremas de incompletitud. Su obra transformó la lógica matemática, modificó nuestra comprensión de los fundamentos de las matemáticas y contribuyó al desarrollo de la teoría de la computabilidad, esencial para la informática moderna. Sus resultados mostraron que incluso los sistemas formales más rigurosos tienen límites intrínsecos y que la verdad matemática no puede identificarse, en general, con lo que resulta demostrable dentro de un único sistema axiomático.

En resumen, Gödel mostró que verdad y demostrabilidad no son equivalentes. La demostración formal es un procedimiento sujeto a reglas precisas; la verdad matemática, en cambio, no queda agotada por lo que puede demostrarse dentro de un único sistema formal.

 

---

Lectura recomendada: 

•  ¿Puede la inteligencia artificial sustituir a los matemáticos?.

---

¿Puede la inteligencia artificial sustituir a los matemáticos?

El título de esta entrada es la pregunta del momento. Con frecuencia, alumnos, amigos o familiares me interpelan tras leer titulares sensacionalistas —e incluso fake news— que anuncian que la inteligencia artificial dejará obsoletos a los matemáticos. Toda esta marejada de fascinación, desinformación e inquietud me ha animado a plasmar aquí mi visión personal sobre el tema.

Sabemos que los ordenadores son aparatos extraordinariamente prácticos. Se han vuelto tan indispensables que resulta difícil imaginar una sociedad moderna sin ellos. Sin embargo, casi nadie recuerda —y los propios informáticos a veces lo olvidan— que fueron inventados en gran medida para ayudar a aclarar una profunda cuestión filosófica sobre los fundamentos de las matemáticas.

Todo comienza a principios del siglo XX cuando David Hilbert propuso formalizar por completo el razonamiento matemático. Su ambicioso plan consistía en crear un lenguaje artificial perfecto, con axiomas claros y reglas de deducción precisas, de modo que cualquier demostración pudiera verificarse de forma mecánica e imparcial. Si se lograba, se podría demostrar de una vez por todas que las matemáticas eran consistentes (nunca se demostraría algo falso) y completas (todo lo verdadero sería demostrable). El formalismo no era solo una herramienta técnica: era un proyecto filosófico destinado a poner la matemática sobre bases inquebrantables.

David Hilbert (1862-1943)

Antes de que ese sueño pudiera materializarse, Bertrand Russell descubrió paradojas profundamente perturbadoras en la lógica misma. La más célebre es la paradoja que lleva su nombre: el conjunto de todos los conjuntos que no se contienen a sí mismos. ¿Se contiene este conjunto a sí mismo? Si lo hace, entonces no lo hace; si no lo hace, entonces lo hace. Es el equivalente lógico del barbero de un pueblo que afeita a todos los hombres que no se afeitan a sí mismos: ¿quién afeita al barbero? Esta paradoja es una versión moderna de la antigua paradoja del mentiroso (“esta frase es falsa”), conocida ya por los griegos. Russell mostró que razonamientos que parecen impecables pueden conducir a contradicciones irresolubles. La crisis era grave: si la lógica misma contenía paradojas, ¿cómo se podía confiar en las matemáticas?

Hilbert respondió con formalismo. Si el lenguaje cotidiano es ambiguo, hay que construir un lenguaje artificial estricto donde las contradicciones no puedan aparecer. Su propuesta se inspiraba en una larga tradición que venía de Leibniz, Boole, Frege y Peano, pero Hilbert quería llevarla hasta el final: formalizar la totalidad de las matemáticas. El formalismo, aunque fracasó como proyecto filosófico para el razonamiento matemático, terminó siendo uno de los grandes regalos del siglo XX… no para la deducción, sino para la programación y la computación.

Kurt Gödel (1906-1978)

En 1931, Kurt Gödel dinamitó el plan de Hilbert. Demostró que incluso limitándose a la aritmética más elemental (los números naturales, la suma y la multiplicación), cualquier sistema formal suficientemente potente es incompleto o inconsistente. Si el sistema solo dice la verdad, entonces no puede decir toda la verdad. Habrá enunciados verdaderos que no podrán demostrarse a partir de los axiomas.

La prueba de Gödel es ingeniosa y profundamente paradójica. Partiendo de la paradoja del mentiroso, construyó una afirmación matemática que, en esencia, dice de sí misma: “Yo no soy demostrable”. Si el sistema pudiera demostrar esa afirmación, estaría demostrando algo falso. Si no puede demostrarla, entonces es verdadera… y el sistema es incompleto. Gödel logró expresar esta autorreferencia dentro de la aritmética mediante una codificación numérica ingeniosa. Curiosamente, al mirar su artículo original con ojos actuales, se observa algo que se parece mucho a la programación en LISP: una gran cantidad de definiciones recursivas de funciones que operan sobre listas. Aunque en 1931 no existían los ordenadores ni los lenguajes de programación, el núcleo del argumento de Gödel ya contenía las semillas de la computación.

Alan Turing (1912-1954)

Cinco años después, en 1936, Alan Turing dio el siguiente paso decisivo. Hilbert había hablado de un “procedimiento mecánico” para verificar demostraciones, pero nunca lo había definido con precisión. Turing lo hizo: inventó la máquina de Turing, un dispositivo abstracto capaz de realizar, casilla a casilla, operaciones sobre una cinta infinitamente larga. Esta construcción mental es el modelo teórico de todos los ordenadores actuales. Turing afirmó que una máquina de este tipo debería ser capaz de efectuar cualquier cómputo que un ser humano pudiera llevar a cabo siguiendo reglas precisas.

Pero entonces se preguntó qué no podría hacer esa máquina. Su respuesta fue el famoso problema de la detención (halting problem): no existe un algoritmo general que, dado un programa cualquiera, decida de antemano si ese programa terminará alguna vez o se quedará girando en un bucle infinito. La demostración es, otra vez, una paradoja. Se construye un programa que se detiene si y solo si no se detiene. El corolario es demoledor: si no se puede decidir por cálculo si un programa se detiene, tampoco se puede decidir por razonamiento formal. Ningún sistema axiomático puede ser completo, porque si lo fuera, proporcionaría un método mecánico para resolver el problema de la detención… y eso es imposible.

Después de la Segunda Guerra Mundial, estas profundas cuestiones filosóficas quedaron un tanto olvidadas. Fue entonces cuando Gregory Chaitin, todavía casi un adolescente, leyó sobre Gödel y Turing y empezó a sospechar algo más radical. Si en la física cuántica el azar es intrínseco e impredecible, ¿no podría haber también aleatoriedad en las matemáticas puras?

Andrey N. Kolmogorov (1903-1987)

A mediados de los años sesenta, de forma independiente, Chaitin y A. N. Kolmogorov desarrollaron lo que hoy se conoce como teoría algorítmica de la información. La idea fundamental es sencilla y poderosa: medir la complejidad de un objeto por el tamaño del programa más corto capaz de generarlo. Un objeto es aleatorio si no se puede comprimir: el programa más breve que lo describe es tan largo como el propio objeto. Esta noción conecta directamente con la entropía de Boltzmann en física: el desorden de un gas requiere una descripción enorme, mientras que un cristal ordenado se describe con poco. También enlaza con la filosofía de la ciencia y la navaja de Occam: 

Ante varias explicaciones posibles de un mismo fenómeno, la más sencilla suele ser la preferible.

 Es decir, la mejor teoría es el programa más corto que predice las observaciones. Si no existe un programa más corto que los datos mismos, entonces los datos son aleatorios e incomprensibles; no hay teoría útil.

En matemáticas, los conjuntos de axiomas que usamos son necesariamente concisos (si no lo fueran, nadie creería en ellos). Pero el universo de verdades matemáticas es infinito. Por tanto, cualquier sistema de axiomas solo puede capturar una fracción minúscula de esa información. La incompletitud de Gödel no es un misterio técnico o una curiosidad paradójica: es natural e inevitable. Existen verdades matemáticas que son, en cierto sentido, aleatorias: no se pueden demostrar a partir de axiomas razonables porque contienen más información de la que esos axiomas poseen.

A pesar de estos límites fundamentales, los matemáticos siguen avanzando de forma espectacular. Los resultados de Gödel, Turing, Kolmogorov y Chaitin podrían generar pesimismo, pero en la práctica no lo hacen: a pesar de la incompletitud y la aleatoriedad, la matemática sigue siendo fértil y productiva.

¿Puede la inteligencia artificial sustituir a los matemáticos?

Gregory Chaitin (1947-)

Los mismos resultados que hemos recorrido —la incompletitud de Gödel, la indecidibilidad de Turing y la aleatoriedad algorítmica de Kolmogorov y Chaitin— tienen consecuencias directas para la inteligencia artificial. Cualquier IA, por avanzada que sea, opera como un sistema computable: manipula símbolos según reglas precisas. Por tanto, hereda los mismos límites: no puede ser completa respecto a las matemáticas, no puede decidir en general si un programa arbitrario terminará, y no puede “descubrir” ni demostrar aquellas verdades que son esencialmente incompresibles. Esto no impide que la IA se convierta en un colaborador extraordinario. Ya lo está haciendo: verifica demostraciones, explora vastos espacios de conjeturas, formaliza razonamientos y acelera cálculos que antes eran prohibitivos. Los matemáticos que sepan utilizarla bien serán mucho más productivos, y ciertas tareas rutinarias o de búsqueda exhaustiva se automatizarán. 

La inteligencia artificial avanzada ya está transformando la práctica de las matemáticas y seguirá haciéndolo de manera cada vez más intensa. Puede ayudar a verificar demostraciones, explorar grandes espacios de conjeturas, encontrar patrones, formalizar razonamientos y acelerar cálculos que antes eran prohibitivos. Herramientas como los asistentes de demostración y los modelos de lenguaje especializados ya actúan como colaboradores muy potentes. En ese sentido, la IA puede amplificar enormemente el trabajo de los matemáticos y, en algunos dominios estrechos y bien formalizados, incluso automatizar partes importantes. Sin embargo, sustituir a los matemáticos es otra cosa. Desde mi punto de vista, hay razones tanto prácticas como fundamentales que lo hacen improbable, como por ejemplo: 

1. Límites teóricos profundos.   Los resultados  que hemos estado discutiendo anteriormente, establecen fronteras inviolables para cualquier sistema formal o computable:
   
   • Ningún sistema axiomático suficientemente potente puede ser a la vez completo y consistente. Siempre habrá verdades matemáticas que el sistema no podrá demostrar.
   •  El problema de la detención es indecible: no existe un algoritmo general que determine si un programa arbitrario termina.
   •  Según la teoría algorítmica de la información, existen verdades matemáticas que son esencialmente aleatorias e incompresibles: contienen más información de la que cualquier conjunto finito de axiomas (o de datos de entrenamiento) puede capturar.

    Una IA, por avanzada que sea, sigue siendo un sistema computable. Opera dentro de esas limitaciones. No puede “saltar” fuera de ellas.

2. La naturaleza creativa e informal de la matemática real. La matemática que hacen los seres humanos no consiste solo en derivar teoremas a partir de axiomas, ella incluyen: 
   • Elegir qué problemas merecen la pena.
   • Inventar definiciones nuevas y fructíferas.
   • Detectar analogías profundas entre áreas aparentemente lejanas.
   • Juzgar la elegancia, la profundidad o el interés de un resultado.
   • Cambiar de paradigma cuando el marco actual se vuelve estéril.

   Estas actividades dependen de intuición, gusto estético, experiencia histórica y, a menudo, de una forma de “comprensión” que no se reduce a la manipulación mecánica de símbolos. Hasta ahora no hay evidencia de que los sistemas de IA actuales (ni los que se vislumbran a medio plazo) posean esa capacidad de forma autónoma y general.

3. El papel de la verificación y la confianza. Incluso cuando una IA produce una demostración correcta, los matemáticos humanos siguen siendo necesarios para:
   • Comprender por qué es correcta.
   • Evaluar su significado.
   • Integrarla en el cuerpo más amplio del conocimiento.
   • Detectar posibles errores conceptuales o supuestos ocultos.

   La confianza en un resultado matemático no se reduce a “el ordenador dice que es verdad”,  requiere comprensión humana.

La IA avanzada no va a sustituir a los matemáticos de la misma manera que las calculadoras no sustituyeron a los físicos o los ingenieros. Lo más probable es que se produzca una simbiosis: los matemáticos que sepan usar bien la IA serán mucho más productivos, y algunos tipos de trabajo rutinario o de búsqueda exhaustiva desaparecerán o se automatizarán. Pero la actividad de hacer matemáticas —crear conceptos, plantear las preguntas profundas y dar sentido a los resultados— seguirá siendo, durante mucho tiempo, una empresa humana (o al menos una empresa en la que la inteligencia humana siga siendo indispensable).

En resumen: la IA puede ser un colaborador extraordinario y, en algunos aspectos, superior. Pero no puede ocupar el lugar del matemático, precisamente porque las matemáticas no son solo un juego formal computable. Contienen elementos de incompletitud, aleatoriedad y creatividad que, según todo lo que sabemos, escapan a cualquier sistema puramente algorítmico.

---

Lectura recomendada: 

•  Las paradojas del mentiroso, el barbero o la manos que se dibujan y la paradoja de Russell.
• Kurt Gödel: el Príncipe de las Tinieblas de las Matemáticas.

---