Rice's Theorem - Rice's Theorem and Index Sets

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)

    I think middle-age is the best time, if we can escape the fatty degeneration of the conscience which often sets in at about fifty.
    —W.R. (William Ralph)