Computability by George Tourlakis Paperback

RM289.00
+ RM145.49 Shipping

Computability by George Tourlakis Paperback

Sold by:
  • product image
Computability by George Tourlakis Paperback

RM289.00

Only 2 left in stock
+ RM145.49 Shipping

14-Day Returns Policy

Payment methods:

  • Brand: Unbranded
Product details

Product details

Computability by George Tourlakis Paperback

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 sequencecoding partial recursive functions and predicates and loop programs.ampampnbspAdvanced chapters cover the Ackerman function Tarskis theorem on the nonrepresentability of truth Goedels incompleteness and Rossers incompleteness theorems two short proofs of the incompleteness theorem that are based on Lobs deliverability conditions Churchs thesis the second recursion theorem and applications a provably recursive universal function for the primitive recursive functions Oracle computations 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 Blums complexity Hierarchies of primitive recursive functions and a machineindependent characterisation of Cobhams feasibly computable functions.
  • Brand: Unbranded
  • Category: Science, Medicine & Nature
  • Format: Paperback
  • Language: English
  • Publication Date: 2023-08-03
  • Length: 637
  • Publisher / Label: Springer Nature Swit
  • Author: George Tourlakis
  • Fruugo ID: 339436713-744601607
  • ISBN: 9783030832049
Safety

Product Compliance Details

Please see the compliance information specific to this product outlined below.

The following information is provided by the independent third-party retailer selling this product.

Manufacturer
The following information outlines the contact details for the manufacturer of the relevant product sold on Fruugo.

  • Springer Nature Switzerland AG
  • Springer Nature Switzerland AG
  • Europaplatz 3 69115 Heidelberg Germany, [email protected], www.springernature.com, +41 41 7473600
  • Heidelberg
  • DE
  • 69115
  • [email protected]
  • https://www.springernature.com

Responsible Person in the EU
The following information outlines the contact information for the responsible person in the EU. The responsible person is the designated economic operator based in the EU who is responsible for the compliance obligations relating to the relevant product sold into the European Union.

  • Lightning Source France
  • Springer Nature Switzerland AG
  • 48 Av. Johannes Gutenberg
  • Maurepas
  • FR
  • 78310
  • [email protected]
  • https://www.ingramcontent.com/pod-product-compliance
Delivery

Delivery

Dispatched within 24 hours

  • STANDARD: RM145.49 - Delivery between Fri 09 October 2026–Tue 13 October 2026

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy