لقرون عديدة أستمر النقاش حول طبيعة الحقائق الرياضية، في ما إذا كانت حقائق موجودة يتم إكتشافها -مثلها مثل الحقائق العلمية- أم أنها ببساطة مجرد ابتكارات أتت بها عقول الرياضياتيين العظماء. لكن هناك سؤال لكل جانب من جانبي النقاش، بالنسبة لأولئك الذين يعتقدون أن الحقائق الرياضية مجرد أمور موجودة نبحث عنها …
أكمل القراءة »مبرهنة غودل: كيف فتح المنطق باب اللاكمال على نفسه!
بقلم: ملفين هنركسن بروفسور الرياضيات بجامعة هارفي مود ترجمة: حسن مازن تدقيق: قتيبة ياسين بوستر: مصطفى خالد إن تقديم شرح دقيق لنظرية غودل باللاكمال يحجب فهمها عن كل من ليس له معرفة بالمنطق، لذا فقد آثرتُ أن أشرح النظرية بلغة حاسوبية بغية إيصال فكرة مبسطة عنها لأكبر عدد ممكن من …
أكمل القراءة »