Computability Theory

by S. Barry Cooper

Book Overview

Computability theory originated with the seminal work of G del, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific,...

• Format: Hardcover
• Language: English
• ISBN: 1584882379
• ISBN13: 9781584882374
• Release Date: November 2003
• Publisher: CRC Press
• Length: 420 Pages
• Weight: 1.58 lbs.
• Dimensions: 1.1" x 6.2" x 9.7"