The World of Logic, Computation, and Agency
The Strachey Lectures are generously supported by OxFORD Asset Management
Logic, computation and human agency form a tightly knit family of themes and results, where new connections keep appearing. I will discuss these family affairs with a focus on games as a unifying paradigm. I start with some (Whig) history of ideas at the interface of logic, computer science, and game theory, and move toward the present and future of what may well be seen as one discipline in the making.