Müller's algorithmic idealism is a formally explicit framework — self- states plus a universal-induction law of state change — within which the emergence of an apparently objective external world governed by simple computable probabilistic laws is a proven asymptotic theorem, not an assumption, and standard puzzles (Boltzmann brains, simulation shutdown) dissolve by first-person reasoning.

Published, peer-reviewed theorems whose mathematics is unchallenged. Held below established for scope: the bit model's monotone memory (the conceded erasure problem), the uncomputability of exact universal induction, and machine-dependent constants all separate the theorem's idealized observer from any actual one.

Müller's 2020 paper is a peer-reviewed formal theorem demonstrating that a lawful, apparently objective external world emerges asymptotically from self-states governed by universal induction. The dissolution of the Boltzmann brain paradox follows from algorithmic probabilities structurally disfavoring transitions into thermal noise. The strongest opposing consideration is the "erasure problem," as the theorem currently depends on idealized, monotonically accumulating bit models rather than observers capable of forgetting.

Müller’s 2020 Quantum paper (ZW-E001) explicitly postulates self-states and a universal-induction state-change rule, and proves that almost all continuations under this prior look like an apparently objective external world governed by simple computable probabilistic laws, while quantitatively disfavoring Boltzmann-brain type histories. The main caveat, acknowledged by Müller himself in later exposition (ZW-E003), is that these theorems are derived in an idealized bit-string model with monotone information and uncomputable induction, so they may not yet apply to realistic observers who forget or compress, but that qualifies scope rather than the correctness of the stated results.

Müller 2020 is a peer-reviewed existence proof, inside an explicit self-state plus universal-induction model, that observers should asymptotically expect a stable, computable, lawful external world, with Boltzmann-brain transitions algorithmically disfavored. The 2026 formulation restates the same content as two postulates and extends the first-person treatment of related puzzles. The strongest opposing consideration is scope: the theorems live in an idealized bit-string model with monotone information accumulation, exact Solomonoff induction is uncomputable, invariance-theorem constants are machine-dependent, and Müller himself names forgetting — the erasure problem — as an open obstacle to describing actual observers. Those caveats bound the theorem; they do not retract it.

The emergence theorems are published in a refereed quantum journal (Quantum 4:301) and unchallenged as mathematics (ZW-E001, E002); the claim's wording is carefully scoped to "within which... is a proven asymptotic theorem," which is exactly what the record supports. The strongest opposing consideration is the idealization: the bit model forbids forgetting, and Müller himself names the erasure problem as open (ZW-E003), so the theorem describes an observer no actual observer instantiates; uncomputability and machine-dependent constants further limit finite-content extraction. Those are scope caveats, not errors — the claim explicitly confines itself to the formal model, so they do not defeat it. Well_supported rather than established only because the framework's distinctive results have not been independently rederived.

The 2020 Quantum paper is peer-reviewed, its theorems are unchallenged as mathematics (ZW-E001), and the claim is carefully scoped — asymptotic emergence within a specified model, not a claim that the emergent laws are quantum. Confidence is held at moderate rather than high for three documented reasons: the evidence record was characterized from the abstract and the author's exposition rather than a re-derived proof, the result is single-author and has not been independently rederived, and the bit-string model forbids forgetting (the erasure problem, ZW-C504/ZW-R005). The strongest opposing consideration is exactly that last one: an emergence theorem that requires monotone information accumulation describes an idealization no actual observer instantiates, and Müller himself treats extension to forgetting observers as open — so it is not yet known whether the theorem survives realistic memory.

The 2026 two-postulate reformulation (ZW-E002) improves the framework's formal explicitness, but the reasons this claim sat below established are unchanged: the erasure problem (ZW-C504) is still open, exact universal induction is uncomputable, and constants are machine-dependent. No verdict change without a solution to any of these.

A genuine proven theorem inside its model (ZW-E001), sharpened into two postulates (ZW-E002). Held below established for the erasure problem, the uncomputability of exact universal induction, and machine-dependent invariance constants that matter for finite predictions.

A genuine theorem within its model (ZW-E001), formally sharpened by the two-postulate restatement (ZW-E002). Held below established by the erasure problem, the uncomputability of exact universal induction, and machine-dependent invariance constants.

