Computability & Unsolvability
| Authors | Davis, Martin |
| Tags | Recursive functions & Unsolvability (Mathematical logic) & Computable functions |
| Publisher | Dover |
| Published | 15 ott 1958 |
| Date | 12 ott 2017 |
| Languages | eng |
| Identifiers | isbn: 9780486614717, lcn: QA9.6.5.D38 1982, oclc: 439143141 |
| Formats | EPUB |
Description
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