What Syntax Cannot See: The Dynamic Syntactic Invariance Principle and Several Instances of the Same Hidden Assumption, and a Contradiction

تقدم هذه الورقة "مبدأ الثبات النحوي الديناميكي" لإثبات أن افتراضاً ضمنياً محدداً، عند التعامل معه كمتغير وإزالته، يكشف عن تميز بنيوي متكرر عبر مجالات متنوعة —بما في ذلك التشفير، والفيزياء، والقابلية للحوسبة— يؤدي في النهاية إلى تناقض في نظرية المسائل المرضية (SAT)، مما يفرض الاستنتاج بأن $\mathsf{P}\neq\mathsf{NP}$.

المؤلفون الأصليون: Fabio F. G. Buono