Computability and Unsolvability Computability and Unsolvability

Computability and Unsolvability

    • $12.99
    • $12.99

Publisher Description

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.
In Part One (Chapters 1–5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, self-applied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader.
Part Two (Chapters 6–8) comprises a concise treatment of applications of the general theory, incorporating material on combinatorial problems, Diophantine Equations (including Hilbert's Tenth Problem) and mathematical logic. The final three chapters (Part 3) present further development of the general theory, encompassing the Kleene hierarchy, computable functionals, and the classification of unsolvable decision problems.
When first published in 1958, this work introduced much terminology that has since become standard in theoretical computer science. Indeed, the stature of the book is such that many computer scientists regard it as their theoretical introduction to the topic. This new Dover edition makes this pioneering, widely admired text available in an inexpensive format.
For Dover's edition, Dr. Davis has provided a new Preface and an Appendix, "Hilbert's Tenth Problem Is Unsolvable," an important article he published in The American Mathematical Monthly in 1973, which was awarded prizes by the American Mathematical Society and the Mathematical Association of America. These additions further enhance the value and usefulness of an "unusually clear and stimulating exposition" (Centre National de la Recherche Scientifique, Paris) now available for the first time in paperback.

GENRE
Science & Nature
RELEASED
2013
April 16
LANGUAGE
EN
English
LENGTH
288
Pages
PUBLISHER
Dover Publications
SELLER
INscribe Digital
SIZE
35.6
MB
Theory of Computation Theory of Computation
2014
Computability Computability
1980
A Beginner's Further Guide to Mathematical Logic A Beginner's Further Guide to Mathematical Logic
2017
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
2010
A Logical Introduction to Proof A Logical Introduction to Proof
2012
A Course on Mathematical Logic A Course on Mathematical Logic
2013
Applied Nonstandard Analysis Applied Nonstandard Analysis
2014
Astrolocality Astrology Astrolocality Astrology
2014
Computability, Complexity, and Languages Computability, Complexity, and Languages
1994
The Universal Computer The Universal Computer
2018
A Cartographic Analysis of Soviet Military City Plans A Cartographic Analysis of Soviet Military City Plans
2021
The Harvest War The Harvest War
2019