paper-with-me

홈 › Papers

No Universal Hyperbola: A Formal Disproof of the Epistemic Trade-Off Between Certainty and Scope in Symbolic and Generative AI

2025-12-21 · Generoso Immediato arxiv

In direct response to requests for a logico-mathematical test of the conjecture, we formally disprove a recently conjectured artificial intelligence trade-off between epistemic certainty and scope in its published universal hyperbolic product form, as introduced in Philosophy and Technology. Certainty is defined as the worst-case correctness probability over the input space, and scope as the sum of the Kolmogorov complexities of the input and output sets. Using standard facts from coding theory and algorithmic information theory, we show, first, that when the conjecture is instantiated with prefix (self-delimiting, prefix-free) Kolmogorov complexity, it leads to an internal inconsistency, and second, that when it is instantiated with plain Kolmogorov complexity, it is refuted by a constructive counterexample. These results establish a main theorem: contrary to the conjecture's claim, no universal "certainty-scope" hyperbola holds as a general bound under the published definitions. We further show that a subsequent "entropy-based" revision, replacing the Kolmogorov scope with Shannon joint entropy and redefining the epistemic certainty level accordingly, cannot restore universality either.

📄 PDF Abstract BibTeX arXiv:2601.08845

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

A Disproof of Large Language Model Consciousness: The Necessity of Continual Learning for Consciousness

2025-12-14 · Erik Hoel arxiv

Scientific theories of consciousness should be falsifiable and non-trivial. Recent research has given us formal tools to analyze these requirements of falsifiability and non-triviality for theories of consciousness. Surp…

Continual Learning

The Theory of the Unique Latent Pattern: A Formal Epistemic Framework for Structural Singularity in Complex Systems

2025-05-24 · Mohamed Aly Bouke

This paper introduces the Theory of the Unique Latent Pattern (ULP), a formal epistemic framework that redefines the origin of apparent complexity in dynamic systems. Rather than attributing unpredictability to intrinsic…

A Decision-Theoretic Approach for Managing Misalignment

2025-12-17 · Daniel A. Herrmann, Abinav Chari, Isabelle Qian, Sree Sharvesh 외 arxiv

When should we delegate decisions to AI systems? While the value alignment literature has developed techniques for shaping AI values, less attention has been paid to how to determine, under uncertainty, when imperfect al…

On Computation Complexity of True Proof Number Search

2021-02-08 · Chao GAO

We point out that the computation of true \emph{proof} and \emph{disproof} numbers for proof number search in arbitrary directed acyclic graphs is NP-hard, an important theoretical result for proof number search. The pro…

An Innovative Approach to Determine Rebar Depth and Size by Comparing GPR Data with a Theoretical Database

2020-05-19 · Zhongming Xiang, Ge Ou, Abbas Rashidi

Ground penetrating radar (GPR) is an efficient technique used for rapidly recognizing embedded rebar in concrete structures. However, due to the difficulty in extracting signals from GPR data and the intrinsic coupling b…

GPR