In computability theory, productive sets and creative sets are types of sets of natural numbers that have important applications in mathematical logic. They are a standard topic in mathematical logic textbooks such as and.
Definition and example
For the remainder of this article, assume that is an admissible numbering of the computable functions and Wi the corresponding numbering of the recursively enumerable sets. A set A of natural numbers is called productive if there exists a total recursive function so that for all, if then The function is called the productive function for A set A of natural numbers is called creative if A is recursively enumerable and its complement is productive. Not every productive set has a recursively enumerable complement, however, as illustrated below. The archetypal creative set is, the set representing the halting problem. Its complement is productive with productive function f = i. To see this, we apply the definition of productivity function and show separately that and :
: suppose, then, now given that we have, this leads to a contradiction. So.
: in fact if, then it would be true that, but we have demonstrated the contrary in the previous point. So.
Properties
No productive set A can be recursively enumerable, because whenever A contains every number in an r.e. set Wi it contains other numbers, and moreover there is an effective procedure to produce an example of such a number from the index i. Similarly, no creative set can be decidable, because this would imply that its complement, a productive set, is recursively enumerable. Any productive set has a productive function that is injective and total. The following theorems, due to Myhill, show that in a sense all creative sets are like and all productive sets are like. Theorem. Let P be a set of natural numbers. The following are equivalent:
The set of all provable sentences in an effective axiomatic system is always a recursively enumerable set. If the system is suitably complex, like first-order arithmetic, then the set T of Gödel numbers of true sentences in the system will be a productive set, which means that whenever W is a recursively enumerable set of true sentences, there is at least one true sentence that is not in W. This can be used to give a rigorous proof of Gödel's first incompleteness theorem, because no recursively enumerable set is productive. The complement of the set T will not be recursively enumerable, and thus T is an example of a productive set whose complement is not creative.
History
The seminal paper of defined the concept he called a Creative set. Reiterating, the set referenced above and defined as the domain of the function that takes the diagonal of all enumerated 1-place computable partial functions and adds 1 to them is an example of a creative set. Post gave a version of Gödel's Incompleteness Theorem using his creative sets, where originally Gödel had in some sense constructed a sentence that could be freely translated as saying "I am unprovable in this axiomatic theory." However, Gödel's proof did not work from the concept of true sentences, and rather used the concept of a consistent theory, which led to the Second incompleteness theorem. After Post completed his version of incompleteness he then added the following: "The conclusion is unescapable that even for such a fixed, well defined body of mathematical propositions, mathematical thinking is, and must remain, essentially creative." The usual creative set defined using the diagonal function has its own historical development. Alan Turing in a 1936 article on the Turing machine showed the existence of a universal computer that computes the function. The function is defined such that , and is universal in the sense that any calculable partial function is given by for all where codes the instructions for. Using the above notation , and the diagonal function arises quite naturally as. Ultimately, these ideas are connected to Church's thesis that says the mathematical notion of computable partial functions is the correct formalization of an effectively calculable partial function, which can neither be proved or disproved. Church used Lambda calculus, Turing an idealized computer, and later Emil Post in his approach, all of which are equivalent. formulated an analogous concept, polynomial creativity, in computational complexity theory, and used it to provide potential counterexamples to the Berman–Hartmanis conjecture on isomorphism of NP-complete sets.
