ولادة فكرة الكمبيوتر القابل للبرمجة
تورينغ 1936: ما الذي يمكن حسابه؟
تفسير الآلة الشاملة نظريًا وإدراك أن وجود كمبيوتر لا يجعل كل مسألة قابلة للحل خوارزميًا.
في هذا الدرس
أهداف الدرس
تفسير الآلة الشاملة نظريًا وإدراك أن وجود كمبيوتر لا يجعل كل مسألة قابلة للحل خوارزميًا.
الفكرة والشرح
قدّم آلان تورينغ في ورقته عن الأعداد القابلة للحساب نموذجًا رياضيًا لآلة تقرأ رموزًا وتكتبها وفق قواعد وحالة داخلية. لا تحتاج لتخيل جهاز إلكتروني: شريط وخانات وقواعد انتقال تكفي لشرح الفكرة. الآلة الشاملة تستطيع محاكاة آلات من هذا النوع عندما تعطى أوصافها. بذلك يصبح وصف الإجراء نفسه شيئًا يمكن تمثيله ومعالجته. استخدم تورينغ هذا الإطار لدراسة حدود الحساب، لا لتقديم وعد بأن الآلة ستحل كل سؤال. هذه خطوة نظرية مهمة في فهم البرمجة العامة.
تواريخ ومحطات مهمة
- 1936–1937: الورقة الأصلية «On Computable Numbers»؛ يُشار إلى إسهامها عادة بسنة 1936.
لماذا كانت نقطة تحول؟
صار بالإمكان دراسة قدرات الحساب وحدوده بمعزل عن نوع التروس أو الأسلاك. هذه الفكرة تساعد على فهم لماذا يمكن لأجهزة مختلفة تنفيذ المنطق البرمجي نفسه.
نشاط: اختبر فهمك قبل قراءة الإجابة
اكتب قاعدة: اقرأ 0، اكتب 1، تحرك يمينًا، وتوقف عند خانة فارغة. ماذا تفعل مع الشريط 000؟
الإجابة والتفسير
تحوله إلى 111 ثم تتوقف. هذا تمرين على وصف إجراء دقيق؛ لا يبرهن بمفرده على عمومية الآلة أو قدراتها الكاملة.