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:
“The arbitrary division of one’s life into weeks and days and hours seemed, on the whole, useless. There was but one day for the men, and that was pay day, and one for the women, and that was rent day. As for the children, every day was theirs, just as it should be in every corner of the world.”
—Alice Caldwell Rice (1870–1942)
“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)