A notícia surge nos jornais deste modo e refere-se à formalização do teorema relativo à existência de deus desenvolvido por Kurt Gödel.
Gödel, amigo de Albert Einstein, e que goza entre a comunidade científica de reputação semelhante, desenvolveu o argumento que agora foi “provado automaticamente em poucos segundos” e que poderá ter aplicações em áreas como a Inteligência Artificial ou a verificação de software e hardware.
Pode ler-se uma
descrição detalhada do argumento ontológico de Gödel a favor da
existência de deus na Enciclopédia de Termos Lógico-Filosóficos, segunda edição.
(agradecemos ao Pedro Lopes pela informação)
3 comentários :
Cabecinhas pensadoras...onde é que esse gajo está,eu gostava de lhe dar uma palavrinha...
Como diriam os mais radicais, se Deus existe e o mundo é assim, então sou o Diabo!
O deus que eles encontraram deve ser assim mesmo, deus, minúsculo.
Enviar um comentário