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

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

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

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

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

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

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

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

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

ديفيد هيلبرت عنوانه الأصلي بالألمانية Grundlagen der Mathematik.

مراجع[عدل]

  1. ^ [1]. On trouve une transcription de l'original en allemand, et diverses traductions, en français en particulier, à partir de cette page [2](visitée 18 août 2006). نسخة محفوظة 26 سبتمبر 2009 على موقع Wayback Machine.

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

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