Two Constructive Approaches to Probability Theory

Explore a 34-minute lecture on constructive approaches to probability theory delivered by Samuele Maschio at the Hausdorff Center for Mathematics. Delve into the comparison between classical Kolmogorov's axiomatic theory and two constructive approaches: frequentist probability and a pointfree metric approach. Examine how these constructive methods differ from traditional paradigms and other approaches in the literature. Gain insights into the ongoing research in probability theory, including joint work with H. Ishihara, within the context of the Hausdorff Trimester Program on Types, Sets and Constructions.