def
definition
theoryFalsified
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Experiments.Protocols on GitHub at line 217.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
formal source
214 phi_emergence_falsified : Bool := false
215
216/-- Theory is falsified if ANY core prediction fails -/
217def theoryFalsified (status : TheoryFalsificationStatus) : Prop :=
218 status.eeg_falsified ∨
219 status.mode_ratio_falsified ∨
220 status.healing_falsified ∨
221 status.water_falsified ∨
222 status.phi_emergence_falsified
223
224/-- Theory is partially confirmed if ALL predictions pass -/
225def theoryConfirmed (status : TheoryFalsificationStatus) : Prop :=
226 ¬status.eeg_falsified ∧
227 ¬status.mode_ratio_falsified ∧
228 ¬status.healing_falsified ∧
229 ¬status.water_falsified ∧
230 ¬status.phi_emergence_falsified
231
232/-! ## Summary -/
233
234#check EEGProtocol
235#check EEGPrediction
236#check eegPredictions
237#check ModeRatioPrediction
238#check HealingProtocol
239#check WaterPrediction
240#check TheoryFalsificationStatus
241#check theoryFalsified
242
243end Experiments
244end IndisputableMonolith