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