This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive ...
Read More
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oraclecomputations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum's complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.
Read Less
Add this copy of Computability to cart. $15.25, good condition, Sold by BookDepart rated 4.0 out of 5 stars, ships from Shepherdstown, WV, UNITED STATES, published 1984 by Reston Publishing Company.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Hardcover; Reston Publishing Company; surplus library copy with the usual s tampings; reference number taped to spine; fading and edge wear to exterior; cover cloth wearing at corners, ends of spine; otherwise in good conditio n with clean text, firm binding.
Add this copy of Computability to cart. $29.15, very good condition, Sold by Fireside Bookshop rated 4.0 out of 5 stars, ships from Stroud, GLOUCESTERSHIRE, UNITED KINGDOM, published 1984 by Reston Publishing Company.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good in No d/j as Published jacket. Size: 8vo-over 7¾"-9¾" tall; Type: Book N.B. Small plain label to inside front cover. No dust jacket. Small nick to head of spine. Some foxing to page edges.
Add this copy of Computability to cart. $65.08, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2023 by Springer Nature Switzerland AG.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Contains: Illustrations, black & white, Illustrations, color. XXVII, 637 p. 12 illus., 10 illus. in color. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
