Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated...

Recursive Functions and Effective Computability, MIT Press. ISBN 0-262-68052-1 S. Barry Cooper (2004). Computability Theory. Chapman and Hall/CRC. ISBN 1-58488-237-9...

Computability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic...

In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated...

Computable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion...

In computability theory, a set of natural numbers is called computable, recursive, or decidable if there is an algorithm which takes a number as input...

This is a list of computability and complexity topics, by Wikipedia page. Computability theory is the part of the theory of computation that deals with...

Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic...

analysis of algorithms and computability theory. A key distinction between analysis of algorithms and computational complexity theory is that the former is...

In computability theory, two disjoint sets of natural numbers are called computably inseparable or recursively inseparable if they cannot be "separated"...