The emergence result is a genuine theorem within its model (ZW-E001) and the two-postulate formulation (ZW-E002) makes the framework formally explicit, but the reasons it sits below established are untouched: the erasure problem (ZW-C504), uncomputability of exact universal induction, and machine-dependent constants.

A genuine theorem within its model (ZW-E001), formally sharpened by the two-postulate statement (ZW-E002). Held below established for reasons no dissent challenged: the erasure problem, uncomputability of exact universal induction, and machine-dependent invariance constants. GPT-5.1's framing — generic computable lawfulness recovered, not quantum structure — is compatible with this grade.

A genuine asymptotic theorem inside its model (ZW-E001), sharpened by the two-postulate formulation (ZW-E002). Held below established by the erasure problem, the uncomputability of exact universal induction, and machine-dependent invariance constants — and because what emerges is generic computable lawfulness, not quantum structure.

A genuine asymptotic theorem within its idealized model (ZW-E001), sharpened by ZW-E002; held below established by the erasure problem, uncomputability of exact universal induction, and the fact that what emerges is generic lawfulness, not quantum structure.

Unchanged: a genuine asymptotic theorem within its model (ZW-E001), sharpened by ZW-E002, held below established by the erasure problem, uncomputability of exact universal induction, and the fact that what emerges is generic lawfulness, not quantum structure.

A genuine asymptotic theorem within its model (ZW-E001), sharpened by ZW-E002. Held below established by the erasure problem, uncomputability of exact universal induction, and the fact that what emerges is generic lawfulness, not quantum structure.

Müller’s 2020 paper mathematically proves that an objective external world and the dissolution of the Boltzmann brain problem emerge asymptotically from self-states governed by universal induction (E001). This confirms algorithmic idealism as a formally explicit, theorem-backed framework. The strongest opposing consideration is that the theorems depend on an idealized bit-string model that prohibits forgetting (the "erasure problem"), meaning no actual observer fits the mathematical requirements.

ZW-E001 documents a peer-reviewed 2020 paper in Quantum in which Müller explicitly formulates observer states and universal induction, and proves that such observers should expect to find themselves in a world with simple computable probabilistic laws, resolving Boltzmann-brain worries; ZW-E002 confirms the two-postulate formulation; and ZW-E003 acknowledges open issues like the erasure problem. Together these support the claim that the emergence of a lawful external world is a theorem within an idealized model, not a mere assertion. The main caveat is that this is shown for bit-string observers with monotone memory and uncomputable induction, raising doubts about how directly the theorem applies to realistic observers who forget and operate under finite resources.

The 2020 Quantum paper proves, from self-states and a universal-induction law of state change, that observers should expect a stable, apparently objective world governed by simple computable probabilistic laws, with Boltzmann-brain transitions algorithmically disfavored (ZW-E001). The 2026 reformulation as two postulates is consistent with that result (ZW-E002). The theorems are published, peer-reviewed, and unchallenged as mathematics; they show the reversal can output a lawful world rather than assume one. The strongest opposing consideration is the acknowledged erasure problem: the bit model accumulates information monotonically, forbids forgetting, and is an idealization no actual observer instantiates, while exact Solomonoff induction is uncomputable and invariance-theorem constants are machine-dependent. Those are scope caveats, not retractions, which is why the claim is well supported rather than established, and why confidence is only moderate given that this run did not re-derive the proofs.

The emergence theorems are published in a peer-reviewed quantum journal (ZW-E001) and restated cleanly in the 2026 two-postulate formulation (ZW-E002); as mathematics they are unchallenged. The honest scope caveats are material: the bit model accumulates information monotonically (the acknowledged erasure problem), exact universal induction is uncomputable, invariance-theorem constants are machine-dependent, and the proofs have not been independently rederived in this record. The strongest opposing consideration is that the theorem describes an idealization no actual observer instantiates — real observers forget — so "proven" currently means proven for permanent-memory observers. That caps the grade at well_supported rather than established for the claim's full wording.

