[過去ﾛｸﾞ]
現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net (679ﾚｽ)
現代数学の系譜 古典ガロア理論を読む36 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1499815260/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
179: 現代数学の系譜 古典ガロア理論を読む [sage] 2017/07/15(土) 11:15:40.50 ID:uQKi2Au+ >>168 補足 ”実閉体の理論は決定可能である”とか ”群や環の公理などは、「自然数論を含まない帰納的公理化可能かつ無矛盾な公理系」であり、不完全性定理は適用できないが、不完全である”とか（＾＾ 覚えておこう（＾＾ >>168より”不完全性定理の成立しない体系 また、実閉体の理論やユークリッド幾何学も完全であり、（直観に反して）算術を含まないため、不完全性定理は適用できない。 したがって実閉体の理論は決定可能である。もっと精密にいうと実閉体の理論では量化記号消去が可能である。この事実は数式処理系の実装などに応用されている。 なお、群や環の公理などは、「自然数論を含まない帰納的公理化可能かつ無矛盾な公理系」であり、不完全性定理は適用できないが、不完全である。 例えば、可換群と非可換群がともに存在することから、健全性定理より、群の公理からは積の可換性は証明も反証もできない。” (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1499815260/179
183: １３２人目の素数さん [sage] 2017/07/15(土) 13:16:25.32 ID:OkksdbBE >>179 ＞覚えておこう（＾＾ 文系かい？ 数学は覚えるものに非ず http://rio2016.5ch.net/test/read.cgi/math/1499815260/183
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.886s*