Abstract

Existing work on the ultimate limits of computation has urged that the apparatus of real numbers should be eschewed as an investigative tool and replaced by discrete mathematics. The present paper argues for a radical extension of this viewpoint: not only the continuum but all infinitary constructs including the rationals and the potential infinite sequence of whole numbers need to be eliminated if a self-consistent investigative framework is to be achieved.