411 REFERENCE · Wiktionary
Rice's theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Henry Gordon Rice, who proved it in 1951.
Proper noun
en comptheory A theorem stating that all nontrivial semantic properties of programs are undecidable.
Anagrams
en ceeehimorrst heroic meters heteromerics
en eponyms