Logic: The Rules of the Game
Is wiskunde een spel?
Het Nationaal Wiskunde Symposium zal dit jaar worden gepresenteerd door wiskundestudievereniging Desda aan de Radboud Universiteit Nijmegen. Het symposium draagt de titel “Logic: The Rules of the Game” en vindt plaats op woensdag 17 mei.
Logica is een belangrijk onderdeel van de wiskunde en bestudeert de manier waarop we redeneren en conclusies trekken. Tijdens dit symposium zullen we ons richten op verschillende aspecten van de logica, waaronder oneindige spelen, berekenbaarheidstheorie en modale logica.
Eén opvatting van de rol van logica is dat het de regels beschrijft van het spel der wiskunde. De axioma's vormen een startpositie, en de bewijsregels vormen zetten. Aan de andere kant kunnen we ook alle spellen beschrijven in de taal van logica. Beide kanten van deze dualiteit zullen we tegenkomen in dit symposium.
De inschrijving voor het symposium (inclusief lunch en borrel!) is geopend tot en met 14 mei.