خريف عام 1956. يخط كورت غودل على ورقة سؤالاً موجهاً إلى جون فون نيومان المحتضر: هل يمكن التحقق من اكتفاء صيغة بوليانية أسرع من البحث الشامل؟ سيأتي الجواب بعد 69 عاماً - وسيكون عضة الأوربوروس المنطقي، الأفعى الأسطورية التي تبتلع ذنبها.

تولد الأفعى من العشوائية. تُبنى مجموعة صيغ K-SAT (مسائل اكتفاء الصيغة المنطقية) على النحو التالي: كل متغير عقدة، وكل فصلة (عملية "أو" المنطقية للمتغيرات أو نفيونها) حلقة في السلسلة. عند عرض الحلقة K ~ 20 لمليون متغير (N=$10^6$) وكثافة حرجة للفصلات، يتبع عدد التعيينات المُرضِية توزيع بواسون (Poisson distribution). هذه إحصائية للأحداث النادرة - كقطرات المطر على الرصيف. باحتمال حوالي 37% تبرز صيغ ذات حل واحد فريد. وهنا الخطوة الحاسمة: يستبدل المؤلفون فصلة غير ضارة بفصلة «قاتلة» تمنع هذا الحل الوحيد. الصيغة التوأم، المتماثلة ظاهرياً، تصبح غير قابلة للاكتفاء. ابتلعت الأفعى ذنبها.

المراقب المحلي، الذي يرى فقط شظية الصيغة (حتى $N^c$ من الفصلات، c<1)، لا يستطيع تمييز الأفعى القابلة للاكتفاء من توأمها الميت. هذا عمى ضروروي. تضع اللامقبولة البنيوية (structural irreducibility) الصعوبة الحاسوبية في خانة العجز المعلوماتي. بلغة المعلومات الخوارزمية، أي خوارزمية مقيّدة بنافذة من t = $N^{1-δ}$ فصلة، محكوم عليها أن تكون تعقيد كولموغوروف $$ K(A) \ge \Omega($N^{1-\delta}$) $$ الطول الأدنى للبرنامج بالبتات كبير أسياً. من هنا - حاجز العرض للبراهين بالحل التقريري (resolution): أي برهان لعدم الاكتفاء يتضخم إلى exp(Ω($N^{1-2δ}$)) خطوة. عندما δ → 0+ يقترب هذا العدد من $2^N$ - الحاجز الذي تفرضه فرضية الزمن الأسي القوي (SETH - Strong Exponential Time Hypothesis). انغلق ذنب الأوربوروس: العمى المحلي يستلزم بصيرة أسية.

يعيد هذا العمل تعريف طبيعة التعقيد الحاسوبي. المسألة الكلاسيكية P ≠ NP، المصوغة بلغة أصناف اللغات، تخلّي مكانها لتمييز أعمق: الهوة بين الحقيقة وقابلية البرهنة داخل منظومة محدودة. يتبين أن التعقيد ليس صفة للمسألة، بل ضرورة منطقية. هذا يفسر فشل عقودٍ من الهجمات: فصياغة السؤال ذاتها تتجاوز أفق الاستنتاج التركيبي المحلي. بالنسبة للحواسب الكمومية فإن الحد مطلق - بعكس خوارزمية شور لتحليل العوامل، التي تستغل دورية خفية، تفتقر مسألة SAT إلى مثل هذه الثغرة. تصطدم نماذج الشبكات العصبية الحديثة، التي تعمل بالضغط الإحصائي المحلي، بالجدار نفسه للعجز المعلوماتي. تتطلب المحاكاة العددية الدقيقة لمثل هذه الصيغ موارد أسية. يولد السلوك الجماعي للفصلات في المجموعة تحولاً طورياً يستعصي على التحليل المحلي.

بعد تسعة وستين عاماً من رسالة غودل، تجد التعقيدية الحاسوبية وجهها الحقيقي - ليس سباق سرعة ساعة، بل شبح الأوربوروس المنطقي الذي لا يزول. انغلق السؤال على ذاته كالأفعى التي تعض ذنبها: الجواب متجذر في نفس عدم الاكتمال الذي في مبرهنة العام 1931. لن تصدق أبداً إجراءات محلية على حقيقة شاملة. وفي هذا ليس ضعفاً، بل قانون أساسي.