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

هذه هي النسخة الحالية من هذه الصفحة، وقام بتعديلها عبود السكاف (نقاش | مساهمات) في 20:27، 20 يوليو 2023 (بوت: إصلاح أخطاء فحص أرابيكا من 1 إلى 104). العنوان الحالي (URL) هو وصلة دائمة لهذه النسخة.

(فرق) → نسخة أقدم | نسخة حالية (فرق) | نسخة أحدث ← (فرق)

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

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

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

انظر أيضا

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

مراجع

  1. ^ [1] نسخة محفوظة 14 فبراير 2006 على موقع واي باك مشين.. 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 على موقع واي باك مشين.

وصلات خارجية