Remarks
According to the Church-Turing thesis, any effectively calculable function is calculable by a Turing machine, and thus a set S is recursively enumerable if and only if there is some algorithm which yields an enumeration of S. This cannot be taken as a formal definition, however, because the Church-Turing thesis is an informal conjecture rather than a formal axiom.
The definition of a recursively enumerable set as the domain of a partial function, rather than the range of a total recursive function, is common in contemporary texts. This choice is motivated by the fact that in generalized recursion theories, such as α-recursion theory, the definition corresponding to domains has been found to be more natural. Other texts use the definition in terms of enumerations, which is equivalent for recursively enumerable sets.
Read more about this topic: Recursively Enumerable Set
Famous quotes containing the word remarks:
“So, too, if, to our surprise, we should meet one of these morons whose remarks are so conspicuous a part of the folklore of the world of the radio—remarks made without using either the tongue or the brain, spouted much like the spoutings of small whales—we should recognize him as below the level of nature but not as below the level of the imagination.”
—Wallace Stevens (1879–1955)
“The general feeling was, and for a long time remained, that one had several children in order to keep just a few. As late as the seventeenth century . . . people could not allow themselves to become too attached to something that was regarded as a probable loss. This is the reason for certain remarks which shock our present-day sensibility, such as Montaigne’s observation, “I have lost two or three children in their infancy, not without regret, but without great sorrow.””
—Philippe Ariés (20th century)
“An illustrious individual remarks that Mrs. [Elizabeth Cady] Stanton is the salt, Anna Dickinson the pepper, and Miss [Susan B.] Anthony the vinegar of the Female Suffrage movement. The very elements get the “white male” into a nice pickle.”
—Anonymous, U.S. women’s magazine contributor. The Revolution (August 19, 1869)