Tanrının varlığı denklemi kanıtlandı

Ü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[φ→ψ]}Ax. 4.P(φ)→◻P(φ)Th. 3.G(x)→G ess xDf. 3.E(x)⟺∀φ[φ ess x→◻∃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. (Alıntı)

Aslında burda asıl yapılan şey mantıksal önermelerin bilgisayarda çözülebildiğini göstermek. Ontolojik deliller hep eleştirilere tabi tutulur. Gödel'in denklemi ne kadar ilginç olsa da doğruluğu subjektif tanımlara ve ön kabullere bağlı. Tıpkı Öklid aksiyomlarının Öklid geometrisinde doğru olması fakat hiperbolik geometride doğru olmaması gibi. Bu yüzden de geçerliliği ne kadar pratiktir tartışılır.

Tanrının varlığı bir denkleme sahip olacağını hiç sanmıyordum ateistler şok bizler şok bu denklemi çözen tanrıyida alt eder mantığı ile yapay zekaların gücü aşkına.
Hatırladığım kadariyla bu denklem başka birsey içindi...

Hem bir de şöyle düşünün elinizde sayılar, semboller ve harflerden oluşan küçük bir karışık sıralı dize düşünün.
Bu harf rakam ve sembollere pc de Manuel değer atanır ise basit bir denklemden ibarettir demektir saniyeler içersinde de çözülür.
Bu denkleme ( π ) sayısıda dahildir.

Selenit' Alıntı:

Hepinizin fikrini merak ederek paylaştım bana mantıksız geldi denklemle bir yaratıcı ispatlamak benim gözümde saçma farklı farklı sayfalardan okudum bu denklem cidden Tanrının varlığını ispat için oluşturulmuş.

Genişletmek için tıkla ...

Bana sorarsanız bir şeyi ispatladığı yok Denklemdeki önermelerde tanrı kelimesinin yerine diş perisi koyun, diş perisinin varlığını ispatlamış olursunuz. Kanıtlandığı bahsedilen tanrı dinlerdeki tanrı mıdır, yoksa deizmin tanrısı mıdır, veya Zeus mudur, iradeli ve bilinçli midir, yoksa tam tersi özelliklere sahip bir töz müdür, bunların hiçbiri ortaya konmuyor bu denklemde. Ayrıca mantıksal önermelere denklem demek terminolojik olarak çok doğru değil sanki.

daha üstün olan bu gücün tanrı olduğuna delil var mı? Belki spıder manın varlığı için bir delil bu? O da bizden daha üst güçte..

matematikçi arkadaşlar anlamıştır zaten denklemin mantığı şu:

“1. {P(φ)∧◻∀x[φ(x)→ψ(x)]} → yani dünyanın 1 yıl içinde dönüşü 365 gün,
P(ψ)Ax. 2.P(¬φ)↔¬P(φ)Th. bu sinüs.ax denkleminde ise 52 haftanın algoritması alınmış
1.P(φ)→◊∃x[φ(x)]Df. yani 1 ayda 30 gün, haftanın 7 günüyle çarp: 30x7=210, 365'ten çıkar kalan 155, 1.G(x)⟺∀φ[P(φ)→φ(x)
]Ax. 3.P(G)Th. burada ise ortadaki 5 i 1 ile değiştir diyor yani 155'ten 115, şimdide 155'ten 115 i çıkar 40 yapar ve mhp'nin 40. yılı :cheers2: