تويت
بسم الله الرحمن الرحيم
منقول عن اخى 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…
منقول عن اخى 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…
تعليق