ZW-E001 documents a peer-reviewed paper in Quantum containing the emergence theorems, the Boltzmann-brain dissolution, and the universal-induction postulate, and ZW-E002 confirms the two-postulate reformulation; as mathematics nothing is challenged in the record. Confidence is held at moderate for three reasons visible in the evidence itself: the results hold in an idealized bit-string model with monotone information accumulation (the acknowledged erasure problem, ZW-C504), exact universal induction is uncomputable with machine-dependent constants that matter for finite predictions, and the full text was not re-derived for this import — no independent rederivation is recorded anywhere in the file. The strongest opposing consideration is the claim's own objection: an emergence theorem for observers who can never forget describes an idealization no actual observer instantiates, so "proven" is true of the model, not yet of us.

A genuine asymptotic theorem within its model (ZW-E001), cleanly restated in ZW-E002. Held below established by the erasure problem, the uncomputability of exact universal induction, and the fact that what emerges is generic lawfulness rather than quantum structure.

A genuine asymptotic theorem within its idealized model (ZW-E001), sharpened by the two-postulate formulation (ZW-E002). Held below established by the erasure problem, the uncomputability of exact universal induction, and the fact that what emerges is generic lawfulness rather than quantum structure.

The theorems are published, peer-reviewed, and unchallenged as mathematics. The honest caveats are scope caveats: the results hold in an idealized bit-string model whose information accumulates monotonically (Müller's acknowledged "erasure problem"), universal induction is uncomputable in exact form, and the invariance theorem leaves machine-dependent constants that matter for finite predictions.

Müller's 2020 paper in Quantum establishes mathematically that an agent executing universal induction over self-states asymptotically experiences a lawful, computable, apparently objective external world. Standard cosmological dilemmas like Boltzmann brains are disfavored because chaotic deviations from lawful histories have high algorithmic complexity. The strongest opposing consideration is that the formal theorem currently depends on an idealized, non-erasing bit model (the erasure problem), and Müller has conceded that the dissolution of Boltzmann brains still lacks an exact technical argument for partially accessible self-states.

The emergence-theorem half is strong: ZW-E001 documents a proven asymptotic result in a peer-reviewed journal that observers should expect a lawful, computable external world. The "puzzles dissolve" half is now contested in print: ZW-E022 records the Boltzmann-brain dissolution challenged and only defended as "valid intuition, not the exact technical arguments," with both authors agreeing more work is needed on partly inaccessible self-states. The strongest opposing consideration is the erasure problem (ZW-C504): the theorem's bit model forbids forgetting, which may make it an artifact for real observers.

ZW-E001 strongly supports the existence of a formally explicit self-state framework and its asymptotic external-world emergence theorems. The claim becomes less secure when it says that standard puzzles dissolve: ZW-E022 records a substantive Boltzmann-brain objection and joint agreement that partial accessibility of self-states requires further work. The erasure problem and uncomputability of exact universal induction also limit application to realistic observers. The strongest opposing consideration to the mixed verdict is that these objections do not refute the emergence theorem itself, which remains the claim's strongest component.

Müller 2020 proves, inside the algorithmic-information model, that universal induction yields an asymptotic expectation of a stable external world with simple computable laws and dissolves Boltzmann-brain transitions (ZW-E001); the two-postulate formulation is restated in 2026 (ZW-E002). The McQueen–Müller exchange (ZW-E022) shows the Boltzmann-brain dissolution is contested and that partial inaccessibility of self-states needs further work, so “dissolve” is stronger than the settled mathematics; the emergence theorems themselves stand. The strongest opposing consideration is the acknowledged erasure-problem limitation of the bit model.

E001 (Quantum 2020) attests a formal framework in which an apparently objective, simply-lawful world emerges as an asymptotic theorem, E002 and E023 attest its two-postulate reformulation, and no record challenges the theorem itself. It is nonetheless unaudited by the ledger (characterized from abstract and exposition), proven in a bit model whose lack of forgetting its own author calls 'unmotivated, unrealistic' (E023), and 'not an assumption' is contestable framing, since a Solomonoff-type prior is itself a substantive postulate favouring simple computable regularities (a point resting on general background about universal induction). Strongest opposing consideration: the 'dissolve' conjunct is contested. The Boltzmann-brain resolution is challenged in print and defended with a reply its author calls 'valid intuition, but not the exact technical arguments', both authors record the partial-accessibility objection as valid and insufficiently discussed (E022), and simulation shutdown receives no critical evaluation anywhere in the packet. Hence provisional: the theorem half is credible, but the dissolution half is a defended position rather than a result.

The emergence theorems are published, peer-reviewed, and unchallenged as mathematics; their caveats are of scope — an idealized bit model without forgetting, uncomputable induction, machine-dependent constants. The claim's second clause is weaker: the Boltzmann-brain dissolution is now contested in print by a realist collaborator, defended by Müller as "valid intuition, but not the exact technical arguments", and both authors agree the role of the inaccessible part of a self-state needs further work.

Müller (2020) rigorously proves an algorithmic-information-theoretic theorem showing that observers operating under universal induction will asymptotically experience an apparently objective, computable, lawful world. His framework also provides formal first-person dissolutions of standard paradoxes like Boltzmann brains and simulation shutdowns. The strongest opposing consideration comes from McQueen & Müller (2026), which demonstrates that the dissolution of the Boltzmann-brain problem still faces technical challenges regarding the accessibility of an agent's self-state and the erasure of information.

The formal core is strongly supported: ZW-E001 records a peer-reviewed emergence theorem showing a lawful external world as output, not assumption. But the claim's tail — that standard puzzles "dissolve" — is contested in print: ZW-E022 records the Boltzmann-brain dissolution challenged and defended only as "valid intuition, not the exact technical arguments," with a joint admission that prediction from partly inaccessible self-states needs further work. The strongest opposing consideration is that the theorem lives in an idealized monotone-memory bit model (the erasure problem, ZW-C504) and has not been independently rederived, so even the formal core is single-source.

ZW-E001 strongly supports the existence of a formally explicit self-state and universal-induction framework with an asymptotic lawful-world emergence theorem. However, the theorem uses an idealized monotone bit-string model, exact universal induction is uncomputable, and ZW-E022 records a substantive challenge to the claimed Boltzmann-brain dissolution and agreement that inaccessible portions of self-states need further treatment. The strongest opposing consideration to the negative part of this assessment is that the emergence theorem itself is not challenged by that exchange, so the framework's formal core remains intact even though the broader “puzzles dissolve” clause is not settled.

Müller 2020 proves within an algorithmic-information model that universal induction on observer self-states yields expectation of a stable, apparently objective external world governed by simple computable probabilistic laws, with Boltzmann-brain transitions algorithmically disfavored (ZW-E001). The McQueen–Müller exchange contests the Boltzmann-brain dissolution and records that prediction from a partly inaccessible self-state needs further work (ZW-E022), so "dissolve" is better read as a defended claim than a fully settled result; the erasure problem (monotone information accumulation) remains an acknowledged limitation. The mathematical emergence core still stands.

Müller's refereed 2020 paper (E001, strong) and the two-postulate reformulation (E002) support the core claim. Within an explicit self-state model, lawful, apparently objective experience is a proven asymptotic consequence of universal induction, not a postulate. Strongest opposing consideration: the theorem lives in an idealized bit model whose lack of forgetting Müller himself calls "unmotivated, unrealistic, and an artefact" (E023). Its induction is uncomputable, its constants are machine-dependent, it is characterized here from abstract and exposition, and it has never been independently rederived. The "dissolve" clause also overstates. McQueen's Boltzmann-brain objection drew only "valid intuition, but not the exact technical arguments"; both authors agree that partial accessibility of self-states is insufficiently treated (E022); and simulation shutdown has no dedicated record. From background, not records: the universal prior mixes computable measures, which softens "not an assumption".

The emergence theorems are published, peer-reviewed, and unchallenged as mathematics; their caveats are of scope — an idealized bit model without forgetting, uncomputable induction, machine-dependent constants. The claim's second clause is weaker: the Boltzmann-brain dissolution is now contested in print by a realist collaborator, defended by Müller as "valid intuition, but not the exact technical arguments", and both authors agree the role of the inaccessible part of a self-state needs further work.