On Computable Numbers, with an Application to the Entscheidungsproblem

ملخّص

يعرض آلة مجرّدة تقرأ رموزاً وتكتبها على شريط وفق جدول قواعد منتهٍ، ويستخدمها ليبيّن أنه لا يوجد إجراء عام يقرّر ما إذا كان برنامج اعتباطي يتوقّف.

لماذا تهمّ

أرسى ما هو الحساب، في صورة دقيقة بما يكفي للبرهنة عليها، وثبّت له في الوقت نفسه حدّاً صارماً. والآلة الشاملة القادرة على محاكاة أي آلة أخرى هي الجدّ المفاهيمي للحاسوب المخزَّن البرنامج، وتبقى نتيجة عدم القابلية للبتّ سببَ استحالة الإجابة العامة عن أسئلة بعينها حول البرامج.