Німецькі вчені Крістофер Бенцмюллер і Бруно Вольценлогел довели теорію австрійського математика Курта Геделя про існування Бога. Математичні рівняння Геделя надзвичайно складні, але вчені їх вирішили, довівши, що в світі немає сили більшої, ніж Бог.
Німецькі вчені Бенцмюллер і Вольценлогел не мали на меті доказ існування Бога. Вони вирішили, використовуючи рівняння Курта Геделя, всього лише продемонструвати міць своїх комп'ютерів. Вчені були вражені - математичні аргументи Геделя були підтверджені комп'ютерами. Бог існує.
Фахівці вважають, що це кращий приклад використання комп'ютерної техніки з усього того, в чому вона знаходила застосування, в тому числі і в питаннях штучного інтелекту.
Курт Гедель - австрійський математик, в 1978 році висловив свою думку з приводу існування Бога. Він стверджував, що якщо люди вірять в існування вищої істоти, то воно повинно існувати.
Математик розробив цілий ряд теорем і аксіом, які він висловив у вигляді математичних рівнянь:
Ах. 1. {P (φ) ∧◻∀x [φ (х) → ψ (х)]} → P (ψ) Ax. 2.P (¬φ) ↔¬P (φ) Th. 1.P (φ) → ◊∃x [φ (х)] ДФ. 1.g (х) ⟺∀φ [P (φ) → φ (х)] Ах. 3.P (G) Th. 2.◊∃xG (х) Df. 2.φ ESS x⟺φ (х) ∧∀ψ {ψ (х) → ◻∀y [φ (у) → ψ (у)]} Ax. 4.P (φ) → ◻P (φ) Th. 3.G (х) → G ESS XDF. 3.E (х) ⟺∀φ [φ ESS х → ◻∃yφ (у)] Ах. 5.P (E) Th. 4.◻∃xG (х).
Суть цих рівнянь зводилася до наступного: «Бог, за визначенням, це те, більше якого не можна осягнути. Бог існує в розумінні. Якщо Бог існує в розумінні, ми можемо уявити його вищим, існуючим в реальності. Отже, Бог існує ».
