entscheidungsproblem أمثلة على

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