Kurt Gödel daha üstün bir güç 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.
https://onedio.com/haber/tanri-nin-varligi-kanitlanmis-olabilir-unlu-matematikci-kurt-godel-in-denklemi-ispatlandi-753142
Deneysel sonuçlarının alınamadığı yazıyor çeşitli kaynaklarda. Belki de Gödel, tek anladığım \"xD\" ifadesini paranoyak derecesinde obsesif çabaları sonucunda ironik olarak denkleme eklemiştir :)
Başta inanmayacaktım neyse ki sonradan fark ettim kaynak onedio muş
kaynak onedio ama yaşananlar gerçek... insan bir şeyden psikolojik olarak kurtulmak istediğinde hemen onunla alakası olmayan bir eksiklik arar ... bazen biçimsel sıkıntı özünü etkilemez. lakin denklemden hiç bir şey anlamadım.
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.
http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf
![Uzay Çalışmalarının Önemi - Süleyman Fişek [Röportaj]](https://www.fizikist.com/uploads/img/uzay-calismalarinin-onemi.jpg "Uzay Çalışmalarının Önemi - Süleyman Fişek [Röportaj]")