Explore the latest books of this year!
Bookbot

Computability

Parameters

More about the book

This survey of computability theory provides essential techniques for computer scientists, mathematicians, and philosophers to analyze computational processes and theoretical limits. It covers topics from URM programs and primitive recursive functions to advanced concepts like Goedel's incompleteness theorems, Oracle computations, and the Arithmetical hierarchy.

Publication

Book purchase

Computability, George Tourlakis

Language
Released
2022
product-detail.submit-box.info.binding
(Hardcover)
We’ll email you as soon as we track it down.

Payment methods

No one has rated yet.Add rating

Language
English
Publisher
Springer
Released
2022
Format
Hardcover
ISBN13
9783030832018
Series
Description
This survey of computability theory provides essential techniques for computer scientists, mathematicians, and philosophers to analyze computational processes and theoretical limits. It covers topics from URM programs and primitive recursive functions to advanced concepts like Goedel's incompleteness theorems, Oracle computations, and the Arithmetical hierarchy.