Features a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity from 18 June to 15 August 2005. This book consists of contributions from experts in recursion theory (computability theory) & set theory. It covers topics such as algorithmic randomness, reverse mathematics, forcing, & others.