翻訳と辞書 Words near each other ・ 帰着 ・ 帰社 ・ 帰納 ・ 帰納プログラミング ・ 帰納主義 ・ 帰納推論 ・ 帰納極限 ・ 帰納次元 ・ 帰納法 ・ 帰納的 ・ 帰納的分離不能対 ・ 帰納的可算 ・ 帰納的可算言語 ・ 帰納的可算集合 ・ 帰納的定義 ・ 帰納的極限 ・ 帰納的関数 ・ 帰納的集合 ・ 帰納系 ・ 帰納言語 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 帰納的分離不能対 ： ウィキペディア日本語版 帰納的分離不能対[きのうてきぶんりふのうつい] 計算可能性理論において帰納的分離不能対（きのうてきぶんりふのうつい、)とは自然数の集合の対で帰納的集合によって分離できないものをいう(Monk 1976, p. 100)。この概念は計算理論におけるΠ1集合と関係が深い。帰納的分離不能対はゲーデルの不完全性定理とも関係する。 == 定義 == 自然数の集合を $\backslash omega\; =\; \backslash$ とおく。互いに素な $\backslash omega$ の部分集合 $A$ と $B$ が与えられたとき、分離集合 $C$ とは $\backslash omega$ の部分集合であって $A\; \backslash subseteq\; C$ かつ $B\; \backslash cap\; C\; =\; \backslash varnothing$ (あるいは同じことだが $A\; \backslash subseteq\; C$ かつ $B\; \backslash subseteq\; \backslash omega\; \backslash setminus\; C$)を満たすものをいう。例えば $A$ はそれ自身と $\backslash omega\; \backslash setminus\; B$ との対の分離集合である。 互いに素な集合の対 $(A,\; B)$ が帰納的分離集合を持たないとき帰納的分離不能であるという。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「帰納的分離不能対」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.