形式的な言明
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/01/07 02:51 UTC 版)
「ライス＝シャピロの定理」の記事における「形式的な言明」の解説
いま A を（1変数）部分帰納的関数の集合で、指標の集合 が帰納的可算であるものとする。ここに は部分帰納的関数のアクセプタブル・ナンバリングである。 このとき任意の部分帰納的関数 について、次は同値： ; 有限関数 で かつ なるものが存在する。 ここで有限関数とは有限な定義域を持つ部分関数をいう。また とは の定義域で が成り立つこと（ が の制限であること）をいう。 一般に、次の主張が成り立つ： 集合 が帰納的可算であることと、次の2つの条件を満たすこととは同値である： は帰納的可算; であることと、有限関数 で かつ なるものが存在することとは同値。ここで は の標準的な指標である。
※この「形式的な言明」の解説は、「ライス＝シャピロの定理」の解説の一部です。
「形式的な言明」を含む「ライス＝シャピロの定理」の記事については、「ライス＝シャピロの定理」の概要を参照ください。
ウィキペディア小見出し辞書の「形式的な言明」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 形式的な言明のページへのリンク
