Rice's theorem
专有名词
英文释义
专有名词
- A theorem stating that all nontrivial semantic properties of programs are undecidable.
词源
Named after Henry Gordon Rice, who proved it in 1951.
0 次浏览
数据来源: Wiktionary