 |
| Einstein e Gödel |
Dois
cientistas formalizaram um teorema sobre a existência de Deus, escrito pelo
renomado matemático tcheco Kurt Gödel (1906-1978). O nome de Gödel pode
não significar muito para alguns, mas entre os cientistas ele possui reputação
semelhante à de Albert Einstein - de quem era um amigo próximo. Os cientistas da
Universidade Livre de Berlim, Christoph Benzmüller e Bruno Woltzenlogel
Paleo, realizaram um trabalho que teve como base o argumento ontológico
(ciência do ser em geral) de Kurt Gödel, que propôs um teorema matemático para
a existência de Deus. Por conta disso, a notícia foi veiculada, na última
semana, pelo diário alemão Die Welt,
sob a manchete “Cientistas provam a existência de Deus”.
Obviamente,
uma ressalva significativa deve ser feita sobre a afirmação. Na verdade, o que
os pesquisadores em questão dizem ter realmente comprovado não é a existência
de um “Ser Supremo” em si, mas como o uso de uma “tecnologia superior” pode
resultar em avanços em vários campos científicos.
Quando
Gödel morreu, em 1978, ele deixou uma teoria tentadora baseada nos princípios
da lógica modal - que um ser superior deve existir. Os detalhes da matemática
envolvidos na prova ontológica de Gödel são complicados, mas, na essência, o
matemático argumentou que, por definição, Deus é aquele para o qual não poderia
ser concebido um ser maior. E, enquanto Deus existe conceitualmente falando, Ele
poderia ser concebido como “o maior”, se Ele existisse na realidade. Portanto,
para Gödel, Deus deveria existir.
Apesar
de essa argumentação não ser exatamente nova na época que foi formulada pelo
matemático, ele inovou ao escrever teoremas - pressupostos que não podem ser
comprovados - como equações matemáticas sobre o assunto. E, a partir daí, isso
poderia ser comprovado.
Aí
entram Christoph Benzmüller e Bruno Woltzenlogel Paleo. Com o uso de um MacBook
comum, eles mostraram que a prova de Gödel está correta - pelo menos em um
nível matemático - por meio da lógica modal superior. Sua apresentação inicial,
na publicação científica arXiv.org, recebeu o título de “Formalização,
mecanização e automação de prova da existência de Deus de Gödel”.
E,
a partir do fato de que um teorema complicado foi comprovado com uso de um
equipamento tecnológico de acesso ao público, isso abre “todos os tipos de
possibilidades”, declarou Benzmüller ao jornal Spiegel. “É totalmente incrível que, a partir desse argumento liderado
por Gödel, tudo isso pode ser provado automaticamente em poucos segundos, ou
até menos em um notebook padrão”, disse ele.
(History)
