|  By Subject > Science and Mathematics > Computer Science and Operations Research > 2 > Computability and Unsolvability| Computability and Unsolvability | | Author: | Prof. Martin Davis
| | Retail Price: | $16.95 | | Availability: | In Stock | | Format: | Book | | Pages: | 288 | | Contents: | Click to View | | Dimensions: | 5 3/8 x 8 1/2 | | ISBN: | 0486614719 | | EAN: | 978-0-486-61471-7 | | UPC: | 8-00759-61471-4 |
"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.
Reprint of the McGraw-Hill, New York, 1958 edition.
| | Ready to Buy? | 
Add this to your cart
(you can always remove it later.)
Shopping here is Guaranteed Safe! |
|
| Here's a sample of other Dover titles that may interest your customers.
|  On Formally Undecidable Propositions of Principia Mathematica and Related Systems
by Kurt Gödel
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
read more
| $6.95 |  |
| |  Dynamic Programming
by Richard Bellman
Introduction to mathematical theory of multistage decision processes takes a "functional equation" approach. Topics include existence and uniqueness theorems, optimal inventory equation, bottleneck problems, multistage games, Markovian decision processes, and more. 1957 edition.
read more
| $22.95 | |
| |  Mathematical Theory of Computation
by Zohar Manna
Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.
read more
| $24.95 | |
| |  The Philosophy of Mathematics: An Introductory Essay
by Stephan Körner
A distinguished philosopher surveys the mathematical views and influence of Plato, Aristotle, Leibniz, and Kant. He also examines the relationship between mathematical theories, empirical data, and philosophical presuppositions. 1968 edition. read more
| $9.95 | |
|
|
| |
|
