pith. machine review for the scientific record. sign in
def definition def or abbrev

tau19

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

 129noncomputable def tau19 : ℝ := tau0 * phi^19

proof body

Definition body.

 130
 131/-! ## Quantum Gravity Predictions -/
 132
 133/-- RS predictions for quantum gravity:
 134
 135    1. **Minimum length = l_voxel**, not l_P
 136       - Below l_voxel, spacetime is discrete
 137       - l_P may be inaccessible
 138
 139    2. **φ-quantized energies** near Planck scale
 140       - Energies at φ^n × E_P
 141
 142    3. **No singularities**
 143       - Voxel structure prevents infinite densities
 144
 145    4. **Modified dispersion relations**
 146       - At high energy, E² = p²c² + m²c⁴ + corrections -/

depends on (11)

Lean names referenced from this declaration's body.