This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It consists of articles by four of the leading experts in recursion theory (computability theory) and set theory. The survey paper of Rod Downey provides a comprehensive introduction to algorithmic randomness, one of the most active areas of current research in recursion theory. Theodore A Slaman's article is the first printed account of the...
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to ...
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) and set theory. It covers topics such as algorithmic randomness, reverse mathematics, forcing, and others.
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. Th...
