Zero Worlds · claim explorer
Claims
11 featured claims with full treatment and a 4-claim unreviewed catalog below. Every claim shows its provenance — most of this case is AI-extracted and unreviewed, and the interface says so.
headline claims
No observer-first program — algorithmic idealism, conscious-agent theory, or the ruliad — has derived the distinctively quantum package (complex Hilbert space, the Born rule, Tsirelson-bounded nonlocality) from its non-material primitives, and Müller himself identifies Bell violation with no-signalling and efficient quantum computation as unfinished targets for his framework.
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.
⚠ grades the status of a mathematical question — not empirical support
No observer-independent physical world is fundamental: first-person informational states plus a lawlike inductive rule are ontologically sufficient, and the physical world — ultimately including quantum theory — is derivative.
The physicalist steelman: observer-first programs relocate complexity rather than reduce it — universal induction would learn any computable law and so explains nothing specifically quantum; the explanatory compression they promise is already delivered, ontology-free, by the operational reconstructions; and standard physicalist quantum theory retains a decisive quantitative advantage in Hamiltonians, field theory, and precision predictions.
featured, by theme
The observer-first programs3 ▸
Hoffman's conscious-agent program has produced a proven evolutionary-game-theory result (the Fitness-Beats-Truth theorem) and a published mathematical correspondence between asymptotic conscious-agent dynamics and the free-particle wavefunction, but no derivation of general quantum theory — state spaces, Born rule, entanglement structure — from its primitives.
Wolfram's observer theory asserts that the core laws of twentieth-century physics — general relativity, quantum mechanics, and the Second Law — follow from two features of observers embedded in the ruliad (computational boundedness and belief in persistence), but the derivations are presented informally, formal results demonstrate embedding rather than inevitability, and Wolfram acknowledges circularity in the observer concept itself.
⚠ grades the accuracy of the description — not whether the theory is true
Gorard's 2020 formal paper on quantum mechanics in the Wolfram model (Complex Systems) states the derivation of quantum mechanics from multiway invariance as its central conjecture; it states outcome probabilities by a multiway Born rule for path weights, of which a search of its full text finds no derivation; and it obtains CHSH-inequality violation from explicit nonlocality, with no derivation of the Tsirelson bound found by the same search.
Self-states and universal induction2 ▸
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.
⚠ grades the status of a mathematical question — not empirical support
Algorithmic idealism is asymptotically consistent with quantum mechanics if quantum theory generates the computable regularities in an observer's data, and Müller's 2020 paper proves a preliminary theorem that Bell-inequality violation alongside no-signalling can sometimes be expected — a result he qualifies as resting on too many assumptions.
The derivation gap2 ▸
No observer-first program — algorithmic idealism, conscious-agent theory, or the ruliad — has derived the distinctively quantum package (complex Hilbert space, the Born rule, Tsirelson-bounded nonlocality) from its non-material primitives, and Müller himself identifies Bell violation with no-signalling and efficient quantum computation as unfinished targets for his framework.
The decisive open problem is a bridge theorem: whether observer-first postulates entail the operational principles (convex state spaces, composition, purification, continuous reversibility) from which the reconstruction theorems derive quantum theory — with the Tsirelson bound and Born-rule measure selection as the concrete targets — is a precisely posed, currently unsolved mathematical question whose resolution in either direction would settle most of this case.
⚠ grades the status of a mathematical question — not empirical support
The unreviewed catalog
4 claims in the ledger that the current edition does not feature — most extracted from the source literature and imported without individual human review. Each is one atomic statement with its anchor; none carries a judgment until an edition features it and its adopted assessment supplies the full treatment.