ライス＝シャピロの定理

3行要約

1. ライスの定理を拡張し、再帰的枚挙可能な集合の族がどのような条件で判定可能になるかを示す定理。
2. ある性質が判定可能であるためには、それが有限の情報の集合に基づいている必要がある。
3. 理論計算機科学において、アルゴリズムの限界をより詳細に規定する。