Del 11 al 17 de abril, la revista descansa por Semana Santa

Gödel y el tiempo

Palle Yourgrau, profesor de filosofía en la universidad de Brandeis, es un gran admirador de Kurt Gödel (1906-1978). Desde luego, todos compartimos su admiración por la obra lógica de Gödel y por la serie de teoremas lógicos que llevan su nombre, de importancia decisiva e indiscutible. En 1930 probó Gödel el teorema de completud de la lógica de primer orden, que dice que el conjunto de las fórmulas válidas (de primer orden, es decir, con cuantificación sobre individuos, no sobre conjuntos) es recursivamente enumerable o, lo que es lo mismo, que todas las consecuencias de unos axiomas dados pueden ser obtenidas mediante un cálculo deductivo. En 1931 demostró el todavía más famoso teorema de incompletud: una teoría formal que contenga

Leer más »