Məşhur amerikalı riyaziyyatçı Kurt Gödelin "daha ulu bir qüvvənin varlığı" barədə tənliyinin doğru olduğu təsdiqini tapıb.
MyNews.az xarici mətbuata istinadən xəbər verir ki, Almaniya və Avstriyadan olan bir qrup alim, Gödelin illər əvvəl irəli sürdüyü riyazi tənliyi müasir texnologiyanın köməyi ilə test edib. Kompyuterdə aparılan araşdırmaların nəticəsinə görə, "daha ulu bir qüvvənin" mövcud olduğu sübuta yetirilib. Qeyd edək ki, 1978-ci ildə Gödel Tanrının varlığını riyazi üsulla sübut etmək üçün tənlik həll edib. Həmin dövrdə misalı ictimaiyyətə təqdim edən amerikalı alim, riyazi üsulla Tanrının varlığını sübut etdiyini ifadə edib.
MyNews.az sözügedən tənliyi təqdim edir:
“1. {P(φ)∧◻∀x[φ(x)→ψ(x)]} →P(ψ)Ax. 2.P(¬φ)↔¬P(φ)Th. 1.P(φ)→◊∃x[φ(x)]Df. 1.G(x)⟺∀φ[P(φ)→φ(x)]Ax. 3.P(G)Th. 2.◊∃xG(x)Df. 2.φ ess x⟺φ(x)∧∀ψ{ψ(x)→◻∀y[φ(y)→ψ(y)]}Ax. 4.P(φ)→◻P(φ)Th. 3.G(x)→G ess xDf. 3.E(x)⟺∀φ[φ ess x→◻∃yφ(y)]Ax. 5.P(E)Th. 4.◻∃xG(x)”
