This category is for articles about recursion theory, also called computability theory, which is a branch of mathematical logic concerned with generalizations of the notion of computable function, and with related concepts such as Turing degrees.

Mathematical logic | Category:递归论