En 1978, el famoso matemático austríaco Kurt Gödel presentó un teorema basado en los principios de la lógica modal.
Su teoría, “no puede existir nada más grande que un ser supremo” y si Dios existe en la comprensión de este concepto, entonces lo podríamos concebir como ‘superior’ si realmente existiera.
Nadie puede entender la conclusión de Gödel sin revisar todos los números y ecuaciones, pero esta es la idea general. Al fin y al cabo, éste fue el último y mejor intento de demostrar la existencia de Dios a través de razonamiento matemático abstracto.
Dos científicos han demostrado el mismo teorema, más o menos, usando un MacBook. Ellos argumentaron que esto “tiene más que ver con la demostración de que una tecnología superior puede ayudar a la ciencia, que con la teoría de que Dios exista o no”.
Christoph Benzmüller de la Universidad Free de Berlín y su compañero, Bruno Woltzenlogel Paleo de la Universidad Técnica de Viena, demostraron que la prueba de Gödel era correcta, a nivel matemático, a través de la lógica modal superior.
Lo que dijeron: “es totalmente increíble que el Teorema de Gödel se pueda probar de forma automática en pocos segundos o incluso menos en un portátil estándar”.
La formalización de la teoría probablemente tendrá un efecto diferente, es decir, la ampliación del alcance de los campos científicos usando una tecnología superior.
Si es posible demostrar teoremas tan complejas en portátiles regulares, entonces los nuevos descubrimientos podrían hacerse con más facilidad y rapidez en el futuro.