Fall 2016

Three Problems in Computable Probability Theory

Tuesday, Oct. 4, 2016 4:00 pm4:40 pm

Add to Calendar


Calvin Lab Auditorium

We examine the computable content of three key objects in probability theory: the mixing measure in de Finetti's theorem, the Aldous-Hoover-Kallenberg representation of an exchangeable array, and the disintegration map used to form conditional distributions. Joint work with Nathanael Ackerman, Jeremy Avigad, Daniel Roy, and Jason Rute.