Los matemáticos nunca perderán su trabajo.

Abstract: En el siguiente escrito, se dará un conciso paneo de algunas interpretaciones que se le pueden
dar a los Teoremas de incompletitud de Gödel, desde un punto de vista personal.

En la literatura técnica es posible encontrar varias formas en que es presentado el primer teorema de in-
completitud de Gödel. Para presentar dos de ellas, es previamente necesario establecer un lenguaje L A donde
los únicos sı́mbolos que no son lógicos sean: uno de relación binaria <, los sı́mbolos de funciones binarias ×,
+ y unos sı́mbolos constantes, los bien conocidos 0,1. Recuérdese también dos cosas puntuales: Una teorı́a o
conjunto de sentencias en un lenguaje L es axiomatizable (4-elemental), si existe un conjunto S de sentencias
tales que S` =T ` , donde T ` y S` son los conjuntos de sentencias ϕ y ψ tales que T ` ϕ y S ` ψ respectivamente
y una teorı́a en L se dice completa, si para cualquier sentencia ϕ que puedo construir con el lenguaje, ϕ ∈ T `
o ¬ ϕ ∈ T`.

• Sea T una teorı́a axiomatizable en L A tal que T ⊂ Th(hN, <, +, ×, 0, 1i). Entonces T no es completa.
• Sea T una teorı́a consistente, es decir de la cual no se deriven contradicciones (técnicamente se dice que
existe una sentencia ψ tal que T 6` ψ), axiomatizable en L A tal que PA ⊂ T. Entonces T no es completo.
Recuérdese que PA son las siglas de Peano Aritmethic.

Comparando las dos versiones se puede decir que la primera versión es un poco más profunda y filosófica
ya que Th(hN, <, +, ×, 0, 1i) pareciera ser independientemente de la existencia humana, mientras que la se-
gunda versión que involucra a la aritmética de Peano, una construcción humana permeada por el esfuerzo,
la lucha y hasta las decepciones de Giuseppe Peano. Muchas veces esta implicación tan compleja hace que
muchas otras interpretaciones se generen a partir de este teorema. Interpretaciones que no necesariamente son
tomadas desde el enfoque de la matemáticas, Por ejemplo es posible encontrar la siguiente: ”Nunca conocere-
mos la verdad absoluta y total de la aritmética”, que claramente no se refiere al hecho de que al existir infinitas
sentencias verdaderas en aritmética, como por ejemplo 2n es un número compuesto por ser un número par,
donde aquel n puede ser reemplazado por cualquier número natural, distinto de 1, siendo que en el futuro
sólo existirán finitos futuros matemáticos que sólo podrán demostrar finitos futuros teoremas de ese estilo.
Se refiere a que el poder de expresividad, lo que puede decir la aritmética, el poder de su voz no le alcanza
para sustentar su consistencia. Para mencionar una interpretación más acertada y podrı́a decirse un poco más
técnica, nos apoyaremos en el segundo teorema de incompletitud de Gödel, sin dejar de reconocer que esa
tarea que puede ser tan insondable y compleja como uno desee:

• Sea T una teorı́a axiomatizable de primer orden en un lenguaje formal L tal que T tiene el mismo poder
de expresividad de PA. Entonces existe una sentencia G de L que asegura la consistencia de T y G es de
tal forma que, a menos que T sea inconsistente, G no es probable en T.

El quiz del asunto esta en el hecho es que si un matemático quisiera enfrentar la posibilidad de construir un
sistema Θ de axiomas que sirvan como fundamentalmente de ella, le solicitarı́a a este sistema tres cualidades
para que fuese ideal y romántico: Que contenga afirmaciones solo verdaderas, que puedan ser reconocidas por
algoritmos mecánicos y que todas las verdades evidentes por si mismas estén en el conjunto de las sentencias
que se puede deducir Θ, es decir estar en Θ` . Los teoremas de incompletitud afirman que es imposible tener
este sistema Θ que cumpla con las cualidades necesarias, ya que el simple hecho de aceptar las dos primeras,
cosa que la mayorı́a de los matemáticos no sacrificarian, implicarı́a que la tercera cualidad no se tendrı́a. En
el caso de la aritmética de Peano, PA, se tiene que ninguna sentencia formulada con este lenguaje L A , es decir,
usando los sı́mbolos de este lenguaje, va a lograr probar la consistencia de esta teorı́a. Es decir técnicamente
estarı́amos respondiendo afirmativamente la siguiente pregunta: ¿Gödel demostró que existe una sentencia ϕ
en L A tal que ni PA ` ϕ, ni PA 6` ϕ?

Regresando al asunto de las posibles interpretaciones heuristicas de nuestros teoremas de incompletitud,

hay una que podria ser muy general, pero en la que se desea hacer incapie, y que se encontró en el libro Dis-
covering Modern Set Theory I escrito por Winfred Just y Martin Weese, quien comicamente describı́an que
esta versión podrı́a aparecer en el tı́tulo de los clasificados de una bolsa de empleos de especialistas en ciencias
matemáticas y es el titulo de este escrito: Los matemáticos nunca serán desempleados. Y no pienso que se
referı́a al papel creciente que tienen la matemáticas en el desarrollo actual de la sociedad, teniendo papeles
diversos como el desarrollo de empresa, o la optimización de recursos de un planeta que se hace cada menos
sostenible. Creo más bien que este tı́tulo es justificado principalmente por dos razones. La primera es que el
hecho de no tener ese sistema ideal y romántico que fundamente toda la matemática, no le ha impedido desar-
rollar teoremas bastante importantes que modelen e interpreten el mundo de la manera adecuada y artı́stica y
esto oscurese el debate o por lo menos la pregunta ¿Las matemáticas se descubren o son inventadas? porque

1
si fuesen inventadas por el ser humano, entonces en ellas se plasmarı́a la esencia y el ingenio del ser que la
inventó, un ser que escoge lo que para el es verdadero y fundamental y sabe o intuye que su verdad, no es
necesariamente la verdad de lo que lo rodea, ni mucho menos del todo, pero es la que necesita. Y los inven-
tos nacen desde ahı́. Desde las necesidades. O si se descubrieran, se descubren desde las limitaciones del
ser humano, que fundamentalmente son el aquı́ y el ahora. Y el aquı́ y el ahora no es el todo, muchas veces
el aquı́ y el ahora es acotado por la nada. Y la lógica lo ha reflejado. Los teoremas de incompletitud lo han
hecho. Desde lo local, es extremadamente complicado, por no decir imposible hablar de lo general. Y el tra-
bajo del matemático es mantener ese debate. Y la esperanza de responder la pregunta o de generar otras. Y
la segunda razón es que nunca un computador sustituirá el trabajo de un matemático. No importa que en
muchas otras habilidades como la capacidad de cálculo, la retención de información, la rapidez y efectividad
de las operaciones y la eficacia de las formas, los humanos sean un infimo, al lado de las máquinas, que aún
no han adquirido el espiritú, la inventiva y la curiosidad que este tiene y seria muy difı́cil que nos digan cosas
tan trascendentales como lo que no podemos hacer. ¿Un computador tendrá conciencia de lo que no puede
hacer? Y aquı́ esta el trabajo del matemático. Informarnos de lo que no se puede hacer. Y cada vez ayudar
con un grano de arena a disminuir esa brecha. Saber lo que no se pude hacer es el primer paso para entender
lo que se hace y generar posibilidades. Porque donde están las posibilidades, esta el ser humano. Y ese es el
trabajo de las personas que ejercen matemáticas y que nunca va a terminar. Sin los teoremas de incompletitud
de Gödel, no se habrı́an construido nuevas formas de hacer matemática, y hasta podrı́amos seguir creyendo
que PA=PA` , lo cual es quizás le abre poco a poco a PA el camino directo al olvido. Está es la interpretación
que le ofrecerı́a a alguien que no tenga mucho contacto con las matemáticas.

José Fabian Beltrán Joya.

Referencias:

1) S. Srivastava A course on Mathematical logic. Second Edition, 2013 Springer.

2) W. Just and M. Weese Discovering modern set theory I: The basics. Graduate studies in mathematics
AMS 1996.
3) http://users.ox.ac.uk/ jrlucas/mmg.html Minds, Machines and Gödel.

4) Apuntes del curso lógica 2020-1 Universidad Nacional de Colombı́a.