Author: Workshop on Computational Prospects of Infinity (2005 Institute for Mathematical Sciences, National University of Singapore)