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

이 논문은 특정 숨겨진 가정을 변수로 취급하여 제거했을 때 암호학, 물리학, 계산 이론을 포함한 다양한 영역에 걸쳐 반복되는 구조적 구분이 드러난다는 것을 입증하기 위해 동적 통사적 불변성 원리(Dynamic Syntactic Invariance Principle)를 도입하며, 이는 궁극적으로 SAT 이론에서의 모순을 야기하여 $\mathsf{P}\neq\mathsf{NP}$라는 결론을 강제한다.

원저자: Fabio F. G. Buono