اقتباس:
المشاركة الأصلية كتبت بواسطة مبر محمود
الدماغ وبالرغم من طغيانه العظيم هذا، فهو لا يخرج من كونه كائن ظني ضعيف، مُعرض دائماً للغرق في أقرب شبر موية. لذلك وفيما يتعلق بصناعة الأفكار والرؤى تروقني كلمة "ذهن" أكثر من كلمة عقل او دماغ..
عموماً تسلم كتير، وزي ماقلت، خلينا هسع مع محسن و مدن الأسماء حتى يفتح الله علينا ببوست منفصل
|
ده فهم يا مبر ممكن يتوسط بيناتكم !!
من إرشيفي :
اقتباس:
الحقيقة و الإثبات Truth & Proof :
كان للرياضي هيلبرت حلم عظيم أعلنه بعام 1900 في المؤتمر الدولي الثاني لعلماء الرياضيات يتلخص في إيجاد آلية لإثبات صحة أو خطأ أي مسألة رياضية ممكنه، كان هذا إرهاصا بالحاسوب فقد إفترض هلبرت إختراع خوارزمية Algorithm تقوم على مسلمات منطقية تتأسس عليها الرياضيات و ماعلينا بعدها سوى إدخال المسألة المعينه للجهاز و إنتظار النتيجة (إما نفيا أو إثباتا) .. كان الإفتراض حينها أن كل حقيقة رياضية يمكن إثباتها أو نفيها بالمنطق أو الإستدلال الرياضي .. و لكن
جاء أعظم المناطقة عبر العصور بلا منازع و الوحيد الذي صادق إينشتين (راس براس!!) في برينستون بنتيجة مذهلة قلبت عالم الفكر تماما حتى اليوم .. ألا و هي مبرهنتي اللإكتمال incompleteness theorems
,و بإختصار أثبت جودل منطقيا (عبر برهان معقد تقني للغاية في 63 صفحة) أنه:
1/ يمكن تمثيل نظرية الأعداد منطقيا .. بمعنى التعبير عنها منطقيا حيث يصح التناول المنطقي لها..
2/ نجح في إبجاد مكافىء منطقي لمناقضة الكذاب Liar Paradox(لو صدق فهو كاذب و لو كذب فهو صادق) داخل نظرية الأعداد
النتيجة النهائية هي:
أي نظام غير بسيط مثل نظرية الأعداد لا يمكن إثبات كل الحقائق حوله إعتمادا على أي عدد من المسلمات (و أهم مافي أي إثبات طبعا هي المسلمات و الإستدلال المنطقي) .. فإما القبول بمسلمات متناقضة للتمكن من إثبات كل شيء حول النظام أو الإعتراف بوجود حقائق في هذا النظام (في حالة الرياضيات الحقائق هي نظريات رياضية) لا يمكن أبدا إثبات صحتها أو خطأها رغم كونها حقيقية!!!
كلام يلف الراس موش كده .. علشان كده جودل مات و هو مجنون 
الآن الخلاصة ..
فلنفترض أن هناك مبرهنة رياضية تصف تماما سلوك ظاهرة طبيعية ما .. و باءت محاولاتنا لإثبات صواب أو خطأ المبرهنة الرياضية بالفشل .. و لنفترض أن هذه المبرهنة ينطبق عليها كلام جودل (لا توجد أي وسيلة لمعرفة أي المبرهنات قابلة للإثبات و أيها تتبع لنتيجة جودل .. كما أن Chaitan قد أثبت أن هذه المبرهنات الجودلية هي لا نهائية في عددها ) .. عندها سنجد أننا بأزاء ظاهرة قابلة للوصف الرياضي التام و لكن غير قابلة للإثبات بتاتا ...
هذا الحديث متداول في فلسفة العلوم منذ عام 1931 حين إكتشف جودل مبرهناته و هو في الـ 25 من عمره و ليس من بنات أفكاري .. الحقيقة لا تعني الإثبات .. و لروجر بنروز (فيزيائي مشهور) نظرية مشهورة يعتقد فيها أن المخ البشري لا يعمل عبر الإثبات المنطقي بل بوسيلة حدسية تتجاوزه و تتعرف به على الحقائق التي لا يستطيع المنطق البرهان عليها و ذلك في كتابه (The Emperor's New Mind) .. و مهما يكن فالشاهد هنا هو أن هناك حقائق رياضية نعرف أنها حقيقية و لكن نعجز مبدئيا عن إثباتها أو نفيها .. و أنصح للمهتمين بهذا الموضوع قراءة كتاب مشهور يشرح إثبات جودل لغير المناطقة بلغة لا بأس بها و إن كان ليس سهلا و هو (Gödel's Proof by Ernest Nagel, James Newman)
|
إنتو ناس جميلين جدا !!