def definition def or abbrev

`implications`

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

formal statement (Lean)

 225def implications : List String := [

proof body

Definition body.

 226  "Universe is fundamentally holographic",
 227  "Black hole information preserved",
 228  "Spacetime emerges from entanglement (ER = EPR)",
 229  "Quantum error correction insights"
 230]
 231
 232/-! ## Falsification Criteria -/
 233
 234/-- The RT derivation would be falsified by:
 235    1. Entanglement entropy not scaling with area
 236    2. Black hole entropy not following BH formula
 237    3. Holographic principle violations
 238    4. Tensor networks not exhibiting area law -/

depends on (12)

Lean names referenced from this declaration's body.

entropy in IndisputableMonolith.Foundation.InitialCondition decl_use
is in IndisputableMonolith.Foundation.OptionAEmpiricalProgram decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
is in IndisputableMonolith.Foundation.SimplicialLedger.EdgeLengthFromPsi decl_use
is in IndisputableMonolith.GameTheory.MechanismDesignFromSigma decl_use
correction in IndisputableMonolith.Information.QuantumChannelCapacityFromPhi decl_use
is in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
emerges in IndisputableMonolith.RecogGeom.Comparative decl_use
Spacetime in IndisputableMonolith.Relativity.Geometry.Manifold decl_use
Tensor in IndisputableMonolith.Relativity.Geometry.Tensor decl_use
entropy in IndisputableMonolith.Thermodynamics.BoltzmannDistribution decl_use
entropy in IndisputableMonolith.Thermodynamics.PartitionFunction decl_use