University of Birmingham > Talks@bham > Lab Lunch > Selection functions, bar recursion and backward induction

## Selection functions, bar recursion and backward inductionAdd to your list(s) Download to your calendar using vCal - Martin Escardo
- Tuesday 29 September 2009, 13:00-14:00
- CS 217.
If you have a question about this talk, please contact Dan Ghica. I’ll talk about my recent work with Paulo Oliva from Queen Mary reported in the paper “Selection functions, bar recursion and backward induction”. Here is the abstract of the paper: Bar recursion arises in constructive mathematics, logic, proof theory and higher-type computability theory. We explain bar recursion in terms of sequential games, and show how it can be naturally understood as a generalisation of the principle of backward induction that arises in game theory. In summary, bar recursion calculates optimal plays and optimal strategies, which, for particular games of interest, amount to equilibria. We consider finite games and continuous countably infinite games, and relate the two. The above development is followed by a conceptual explanation of how the finite version of the main form of bar recursion considered here arises from a strong monad of selections functions that can be defined in any cartesian closed category. Finite bar recursion turns out to be a well-known morphism available in any strong monad, specialised to the selection monad. Obviously I won’t have time to talk about all that (and the monad stuff was already done in previous lab lunches). This talk is part of the Lab Lunch series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsCond. Mat. seminar Condensed Matter Physics Seminars What's on in Physics?## Other talksThe galaxy-halo connection in the cosmic web You like to move it? Pose Estimation and Tracking for Collaborative Robotics and Medical Sensor Fusion Intriguing Properties of Adversarial ML Attacks in the Problem Space Emergent behaviour in perovskites from symmetry breaking The Suzuki Chain Rage against the dying of the light: Type Ia supernovae at 1000 days and beyond |