Не одно столетие ученые, богословы и философы пытаются составить собственные списки «доказательств» существования бога. Немецкий ученый Кристоф Бенцмюллер и австриец Бруно Фольтценлогель утверждают, что им наконец-то удалось справиться со столь сложной задачей с помощью MacBook.
По словам исследователей, то, что компьютер в течение нескольких секунд способен доказать даже самую сложную теорему, — совершенно поразительный факт. В качестве примера ученые решили взяться за знаменитую и весьма трудную теорему Курта Геделя, пишет Der Spiegel. Она представляет собой несколько написанных на одной страничке формул, интерпретировать суть которых пытаются до сих пор.
Вкратце толкование теоремы Геделя сводят к следующему утверждению: «Поскольку необходимое существование позитивно — оно следует из божественности. Божественность является сущностью бога, поскольку бог не может обладать непозитивными свойствами. Поскольку каждый объект, обладающий качеством божественности, необходимо существует, то божественный объект в одном мире является таковым во всех мирах».
Математическое доказательство Курта Геделя основано на аксиомах, то есть на предположениях, доказать которые невозможно. Точно так же с помощью «нужных» аксиом можно сформировать практически любое «доказательство», в том числе того, что бога не существует. Фактически Кристоф Бенцмюллер и Бруно Фольтценлогель подтвердили корректность теоремы Геделя, но могли и опровергнуть ее. По словам ученых, они хотели привлечь внимание общества к способности компьютеров доказывать сложные комплексные теоремы.
… [Trackback]
[…] Read More here to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]
… [Trackback]
[…] Read More Info here to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]
… [Trackback]
[…] Find More Info here to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]
… [Trackback]
[…] Info to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]
… [Trackback]
[…] Here you will find 61457 additional Info on that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]
… [Trackback]
[…] Read More Info here on that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]
… [Trackback]
[…] Find More Information here on that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]