Computational prospects of infinity. Pt. 1, Tutorials /

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Workshop on Computational Prospects of Infinity Institute for Mathematical Sciences, National University of Singapore
Otros Autores: Chong, C.-T. (Chi-Tat), 1949-
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Singapore, SG : World Scientific, ©2008.
Colección:Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; v. 14.
Temas:
Recursion theory > Congresses.
Set theory > Congresses.
Infinite > Congresses.
Théorie de la récursivité > Congrès.
Théorie des ensembles > Congrès.
Infini > Congrès.
COMPUTERS > Machine Theory.
Infinite.
Recursion theory.
Set theory.
Conference papers and proceedings.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Recursion theory tutorials. Five lectures on algorithmic randomness / Rod Downey. Global properties of the Turing degrees and the Turing jump / Theodore A. Slaman
  • Set theory tutorials. Derived models associated to mice / John R. Steel. Tutorial outline: suitable extender sequences / W. Hugh Woodin.

Ejemplares similares