Computability An Introduction to Recursive Function Theory |
|
| Author:
| Cutland, N. J. |
| ISBN: | 978-0-521-29465-2 |
| Publication Date: | Jun 1980 |
| Publisher: | Cambridge University Press
|
| Book Format: | Paperback |
| List Price: | AUD $89.95 |
Book Description:
|
This introduction to recursive theory computability begins with a mathematical characterization of computable functions, develops the mathematical theory and includes a full discussion of noncomputability and undecidability. Later chapters move on to more advanced topics such as degrees of unsolvability and Gödel's Incompleteness Theorem.
This introduction to recursive theory computability begins with a mathematical characterization of computable functions, develops the mathematical theory and includes a full discussion of noncomputability and undecidability. Later chapters move on to more advanced topics such as degrees of unsolvability and Gödel's Incompleteness Theorem.