An edition of Computability, an introduction to recursive function theory (1980)
Computability, an introduction to recursive function theory
By Nigel Cutland
4.00 (1 Ratings)
1 Want to read0 Currently reading1 Have read
1 Want to read0 Currently reading1 Have read
Publish Date
1980
Publisher
Cambridge University Press
Language
eng
Pages
251
Description:
Given a framework capable of calculating, describes methods for determining the framework’s capabilities and limitations.
subjects: Computable functions, Recursion theory, Berechenbarkeit, Rekursionstheorie, Recursieve functies, Rekursive Funktion, Logica, Recursivité, Théorie de la, Fonctions calculables, Recursive functions, Qa9.59 .c87
People: Alonzo Church (1903-1995), Kurt Gödel (1906-1978), Stephen Kleene (1909-1994), Emil Post (1897-1954), Alfred Tarski (1901-1983), Alan Turing (1912-1954)
Times: 20th century