Systemic Constraints of Undecidability
By: Seth Bulin
Potential Business Impact:
Makes computers unable to solve some problems.
This paper presents a theory of systemic undecidability, reframing incomputability as a structural property of systems rather than a localized feature of specific functions or problems. We define a notion of causal embedding and prove a closure principle: any subsystem that participates functionally in the computation of an undecidable system inherits its undecidability. This result positions undecidability as a pervasive constraint on prediction, modeling, and epistemic access in both natural and artificial systems. Our framework disarms oracle mimicry and challenges the view that computational limits can be circumvented through architectural innovation. By generalizing classical results into a dynamic systems context, this work augments the logical trajectory of G\"odel, Turing, and Chaitin, offering a new perspective of the topology of computability and its interrelation to the boundaries of scientific knowledge.
Similar Papers
Computational Irreducibility as the Foundation of Agency: A Formal Model Connecting Undecidability to Autonomous Behavior in Complex Systems
Artificial Intelligence
Makes AI's future actions impossible to guess.
Causal Abstractions, Categorically Unified
Machine Learning (Stat)
Helps AI understand complex systems at different levels.
Causality and Decision-making: A Logical Framework for Systems and Security Modelling
Logic in Computer Science
Helps computers understand how systems cause changes.