| Author: | Prof. Martin Davis | ISBN: | 9780486151069 |
| Publisher: | Dover Publications | Publication: | April 16, 2013 |
| Imprint: | Dover Publications | Language: | English |
| Author: | Prof. Martin Davis |
| ISBN: | 9780486151069 |
| Publisher: | Dover Publications |
| Publication: | April 16, 2013 |
| Imprint: | Dover Publications |
| Language: | English |
"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.
"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.
