Ünlü matematikçi Kurt Gödel’in ‘daha üstün bir gücün’ varlığını ispatlayan denkleminin doğruluğu kanıtlandı.
Almanya’nın Berlin kentinde bulunan Free Üniversitesi’nde görevli Christoph Benzmüller ve Avusturya’nın Viyana kentindeki Teknik Üniversitesi’nde çalışan Bruno Woltzenlogel Paleo ilginç bir deneye imza attı. Bilgisayar uzmanı iki akademisyen, ünlü matematikçi Kurt Gödel’in geride bıraktığı ‘daha üstün bir gücün’ varlığını ispatlayan denklemini bilgisayarla kontrol etti.
“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)”
Gödel’in 1978’de matematiksel olarak Tanrının varlığını ispatladığı bu denklem bilgisayarla saniyeler içinde kontrol edildi. Bilim insanları denklemin doğru olduğunu ve daha üstün bir gücün varlığının kanıtlandığını öne sürdü. Araştırmayı yürüten iki bilim insanı, yaptıkları deneyle Tanrının varlığından çok bilgisayarların gücünü göstermek istediklerini söyledi.
Habere konu olan tezi burada bulabilirsiniz.