< 1 >
مسألة القرار
تطلب مشكلة القرار (Entscheidungsproblem) خوارزمية لتقرير ما إذا كانت عبارة معطاة يمكن إثباتها من البديهيات باستخدام قواعد المنطق.
الشرح
التاريخاقترح هذه المسألة عالم الرياضيات الألماني ديفيد هيلبرت في عام 1928. |
< 1 >
تطلب مشكلة القرار (Entscheidungsproblem) خوارزمية لتقرير ما إذا كانت عبارة معطاة يمكن إثباتها من البديهيات باستخدام قواعد المنطق.
التاريخاقترح هذه المسألة عالم الرياضيات الألماني ديفيد هيلبرت في عام 1928. |