Учените са успели да докажат теоремата на Гьодел, която достига до това заключение въз основа на принципите на логиката

Свързани новини

Учените Кристоф Бензмюлер от Свободния университет в Берлин и Бруно Волценлогел от Техническия университет във Виена са компютъризирани доказателства за теоремата на Гьодел, разработена в края на миналия век от австрийския математик Кърт Гьодел и това заключава, че се основава на принципите на логиката трябва да има висше същество.

същество

В края на 70-те Гьодел твърди, че по дефиниция „не може да съществува нищо по-голямо от върховно същество“, и предлага с помощта на логико-математически аргументи съществуването на Бог. Неговото намерение беше да покаже, че така нареченият „онтологичен аргумент“ за съществуването на Бог е валиден.

Сега учените показаха, с обикновен MacBook, че техният аргумент беше математически правилно. В този смисъл изследователите подчертаха, че тази работа, публикувана на Arxiv.org, има „повече общо с демонстрацията, че превъзходна технология може да помогне на науката, че с теорията, че Бог съществува или не ".

По този начин те посочиха, че важното е, че това, което са постигнали чрез компютрите, е „успех на блестящите разсъждения на Gödel“. Бензмюлер посочи това онтологично доказателство това беше, повече от всичко друго, добър пример за нещо недостъпно в математиката или изкуствения интелект, което е решено със съвременните технологии.

Според него фактът, че може да се направи формализирането на тези сложни теореми непрофесионални компютри отваря всякакви възможности. Ученият посочи, че „е напълно невероятно, че Теорема на Гьодел може да се тества автоматично за секунди или дори по-малко на стандартен лаптоп ».