entscheidungsproblem أمثلة على

أمثلة

1. Church and Turing independently demonstrated that Hilbert's Entscheidungsproblem (decision problem) was unsolvable, thus identifying the computational core of the incompleteness theorem.
   أثبت تشرتش وتورنغ بشكل مستقل أن مسألة اتخاذ القرار ل هيلبيرت غير قابلة للحل ، ومن ثم تحديد نواة الحسابية لمبرهنة عدم الاكتمال.