Компютърно доказателство, че има висше същество
Учените са успели да докажат теоремата на Гьодел, която достига до това заключение въз основа на принципите на логиката
Свързани новини
Учените Кристоф Бензмюлер от Свободния университет в Берлин и Бруно Волценлогел от Техническия университет във Виена са компютъризирани доказателства за теоремата на Гьодел, разработена в края на миналия век от австрийския математик Кърт Гьодел и това заключава, че се основава на принципите на логиката трябва да има висше същество.
В края на 70-те Гьодел твърди, че по дефиниция „не може да съществува нищо по-голямо от върховно същество“, и предлага с помощта на логико-математически аргументи съществуването на Бог. Неговото намерение беше да покаже, че така нареченият „онтологичен аргумент“ за съществуването на Бог е валиден.
Сега учените показаха, с обикновен MacBook, че техният аргумент беше математически правилно. В този смисъл изследователите подчертаха, че тази работа, публикувана на Arxiv.org, има „повече общо с демонстрацията, че превъзходна технология може да помогне на науката, че с теорията, че Бог съществува или не ".