عضو : دخول |تسجيل |إرسال السؤال
بحث
[تعديل ] مسألة القرار
في الرياضيات وعلوم الكمبيوتر ، يُعدّ الإنشيجيدونجسبوليغم (الذي تم نطقه [蓻 nt 藞 蕛 a 瑟 摊 d 蕣 艐 sp 蕘 o 藢 ble 藧 m]] ، الألماني "لمشكلة القرار" تحديًا طرحه ديفيد هيلبرت في عام 1928. وتطرح المشكلة لخوارزمية تأخذ كمدخل بيان لمنطق من الدرجة الأولى (ربما مع عدد محدود من البديهيات إلى أبعد من البديهيات المعتادة لمنطق الدرجة الأولى) وإجابات "نعم" أو "لا" وفقًا لما إذا كان البيان صالحًا عالميًا أي أن تكون صالحة في كل بنية ترضي البديهيات. من خلال نظرية الاستكمال لمنطق الدرجة الأولى ، يكون البيان صحيحًا عالميًا إذا وفقط يمكن استنتاجه من البديهيات ، بحيث يمكن أيضًا عرض Entscheidungsproblem على أنه طلب خوارزمية لتقرر ما إذا كان بيان معين قد تم إثباته من البديهيات باستخدام قواعد المنطق.
في عام 1936 ، نشرت كنيسة ألونزو وألان تورنج أوراقًا مستقلة تظهر أن الحل العام لـ Entscheidungsproblem مستحيل ، بافتراض أن الفكرة البديهية لـ "قابل للحساب فعليًا" يتم التقاطها من خلال الوظائف التي يتم حسابها بواسطة آلة Turing (أو بشكل مكافئ ، بواسطة تلك القابلة للتعبير في حساب لامبدا). هذا الافتراض يعرف الآن باسم أطروحة الكنيسة.
[آلة تورينج][آلان تورينج][منطق الترتيب الأول][اللغة الالمانية]
تاريخ المشكلة.1
جواب سلبي.2
إجراءات اتخاذ القرار العملية.3
[تحميل أكثر محتويات ]

Lxjkh 2018@ حق النشر