English Explanatory Dictionary

Rice's theorem

English dictionary entry

Meanings

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

Word forms

Rice's theorem

Etymology

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

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on R Russian dictionary Dahl dictionary