Grijze Cellen, de lezing- en debatreeks van Eos Wetenschap, verkent in de volgende editie de grenzen van de wiskunde.
Wanneer is iets bewezen? Hoe begin je eraan om iets te bewijzen dat iedereen onbewijsbaar lijkt? Waarom worden sommige wiskundige stellingen opnieuw bewezen op een andere manier? Als een computer iets bewijst, telt dat dan? Hoe kan je controleren of dat ook klopt als onze eigen rekenkracht nu eenmaal niet zover reikt?
Deze en andere prangende vragen willen we beantwoorden voor een live-publiek. Drie onderzoekers zullen ons vervoegen:
- Sam Mattheus, wiskundige aan de VUB, vond een Ramseygetal door twee takken van de wiskunde bijeen te brengen die elkaar normaal niet tegenkomen.
- Jan Goedgebeur, computerwetenschapper aan de KULEUVEN bewijst – of ontkracht – typisch wiskundige vermoedens uit de grafentheorie met op maat gemaakte computeralgoritmes.
- Karim Zahidi, filosoof aan de Uantwerpen onderzoekt momenteel verklarende bewijzen. Waarom zijn ze belangrijk? Welk voordeel leveren ze op? En wat is de waarde van de toelichting die ze geven?
Het evenement vindt plaats op MathFest op zondag 21 september. Het festival vindt plaats in het domein van Beisbroek, Zeeweg 96 in Brugge, in en rond het kasteel van de volkssterrenwacht Cozmix.
Het hele programma van MathFest vind je hier.
