Oamenii de stiinta sustin ca au gasit dovada existentei lui Dumnezeu

Pentru a ajunge la
aceasta concluzie cercetatorii au folosit un calcul matematic, o teorema de la
inceputul secolului al XX-lea a matematicianului austriac, Kurt Godel, si un
computer Apple MacBook, potrivit [url=http://www.ziare.com/magazin/descoperire/oamenii-de-stiinta-sustin-ca-au-gasit-dovada-existentei-lui-dumnezeu-1264697]Ziare.com[/url]
 
Benzmuller si Woltzenlogel au aratat ca
dovada lui Godel a fost corecta, cel putin la nivel matematic, prin intermediul
logicii superioare. Lucrarea celor doi oameni de stiinta a fost intitulata
„Formalizarea, mecanizarea si automatizarea dovezii lui Godel, privind
existenta lui Dumnezeu”.

Prima versiune a acestei dovezi ontologice a fost in anul 1941, dar nu a fost
facuta publica decat la inceputul anilor ’70, cand Godel se temea ca ar putea
muri, inainte de a anunta aceasta teorie.