A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
تقدم هذه الورقة برهاناً بنائياً لمبرهنة رايس ومعضلة التوقف ضمن المنطق الحدسي عبر اختزالها إلى عدم قابلية التقرير لمسألة هيلبرت العاشرة من خلال بناء جديد قائم على شاهدين يتجنب الاستدلال الكلاسيكي، والقطرية، وتقسيم الحالات على عدم الإنهاء.