The story
Named after Henry Gordon Rice, who proved it in 1951.
Etymology from Wiktionary, CC BY-SA 4.0.
Rice's theorem
Today it means: A theorem stating that all nontrivial semantic properties of programs are undecidable. Full definition →
Today it means: A theorem stating that all nontrivial semantic properties of programs are undecidable. Full definition →
Named after Henry Gordon Rice, who proved it in 1951.
Etymology from Wiktionary, CC BY-SA 4.0.