`PlanckScaleFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.Quantum.PlanckScale
domain: Quantum
line: 195 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Quantum.PlanckScale on GitHub at line 195.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 192    1. Planck scale has no φ-connection
 193    2. Voxel scale doesn't exist
 194    3. τ₀ / t_P ≠ φ³⁴ -/
 195structure PlanckScaleFalsifier where
 196  no_phi_connection : Prop
 197  no_voxel_scale : Prop
 198  ratio_not_phi34 : Prop
 199  falsified : no_phi_connection ∧ ratio_not_phi34 → False
 200
 201end PlanckScale
 202end Quantum
 203end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.