Deze masterclass bestaat uit 2 dagen.
We noemen een getal n perfect indien n gelijk is aan de som van zijn echte delers. Zo is 6=1+2+3 perfect, maar 12 niet. Als je opzoekt wat de kleinste perfecte getallen zijn, dan zie je dat die allemaal eindigen op 6 of 8. Weten we zeker dat alle perfecte getallen eindigen op 6 of 8? Of zijn er uitzonderingen?
Dit is een van de vele onzekerheden van de wiskunde, maar wiskunde staat bekend als de wetenschap van het zeker weten. Hoe zeker zijn wiskundigen nou eigenlijk van hun zaak? Hoe zeker is het dat een resultaat inderdaad klopt? Computers helpen daarbij, maar hoe doen ze dat? Een computer is namelijk nooit in staat om alle perfecte getallen één voor één na te gaan, want hij weet niet of/wanneer ze allemaal getest zijn.
Gelukkig bestaat er een oplossing! Door de combinatie van wiskundig denken en de programmeertaal Lean kunnen wiskundigen op nieuwe manieren zekerheid verkrijgen. Daarnaast helpt Lean ook nog eens om correcte en veilige software te bouwen.
In deze masterclass maak je kennis met de fundamenten van de wiskunde en met de programmeertaal Lean. Aan het einde kunnen we bewijzen wat we nu weten over de perfecte getallen en kan de computer dit bewijs controleren.
We bouwen alles vanaf het begin op, dus programmeerkennis is niet vereist.
Data
Dit is een 2-daagse masterclass. Je meld je aan voor beide dagen, en kan deze niet los van elkaar volgen.
- 1 november 2024
- 2 november 2024