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...
Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the...
