Lógica en Computación cs.LO

En el mundo de la lógica existe un puente. Se tiende sobre el abismo que separa la admisibilidad de una regla de su derivabilidad a partir de los axiomas. Mientras las reglas manejan un número finito de premisas, el puente es firme: en la lógica clásica, todo lo que no viola la verdad ya está contenido en la sintaxis. Pero al añadir premisas infinitas, los pilares empiezan a temblar. El puente, ay, no lo puede todo.

Otoño de 1956. Kurt Gödel escribe en una hoja de papel una pregunta dirigida al moribundo John von Neumann: ¿se puede comprobar la satisfacibilidad de una fórmula booleana más rápido que por fuerza bruta? La respuesta llegará 69 años después, y resultará ser la mordedura del uróboros lógico, la serpiente mítica que se devora la cola. La serpiente nace del azar.

En una sopa hirviendo, las moléculas chocan caóticamente y reaccionan. Pero si medimos cómo cambian sus concentraciones, emergen patrones. Así funcionan las redes químicas de carbono: mezclas de moléculas que espontáneamente «cocinan» información, convirtiendo cada reacción en un cálculo elemental. Antes solo se usaban para modelar la naturaleza.