£47.73

Springer Computability

Name: Computability
Brand: Springer
Price: 46.56 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 27 days • 27 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 27 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £47 (22 days, 81.5%)

Price range: £47 - £48

Price levels: 2 different prices over 27 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 303083204X
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 03 August 2023
Listed Since: 13 May 2023

Barcode

No barcode data available

Springer Computability

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Computability: An Introduction to Recursive Function Theory

Computability Theory: An Introduction to Recursion Theory

Theory of Computation

The Foundations of Computability Theory

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications (Undergraduate Topics in Computer Science)

Automata and Computability (Undergraduate Texts in Computer Science)

Automata and Computability

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

A Programming Approach to Computability (Monographs in Computer Science)

What Can Be Computed? – A Practical Guide to the Theory of Computation

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Handbook of Computability and Complexity in Analysis (Theory and Applications of Computability)

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Scientific Computing)

Mathematics in Programming

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions: 127 (Grundlehren der mathematischen Wissenschaften, 127)

Theory of Computation (Texts in Computer Science)

Springer Higher-Order Computability Theory and Applications

Higher-Order Computability (Theory and Applications of Computability)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

The Incomputable: Journeys Beyond the Turing Barrier (Theory and Applications of Computability)