Fugu-MT 論文翻訳(概要): A Non-Formulable Theorem: A Fundamental Limit of Finite Syntactic Systems and Its Consequences for Security and AI

論文の概要: A Non-Formulable Theorem: A Fundamental Limit of Finite Syntactic Systems and Its Consequences for Security and AI

arxiv url: http://arxiv.org/abs/2609.04086v1
Date: Thu, 03 Sep 2026 16:53:22 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-04 18:28:39.160201
Title: A Non-Formulable Theorem: A Fundamental Limit of Finite Syntactic Systems and Its Consequences for Security and AI
Title（参考訳）: 非ホルマブル理論:有限構文システムの基本的な限界とそのセキュリティとAIへの応用
Authors: Fabio F. G. Buono,
Abstract要約: 我々は、S が自律的に生成できないという定理の存在を証明する。セキュリティ機構、AIシステム、形式検証器、法体系、経済モデル、そしてそれが証明された形式システムなど、すべての有限構文システムに適用される。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: For every coherent and sufficiently expressive finite syntactic system S, we prove the existence of at least one theorem that S cannot produce autonomously. The result is a metatheorem: it proves the existence of a theorem, and applies to every finite syntactic system - security mechanisms, AI systems, formal verifiers, legal systems, economic models, and the formal system in which it is itself proved.
Abstract（参考訳）: すべてのコヒーレントで十分に表現可能な有限構文系 S に対して、S が自律的に生成できないという少なくとも一つの定理の存在を証明する。定理の存在を証明し、セキュリティ機構、AIシステム、形式検証器、法体系、経済モデル、そしてそれが証明された形式システムなど、すべての有限統語体系に適用する。

関連論文リスト

Provably Secure Agent Guardrail [89.79561918065122]
既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
論文参考訳（メタデータ） (2026-05-28T02:12:41Z)
A Unified Formal Theory on the Logical Limits of Symbol Grounding [0.65268245109828]
形式的なシステム内での意味は、外的、動的、非アルゴリズム的なプロセスから生じなければならないことを示す。この制限は、あらかじめ確立された意味の有限で静的な集合を持つ系に拡張する。
論文参考訳（メタデータ） (2025-09-24T05:40:08Z)
On the Mathematical Impossibility of Safe Universal Approximators [0.0]
破滅的故障は有用な計算システムでは不可能な特徴であることを示す。我々はこれを3段階の議論を通じて証明し、任意の種類の普遍近似器アーキテクチャのエスケープルートを残さない。
論文参考訳（メタデータ） (2025-07-03T01:05:24Z)
DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning [67.93945726549289]
DeepTheoremは、数学的推論を強化するために自然言語を活用する包括的な非公式な定理証明フレームワークである。 DeepTheoremには、121Kの高品質なIMOレベルの非公式な定理と証明からなる大規模なベンチマークデータセットが含まれている。我々は、証明された定理の変種を利用して堅牢な数学的推論を動機付けることによって、非公式な定理証明に適した新しい強化学習戦略(RL-Zero)を考案する。
論文参考訳（メタデータ） (2025-05-29T17:59:39Z)
The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems [2.44755919161855]
本稿では,動的システムにおける複雑性の起源を再定義する形式的枠組みとして,一様潜在パターンの理論(ULP)を紹介する。 ULPは、本質的なランダム性や創発的な非線形性に予測不可能をもたらすのではなく、全ての分析可能な系は構造的にユニークで決定論的な生成機構によって支配されていると主張する。
論文参考訳（メタデータ） (2025-05-24T19:52:28Z)
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification [5.806034991979994]
ビシミュレーションは確率的システムにおけるプロセス等価性の検証に不可欠である。本稿では,有限状態確率系の無限族におけるビシミュレーションを解析するための新しい枠組みを提案する。匿名性や均一性のような本質的な性質は、このフレームワーク内でエンコードされ、検証可能であることを示す。
論文参考訳（メタデータ） (2025-05-15T04:56:53Z)
A Hybrid System for Systematic Generalization in Simple Arithmetic Problems [70.91780996370326]
本稿では,記号列に対する合成的および体系的推論を必要とする算術的問題を解くことができるハイブリッドシステムを提案する。提案システムは,最も単純なケースを含むサブセットでのみ訓練された場合においても,ネストした数式を正確に解くことができることを示す。
論文参考訳（メタデータ） (2023-06-29T18:35:41Z)
A Theory of Unsupervised Speech Recognition [60.12287608968879]
教師なし音声認識(英語: Unsupervised speech Recognition, ASR-U)は、音声のみの音声とテキストのみのコーパスから自動音声認識システムを学習する問題である。本稿では,ランダム行列理論とニューラル・タンジェント・カーネルの理論に基づいて,ASR-U系の特性を研究するための一般的な理論的枠組みを提案する。
論文参考訳（メタデータ） (2023-06-09T08:12:27Z)
Strategyproof and Proportionally Fair Facility Location [77.16035689756859]
簡単な1次元集団決定問題(しばしば施設配置問題と呼ばれる)に焦点を当てる。比例に基づく様々な強度のフェアネス公理の階層構造を解析する。各公理に対して、公理と戦略の安全性を満足するメカニズムのファミリーを特徴付ける。
論文参考訳（メタデータ） (2021-11-02T12:41:32Z)

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