Dois cientistas anunciaram recentemente terem formalizado um teorema sobre a existência de Deus, escrito pelo renomado matemático austríaco Kurt Gödel. O trabalho foi realizado por Christoph Benzmüller da Universidade Livre de Berlim e seu colega Bruno Woltzenlogel Paleo, da Universidade Técnica de Viena, e anunciado na última semana pelo diário alemão Die Welt sob a manchete “Cientistas provam a existência de Deus”.

O trabalho de Benzmüller e Paleo teve como base o argumento ontológico de Kurt Gödel, que propôs um argumento matemático para a existência de Deus.

Apesar de argumentos ontológicos não serem algo novo mesmo nos tempos de Gödel, falecido em 1978, o matemático propôs uma nova ideia, expressando seus teoremas e postulados em um complexo conjunto de equações matemáticas, que agora foram comprovadas por Benzmüller e Paleo.

Porém, apesar das manchetes usadas na divulgação de seu trabalho, os cientistas ressaltam que o trabalho desenvolvido por eles não provam necessariamente a existência de um ser divino, mas é uma demonstração do que pode ser alcançado com as tecnologias atuais nos diversos campos do conhecimento científico, visto que conseguiram resolver o complexo conjunto de equações com o uso de um notebook comum.