Coherence Maintenance as a Recognition Bound in Observer-Coupled Systems
Michael Schaeffer, Claude (Anthropic)
Anthropic (United States)
阅读操作
确认中在文库中上传 PDF 后可生成中文音频讲解。
摘要与影响
An information-theoretic framework establishing R = C − A as a universal recognition bound in observer-coupled systems. Two axioms, fourteen theorems, four corollaries. Verified in six formal systems: Z3 SMT (17/17 UNSAT), Lean 4 (838 jobs, 0 errors), Coq, SymPy (16/16), Hypothesis (1.2M+ cases, 0 failures), and self-referential Cathedral test (7/7). v5: Corrected verification report upload. Includes paper (21pp with machine verification remark) and full verification report as supplement.
逐年被引趋势
暂无年度引用数据
关键指标
同类平均 = 1
同领域 · 同年份 · 同类型
Google Scholar 与 OpenAlex 的被引统计范围不同，数值存在差异属正常。
AI 辅助阅读
依据：摘要
可就本文提问；依据不足时会说明。
学术脉络
学科主题
社会科学Epistemology, Ethics, and Metaphysics
Logic, Reasoning, and Knowledge · Diverse Interdisciplinary Research Studies