In deze communitypost wil ik links plaatsen naar enkele zeer boeiende spellen en interactieve omgevingen (vrij beschikbaar) die mensen helpen om hoogstaande concepten in zowel programmeren als wiskunde te verkennen. Als je andere leuke plekken weet om te bezoeken, plaats ze dan gewoon hieronder. Veel plezier! Lean: Een verzameling van zeer boeiende programmeerpuzzels die je helpen te leren hoe wiskunde wordt bewezen en geformaliseerd. Je zult nooit meer op dezelfde manier naar de moeilijkheid van 5*7=7*5 kijken. NandGame: Je maakt je eigen processor vanaf nul (zelfs NAND is gemaakt van eenvoudigere schakelingen). Zeer verslavend en super leuk! Quantum Flytrap: Hier krijg je eindelijk enige begrip van de kwantumcomputaties. Kleurrijk, grenzeloos, boeiend en wiskundig zeer diep. Scratch: Leer programmeren op een leuke manier. Euclidea: Leer hoe je constructies kunt uitvoeren met een liniaal en een passer. Het maakte vroeger deel uit van het schoolonderwijs, maar nu is het een app. Leuk en zeer informatief. Planarity: Probeer een grafiekinbedding te vinden die aantoont dat het inderdaad vlak is. Golly: De ultieme verkenner van cellulaire automaten. Als je dieper wilt graven: SageMath: Het is een krachtig computeralgebrasysteem met Python-syntaxis. Het is ideaal voor cursussen en de syntaxis van SageMath ligt veel dichter bij reguliere wiskundige discours. Ik geef graag les met SageMath. GeoGebra: Je kunt bewijzen, berekeningen en interactieve applets maken. Het is een leuke manier om veel verschillende facetten van de wiskunde op universitair niveau te leren. Wolfram Demonstration Projects: Een verzameling wiskundige applets die je kunnen helpen zeer geavanceerde onderwerpen te begrijpen. Je hebt geen Mathematica nodig om te draaien, maar je hebt het nodig om je eigen applets te ontwerpen. The Mechanics of Proof (door Heather Macbeth): Het is een boek met een interactieve GitHub-repo waar je meer uitgebreid de structuur en syntaxis van Lean kunt leren. An Illustrated Theory of Numbers (door Martin H. Weissman): Dit is een leerboek over elementaire getaltheorie met toepassingen. En deze toepassingen zijn beschikbaar op de website als een verzameling gratis Jupyter Notebooks die je de belangrijkste concepten leren. Graphical Linear Algebra: In een geïllustreerde en tot op zekere hoogte interactieve manier van leren van diepe concepten in algebra. HomotopyContinuation.jl: Dit is een ongelooflijk mooie en interactieve (met Julia) manier om enkele zeer complexe ideeën uit de algebraïsche geometrie (verbonden componenten, homotopiecontinuatiemethode) te leren en met toepassingen op zeer speciale algebraïsche systemen die voortkomen uit toepassingen. Je kunt Julia leren onderweg. Mathamaze: Het is een ervaring van Helena Verrill. Mooie geometrie, betegelingen, patronen. Gewoon geweldig. Moelijk uit te leggen: n: de weg van de ninja: Als je denkt dat wiskunde moeilijk is. Leer geduld op de moeilijke manier. Waarschuwing: zeer verslavend. HyperRogue: Je kunt hyperbolische geometrie leren in een rogue-like omgeving.