Computational prospects of infinity - part ii: presented talks
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789812796547
Date de publication :
3 juin 2008
Langue :
Anglais
Pays d'origine :
Singapour
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.