cientistas da computação "provaM" Deus existe
Outubro 27, 2013
Por David Knight, SPIEGEL
Share
0
Share on email
6 Comments
FOTO: Dois cientistas acreditam ter formalizado um teorema confirmando a existência de Deus.
Dois cientistas acreditam ter formalizado um teorema confirmando a existência de Deus.
Getty Images
Dois cientistas formalizaram um teorema sobre a existência de Deus escrita pelo matemático Kurt Gödel . Mas o ângulo de Deus é um pouco de um arenque vermelho - o verdadeiro passo A frente é o exemplo que define de como os computadores podem fazer progresso científico mais simples.
"Os cientistas provam a existência de Deus", diário alemão Die Welt escreveu na semana passada.
Mas, obviamente, há uma ressalva bastante significativa para essa afirmação. Na verdade, o que os pesquisadores em questão dizem ter realmente comprovado é um teorema apresentado pelo renomado matemático austríaco Kurt Gödel - e a verdadeira notícia não é sobre um Ser Supremo, mas sim o que agora pode ser alcançado em campos científicos utilizando superiores tecnologia.
Quando Gödel morreu em 1978, ele deixou para trás 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 complicadas, mas na essência, o austríaco foi argumentando que, por definição, Deus é aquele para o qual o maior pode ser concebido. E enquanto Deus existe no entendimento do conceito, podemos concebê-lo como maior se ele existisse na realidade. Portanto, 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 a 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 postulados - pressupostos que não podem ser comprovadas - pode ser expressa como equações matemáticas. E isso significa que eles podem ser comprovados.
Provar a existência de Deus com um MacBook
É aí que Christoph Benzmüller da Universidade Livre de Berlim e seu colega, Bruno Woltzenlogel Paleo da Universidade Técnica de Viena, vêm dentro Usando um computador MacBook comum, eles têm mostrado que a prova de Gödel foi correta - pelo menos em um nível matemático - por meio da lógica modal superior. Sua apresentação inicial no servidor artigo de investigação arXiv.org é chamado de "formalização, mecanização e automação de prova da existência de Deus de Gödel".
O fato de que formalizam tais teoremas complicados pode ser deixado para computadores que abrem todos os tipos de possibilidades, Benzmüller ao Spiegel Online. "É totalmente incrível que a partir deste argumento liderado por Gödel, tudo isso pode ser provado automaticamente em poucos segundos ou até menos em um notebook padrão", disse ele.
O nome de Gödel pode não significar muito para alguns, mas entre os cientistas que ele goza de uma reputação semelhante aos gostos de Albert Einstein - que era um amigo próximo. Nascido em 1906 na então Áustria-Hungria e agora é a cidade checa de Brno, Gödel mais tarde estudou em Viena, antes de se mudar para os Estados Unidos após a Segunda Guerra Mundial começou a trabalhar na Universidade de Princeton, onde Einstein também foi baseado. A primeira versão desta prova ontológica é a partir de notas datadas de cerca de 1941, mas não foi até o início da década de 1970, quando Gödel temia que ele pudesse morrer, que ele se tornou público.
https://abcnews.go.com/Technology
