No se enseña en la carrera de Matemáticas, pero la prueba ontológica de Kurt Gödel supone el intento de uno de los grandes genios del siglo XX por demostrar la capacidad de la lógica modal para construir razonamientos sobre cuestiones metafísicas como la existencia de Dios. Más de medio siglo después, el representante de Jesucristo en la Tierra, según la doctrina de la Iglesia Católica, el papa León XIV se alza como el primer pontífice de la historia con un título universitario en Matemáticas.Seguir leyendo....