برنامج هيلبرت

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

في الرياضيات، برنامج هيلبرت صيغ من طرف عالم الرياضيات الألماني ديفيد هيلبرت. وهو حلحلة مقترحة للأزمة التأسيسية للرياضيات.

بيان برنامج هيلبرت[عدل]

مبرهنة عدم الاكتمال لغودل[عدل]

تنص هذه المبرهنة على أنه في أي نظام مغلق لا يمكن التحقق من صحة بعض الجمل فلا يمكن أن تكون صحيحية أو خاطئة وهذا الموضوع يعالج في علم الحاسوب تحت عنوان المنطق المضبب وله تطبيقاته في الذكاء الاصطناعي وغيره

برنامج هيلبرت بعد غودل[عدل]

انظر أيضا[عدل]

مراجع[عدل]

وصلات خارجية[عدل]

Wiki letter w.svg هذه بذرة تحتاج للنمو والتحسين، فساهم في إثرائها بالمشاركة في تحريرها.