The national mathematics symposium "Logic: The Rules of the Game" for mathematics students is organised by the mathematics study association Desda at Radboud Universitiy Nijmegen and takes place on 17 May 2023.
Logic is an important part of mathematics and studies the way we reason and draw conclusions. During this symposium, we will focus on different aspects of logic, including infinite games, computability theory and modal logic.
One view of the role of logic is that it describes the rules of the game of mathematics. The axioms form a starting position and the rules of evidence form moves. On the other hand, we can also describe all games in the language of logic. We will encounter both sides of this duality in this symposium.
Registration for the symposium is open until 12 May.
- Wednesday 17 May 2023, 12 am
- Huygens Building