Cargando…
Computational prospects of infinity. Part II, Presented talks /
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore :
World Scientific,
©2008.
|
| Colección: | Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ;
v. 15. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the leading experts in recursion theory (computability theory) and set theory. Topics covered include the structure theory of various notions of degrees of unsolvability, algorithmic randomness, reverse mathematics, forcing, large cardinals and inner model theory, and many others. |
|---|---|
| Descripción Física: | 1 online resource : illustrations |
| Bibliografía: | Includes bibliographical references. |
| ISBN: | 981279655X 9789812796554 |