Las paradojas de autorreferencia y negación delimitan los sistemas lógicos y computacionales

La historia del pensamiento occidental ha sido marcada por la recurrencia de nudos conceptuales que combinan la autorreferencia con la negación. Estos planteamientos, que impiden la asignación coherente de un valor de verdad, han revelado obstáculos insuperables para la lógica tradicional y han catalizado descubrimientos profundos en múltiples disciplinas.

En la teoría de conjuntos, la paradoja de Russell demostró que no toda propiedad da lugar a un conjunto, al considerar la colección de todos los conjuntos que no se contienen a sí mismos, llevando a una contradicción fundamental. Este hallazgo limitó la capacidad de construir conjuntos de forma irrestricta.

En el ámbito de la computación, la misma estructura paradójica se manifiesta en el problema de la parada de Turing. Este teorema fundamental establece la imposibilidad de crear una máquina de Turing universal que pueda predecir si cualquier programa dado se detendrá o entrará en un bucle infinito. Al aplicar el algoritmo a su propia descripción con una modificación en la salida, se genera una contradicción que impide tal capacidad predictiva universal.

La teoría de los sistemas formales también se ve afectada por estas paradojas, como evidencian los teoremas de incompletitud de Gödel. Estos demuestran que, en cualquier sistema formal lo suficientemente expresivo para formular cierta frase autorreferencial que afirma su propia indemonstrabilidad, no se puede ser simultáneamente consistente y completo. Es decir, tales sistemas no pueden probar todas y solo las proposiciones verdaderas, lo que delimita el poder de la deducción.

Estas contradicciones también influyen en otros campos: el teorema de Cantor utiliza un argumento diagonal —una forma de autorreferencia y negación— para demostrar la existencia de infinitos de diferentes magnitudes. Además, el teorema de imposibilidad de Arrow en la teoría de la elección social establece que es inviable satisfacer simultáneamente un conjunto de condiciones democráticas deseables para agregar las preferencias de los votantes.

En la década de 1960, el teorema del punto fijo de Lawvere, en la teoría de categorías, proporcionó un marco unificador para muchas de estas paradojas. Este teorema sugiere que, si se busca representar un conjunto de elementos mediante un elemento universal, existen limitaciones inherentes para asegurar la consistencia. Estas limitaciones se manifiestan cuando una función carece de un punto fijo —un valor que la función mapea a sí mismo—, especialmente al combinarse con la autorreferencia, según un análisis publicado en The Conversation España.