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:
“... there has been a very special man in my life for the past year. All I’ll say about him is that he’s kind, warm, mature, someone I can trust—and he’s not a politician.”
—Donna Rice (b. c. 1962)
“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)