Rice's theorem

English

Etymology

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

Proper noun

Rice's theorem

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

Anagrams

heroic meters, heteromerics

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.