ライス＝シャピロの定理
計算可能性理論において、ライス=シャピロの定理(英: Rice-Shapiro theorem)とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norman Shapiro に因む。