Computability and Unsolvability
$27.25
- Paperback
288 pages
- Release Date
1 June 1983
Summary
Decoding the Limits of Computation: A Journey into Computability and Unsolvability
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.
Part One (Chapters 1-5) outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, self-ap…
Book Details
| ISBN-13: | 9780486614717 |
|---|---|
| ISBN-10: | 0486614719 |
| Series: | Dover Books on Computer Science |
| Author: | Martin Davis |
| Publisher: | Dover Publications Inc. |
| Imprint: | Dover Publications Inc. |
| Format: | Paperback |
| Number of Pages: | 288 |
| Release Date: | 1 June 1983 |
| Weight: | 294g |
| Dimensions: | 215mm x 136mm x 13mm |
You Can Find This Book In
About The Author
Martin Davis
Martin Davis, now retired from NYU and living in Berkeley, is a computer science pioneer. A graduate of New York’s City College, Davis received his PhD from Princeton in the late 1940s and became one of the first computer programmers in the early 1950s, working on the ORDVAC computer at The University of Illinois. He later settled at NYU where he helped found the Computer Science Department.
His 1958 book Computability and Unsolvability is widely regarded as a classic of theoretical computer science. He is also the editor of The Undecidable, an anthology of fundamental papers on undecidability and unsolvability by major figures in the field including Godel, Church, Turing, Kleene, and Post.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.