Listen "06/16/23: Infinite Games -- Strategies, Logic, Theory, and Computation, with Joel David Hamkins"
Episode Synopsis
Joel David Hamkins is a mathematician and logician at Oxford, where he studies the logic of the infinite. Today Joel joined us to talk about infinite dimensional games. As Joel explained, there are really three areas of mathematical inquiry related to games: Game Theory, as traditionally used in economics, ecology, etc.; the Theory of Games, which many CS students learn a little bit of in Complexity Theory; and the Logic of Games, which is really the camp where this talk falls. This was a totally intriguing talk in which pretty deep mathematical ideas naturally emerged from simple, playful premises. We really enjoyed it and we hope you do too! This talk is also available in video form, here.
More episodes of the podcast Boston Computation Club
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
15/08/2025
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang
02/08/2025
ZARZA We are Zarza, the prestigious firm behind major projects in information technology.