Skip to main content

mastodon - Link to source

I've been thinking about this for ages, but never had the time to craft the words around it.

People keep saying that "Maths should be fun" ... and I push back with "It should be engaging ... 'fun' is a different thing.

So @rakhichawla has posted pretty much exactly this, but better than I ever could.

I'm copying it here with permission.

Please read this, then as it says at the end ... let's have a deeper conversation about this ...

1/n

(PS: I'd love this to get boosted to get outside my bubble ... you're all amazing, but there will be other opinions, and other thoughts that could be helpful or valuable)

Hashtags: #MathEd #MathsEd #MathEdChat #MathsEdChat #MathChat #MathsChat #MTBoS #TMWYK

#tmwyk #mtbos #mathschat #mathchat #mathsedchat #mathedchat #mathsed #mathed @rakhichawla
This entry was edited (1 day ago)

reshared this

in reply to Colin the Mathmo

modulux
gotosocial - Link to source
modulux
• •
I think it's very true that learning something can't be all fun, there will be frustration and so on involved. At the same time, I find it amazing how game-like and addicted it can be to do proofs in Coq, fiddling with tactics on the prompt. So it is possible to do maths and have fun during it.
in reply to Cassandrich

modulux
gotosocial - Link to source
modulux
• •
That too, unfortunately. I think they're working on changing the name to Rocq? Which I think is probably for the best.
in reply to Cassandrich

modulux
gotosocial - Link to source
modulux
• •
I think they wanted to change both, but I'm blind so logos kinda go over my head and I don't notice them. I think the rename should go through the coming year.
⇧