Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
Computability Theory

Computability Theory

Contenu

Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, this is a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results that also serves as a guide to the direction of current research in the field. Computability Theory includes both the standard material for a first course in computability and more advanced looks at Turing degrees, forcing, Turing definability, and determinacy. The final chapter explores a variety of computability applications in mathematics and science.

Informations bibliographiques

novembre 2003, 420 Pages, Chapman Hall/CRC Mathematics Series, Anglais
Taylor and Francis
978-1-58488-237-4

Sommaire

Mots-clés

Autres titres de la collection: Chapman Hall/CRC Mathematics Series

Afficher tout

Autres titres sur ce thème