برنامج هلبرت
باختصار: في الرياضيات، صاغ برنامج هيلبرت عالم الرياضيات الألماني ديفيد هيلبرت. تتناول المقالة قسماً واحداً هو «مبرهنة عدم الاكتمال لغودل».
المحتويات
قبل الخوض في التفاصيل، في الرياضيات، صاغ برنامج هيلبرت عالم الرياضيات الألماني ديفيد هيلبرت. وهو حلحلة مقترحة للأزمة التأسيسية للرياضيات. وتعرض الأقسام التالية جوانب أخرى من الموضوع.
مبرهنة عدم الاكتمال لغودل
من جهة ثانية، تنص هذه المبرهنة على أنه في أي نظام مغلق لا يمكن التحقق من صحة بعض الجمل فلا يمكن أن تكون صحيحية أو خاطئة
إضافةً إلى ذلك، وهذا الموضوع يعالج في علم الحاسوب تحت عنوان المنطق المضبب وله تطبيقاته في الذكاء الاصطناعي وغيره.
📝 هل في هذه المقالة خطأ؟
إذا وجدت معلومة تحتاج تصحيحاً أو إضافة، أو أردت حذف المقالة، أرسل لنا طلباً وسنراجعه.
ما رأيك في هذه المقالة؟