Programa de computador confirma prova da existência de Deus
Segundo a Wikipédia, Kurt Friedrich Gödel (1906-1978) “foi um matemático austro-americano e um dos mais importantes lógicos do século XX”. Ele ganhou fama com sua assim chamada prova ontológica de Deus, encontrada em seu espólio. Nessa obra, Gödel argumenta com base lógica a favor da existência de Deus. Agora, cientistas da Universidade Livre de Berlim e da UT de Viena conferiram essa afamada prova de Deus por meio de um programa de computador (por inteligência artificial). Até então, a sequência de argumentos de Gödel fora examinada logicamente apenas por filósofos. O programa de computador comprova que as premissas básicas de Gödel e sua sequência de argumentos são conclusivas. Mesmo assim, aquilo não fornece aos cristãos algum recurso que possam aplicar aos ateus militantes. Toda estrutura mental baseia-se em determinadas suposições básicas, e assim qualquer um pode questionar e rejeitar as premissas de Gödel que resultaram em sua argumentação. Em outras palavras: não se provou nada além do fato de que Gödel era um bom pensador. Isso não é grave, porque o Criador não é atingido pela tentativa de suas criaturas para prová-lo ou contestá-lo. Ele é; e isso também a Bíblia presume.