O trabalho de Benzmüller e Paleo teve como base o argumento ontológico de Kurt Gödel, que propôs um argumento matemático para a existência de Deus.
Apesar de argumentos ontológicos não serem algo novo mesmo nos tempos de Gödel, falecido em 1978, o matemático propôs uma nova ideia, expressando seus teoremas e postulados em um complexo conjunto de equações matemáticas, que agora foram comprovadas por Benzmüller e Paleo.
Porém, apesar das manchetes usadas na divulgação de seu trabalho, os cientistas ressaltam que o trabalho desenvolvido por eles não provam necessariamente a existência de um ser divino, mas é uma demonstração do que pode ser alcançado com as tecnologias atuais nos diversos campos do conhecimento científico, visto que conseguiram resolver o complexo conjunto de equações com o uso de um notebook comum.
Segundo a publicação Spiegel, os cientistas, que têm trabalhado juntos desde o início do ano, acreditam que seu trabalho pode ter muitas aplicações práticas em áreas como inteligência artificial e da verificação de software e hardware.
Apesar de argumentos ontológicos não serem algo novo mesmo nos tempos de Gödel, falecido em 1978, o matemático propôs uma nova ideia, expressando seus teoremas e postulados em um complexo conjunto de equações matemáticas, que agora foram comprovadas por Benzmüller e Paleo.
Porém, apesar das manchetes usadas na divulgação de seu trabalho, os cientistas ressaltam que o trabalho desenvolvido por eles não provam necessariamente a existência de um ser divino, mas é uma demonstração do que pode ser alcançado com as tecnologias atuais nos diversos campos do conhecimento científico, visto que conseguiram resolver o complexo conjunto de equações com o uso de um notebook comum.
Segundo a publicação Spiegel, os cientistas, que têm trabalhado juntos desde o início do ano, acreditam que seu trabalho pode ter muitas aplicações práticas em áreas como inteligência artificial e da verificação de software e hardware.
Fonte: Missão em Cristo
Nenhum comentário:
Postar um comentário