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:
“... 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)
“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)
“In my dealing with my child, my Latin and Greek, my accomplishments and my money stead me nothing; but as much soul as I have avails. If I am wilful, he sets his will against mine, one for one, and leaves me, if I please, the degradation of beating him by my superiority of strength. But if I renounce my will, and act for the soul, setting that up as umpire between us two, out of his young eyes looks the same soul; he reveres and loves with me.”
—Ralph Waldo Emerson (1803–1882)