HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Rice's theorem
← Back to search

Meaning of Rice's theorem | Babel Free

Noun CEFR B2

Definitions

A theorem stating that all nontrivial semantic properties of programs are undecidable.

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Rice's whale riceball riceberry ricebird ricebowl riceburger

Learn this word in context

See Rice's theorem used in real conversations inside our free language course.

Start Free Course