Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a synthetic approach to probability theory through this 54-minute mathematical lecture that examines the development of axiomatizing primitive notions of random variables. Delve into the ongoing research project's methodology, understanding the various considerations that influenced the choice of axioms and the current theoretical framework. Learn about the lessons derived from this innovative mathematical process and gain insights into how synthetic mathematics approaches fundamental probabilistic concepts. Discover the intersection of logic, computation, and probability theory as presented during the thematic meeting on "Synthetic mathematics, logic-affine computation and efficient proof systems" at the Centre International de Rencontres Mathématiques in Marseille, France.
