المحتوى هنا ينقصه الاستشهاد بمصادر، أي معلومات غير موثقة يمكن التشكيك بها وإزالتها.
هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Question book-new.svg
المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (فبراير 2016)

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

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

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

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

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

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

مراجع[عدل]

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

Nuvola apps edu mathematics-ar.svg
هذه بذرة مقالة عن الرياضيات بحاجة للتوسيع. شارك في تحريرها.