[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
182(1): 2024/05/23(木)08:55 ID:57Sqch+C(125/218) AAS
>>181
シェファードソンの表現定理は、ゲーデルの不完全性定理の適用範囲を算術の体系だけでなく、任意の再帰的可算集合(r.e.集合)まで拡張したものです。
シェファードソンの論文の内容を要約すると以下の通りです。
1. ロビンソンの体系Rを含む任意の無矛盾なr.e.理論において、すべてのr.e.集合が表現可能であることをエーレンフォイトとフェファーマンが示した。シェファードソンはこれを対角線論法を使って直接的に証明した。
2. 任意の無矛盾なr.e.理論において、互いに素なr.e.集合の対α,βに対し、αを表現しかつ～φがβを表現するような論理式φが存在することを示した。
3. コブハムの結果を使うと、Rと同じ定数を持ち、Rと両立するようなr.e.理論ではすべてのr.e.集合が表現可能であることが示せる。
省2
187(1): 2024/05/23(木)08:57 ID:iy+WwMGU(10/26) AAS
>>182-183 で？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.740s*