History
Emil Post's 1944 seminal paper 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, essentialy 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 (the result of applying the instructions coded by to the input ), 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.
Read more about this topic: Creative And Productive Sets
Famous quotes containing the word history:
“The disadvantage of men not knowing the past is that they do not know the present. History is a hill or high point of vantage, from which alone men see the town in which they live or the age in which they are living.”
—Gilbert Keith Chesterton (1874–1936)
“The second day of July 1776, will be the most memorable epoch in the history of America. I am apt to believe that it will be celebrated by succeeding generations as the great anniversary festival. It ought to be commemorated, as the day of deliverance, by solemn acts of devotion to God Almighty. It ought to be solemnized with pomp and parade, with shows, games, sports, guns, bells, bonfires and illuminations, from one end of this continent to the other, from this time forward forever more”
—John Adams (1735–1826)
“America is, therefore the land of the future, where, in the ages that lie before us, the burden of the World’s history shall reveal itself. It is a land of desire for all those who are weary of the historical lumber-room of Old Europe.”
—Georg Wilhelm Friedrich Hegel (1770–1831)