Synthesising Random Variables - A Synthetic Approach to Probability Theory
Centre International de Rencontres Mathématiques via YouTube
Stuck in Tutorial Hell? Learn Backend Dev the Right Way
Free courses from frontend to fullstack and AI
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
Syllabus
Alex Simpson: Synthesising random variables
Taught by
Centre International de Rencontres Mathématiques