الدليل الرياضى على وجود الله ....(مبرهنه كورت جودل الحسابيه) موثق

بسم الله الرحمن الرحيم

منقول عن اخى Schrِdinger Dirac Heisenberg

دليل رياضي منطقي علي وجود إله برهان غودل الأنطولوجي البرهان مبني علي مبرهنات لا تشوبها أي شائبة منطقية كما تقول موسوعة جامعة ستانفورد للفلسفة ،
arguments with impeccable logical credentials
https://plato.stanford.edu/entries/o...TzZQ#GodOntArg
وأداة البرهنه فيه هي المنطق الرياضي والبرهان مستند أساسا لمبرهنات من أهم المبرهنات في الرياضيات مبرهنات عدم الإكتمال الرياضي لكورت غودل Gِdel Incompleteness theorems
البرهان هو :
البديهية ١ : اى صفة اما ان تكون موجبة أو ان نفيها هى صفة موجبة .
البديهية ٢ : أى صفة مستتبعة لصفة موجبة هى صفة موجبة .
التعريف ١ : المتغير x هو "أن تكون إلها" اذا كان و فقط اذا كان x يتميز بكل الصفات الموجبة .
البديهية ٣ : الصفة "ان تكون إلها" هى صفة موجبة .
البديهية ٤ : الصفات الموجبة هى صفات موجبة ضرورة .
التعريف ٢ : F هى ماهية المتغير x اذا كان و فقط اذا كان F هو صفة ل x وكل صفة اخرى G ل x هى مستتبعة ل F .
التعريف ٣ : المتغير x موجود ضرورة اذا كان و فقط اذا كان كل ماهية ل x هى ممثلة ضرورة .
البديهية ٤ : الوجود الضرورى هو صفة موجبة .
المبرهنة ١ : اذا كانت الصفة موجبة فهى اذن صفة منسجمة اى انها ربما ممثلة .
اللازمة ١ : الصفة "ان تكون إلها" هى صفة منسجمة .
المبرهنة ٢ : اذا كان كائن هو الله، فان صفة "ان تكون إلها" هى ماهية ذلك الكائن .
اللازمة ٢ : الله هو ممثل ضرورة .
المبرهنة ٣ : الله موجود ضرورة .

الشكل الرياضي
∀ϕ[P(¬ϕ) ≡ ¬P(ϕ)]
∀ϕ∀ψ [(P(ϕ) Λ □∀x[ϕ(x) ⇒ ψ(x)]) ⇒ P(ψ)]
∀φ [P(φ) ⇒ ◊∃xφ(x)]
G(x) ≡ ∀ϕ [P(ϕ) ⇒ ϕ(x)]
P(G)
◊∃xG(x)
∀ϕ [P(ϕ) ⇒ □P(ϕ)]
ϕ ess. x ≡ ϕ(x) Λ∀ψ (ψ(x) ⇒ □∀y(ϕ(y) ⇒ ψ(y)))
∀(x) [G(x) ⇒ G ess.x]
NE (x) ≡ ∀ϕ[ϕ ess. x ⇒ □∃yϕ(y)]
P(NE)
□∃xG(x)

والكمبيوتر أيضا في ألمانيا (برلين) أثبت أن هذه المبرهنة صحيحة .
"برهان كورت غودل الوجودي على وجود الله قد تم بناؤه وتشغيله في جهاز كمبيوتر يحوي برنامجا آليا لبرهنة النظريات ذات الدرجة العالية. انطلاقا من المقدمات المنطقيّة لغودل، أثبت الكمبيوتر أنه: بالضرورة يوجد إله"
"Kurt Godel’s ontological argument for God’s existence has been formalized and automated on a computer with higher-orderautomated theorem provers. From Godel’s premises, the computer proved: necessarily, there exists God"

http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf

http://m.spiegel.de/…/scientists-use...to-mathematic…