[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
268(3): 現代数学の系譜11 ガロア理論を読む 2016/11/12(土)07:19 ID:CRbt3jrT(6/14)調 AAS
>>261
おっちゃん、どうも。スレ主です。
おっちゃんは、このスレに居ていいよ
貴重な住人の一人だよ
ゲーデルの完全性定理
https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86
(抜粋)
数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、英: Godel's completeness theorem、独: Godelscher Vollstandigkeitssatz）とは、第一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う[1]。1929年にクルト・ゲーデルが証明した。
(引用終り)
272(1): 現代数学の系譜11 ガロア理論を読む 2016/11/12(土)08:06 ID:CRbt3jrT(10/14)調 AAS
>>268 補足
定理とその帰結
ゲーデルの完全性定理は、一階述語計算の演繹系が、全ての論理的に妥当な論理式の証明に追加の推論規則を必要としないという意味で「完全」であるとしている。完全性の逆は健全性であり、演繹系において論理的に妥当な論理式のみが証明可能だということを意味する。
これらから、論理式が論理的に妥当であることと、それが形式的演繹の帰結であることは同値である。
ゲーデルの完全性定理をより一般化した版もある。すなわち、任意の一階の理論 T とその理論での言語における任意の命題 S について、T における S の形式的演繹が存在することと、S が T のあらゆるモデルで成り立つことは同値である。
この一般化された定理は暗黙のうちに使われており、例えば、命題を群論の公理系で証明可能であることを示すとき、任意の群についてその命題が成り立つことを示すことで証明とする。
異なるモデルでも真となることを扱う数理論理学の一分野をモデル理論と呼ぶ。証明論という一分野では形式体系の証明そのものの構造を研究する。完全性定理は意味論と統語論の間を繋ぐことでこれら2つの分野の基本的な繋がりを確立している。
しかし、完全性定理はこれら2つの概念の差異をなくすものではない。実際、もう1つの成果であるゲーデルの不完全性定理によれば、数学における形式的証明で達成できることには本質的な限界がある。不完全性定理でいう「完全」は別の意味で使われている。
完全性定理は一階の理論の論理的帰結である論理式を扱い、不完全性定理は特定の理論の論理的帰結にはならない論理式を構築する。
完全性定理の重要な帰結の1つとして、一階の理論での論理的帰結の集合が帰納的可算集合であるという事実がある。論理的帰結の定義は特定の言語でのあらゆる構造上で全称化するもので、論理式が論理的に妥当かどうかをアルゴリズム的に検証する直接の手段とはならない。
さらに言えば、ゲーデルの不完全性定理の帰結により、論理的に妥当な論理式の集合は決定可能ではない。しかし完全性定理は、実効的な理論の帰結の集合が枚挙可能であることを示している。
そのアルゴリズムは、まずその理論から全ての形式的演繹を枚挙する方法を構成し、それを使って帰結の枚挙を生み出すことになる。
形式的演繹の有限かつ統語的性質により、それらを枚挙することが可能になっている。
285(1): 2016/11/13(日)09:24 ID:VLV/Mogw(1/5)調 AAS
>>268
ここ数日の間、担当者は席を外しております。
しばらくお待ち下さい。
287(1): 2016/11/13(日)17:45 ID:VLV/Mogw(2/5)調 AAS
おっちゃんです。
>>262
そうだよな〜。
>>268
標準的な確率の考え方では、時枝問題において
確率を用いる部分は高校レベルであり、時枝の答えは1で終わっている。
まあ、サイトのコピペを読んで分かる人がどれ位いるか分からないから、
数理論理学や基礎論のスレのコピペはやめとけ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s