論文の概要: Syntactic Systems Cannot See Semantic Invariants

• arxiv url: http://arxiv.org/abs/2606.17275v1
• Date: Mon, 15 Jun 2026 20:34:13 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-17 17:15:32.136485
• Title: Syntactic Systems Cannot See Semantic Invariants
• Title（参考訳）: 構文系は意味不変量を見ることができない
• Authors: Fabio F. G. Buono,
• Abstract要約: Hetzl と Vierling は、帰納的帰納的帰納的帰納的帰納的帰納的帰納的帰属(英語版)と節集合的循環(英語版)の2つの理論が相容れないかどうかを尋ねた。 彼らは一方の方向を証明し、もう一方の方向を開放した。 2つの理論を区別するものは2つの定数の順序であり、その順序は記号ではなく数に関する事実である。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We start from a small open question, where Hetzl and Vierling asked whether two theories of induction, open induction and clause set cycles, are incomparable. They proved one direction and left the other open. Here we close it, and the proof is almost embarrassingly short, because the rules for addition can only fire when the first argument is $0$ or a successor, a Skolem constant is neither, so the terms $a{+}b$ and $b{+}a$ can never be touched, and a machine that can never touch them can never prove they are equal. The thing that separates the two theories is the order of two constants, and that order is a fact about numbers, not about symbols. We extract from this proof a small general principle, the Syntactic Invariance Principle, that names the shape of such arguments. We then close with a few speculative remarks on how this same shape appears, informally, in the known barriers to settling $\mathsf{P}$ versus $\mathsf{NP}$, where each barrier seems to point to a level of description that the techniques in the barrier cannot reach. We raise this as a suggestion rather than a theorem, since the analogy is real but we do not push it past the point where we can defend it. Along the way we raise an open question that the analogy suggests but does not settle, on whether a fast algorithm for $\SAT$, were it to exist, would always be exhibitable as a machine you can write down or whether it could be found, in some cases, only as a function on the numbers.
• Abstract（参考訳）: 我々は、Hetzl と Vierling の2つの帰納的帰納的帰納的帰納的帰納的帰納的帰納的帰納的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属的帰属(英語版)(英語版) を問う小さな開問題から始める。 彼らは一方の方向を証明し、もう一方の方向を開放した。 ここではそれを閉じ、証明はほぼ恥ずかしいほど短く、最初の引数が0$か後継者であるときにのみ追加の規則が発せられるので、スコーレム定数はそうではないので、$a{+}b$と$b{+}a$という用語は決して触れられず、それらに触れることができない機械はそれらが等しいことを証明できない。 2つの理論を区別するものは2つの定数の順序であり、その順序は記号ではなく数に関する事実である。 この証明から、このような議論の形状を表す小さな一般原理である構文不変性原理(Syntactic Invariance Principle)を抽出する。 次に、この同じ形状がどのようにして、非公式に、$\mathsf{P}$と$\mathsf{NP}$をセットする既知の障壁においてどのように見えるかについて、いくつかの投機的な発言をクローズする。 我々はこのことを定理ではなく提案として挙げる、なぜならアナロジーは現実的であるが、それを防御できる地点を超えては押し進めないからである。 アナロジーが示唆するが、$\SAT$の高速アルゴリズムが存在するかどうかについては、常にマシンとして表示可能か、場合によっては数値上の関数としてのみ見つかるか、というオープンな疑問を提起する。

関連論文リスト

• Strategic PAC Learnability via Geometric Definability [69.34283267701421]
  戦略分類は、個人が分類者の判断に影響を与えるために、コストで特徴を修正できる学習環境を研究する。 中心的な問題は、帰納的(戦略的な)仮説クラスのサンプルの複雑さが、基礎となる仮説クラスの複雑さと、実現可能な操作を管理するコスト構造にどのように依存するかである。 仮説クラスとコスト誘起近傍関係は、$mathbbR_mathtexp$上の一階式で定義することができる。 難易度は, 複雑度によって制御され, 学習性は維持されていることを証明した。
  論文  参考訳（メタデータ） (2026-05-13T12:21:56Z)
• A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem [0.0]
  ライスの定理は、プログラムの非自明な意味的性質は決定不可能である。 Hilbert's Tenth Problem (MRDP) の不決定性に対する構成的証明を提案する。 議論は2つの別個の含意として構成され、可解性に関する解離を主張せず、P(bot)を検査しない。
  論文  参考訳（メタデータ） (2026-04-11T20:45:58Z)
• Burau representation, Squier's form, and non-Abelian anyons [53.92822954974537]
  ブレイド群 $B_3$ のブラウ表現から構築した周波数可変2次元非アベリア的演算順序制御を導入する。 Squier 陽性ウィンドウの向こう側にある$Delta(omega)$の符号変更は、因果順序の交互に構成的かつ破壊的干渉を示す。 数値シミュレーションにより、拡張と抑制の両方が確認され、最小の$B_3$ブレイド制御が確立される。
  論文  参考訳（メタデータ） (2025-10-21T00:25:21Z)
• Abductive Reasoning in a Paraconsistent Framework [7.4842212802498755]
  有名なベルナップ・ダンパラ一貫性の4値論理の2つの拡張を考える。 古典命題論理では、$mathsfBD_circ$ と $mathsfBD_triangle$ で abduction を減らす方法を示す。
  論文  参考訳（メタデータ） (2024-08-01T08:12:52Z)
• Online Learning with Adversaries: A Differential-Inclusion Analysis [52.43460995467893]
  我々は,完全に非同期なオンラインフェデレート学習のための観察行列ベースのフレームワークを提案する。 我々の主な結果は、提案アルゴリズムがほぼ確実に所望の平均$mu.$に収束することである。 新たな差分包摂型2時間スケール解析を用いて,この収束を導出する。
  論文  参考訳（メタデータ） (2023-04-04T04:32:29Z)
• Contra Bellum: Bell's theorem as a confusion of languages [0.0]
  ベルの定理(ベルのていり、英: Bell's theorem)は、数学的モデルの無限階層内で定式化された数学的予測の矛盾である。 レベル$kinmathbbZ$で定式化された不等式は、レベル$k+1$で確率に反する。
  論文  参考訳（メタデータ） (2023-01-06T07:51:44Z)
• Connes implies Tsirelson: a simple proof [91.3755431537592]
  コンヌ埋め込み問題は同期的ツィレルソン予想を意味することを示す。 また、コンネスの代数 $mathcalRomega$ の異なる構成もコンネス埋め込み問題に現れる。
  論文  参考訳（メタデータ） (2022-09-16T13:59:42Z)
• Agnostic Online Learning and Excellent Sets [18.557423328068122]
  モデル理論の意味で、$epsilon$-excellent set が任意の $epsilon frac12$ in $k$-edge 安定グラフに対して存在することを示す。 また、この設定に適した動的Sauer-Shelah-Perles lemmaのバージョンも提供します。
  論文  参考訳（メタデータ） (2021-08-12T07:33:33Z)
• Quantum double aspects of surface code models [77.34726150561087]
  基礎となる量子double $D(G)$対称性を持つ正方格子上でのフォールトトレラント量子コンピューティングの北エフモデルを再検討する。 有限次元ホップ代数$H$に基づいて、我々の構成がどのように$D(H)$モデルに一般化するかを示す。
  論文  参考訳（メタデータ） (2021-06-25T17:03:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。