Не одно столетие ученые, богословы и философы пытаются составить собственные списки «доказательств» существования бога. Немецкий ученый Кристоф Бенцмюллер и австриец Бруно Фольтценлогель утверждают, что им наконец-то удалось справиться со столь сложной задачей с помощью MacBook.

По словам исследователей, то, что компьютер в течение нескольких секунд способен доказать даже самую сложную теорему, — совершенно поразительный факт. В качестве примера ученые решили взяться за знаменитую и весьма трудную теорему Курта Геделя, пишет Der Spiegel. Она представляет собой несколько написанных на одной страничке формул, интерпретировать суть которых пытаются до сих пор.

Вкратце толкование теоремы Геделя сводят к следующему утверждению: «Поскольку необходимое существование позитивно — оно следует из божественности. Божественность является сущностью бога, поскольку бог не может обладать непозитивными свойствами. Поскольку каждый объект, обладающий качеством божественности, необходимо существует, то божественный объект в одном мире является таковым во всех мирах».

Математическое доказательство Курта Геделя основано на аксиомах, то есть на предположениях, доказать которые невозможно. Точно так же с помощью «нужных» аксиом можно сформировать практически любое «доказательство», в том числе того, что бога не существует. Фактически Кристоф Бенцмюллер и Бруно Фольтценлогель подтвердили корректность теоремы Геделя, но могли и опровергнуть ее. По словам ученых, они хотели привлечь внимание общества к способности компьютеров доказывать сложные комплексные теоремы.

http://allnokia.ru

Читайте також -  Розкрито повні характеристики Samsung Galaxy Tab S10 FE, Tab S10 FE+

7 Comments

  1. … [Trackback]

    […] Read More here to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]

  2. … [Trackback]

    […] Read More Info here to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]

  3. … [Trackback]

    […] Find More Info here to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]

  4. … [Trackback]

    […] Info to that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]

  5. … [Trackback]

    […] Here you will find 61457 additional Info on that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]

  6. … [Trackback]

    […] Read More Info here on that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]

  7. … [Trackback]

    […] Find More Information here on that Topic: portaltele.com.ua/equipment/computer-hardware/macbook-lr.html […]

Leave a reply