Synthetic probability theory

Add to your list(s) Download to your calendar using vCal

• Alex Simpson, University of Ljubljana
• Friday 22 May 2020, 14:00-15:00
• https://us02web.zoom.us/j/82603907326.

If you have a question about this talk, please contact Martin Escardo.

I shall outline an alternative to the standard set-theoretic formulation of probability theory, based on an axiomatisation of the notion of “random variable” as a primitive concept. The axioms capture desirable properties of random variables, not all of which apply to random variables as usually defined. They are designed to support a streamlined development of probability theory, in which sample spaces play no role and one (almost) never needs to consider sigma-algebras and associated notions of measurability. The approach also gives rise to reasoning principles for the two probabilistically important “equality” relations between random variables: “almost sure equality” and “equality in law”.

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• computer sience
• https://us02web.zoom.us/j/82603907326

Note that ex-directory lists are not shown.