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:
“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)
“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)
“This is certainly not the place for a discourse about what festivals are for. Discussions on this theme were plentiful during that phase of preparation and on the whole were fruitless. My experience is that discussion is fruitless. What sets forth and demonstrates is the sight of events in action, is living through these events and understanding them.”
—Doris Lessing (b. 1919)