ImperialCollegeLondon/natural_number_game

This is stars and forks stats for /ImperialCollegeLondon/natural_number_game repository. As of 26 Apr, 2024 this repository has 278 stars and 74 forks.

Natural Number Game This is a game about the natural numbers, which are the numbers {0, 1, 2, 3, ...}. It is based on this blog post but takes things a lot further. The idea of the game is to teach you what actually goes into the proofs of all the statements about natural numbers which are presented to us as children and which we are told are "obvious". Examples of such statements are: a + b = b + a, or a * (b + c) = a * b + a * c. If one uses a "geometric" and informal definition of addition, such...