El teorema de Gödel es equiparable por su importancia a la teoría de la relatividad de Albert Einstein, y es una de las construcciones fundamentales de las matemáticas de todos los tiempos. Gödel utilizó el rigor de las matemáticas para demostrar, sin lugar a dudas, que las matemáticas mismas son incompletas. En su artículo de 1931, Gödel demuestra que en cualquier sistema lógico basado en axiomas y reglas de inferencia, existen enunciados cuya verdad o falsedad no vamos a poder decidir  basándonos en la propia lógica matemática del sistema. Antes de Gödel esto ni siquiera se consideraba, pues lo interesante de un enunciado era poder demostrar que era verdadero o bien era falso. A partir de Gödel aparece una diferencia muy sutil entre verdad/falsedad y demostrabilidad. Continua leyendo »

La llamada gravedad cuántica trata de fundir en una sola las dos teorías físicas más soberbias con las que contamos, la relatividad general y la mecánica cuántica, que en el estado actual de nuestro conocimiento parecen incompatibles. Su estudio, ahora mismo, es en algunos aspectos análogo a la física de hace cien años, cuando se creía en los átomos, pero se ignaraban los detalles de su estructura. Continua leyendo »