ライスの定理
ライスの定理（ライスのていり、）は、計算機科学における計算可能関数の理論に関する定理で、
定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定する方法は(Fが自明な場合を除いて)存在しない、というもの。
名称の由来は Henry Gordon Rice から。