def definition def or abbrev

`falsification`

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

formal statement (Lean)

 372def falsification : FalsificationCriteria := {}

proof body

Definition body.

 373
 374end
 375end EarthBrainResonance
 376end Physics
 377end IndisputableMonolith

used by (26)

From the project-wide theorem graph. These declarations reference this one in their body.

geometric_isolation_enables_propagation_thm in IndisputableMonolith.Complexity.SAT.Completeness decl_use
DarkEnergyFalsifier in IndisputableMonolith.Cosmology.DarkEnergy decl_use
IsFalsifier in IndisputableMonolith.Cosmology.HubbleTensionBound decl_use
InflationFalsifier in IndisputableMonolith.Cosmology.Inflation decl_use
EtaFalsifier in IndisputableMonolith.Cosmology.MatterAntimatter decl_use
isWaterFalsified in IndisputableMonolith.Experiments.Protocols decl_use
ILG_passes in IndisputableMonolith.Gravity.SPARCFalsifier decl_use
ShannonFalsifier in IndisputableMonolith.Information.ShannonEntropy decl_use
ComplexFalsifier in IndisputableMonolith.Mathematics.ComplexNumbers decl_use
two_time_unique in IndisputableMonolith.Mathematics.RamanujanBridge.MockThetaPhantom decl_use
bet1_of_bet1Alt in IndisputableMonolith.NavierStokes.RM2U.NonParasitism decl_use
PrimeScheduleSelfFalsification in IndisputableMonolith.NavierStokes.RM2U.NonParasitism decl_use
MassHierarchyFalsifier in IndisputableMonolith.Physics.MassHierarchy decl_use
GenerationFalsifier in IndisputableMonolith.Physics.ThreeGenerations decl_use
ConfinementFalsifier in IndisputableMonolith.QFT.Confinement decl_use
BellFalsifier in IndisputableMonolith.Quantum.BellInequality decl_use
EmergenceFalsifier in IndisputableMonolith.Quantum.ClassicalEmergence decl_use
DoubleSlitFalsifier in IndisputableMonolith.Quantum.DoubleSlit decl_use
RTFalsifier in IndisputableMonolith.Quantum.EntanglementEntropy decl_use
HolographicFalsifier in IndisputableMonolith.Quantum.HolographicBound decl_use
ZenoFalsifier in IndisputableMonolith.Quantum.ZenoEffect decl_use
LockPhasePrediction in IndisputableMonolith.RRF.Hypotheses.EightTick decl_use
ratio_is_phi_power in IndisputableMonolith.RRF.Hypotheses.PhiLadder decl_use
TauGatePredictions in IndisputableMonolith.RRF.Hypotheses.TauGate decl_use
BoseFalsifier in IndisputableMonolith.Thermodynamics.BoseEinstein decl_use
FermiFalsifier in IndisputableMonolith.Thermodynamics.FermiDirac decl_use

depends on (1)

Lean names referenced from this declaration's body.

FalsificationCriteria in IndisputableMonolith.Physics.EarthBrainResonance decl_use