The VvL Logic at Large Lectures are annual, public lectures organised for a general audience. Upcoming Logic at Large Lecture:
Joel David Hamkins (O'Hara Professor of Philosophy and Mathematics, University of Notre Dame)
Please register here.
16:00-16:30 Virtual arrival and informal discussions
16:30-18:00 Public lecture by Joel D. Hamkins (Notre Dame University), including discussion
18:00-19:00 Social Event on gather.town
Location: Zoom (access details will be provided later)
Abstract. 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.
See also Joel Hamkin's own website (from which the picture below is taken).
Past Logic at Large Lectures
|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 ...]