💻 computer science
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理論における矛盾をもたらし、それによってという結論を強制するものであることを論じる。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。