Двама учени са доказали компютърно теоремата на Гьодел. Проучването е проведено от Christophe Benzmuller, работeщ в Берлин и oт Bruno Voltsenlogel от Виена.
"В края на 1970 г. Гьодел предположил, че по дефиниция не може да има нищо по-мащабно от висше същество, и издига тезата за съществуването на Богна базата на логическо – математически разсъждения" – се казва в публикацията. Гьодел бил твърдо решен да докаже т. нар. "онтологичен аргумент" за съществуването на Бог.
"И сега учените, използвайки конвенционалния компютър MacBook, показват, че аргументите на Гьодел са математически верни" – се казва в статията. Самите учени казват, че по-скоро са искали да покажат как високите технологии помагат на науката, отколкото да се включват в дебата за съществуването на Бог./epochtimes-bg.com
