De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen

De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen
Nl En

The VvL Logic at Large Lectures are annual, public lectures organised for a general audience. Upcoming Logic at Large Lecture:

 

May 31, 2022: Infinite Games, Frivolities of the Gods (online)

Joel David Hamkins (O'Hara Professor of Philosophy and Mathematics, University of Notre Dame)

 

Please register here.

 

Program:

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).

 

 

chess

 

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 ...]