ライスの定理の導出
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/01/07 02:51 UTC 版)
「ライス＝シャピロの定理」の記事における「ライスの定理の導出」の解説
ライス＝シャピロの定理はライスの定理の一般化となっている。 A を部分帰納的関数の集合で、指標の集合 が帰納的であるものとする。A が空な関数を含むならば、ライス＝シャピロの定理より A は部分帰納的関数全体に一致する。 A が空な関数を含まないならば、補集合がそれを含むから、ライス＝シャピロの定理より A の補集合が部分帰納的関数全体に一致する。これはライスの定理の主張にほかならない。
※この「ライスの定理の導出」の解説は、「ライス＝シャピロの定理」の解説の一部です。
「ライスの定理の導出」を含む「ライス＝シャピロの定理」の記事については、「ライス＝シャピロの定理」の概要を参照ください。
ウィキペディア小見出し辞書の「ライスの定理の導出」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- ライスの定理の導出のページへのリンク
