# Rice's theorem

> English word · Proper noun

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

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

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/rice-s-theorem