25 Ocak 2017 Çarşamba

Tanrı'nın Varlığının İspatı

Kurt Gödel,Avusturyalı-Amerikan mantıkçı,matematikçi ve matematik felsefecisidir.Kendi ismi ile anılan Gödel'in Eksiklik Teoremi ile tanınır.Daha fazla bilgiyi Gödel'in wikipedia sayfasından edinebilirsiz.

Gödel,1978'de matematiksel olarak Tanrının varlığını ispatladığı bu denklem günümüzde hala araştırma konusudur.

Bununla alakalı 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 atarak ''daha üstün bir gücün''varlığını ispatlayan denklemini bilgisayarla kontrol etti.

Gödel'in denklemi;
“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 bu mantıksal denklemi bilgisayarla saniyeler içerisinde kontrol edildi.Bilim insanları denklemin doğru olduğunu ve daha üstün bir gücün varlığının kanıtlandığı öne sürüldü.

İki bilim insanı burada deneyden ziyade bilgisayarların gücünü göstermek istediklerini söylediler.

Habere konu olan tezi buradan ulaşabilirsiniz.

Kaynak:euronews,wikipedia

Hiç yorum yok:

Yorum Gönder