simulation_argument_dissolved
plain-language theorem explainer
The declaration supplies a compact textual argument dissolving Bostrom's simulation hypothesis inside Recognition Science. Researchers in foundations of physics cite it to show that the base-reality versus simulation distinction collapses once the ledger is taken as the sole substrate. The definition simply assembles three numbered points that reduce the question to a tautology.
Claim. In Recognition Science the simulation hypothesis dissolves because the ledger constitutes base reality $R_0$ with no external substrate, any faithful simulation $R$ reproduces an RS universe, and the distinction between $R$ and $R_0$ carries no observational content.
background
Recognition Science treats the ledger as the unique physical substrate with no separate external computer or base reality permitted. The module IC-004 addresses Bostrom's simulation argument by showing that every entity, including a putative simulator, must itself be a ledger entry, so the distinction between simulation and reality collapses. Key prior results include the result that any simulation of an RS universe is again an RS universe and that the ledger is self-grounded with no external substrate required.
proof idea
The definition constructs a multi-line string literal that enumerates the three dissolution steps directly from the module context. It assembles the points on ledger identity, observational equivalence, and tautological reduction without tactic steps or external lemma applications beyond the sibling result on simulation equivalence.
why it matters
This definition completes the IC-004 dissolution of the simulation hypothesis by providing the textual summary that links to the self-grounded ledger and the result that any faithful reproduction remains an RS universe. It supports the framework claim that RS satisfies the it-from-bit requirement trivially because the ledger is the sole reality. The argument relies on the intrinsic phi-ladder and eight-tick structure eliminating any need for an external simulator.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.