IPM Calendar 
Saturday 31 October 2020   Today  
Events for day: Wednesday 14 October 2020    
           16:30 - 18:30     Mathtematical Logic Weekly Seminar
Combining Logic and Probability in the Presence of Symmetry

School
MATHEMATICS

Among the many approaches to combining logic and probability, an important one has been to assign probabilities to formulas of a classical logic, instantiated from some fixed domain, in a manner that respects logical structure. A natural additional condition is to require that the distribution satisfy the symmetry property known as exchangeability. In the first part of this talk I will trace some of the history and context of this line of investigation, viewing exchangeability from a logical perspective. In the second part I will report on the current status of a joint programme of Ackerman, Freer and myself on countable exchangeable struct ...