Computability and Unsolvability

Computability and Unsolvability

by Martin Davis
     
 

View All Available Formats & Editions



"A clearly written, well-presented survey of an intriguing subject." — Scientific American. Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computableSee more details below

Overview



"A clearly written, well-presented survey of an intriguing subject." — Scientific American. Classic text considers general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, computable functionals, classification of unsolvable decision problems and more.

Product Details

ISBN-13:
9780486151069
Publisher:
Dover Publications
Publication date:
03/19/2013
Series:
Dover Books on Computer Science
Sold by:
Barnes & Noble
Format:
NOOK Book
Pages:
288
Sales rank:
815,702
File size:
20 MB
Note:
This product may take a few minutes to download.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >