Los límites matemáticos del conocimiento
Nota del autor: Este texto es la quinta entrega de la serie Los límites del observador. Si vienes llegando, puedes revisar los artículos anteriores AQUÍ
Existe una tentación recurrente cuando se habla de los límites de la mente: atribuir nuestras cegueras únicamente a la fragilidad de la biología.
Nos consolamos pensando que si tan solo tuviéramos un cerebro con más neuronas, un volumen craneal más amplio o la asistencia de una superinteligencia artificial capaz de procesar petaflops de información sin cansancio, las brumas del conocimiento finalmente se disiparían. Asumimos que la ignorancia es solo un problema de hardware.
Sin embargo, cuando nos adentramos en la lógica pura y las matemáticas abstractas, descubrimos una verdad mucho más severa.
Existen fronteras que no tienen nada que ver con la biología, ni con la energía, ni con la falta de datos. Son límites que emergen de la propia estructura del razonamiento formal.
Donde sea que exista un sistema abstracto con reglas definidas y la capacidad de hablar sobre sí mismo, aparecen grietas inevitables.
La ilusión de la totalidad formal
A principios del siglo XX, la comunidad matemática creía estar cerca de la cúspide del conocimiento absoluto. El proyecto Principia Mathematica de Bertrand Russell y Alfred North Whitehead buscaba demostrar que toda la matemática podía reducirse a una serie de axiomas lógicos impecables, un sistema cerrado donde cualquier proposición verdadera pudiera ser rigurosamente demostrada.
Era el sueño de un lenguaje perfecto: un universo formal sin inconsistencias ni misterios.
La ilusión duró poco.
En 1931, Kurt Gödel publicó sus famosos teoremas de incompletitud. Utilizando una ingeniosa técnica de codificación que permitía a los números matemáticos hacer afirmaciones sobre las propias ecuaciones que los contenían, Gödel demostró lo impensable, en cualquier sistema axiomático consistente lo suficientemente complejo como para hacer aritmética básica, siempre existirán enunciados que son verdaderos, pero que no pueden ser demostrados usando las reglas de ese propio sistema.
Es crucial evitar una extrapolación común aquí: Gödel no demostró que “la mente humana es mística” ni que “las matemáticas no sirven”.
Lo que demostró es mucho más sutil y profundo. Demostró que la verdad y la demostrabilidad no son coextensivas. Un sistema formal no puede ser, al mismo tiempo, completamente consistente y totalmente completo.
Para que un sistema sea coherente, debe aceptar la existencia de puntos ciegos dentro de su propia estructura.
La computadora que no puede mirarse a sí misma
Cinco años después del trabajo de Gödel, Alan Turing tradujo este problema formal al lenguaje de la computación naciente.
Get Natyari Vargas’s stories in your inbox
Join Medium for free to get updates from this writer.
Turing diseñó el concepto de una máquina universal (el modelo teórico de la computadora moderna) y se planteó una pregunta aparentemente simple: ¿es posible escribir un algoritmo que analice cualquier otro programa informático y determine, con certeza absoluta y en tiempo finito, si dicho programa eventualmente terminará de ejecutarse o se quedará atrapado en un bucle infinito?
Es el famoso Problema de la Parada (Halting Problem).
La respuesta de Turing fue un no categórico. Demostró matemáticamente que tal algoritmo universal es lógicamente imposible. Si intentaras construir un programa diseñado para evaluar el comportamiento de todos los programas (incluyéndose a sí mismo dentro del análisis) el sistema colapsa inevitablemente en una contradicción autorreferencial, un bucle lógico donde la respuesta correcta requiere que el programa haga exactamente lo contrario de lo que predice.
No es que no hayamos inventado aún la supercomputadora adecuada. Es que la clase de problema no permite una solución algorítmica desde dentro del propio marco computacional.
El patrón de la autorreferencia
Llegado a este punto, la convergencia deja de ser una coincidencia.
Hemos visto el problema del libro que intenta contenerse a sí mismo, las ecuaciones de Gödel moliendo la lógica formal, el algoritmo de Turing atascado en su propia paradoja y el cerebro intentando usar sus propias redes para auditar la totalidad de su arquitectura.
El patrón es inconfundible.
La autorreferencia no es una tara exclusiva de la biología humana ni un fallo de diseño de los seres vivos. Parece ser una propiedad intrínseca de la información y de la complejidad.
Cuando un sistema (sea un lenguaje formal, un algoritmo informático o un conjunto de redes neuronales) alcanza la complejidad suficiente para volverse sobre sí mismo e intentarse mapear por completo, genera un punto ciego estructural. La autorreferencia es la pared contra la que chocan todos los marcos de procesamiento.
La trampa de la perspectiva interna
Durante milenios, la filosofía creyó que el pensamiento racional era un territorio ilimitado, un espacio abstracto donde las reglas de la lógica nos garantizarían acceso a cualquier verdad si razonábamos con suficiente rigor.
Las matemáticas del siglo XX vinieron a recordarnos algo mucho más humilde.
Incluso en el dominio inmortal y puro de las ideas abstractas un mundo libre de carne, entropía y limitaciones biológicas , el observador no puede escapar a la posición desde la que observa.
Un sistema formal no puede validar su propia consistencia desde dentro de sus propios axiomas. Necesita un meta-sistema externo. Y ese meta-sistema, a su vez, necesitará otro más amplio para justificar el suyo, disparando una cadena que no tiene final.
Si esto ocurre en las matemáticas abstractas, las consecuencias para la mente humana son inevitables.
Llevamos cuatro artículos desarmando la confianza en la objetividad de nuestro procesamiento: hemos visto la ilusión del modelo predictivo, los atajos de la evolución, la drástica compresión de la información y, ahora, las contradicciones de la autorreferencia.
Es momento de aplicar todo este arsenal al concepto más íntimo y evasivo que poseemos. La construcción interna que sostiene la ilusión de que hay “alguien” leyendo estas palabras.
Y de la ilusión del yo hablaremos en la siguiente entrega.
