omer-karanlik-profil5833
Kurt Gödel
daha üstün bir güç denklemi....
omer-karanlik-profil5833
“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.
omer-karanlik-profil5833
https://onedio.com/haber/tanri-nin-varligi-kanitlanmis-olabilir-unlu-matematikci-kurt-godel-in-denklemi-ispatlandi-753142
vide-supra1191
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 :)
origin1690
Başta inanmayacaktım neyse ki sonradan fark ettim kaynak onedio muş
serkan-semerci3442
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.
omer-karanlik-profil5833
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.
omer-karanlik-profil5833
http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf
