ライスの定理

3行要約

1. 計算機科学において、プログラムの動作に関する非自明な性質はすべて判定不能であるという定理。
2. あるプログラムが特定の出力を出すかといった性質を自動判別するアルゴリズムは存在しない。
3. ソフトウェア検証の限界を示す、計算可能性理論の根本的な定理である。