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

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.