• From a Ball Game to Incompleteness

    • Fulltext


        Click here to view fulltext PDF

      Permanent link:

    • Keywords


      Finite tree, infinite tree, root, rooted tree, leaf, finitely generated tree, path in a tree, fan theorem, arithmetic, Konig’s lemma.

    • Abstract


      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.

    • Author Affiliations


      Arindama Singh1

      1. Department of Mathematics IIT Madras IT P.O., Chennai 600 036
    • Dates


© 2021-2022 Indian Academy of Sciences, Bengaluru.