9. O cientista da computação que alega provar que Deus existe (2013)
Em outubro de 2013, dois cientistas, Christoph Benzmüller da Universidade Livre de Berlim e seu colega, Bruno Woltzenlogel Paleo da Universidade Técnica de Viena, formalizaram um teorema sobre a existência de Deus, que foi escrito pelo matemático austríaco Kurt Gödel.
Usando um computador MacBook comum, eles mostraram que a prova de Gödel foi correta, pelo menos em um nível matemático, por meio de maior lógica modal.
Em sua apresentação inicial em um servidor de pesquisa, “Formalização, mecanização e automação de prova da existência de Deus de Gödel”, a dupla disse que “prova ontológica de Gödel foi analisada pela primeira vez com um grau de detalhe e formalidade sem precedentes com a ajuda de provadores de teorema de ordem superior”.
Mas sem surpresa, há uma advertência bastante significativa a esse pedido. Na verdade, o que os pesquisadores em questão dizem ter realmente comprovado é um teorema que foi apresentado pelo renomado Gödel, e a notícia real não se trata de um Ser Supremo, mas sim o que agora pode ser alcançado em campos científicos utilizando tecnologia superior. Os matemáticos dizem que a sua prova de axiomas de Gödel tem mais a ver com demonstrar como a tecnologia superior pode ajudar a trazer novas conquistas na ciência.
Benzmüller e Paleo acreditam que seu trabalho pode beneficiar áreas como inteligência artificial e da verificação de software e hardware.
Em última análise, a formalização da prova ontológica de Gödel é improvável para conquistar muitos ateus, nem é susceptível de confortar os verdadeiros crentes que podem argumentar que a ideia de um poder superior é aquele que desafia a lógica por definição. No entanto, para os matemáticos que procuram maneiras de quebrar a terra nova, talvez a notícia poderia representar uma resposta às suas orações.
