Rice's theorem

Etymology
Named after, who proved it in 1951.

Proper noun

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