إن السعي نحو الذكاء الاصطناعي القوي — تلك الآلات المزعومة التي ستمتلك فهمًا حقيقيًّا واستدلالًا بشريًّا — يواجه حواجز رياضية متجذرة في طبيعة الحوسبة ذاتها. هذه الورقة تستكشف القيود النظرية من خلال عدسة آلات تورنغ ونظرية القابلية للحساب، كاشفةً عن نسيجٍ غنيٍّ من الحدود المنطقية التي لا يمكن تجاوزها بأي قدرٍ من القوة الحاسوبية أو التطور الخوارزمي.
من خلال عدسة آلات تورنغ ونظرية القابلية للحساب، ومرورًا بنظريات غودل لعدم الاكتمال وحجة لوكاس-بنروز، ووصولًا إلى نظرية التعقيد الحسابي وحدود الحوسبة الفيزيائية — تتقصّى الورقة ما إذا كانت هذه القيود تقيّد الذكاء نفسه أم المتغيرات الاصطناعية فحسب.