Mis compañeros me piden ayuda con los números. Sé matemáticas, suponen. La ironía es que soy un desastre en aritmética mental.
La gente se equivoca en matemáticas. Piensan que son sumas rápidas, restas hechas mentalmente mientras compras café. No. Las verdaderas matemáticas se tratan de construir mundos.
El mito de la fundación
Empiezas con reglas. Axiomas. Verdades básicas en las que estás de acuerdo para que el juego pueda comenzar. A partir de ahí vas acumulando cosas. Los conjuntos se convierten en números, los números se convierten en funciones, las funciones se convierten en geometría. Todo se basa en ese piso inicial.
Durante mucho tiempo, los matemáticos realizaron un peligroso acto de equilibrio. Querían la menor cantidad de reglas posible, pero suficientes para describir el universo moderno. Y esas reglas tenían que sentirse correctas. Intuitivo. Como decir “existe un conjunto vacío”. Simplemente tiene sentido.
En la década de 1900, todo el mundo se decidió por ZFC. Teoría de conjuntos de Zermelo-Fraen con elección. Nueve reglas. Eso es todo. Esa fue la base.
O eso pensaban.
Gödel lo rompe todo
Los matemáticos amaban su fundación. Soñaban con un sistema que fuera dos cosas a la vez:
- Completo. Toda verdad se puede probar.
- Consistente. No se permiten contradicciones.
Llega 1931. Entra Kurt Gödel. Veinticinco años. Lanza una bomba que rompe los cimientos.
Su primer teorema de incompletitud es brutal. Dice que en cualquier sistema fuerte y consistente, hay afirmaciones que no se pueden probar como verdaderas o falsas. Período. Luego viene el segundo teorema. Aún peor. El sistema no puede demostrar que sea consistente.
Suena académico, claro. Cosas de lógica abstracta. Sus compañeros esperaban que fuera una peculiaridad. Un extraño problema teórico sin dientes. Estaban equivocados.
Gödel demostró que la certeza tiene un límite. No puedes saberlo todo, ni siquiera dentro de las reglas que estableciste.
Tomemos como ejemplo el propio sistema ZFC. Está lleno de cosas indemostrables. La hipótesis del continuo es la más importante. ¿Existe infinito entre los números enteros y los números reales? No lo sabemos. Y nunca podremos probarlo utilizando nuestras herramientas actuales. La pregunta simplemente… permanece ahí.
No resuelto. Incluso irresoluble.
Entonces sí, puedes construir mundos a partir de axiomas. Puede pasar de conjuntos simples a topologías complejas. Pero la estructura tiene agujeros. Puntos ciegos incorporados donde se esconde la verdad, siempre fuera de su alcance.
¿Por qué la mente anhela la realización si la realización es imposible?
