Rice's theorem en · PROPN
Etymology
Named after Henry Gordon Rice, who proved it in 1951.
Meanings
- A theorem stating that all nontrivial semantic properties of programs are undecidable.
Dictionary
Words, grammatical forms and meanings linked to the ontology.