Буквально днями два німецьких учених, фахівця в галузі комп'ютерних наук, офіційно повідомили про те, що теорія існування вищого розуму ними доведена. А точніше, вони підтвердили раніше висунуту гіпотезу математика Геделя.
Бруно Вольценлогєл Палєо і Крістоф Бенцмюллєр взялися за титанічну працю - довести існування Бога в цифрах і формулах. Як основу вони взяли роботи австрійського математика Геделя, який створив мережу аксіом і теорем в 1978 році, яка доводить наявність Всевишнього. Звичайно, думка вченого з приводу існування трохи дивно виглядає. Він вважав, що якщо люди вірять в існування чогось, значить, воно існує. Виходячи з цього, можна в один ряд з Богом поставити Сніжну людину чи Санта -Клауса. Примірне формулювання Геделя звучить так: «Бог - це поняття, якого не можна осягнути. Бог в розумінні. Якщо він існує в розумінні, то можна уявити його реальним, вищим. Отже, Бог повинен існувати».
Зате в математичному вираженні теорема Геделя виглядає дуже складно. Палєо і Бенцмюллєр зробили комп'ютерний аналіз доказів Геделя і прийшли до одного висновку: Бог є. Бенцмюллєр залишився враженим тим, що за лічені секунди на звичайному ноутбуці можна автоматично підтвердити існування вищого розуму .
Вчені світу дещо спростили роботу німців. Вони прийняли той факт, що теорія Геделя має право на існування.
Комментарии: