Computability and Unsolvability (Paperback)--by Martin Davis [1985 Edition]

by Martin D. Davis

Excellent Book

Genres: Computer Science, Reference, Mathematics, Science, Philosophy

Paperback

First published January 1, 1958

About the author

Martin David Davis (born 1928) is Professor Emeritus at New York University's Computer Science Department.

Reviews

[Roberto Rigolin F Lopes · Rating 4 out of 5]

We are in 1958, Davis is writing from the border between mathematics and computer science. He assumes that you know a great deal about Turing machines, Godel's numbers + incompleteness theorems, and is familiar with their original notations. Non-mathematicians like myself might get scared with the notation (e.g. while wrestling with the "arithmetization theory of Turing machines", what?!); it may even make you cry. Then he goes incrementally showing operations with computable functions, recursive functions and difficulties with decision problems. One proof after another. The cross-references among the several theorems in this book will make you behave like a Turing machine going furiously back and forth trying to "compute" this book. A great challenge indeed.

[Ben Meyers · Rating 3 out of 5]

Fascinating but damn dense.