Son Dakika

Tanrının varlığıyla ilgili ilginç deney

Okunan haber:

Tanrının varlığıyla ilgili ilginç deney

Metin boyutu Aa Aa

Ü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.