Overview
- Features extensive and mathematically complete coverage of limitations of logic
- Explains the inability of computability to effectively detect formal theorems
- Provides arithmetisation-free proofs of the pillars of computability
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (16 chapters)
Reviews
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Computability
Authors: George Tourlakis
DOI: https://doi.org/10.1007/978-3-030-83202-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Hardcover ISBN: 978-3-030-83201-8Published: 03 August 2022
Softcover ISBN: 978-3-030-83204-9Published: 03 August 2023
eBook ISBN: 978-3-030-83202-5Published: 02 August 2022
Edition Number: 1
Number of Pages: XXVII, 637
Number of Illustrations: 2 b/w illustrations, 10 illustrations in colour
Topics: Theory of Computation, Mathematical Logic and Foundations, Philosophy of Technology