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

Dieses Paper führt das Prinzip der Dynamischen Syntaktischen Invarianz ein, um zu zeigen, dass eine spezifische verborgene Annahme, wenn sie als Variable behandelt und entfernt wird, eine wiederkehrende strukturelle Unterscheidung über diverse Domänen hinweg offenbart – einschließlich Kryptographie, Physik und Berechenbarkeit –, die letztlich zu einem Widerspruch in der SAT-Theorie führt und damit den Schluss erzwingt, dass $\mathsf{P}\neq\mathsf{NP}$ gilt.

Ursprüngliche Autoren: Fabio F. G. Buono