Tuesday 26 January 2021 |

Events for day: Wednesday 14 October 2020 |

16:30 - 18:30 Mathtematical Logic Weekly SeminarCombining 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 ... |