Search papers, labs, and topics across Lattice.
This paper establishes a metatheorem demonstrating that every coherent and sufficiently expressive finite syntactic system, including AI systems and security mechanisms, is inherently limited by its inability to autonomously produce at least one theorem. This finding is significant as it highlights a fundamental constraint on the capabilities of various systems, suggesting that there are truths beyond their reach. The implications extend to security, formal verification, and even legal and economic frameworks, indicating a universal limitation in formal reasoning systems.
Every finite syntactic system, from AI to legal frameworks, is doomed to miss at least one true theorem, revealing a profound limitation in their capabilities.
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.
