الرئيسية / شبهات الالحاد / ورقة بحثية تثبت بطريقة حسابية على حتمية وجود إله

ورقة بحثية تثبت بطريقة حسابية على حتمية وجود إله

في 1970 طرح عالم الرياضيات العبقري كورت غودل برهانا وجودياً رياضياتياً على وجود الله، البرهان مكتوب بلغة رياضياتية منطقية معقدة جدا لكن ملخصه أنه لابد من كيان يتصف بجميع الصفات الموجبة Positive properties، وهذا يشبه إلى حد كبير برهان واجب الوجود كامل الصفات. للتحقق من صحة برهان غودل قام باحثان سنة 2014 بتصميم برنامج حاسوبي للتحقق من الترابط المنطقي لما طرحه غودل، البرنامج اشتغلَ وأثبت صحة أطروحة غودل والوجود الحتمي للإله، فكانت خلاصة الورقة التي نشرها الباحثان:

“برهان كورت غودل الوجودي على وجود الله قد تم بناؤه وتشغيله في جهاز كمبيوتر يحوي برنامجا آليا لبرهنة النظريات ذات الدرجة العالية. انطلاقا من المقدمات المنطقيّة لغودل، أثبت الكمبيوتر أنه: بالضرورة يوجد إله”
“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”

(الورقة)
Christoph Benzmuller & Bruno Woltzenlogel Paleo. (2014). Automating Godel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers. In T. Schaub et al (Eds.) ECAI 2014. Frontiere In Artificial Intelligence and Applications. Vol 263, pp 93-98. IOS Press.

doi: 10.3233/978-1-61499-419-0-93

(تحميل مباشر)
http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf

(شوهدت 154 مرة, و 1 اليوم)

شاهد أيضاً

﴿ قالوا لَن نُؤمِنَ حَتّى نُؤتى مِثلَ ما أوتِيَ رُسُلُ اللَّهِ ﴾

المنكر للرسالات إما أن يثبت اليوم الآخر – يوم الحساب والجزاء – وإما أن ينفيه …