Newsletter Haber Bülteni Events Etkinlikler Podcasts Video Africanews
Loader
Bize Ulaşın
Reklam

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

Tanrının varlığıyla ilgili ilginç deney
© 
By Euronews
Yayınlanma Tarihi
Haberi paylaşın Yorumlar
Haberi paylaşın Close Button
REKLAM

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

Erişilebilirlik kısayollarına git
Haberi paylaşın Yorumlar

Bu haberler de ilginizi çekebilir

Hindistan'da 10 günlük Ganesha festivali dualar ve alaylarla başladı

İspanya, kasabanın uyguladığı Müslüman topluluğuna yönelik dini toplantı yasağına karşı çıktı

Kuzey Kore'ye pirinç ve İncil göndermeye çalışan altı ABD vatandaşı gözaltına alındı