natural_number_game:在精益中建立自然数

自然数游戏 这是一个关于自然数的游戏，自然数是数字{0，1，2，3，...}。 它基于但可以做得更多。 游戏的目的是教您在儿童时期呈现给我们的关于自然数的所有陈述的证明中真正包含的内容是什么，并且我们被告知是“显而易见的”。 这样的语句的示例是： a + b = b + a或a * (b + c) = a * b + a * c 。 若用另外的“几何”和非正式的定义，如“ a + b是你有，如果你有弹子的数量a在一方面，大理石b中的其他”，然后象语句， a + b = b + a做变得显而易见。 但是，这样的加法定义不适用于计算机。 在此游戏中，我们的工作是使计算机确信a a + b = b + a类的陈述不仅“显而易见”，而且实际上具有证明。 在这个游戏中，我们从自然数和数学归纳原理开始，归纳是我们将要使用的主要工具。 如果您已经对数学归纳法感到满意，那么希望您可以在玩此游戏方面有