User:IssaRice/Computability and logic/Summary table of sets in computability

From Machinelearning
Revision as of 19:47, 9 September 2018 by IssaRice (talk | contribs)
Set Enumerable? Recursive? Primitive recursive? Recursively enumerable/semirecursive?
Set of natural numbers Yes Yes Yes Yes
Set of even positive integers Yes
Set of rational numbers Yes
Set of real numbers No
{encoding of (m, n) : Turing machine m halts on input n} Yes No