Examples
- Every recursive set is recursively enumerable, but it is not true that every recursively enumerable set is recursive.
- A recursively enumerable language is a recursively enumerable subset of a formal language.
- The set of all provable sentences in an effectively presented axiomatic system is a recursively enumerable set.
- Matiyasevich's theorem states that every recursively enumerable set is a Diophantine set (the converse is trivially true).
- The simple sets are recursively enumerable but not recursive.
- The creative sets are recursively enumerable but not recursive.
- Any productive set is not recursively enumerable.
- Given a Gödel numbering of the computable functions, the set (where is the Cantor pairing function and indicates is defined) is recursively enumerable. This set encodes the halting problem as it describes the input parameters for which each Turing machine halts.
- Given a Gödel numbering of the computable functions, the set is recursively enumerable. This set encodes the problem of deciding a function value.
- Given a partial function f from the natural numbers into the natural numbers, f is a partial recursive function if and only if the graph of f, that is, the set of all pairs such that f(x) is defined, is recursively enumerable.
Read more about this topic: Recursively Enumerable Set
Famous quotes containing the word examples:
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (1533–1592)
“It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
—G.C. (Georg Christoph)
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (1896–1966)