[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
196(1): 2024/05/23(木)09:04 ID:57Sqch+C(133/218) AAS
>>195
再帰的集合（recursive set）と再帰的可算集合（recursively enumerable set, r.e.集合）の違いについて説明します。
1. **再帰的集合（recursive set）**:
- **定義**: 再帰的集合は、その要素が与えられたときに、その要素が集合に属するかどうかを決定するアルゴリズム（決定手続き）が存在する集合です。
- **特徴**: 再帰的集合は決定可能集合とも呼ばれ、すべての要素に対して必ず有限時間内に「はい」か「いいえ」を返すアルゴリズムが存在します。
2. **再帰的可算集合（recursively enumerable set, r.e.集合）**:
- **定義**: 再帰的可算集合は、その要素が集合に属するならば、あるアルゴリズムが有限時間内に「はい」と答える集合です。ただし、要素が集合に属さない場合には、そのアルゴリズムが「いいえ」を返すとは限らず、無限ループに入る可能性があります。
省9
637: 2024/08/29(木)21:02 ID:AhduF/Jk(1) AAS
>>196
冷静に考えてないんだから跳べばいいの
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s