From a Ball Game to Incompleteness
We present a ball game that can be continued as long as wewish. It looks as though the game would never end. But byapplying a result on trees, we show that the game nonethelessends in some finite number of moves. We then point out somedeep results on the natural number system connected withthe game.
Volume 25 | Issue 1