現代数学の系譜工学物理雑談古典ガロア理論も読む74

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む74 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

166: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/04(日) 13:32:18.46 ID:wYXDzdNx

>>165

つづき
https://blog.goo.ne.jp/diamonds8888x/e/76ee71fcb764eb0d81380171123465e5
ゲーデルの定理-2.3- 自然数の公理系 2015-11-02

さらにゲーデルの不完全性定理によれば、公理系Ｐ１ｂに∀ｘ(Ｒ1(ｘ))や￢∀ｘ(Ｒ1(ｘ))を付け加えた公理系も、まだ統語論的に不完全です。ゆえに∀ｘ(Ｒ2(ｘ))も￢∀ｘ(Ｒ2(ｘ))も証明できないような論理式∀ｘ(Ｒ2(ｘ))が存在します。
というわけで、公理系Ｐ１ｂからは証明できない無限個の論理式が存在し、それらの論理式はすべて自然数の集合で何らかの命題に対応しています。
そしてそれらの命題の真偽がどちらであるかにより無数のモデルが存在することになります。
そしてこれら無数のモデルの全てで成立する関係だけが真であるようなモデルを作る集合を仮にペアノ自然数とでも名付ければ、完全性定理により公理系Ｐ１ｂはペアノ自然数においては意味論的に完全です。

そもそもペアノの公理系とは人間が素朴に自然数の集合と考えていたものをきちんと定義しようとしたものです。
しかし実はその自然数の実体は唯一のものではなかったのです。
それはペアノの公理系で完全に表現できるペアノ自然数を共通部分としながらも、そこに各々異なる真理が付け加わった無数のモデルの集合体だったのです。
そしてこれら無数のモデルのうちで、我々が素朴に言葉にする自然数がどれに当てはまるのかは有限の手続きでは決定できません。
これら無数の異なる真理は、人間の観測が届かない無限の彼方にあるのです。「真であるにもかかわらず証明できない」のではなくて、「有限の手続きでは真偽を決定できない命題は証明できない」と言うべきなのです。
といえば、何か当たり前の真理に聞こえるようになりますね。

そう、今にして思えばゲーデルの不完全性定理とは何も不思議な定理ではなく、「無限集合についての命題で有限の手続きでは確認不可能な命題には、有限の証明列が存在しないものがある。」という、ごく自然に見えることをキチンと証明したところに意義があったのだと言うべきでしょう。

次回はさらに具体的証明に踏み込みます。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1564659345/166

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.034s