Assertion: logic's property | /r/CapableOf | divide uncomputable functions
Facets:
value: into sets
type: OTHER
Source sentences:
text: Recursion theory, also called computability theory, studies the properties of computable functions and the Turing degrees, which divide the uncomputable functions into sets that have the same level of uncomputability.