Abstract
We present a ball game that can be continued as long as we wish. It looks as though the game would never end. But by applying a result on trees, we show that the game nonetheless ends in some finite number of moves. We then point out some deep results on the natural number system connected with the game.
Similar content being viewed by others
Suggested Reading
R M Smullyan, A Beginner’s Guide to Mathematical Logic, Dover, 2014.
A Singh, Logics for Computer Science, 2nd Ed, To appear, PHI, 2018.
Author information
Authors and Affiliations
Corresponding author
Additional information
Arindama Singh works as a Professor in Mathematics at IIT Madras. His teaching and research interests include theory of computation, logic, and linear algebra. He has authored three books in these areas.
Rights and permissions
About this article
Cite this article
Singh, A. From a ball game to incompleteness. Reson 22, 1205–1211 (2017). https://doi.org/10.1007/s12045-017-0582-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12045-017-0582-y