The World of Logic, Computation, and Agency
The Strachey Lectures are generously supported by OxFORD Asset Management
Johan van Benthem ( Professor of Logic, Amsterdam and Stanford University )
- 14:00 1st December 2015 ( week 8, Michaelmas Term 2015 )Lecture Theatre B
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.
Share this:
