Recursively enumerable sets and degrees Computability and recursion theory mathematics