Rice's Theorem and Index Sets
Rice's theorem can be succinctly stated in terms of index sets:
-
Let be a class of partial recursive functions with index set . Then is recursive if and only if or .
where is the set of natural numbers, including zero.
Read more about this topic: Rice's Theorem
Famous quotes containing the words rice, theorem, index and/or sets:
“To become a celebrity is to become a brand name. There is Ivory Soap, Rice Krispies, and Philip Roth. Ivory is the soap that floats; Rice Krispies the breakfast cereal that goes snap-crackle-pop; Philip Roth the Jew who masturbates with a piece of liver.”
—Philip Roth (b. 1933)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)
“Exile as a mode of genius no longer exists; in place of Joyce we have the fragments of work appearing in Index on Censorship.”
—Nadine Gordimer (b. 1923)
“Almsgiving tends to perpetuate poverty; aid does away with it once and for all. Almsgiving leaves a man just where he was before. Aid restores him to society as an individual worthy of all respect and not as a man with a grievance. Almsgiving is the generosity of the rich; social aid levels up social inequalities. Charity separates the rich from the poor; aid raises the needy and sets him on the same level with the rich.”
—Eva Perón (1919–1952)