The VvL Logic at Large Lectures are annual, public lectures organised for a general audience. Upcoming Logic at Large Lecture:
Past Logic at Large Lectures
Tuesday 31 May 2022 Joel David Hamkins (University of Notre Dame) Infinite games, frivolities of the gods Many familiar finite games admit natural infinitary analogues, which often highlight intriguing issues in infinite game theory. Shall we have a game of infinite chess? Or how about infinite draughts, infinite Hex, infinite Go, infinite Wordle, or infinite Sudoku? Let me introduce these games and use them to illustrate various fascinating concepts in the theory of infinite games. |
|
Friday 28 May 2021 Moshe Y. Vardi (Rice University) And Logic Begat Computer Science During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called "the calculus of computer science". The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. [Read more ...] |
|