Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
