Meanings
proper noun
- computingA theorem stating that all nontrivial semantic properties of programs are undecidable.
Origin
Named after Henry Gordon Rice, who proved it in 1951.
Full word history & related roots →Cite this entry
APA
Rice's theorem. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/Rice's%20theorem
MLA
“Rice's theorem.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Rice's%20theorem. Accessed November 4, 2026.
Chicago
WatkinsX Dictionary, s.v. “Rice's theorem,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/Rice's%20theorem.
Source: Rice's theorem on Wiktionary, CC BY-SA 4.0.