Pensándolo bien...
Kurt Gödel demostró sus célebres teoremas de incompletitud en 1931, un resultado que transformó profundamente la lógica y los fundamentos de las Matemáticas. En aquel momento, los matemáticos buscaban construir un sistema axiomático perfecto, consistente (sin contradicciones) y completo (capaz de demostrar todas las verdades matemáticas). Gödel mostró que ese ideal es imposible.
Su estrategia consistió en traducir afirmaciones matemáticas en números mediante un método llamado “numeración de Gödel”. Cada símbolo, fórmula o incluso demostración se codifica como un número único usando factorización en números primos. Esto permite que las matemáticas “hablen sobre sí mismas”, ya que las propiedades de las fórmulas se convierten en propiedades de números.
El paso crucial fue convertir afirmaciones metamatemáticas (como “esta fórmula es demostrable”) en fórmulas aritméticas dentro del propio sistema. A partir de ahí, Gödel construyó una proposición especial, conocida como G, que esencialmente afirma: “Esta fórmula no puede ser demostrada”.
Aquí surge la paradoja. Si G pudiera demostrarse, entonces sería falsa (porque afirma que no es demostrable), lo que generaría una contradicción. Si no puede demostrarse, entonces lo que dice es cierto. Por tanto, G es verdadera pero indemostrable dentro del sistema. Esto prueba que cualquier sistema axiomático suficientemente potente es incompleto y siempre habrá verdades que no puede demostrar.
Además, Gödel demostró su segundo teorema, según el cual, ningún sistema puede demostrar su propia consistencia. Si pudiera hacerlo, implicaría que puede resolver afirmaciones como G, lo cual es imposible.
Las consecuencias son profundas, porque no existe una “teoría matemática de todo”, y la verdad matemática no coincide completamente con lo demostrable. Décadas después, estos límites siguen apareciendo en problemas indecidibles como la hipótesis del continuo o el problema de la parada, mostrando que la incompletitud no es una rareza, sino un rasgo esencial del pensamiento formal.
Aplicar directamente los teoremas de Kurt Gödel a la Química no es tan simple como trasladarlos sin más, ya que no estamos ante un sistema puramente axiomático como la aritmética formal, pero sí pueden inspirar una idea poderosa, como “todo sistema teórico tiene límites internos”. En Química, esto se traduce en que “ningún modelo o teoría puede describir completamente todos los fenómenos químicos sin excepciones o zonas de indeterminación”.
Un ejemplo lo tenemos en la predicción de reacciones químicas. Imaginemos un sistema teórico en Química que intenta predecir todas las reacciones posibles a partir de principios fundamentales, como por ejemplo, la Mecánica cuántica aplicada a moléculas.
Objetivo del sistema: dado un conjunto de moléculas, decidir si reaccionarán, cómo lo harán y qué productos formarán.
Aplicación “tipo Gödel”. Construimos un paralelismo conceptual del siguiente modo:
1. Sistema axiomático químico, constituido por las leyes físicas, ecuaciones de Schrödinger, modelos de enlace, cinética, etc.
2. Proposición química como la formulación : este sistema molecular reaccionará en condiciones dadas.
3. Problema análogo a Gödel, porque existen sistemas moleculares complejos, por ejemplo, redes de reacciones en bioquímica o química atmosférica, donde no podemos predecir con certeza el resultado o la predicción depende de simplificaciones externas al sistema.
Un caso concreto es considerar una red compleja de reacciones orgánicas, por ejemplo, en química prebiótica. Podemos formular una “proposición” como “este conjunto de moléculas evolucionará hacia una estructura autocatalítica estable”. En la práctica algunos modelos predicen que sí, otros no y en muchos casos no existe demostración completa dentro del propio modelo, solo simulaciones o aproximaciones.
La interpretación tipo Gödel sugiere algo profundo, porque hay “verdades químicas”, lo que realmente ocurre en la naturaleza, pero no todas son derivables de un modelo teórico concreto. Es decir, lo que ocurre químicamente puede exceder lo que podemos demostrar dentro de nuestro marco teórico.
Un ejemplo más técnico lo tenemos en la química computacional. En simulaciones de sistemas grandes, como proteínas o materiales complejos no siempre podemos determinar si el sistema alcanzará un estado estable global y esto recuerda al problema de la “parada en computación”, según el cual no siempre sabemos si un cálculo terminará o qué resultado tendrá.
Así pues, la “lección gödeliana” en Química no es una limitación práctica concreta, sino epistemológica, porque ningún modelo químico será completamente cerrado y autosuficiente y siempre habrá fenómenos que requieran nuevos marcos, datos o hipótesis. En otras palabras, la Química, como las Matemáticas, está abierta, y nunca completamente terminada, siempre en expansión.
Sopa de letras: INCOMPLETITUD EN QUÍMICA
Soluciones: ACORDES OLFATIVOS