Recursion Theory

Abstract Computability theory might be a better name for recursion theory, since it is the mathematical study of what is computable. However the name is traditional. It arose because recursion theory started as the study of the recursive functions, a mathematical characterization of the functions wh... View More