El Sistema Formal como un Grafo Dirigido
Un sistema axiomático formal define un grafo dirigido:
- Vértices: todas las fórmulas bien formadas construibles a partir de los símbolos del sistema
- Aristas: pasos de inferencia — una fórmula se sigue de otras por una regla de inferencia
- Axiomas: vértices fuente distinguidos sin aristas entrantes
- Teoremas: todos los vértices alcanzables desde el conjunto de axiomas
Una prueba del teorema T: un camino dirigido desde el conjunto de axiomas hasta T. La prueba es una secuencia de vértices A₁, A₂, ..., Aₙ = T donde cada paso se sigue por una regla de inferencia.
Dos propiedades fundamentales de un sistema formal, expresadas geométricamente:
Consistencia: ninguna fórmula F y su negación ¬F son ambas alcanzables desde los axiomas. Geométricamente: el vértice teorema F y el vértice teorema ¬F no son ambos alcanzables. No existe un camino de 'explosión'.
Completitud: toda fórmula F o ¬F es un teorema (alcanzable). Geométricamente: el grafo está fuertemente conectado en el sentido de que para todo vértice F, al menos uno de F o ¬F tiene un camino desde los axiomas.
La Incompletitud de Gödel como una Propiedad Geométrica
Kurt Gödel probó en 1931 que todo sistema axiomático consistente lo suficientemente potente para expresar aritmética básica es incompleto: existen fórmulas G tales que ni G ni ¬G son demostrables.
Geométricamente: en todo sistema axiomático lo suficientemente rico y consistente, hay vértices en el grafo de fórmulas que no son alcanzables desde los axiomas — ni el vértice G ni el vértice ¬G tiene un camino desde el conjunto de axiomas.
La construcción de Gödel: codificó una fórmula G que dice, en efecto, 'No soy demostrable.' Si G fuera demostrable, el sistema sería inconsistente (una declaración verdadera dice que no es demostrable). Si ¬G fuera demostrable, el sistema sería inconsistente (G sería falso pero el sistema lo prueba). Entonces ni G ni ¬G es demostrable — G es un vértice no alcanzable en un sistema consistente.
La incompletitud no es un defecto de los axiomas elegidos: Gödel demostró que es una propiedad estructural de todo sistema consistente lo suficientemente expresivo para manejar aritmética. Los vértices no alcanzables no se pueden eliminar agregando más axiomas sin generar otros nuevos.
Los Objetos Matemáticos como Puntos en un Espacio
La visión Platónica de las matemáticas puede formalizarse geométricamente: los objetos matemáticos habitan un espacio abstracto cuyos puntos son los objetos mismos y cuya estructura está dada por las relaciones entre ellos.
Considera los números naturales ℕ = {0, 1, 2, 3, ...}. La relación de divisibilidad define un orden parcial: m divide a n iff m | n. Este orden parcial define una geometría — el diagrama de Hasse de la red de divisibilidad.
Cada número primo se sienta en una posición mínima arriba de 1. Cada número compuesto se sienta arriba de sus factores primos. La estructura de este espacio codifica toda la teoría de números.
Qué hace esto Platónico: la estructura existe si o no alguna mente la estudia. El hecho de que 7 sea primo — que 7 no tiene divisores entre 1 y 7 — es un hecho sobre la posición de 7 en la red de divisibilidad, independiente de notación, cultura o civilización.
Cualquier civilización que investigue el conteo y la divisibilidad descubrirá la misma estructura. La geometría del sistema numérico es universal.
Navegando la Red de Divisibilidad
En la red de divisibilidad, el mínimo común múltiplo (mcm) de dos números corresponde a su uniión (límite superior más bajo) y el máximo común divisor (mcd) corresponde a su encuentro (límite inferior más grande).
El mcd se puede calcular mediante el algoritmo euclidiano: mcd(a, b) = mcd(b, a mod b), terminando cuando b = 0.
Lo Que la Abstracción Elimina
Abstracción geométrica: proyectar un objeto de dimensión alta sobre un subespacio de dimensión baja. La proyección pierde información (coordenadas no en el subespacio) pero retiene la estructura del subespacio perfectamente.
La abstracción matemática funciona de la misma manera. Un grupo es un conjunto con una operación binaria que satisface cuatro axiomas. Abstraer a la estructura de grupo elimina: los elementos específicos, la regla computacional de la operación específica, cualquier estructura adicional (orden, métrica, topología). Lo que permanece: el esqueleto de cuatro axiomas.
La recompensa: todo teorema sobre grupos se aplica a TODOS los grupos — números enteros bajo suma, rotaciones bajo composición, permutaciones bajo composición, simetrías de una molécula, grupos de Galois de ecuaciones polinómicas — simultáneamente. El teorema abstracto se prueba una vez; sus instancias son gratis.
Esta es la razón por la que los matemáticos puros resisten agregar suposiciones específicas del dominio: cada suposición agregada restringe la aplicabilidad del teorema. Un teorema sobre campos (agregando inverso multiplicativo) se aplica a menos estructuras que un teorema sobre anillos (sin inverso multiplicativo requerido).
El Equilibrio Precisión-Generalidad
Hay un equilibrio: teoremas más abstractos se aplican más ampliamente pero dicen menos sobre instancias específicas. Un teorema sobre espacios vectoriales sobre un campo dice menos sobre ℝ^n que un teorema específicamente sobre ℝ^n (donde distancia y ángulo están definidos).
La regla implícita de Hamming: abstrae lo más posible mientras retienes las propiedades que necesitas. Abstrae demasiado y tus teoremas se vuelven vacuamente generales ('cualquier conjunto con cualquier operación satisface...'). Abstrae muy poco y tus teoremas fallan al transferirse a nuevas aplicaciones.