Rice's theorem states that the decision problem is decidable (also called recursive or computable) if and only if or .
Read more about Rice's Theorem: Examples, Proof By Kleene's Recursion Theorem, Rice's Theorem and Index Sets, An Analogue of Rice's Theorem For Recursive Sets
Famous quotes containing the words rice and/or theorem:
“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)