def
definition
falsification
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Physics.EarthBrainResonance on GitHub at line 372.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
-
geometric_isolation_enables_propagation_thm -
DarkEnergyFalsifier -
IsFalsifier -
InflationFalsifier -
EtaFalsifier -
isWaterFalsified -
ILG_passes -
ShannonFalsifier -
ComplexFalsifier -
two_time_unique -
bet1_of_bet1Alt -
PrimeScheduleSelfFalsification -
MassHierarchyFalsifier -
GenerationFalsifier -
ConfinementFalsifier -
BellFalsifier -
EmergenceFalsifier -
DoubleSlitFalsifier -
RTFalsifier -
HolographicFalsifier -
ZenoFalsifier -
LockPhasePrediction -
ratio_is_phi_power -
TauGatePredictions -
BoseFalsifier -
FermiFalsifier
formal source
369 "If EEG band boundaries shown to be neurochemical artifacts " ++
370 "with no cavity coupling → RS coupling claim falsified"
371
372def falsification : FalsificationCriteria := {}
373
374end
375end EarthBrainResonance
376end Physics
377end IndisputableMonolith