IndisputableMonolith.Philosophy.ProbabilityMeaningStructure

declarations in this module (18)

• def probability_meaning_from_ledger L74
• theorem probability_meaning_structure L77
• theorem probability_meaning_implies_lossy L80
• def Fiber L87
• theorem fibers_cover L91
• theorem probability_from_projection L102
• theorem each_fiber_nonempty L108
• theorem prob_is_epistemic L129
• theorem frequentist_vindicated L149
• theorem bayesian_vindicated L165
• theorem higher_resolution_finer_distinctions L180
• theorem probability_is_relational L198
• theorem propensity_vindicated L209
• theorem born_rule_structure L226
• def obs_probability L236
• theorem probability_sums_to_one L241
• theorem probability_nonneg L250
• theorem ph006_probability_certificate L273