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

यह शोध पत्र 'डायनेमिक सिंटैक्टिक इनवैरिएंस प्रिंसिपल' (Dynamic Syntactic Invariance Principle) को यह प्रदर्शित करने के लिए प्रस्तुत करता है कि एक विशिष्ट अंतर्निहित धारणा को, जब एक चर (variable) के रूप में माना जाता है और हटा दिया जाता है, तो वह विभिन्न क्षेत्रों—जिनमें क्रिप्टोग्राफी, भौतिकी और गणनात्मकता (computability) शामिल हैं—में एक आवर्ती संरचनात्मक अंतर को प्रकट करती है, जो अंततः SAT सिद्धांत में एक विरोधाभास उत्पन्न करती है, जिससे $\mathsf{P}\neq\mathsf{NP}$ का निष्कर्ष निकलता है।

मूल लेखक: Fabio F. G. Buono