Derivation Chain Viewer

Pick any derivation chain to trace a prediction back to its axioms. Every node represents a mathematical result; every edge is tagged with its derivation type: [A] from axiom, [I] from import, [D] derived.

Derivation Chains

Node Types

axiom
theorem
definition
prediction
import
assumption

Edge Tags

[A] Axiom
[I] Import
[D] Derived

Fine Structure Constant (1/alpha)

From CCP axioms through division algebras to 1/alpha = 137 + 4/111

28 nodes, 39 edges. Click any node for details.

Nontriviality (C3)[axiom]Crystal existence ...[axiom]Perfect orthogonal...[axiom]Finite access (P3)[axiom]Algebraic complete...[axiom]Directed time (T1)[axiom]Crystallization te...[axiom]Completeness Princ...[axiom]Frobenius theorem[import]Radon-Hurwitz theo...[import]Schur's lemma[import]IRA-07: Adjacency ...[assumption]No zero divisors[theorem]Transition inverti...[theorem]Division algebra s...[theorem]F = C (complex fie...[theorem]n_d = 4 (spacetime...[theorem]n_c = 11 (crystal ...[theorem]Hilbert space stru...[theorem]Unitary evolution[theorem]Born rule: P(k) = ...[theorem]N_I = n_d^2 + n_c^...[definition]Phi_6(n_c) = 111 E...[definition]Equal EM distribut...[theorem]Alpha mechanism[theorem]Independent sector...[theorem]1/alpha(tree) = 13...[prediction]1/alpha = 137.0359...[prediction]

Related explorations

← Prediction Explorer Framework Catalog → Division Algebras → Framework Status →