[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
202: 2024/05/23(木)09:15:33.05 ID:57Sqch+C(139/218) AAS
>>195
### Unicodeでの表現
以下に、Σ₁集合と再帰的可算集合の一致をUnicodeを使って表現します：
1. **Σ₁集合の定義**:
S_{Σ1} = { x | ∃ n₁ ∃ n₂ ... ∃ nk ϕ(n₁, n₂, ..., nk, x) }
2. **再帰的可算集合の定義**:
S_{r.e.} = { x | 存在するアルゴリズムが x を列挙する }
省6
441: 2024/05/25(土)16:19:48.05 ID:VeOj487N(58/136) AAS
>>439
文明は関係ない
すでに備えてある
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s