3 ms·

https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g... You could go further towards i

https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g... You could go further towards it feeling like a game, yes -- I've been wanting that too. I'm still learning the basics of these things.

schoen 4y ago
Before playing the Natural Number Game, I played the Incredible Proof Machine: http://incredible.pm/ http://incredible.pm/ It's fun! Admittedly the diagrams tend to explode in size for complicated proofs.