Os cientistas Christoph Benzmüller, da Universidade Livre de Berlim, e Bruno Woltzenlogel, da Universidade Técnica de Viena, provaram informaticamente o teorema de Gödel, desenvolvido no final do século passado pelo matemático austríaco Kurt Gödel e que conclui que em base aos princípios da lógica deve existir Deus.
No final dos anos 70 Gödel argumentou que, por definição, "não pode existir nada maior de um ser supremo", e propôs mediante argumentações lógico-matemático a existência de Deus. Sua intenção era demonstrar que o chamado 'argumento ontológico' --de um modo puramente lógico-- da existência de Deus é válido.
Agora, os cientistas demonstraram, com um MacBook ordinário, que sua argumentação era matematicamente correta. Neste sentido, os pesquisadores sublinharam que este trabalho, publicado em 'Arxiv.org', "tem mais do que ver com a demonstração de do que uma tecnologia superior pode ajudar à ciência, que com a teoria de que Deus exista ou não".
Assim, apontaram que o importante é que "o que conseguiram através dos computadores supõe um sucesso do genial raciocínio" de Gödel. Benzmüller assinalou que a prova ontológica era, mais do que qualquer outra coisa, um bom exemplo de algo inacessível nas matemáticas ou da inteligência artificial, que se resolveu com a tecnologia atual.
Em sua opinião, o fato de que a formalização destes teoremas complicados se possam realizar com computadores não profissionais abre todo tipo de possibilidades. O cientista assinalou que "é totalmente incrível que o Teorema de Gödel se possa provar de forma automática em poucos segundos ou inclusive menos num portátil padrão".