{"product_id":"computability-and-unsolvability-dover-books-on-computer-science","title":"Computability and Unsolvability (Dover Books on Computer Science)","description":"\u003cp\u003e\u003cstrong\u003eBook Details\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eAuthor\u003c\/strong\u003e: Martin Davis\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Dover\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eEdition\u003c\/strong\u003e: New edition\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eBinding\u003c\/strong\u003e: Paperback\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eNumber of Pages\u003c\/strong\u003e: 288\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eRelease Date\u003c\/strong\u003e: 01-06-1983\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eISBN\u003c\/strong\u003e: 9780486614717\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePackage Dimensions\u003c\/strong\u003e: 8.4 x 5.5 x 0.7 inches\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eLanguages\u003c\/strong\u003e: English\u003c\/p\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003e\u003cstrong\u003eAbout The Book\u003c\/strong\u003e\u003cbr\u003eIn this classic work, Dr. Martin Davis provides a clear and comprehensive introduction to the theory of computability, making it accessible to both specialists and non-specialists at an advanced undergraduate level. The book is divided into three parts, each tackling different aspects of the subject, while maintaining clarity for readers without special mathematical training.\u003c\/p\u003e\n\u003cp\u003ePart One lays the groundwork by introducing the general theory of computability. Topics such as computable functions, operations on these functions, recursive functions, and Turing machines are explored in detail, providing readers with a solid understanding of the fundamental concepts. The author also addresses unsolvable decision problems and the intricacies of self-application, carefully assuming no prior advanced mathematical knowledge in these sections.\u003c\/p\u003e\n\u003cp\u003eIn Part Two, Davis shifts focus to applications of the general theory, covering combinatorial problems, Diophantine equations, and mathematical logic. The inclusion of Hilbert's Tenth Problem adds an important dimension to the discussion of unsolvable problems.\u003c\/p\u003e\n\u003cp\u003ePart Three expands on the general theory, diving deeper into the Kleene hierarchy, computable functionals, and the classification of unsolvable decision problems, further developing the concepts introduced earlier.\u003c\/p\u003e\n\u003cp\u003eOriginally published in 1958, this pioneering text laid the foundation for much of the terminology used in theoretical computer science today. The new Dover edition includes a preface and an important appendix titled \"Hilbert's Tenth Problem Is Unsolvable,\" which highlights Davis's significant contributions to the field and his ongoing influence. With its clear and stimulating exposition, this book remains a critical resource for anyone interested in the theory of computation.\u003c\/p\u003e","brand":"Dover","offers":[{"title":"Default Title","offer_id":49921548845360,"sku":"Sarat_9780486614717","price":1209.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0690\/9968\/4144\/files\/dover-book-default-title-computability-and-unsolvability-dover-books-on-computer-science-41236878295344.jpg?v=1775966384","url":"https:\/\/www.retailmaharaj.com\/products\/computability-and-unsolvability-dover-books-on-computer-science","provider":"Retail Maharaj","version":"1.0","type":"link"}