Rice's theorem

短语

释义与例句

name
  1. 1.

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

    计算机 工程 数学

词源

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

来源：wiktionary