Os esforços para demonstrar a existência de Deus a partir da lógica datam de muitos séculos, e muitos filósofos e teólogos se dedicaram a isso. Esse esforço culminou na tentativa de expressar a realidade de Deus através da matemática e, no séc. 20, isso foi feito de forma magistral pelo filósofo-matemático Kurt Gödel. Esse texto do portal da Fundação John Templeton, escrito por Joshua Moritz, delineia como Gödel montou um argumento ontológico em favor de Deus a partir da matemática, e como relutou em publicar suas ideias, que foram confirmadas anos depois pela Inteligência Artificial. Vale muito a leitura!
https://www.templeton.org/news/is-there-a-god-shaped-hole-at-the-heart-of-mathematics
[Use o Google Tradutor se tiver dificuldade com o inglês.]
