Rice's theorem

English

Etymology

Named after Henry Gordon Rice, who proved it in 1951.

Proper noun

Rice's theorem

1. (computing theory) A theorem stating that all nontrivial semantic properties of programs are undecidable.

Anagrams

• heroic meters, heteromerics