Em um artigo recente da ABC News, o jornalista David Knight escreve que dois cientistas alemães provaram que o teorema do lógico e matemático Kurt Gödel sobre a existência de Deus é logicamente preciso [1].
Knight escreve: “Os detalhes da matemática envolvida na prova ontológica de Gödel são complicadas, mas na sua essência o austríaco argumentou que, por definição, Deus é aquele para o qual nada maior pode ser concebido. E enquanto Deus existe no entendimento do conceito, poderíamos conceber-lo como maior se ele existir na realidade. Por isso, ele deve existir.
“Mesmo na época, o argumento não era exatamente novo. Durante séculos, muitos tentaram usar esse tipo de raciocínio abstrato para provar a possibilidade ou necessidade da existência de Deus. Mas o modelo matemático composto por Gödel propôs uma prova da idéia. Seus teoremas e axiomas – pressupostos que não podem ser comprovados – podem ser expressos como equações matemáticas. E isso significa que eles podem ser provados”…
Os dois cientistas da computação são Christoph Benzmuller e Bruno Wolzenlogel Paleo.
Kurt Gödel foi um matemático, filósofo e lógico austríaco-americano. Ele nasceu em 1906 na República Checa. Ele morreu em Princeton, New Jersey, em 1978, depois de ter amizade com Albert Einstein e outros cientistas notáveis. Depois de ensinar em Princeton, Gödel foi institucionalizado, pensando que sua comida foi envenenada. Gödel é mais conhecido por seu trabalho em sistemas axiomáticos recursivod e incompletude. A partir destes sistemas os cientistas derivaram a numeração Gödel. Além disso, Gödel era um crente em Deus e procurou várias provas da existência de Deus, um dos quais é o teorema que os cientistas alemães recentemente verificaram.
Para mais informações sobre Gödel, recomendo três obras que são ao mesmo tempo agradáveis e bastante acessíveis: Gödel: A Life of Logic de John Casti e Werner Depauli; Um mundo sem tempo: Gödel e Einstein por Palle Yourgrau; e Gödel, Escher, Bach: An Ethernal Golden Braid por Douglas Hofstadter.
1) http://abcnews.go.com/Technology/computer-scientists-prove-god-exists/story?id=20678984
Fonte: http://www.crossmap.com/blogs/german-scientists-prove-gdels-proof-for-gods-existence-is-correct-6748
Tradução: Emerson de Oliveira
