Matemáticas

"En 1931, el lógico y matemático Kurt Godel, demostró un teorema que se tranformó en un clásico de la matemática y que, por su importancia (y su exquisita belleza), se conoce como "El teorema de Godel, 1931". En él se demuestra que no todas las verdades matemáticas pueden ser alcanzadas. Más sencillamente: que en cualquier sistema que contenga la aritmética, existe por lo menos una fórmula, que, aún siendo verdadera, no podrá jamás ser demostrada. No importa cuál sea el conjunto de axiomas que se use: siempre habrá algo que, si bien es verdadero, no se puede demostrar."

Leonardo Moledo en "De las Tortugas a las Estrellas"