Description: Op 17 mei 2023 vindt het Nationaal Wiskunde Symposium plaats aan de Radboud Universiteit in Nijmegen, getiteld “Logic: The Rules of the Game”. Tijdens dit symposium zullen we ons richten op verschillende aspecten van de logica, waaronder oneindige spelen, berekenbaarheidstheorie en modale logica.
2023 (2592) nws (39) logica (26) nationaal wiskunde symposium (1)
home programma sponsors inschrijven contact 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.