[過去ログ]
数学>>>>物理 (412レス)
数学>>>>物理 http://rio2016.5ch.net/test/read.cgi/sci/1305380073/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
19: ご冗談でしょう?名無しさん [] 2011/05/24(火) 20:49:06.91 ID:gXh2zNTE 選択公理がウソっぽい。ウソを公理にしてウソを導いただけかと。 http://rio2016.5ch.net/test/read.cgi/sci/1305380073/19
20: ご冗談でしょう?名無しさん [sage] 2011/05/25(水) 00:25:46.30 ID:??? >>19 > 選択公理がウソっぽい。ウソを公理にしてウソを導いただけかと。 同意。 少なくとも現代数学自身の為の公理系と物理理論の記述言語としての数学の為の公理系が同じでなければならない必然性はない。 例えばどの様な大きな集合をも整列可能としてしまう普通の選択公理とは矛盾する決定性公理を採用した集合論に基づく数学では Banach-Tarskiの逆理は導かれないどころか、全実数の集合Rの任意の部分集合はルベーク可測となる。 しかも決定性公理は通常の無制限な選択公理とは矛盾するが、加算集合に限定した選択公理、つまり加算選択公理を定理として 決定性公理を採用した集合論の公理系から導くことは可能だ。 もっとも、選択公理を物理の為の数学に採用すべきか否か以前に、物理的な時空はべったりと続いた連続体か?という 根本的な疑問があるわけだが。 http://rio2016.5ch.net/test/read.cgi/sci/1305380073/20
21: ご冗談でしょう?名無しさん [sage] 2011/05/25(水) 00:31:42.96 ID:??? >>20 > >>19 > > 選択公理がウソっぽい。ウソを公理にしてウソを導いただけかと。 20に1点だけ書き忘れたので補足しておく。 選択公理自体の「信頼性」、つまり選択公理を採用した集合論公理系の無矛盾性については、決定性公理を採用するよりもずっと高い。 選択公理を採用した集合論公理系をZFCと書きそれから選択公理を除いた公理系をZFと書く事にすると、 ZFが無矛盾 ならば ZFCは無矛盾 という事が証明されている。 つまり公理系の無矛盾性という集合論に対する信頼性に関して、選択公理は悪さを全くしないという事が保証されている。 決定可能性公理では上記に相当する事、つまり ZFが無矛盾 ならば ZF+決定性公理は無矛盾 という事は証明できない。 この意味で、決定性公理は選択公理よりもずっと怪しい、あるいは危ない公理と言っても良い。 http://rio2016.5ch.net/test/read.cgi/sci/1305380073/21
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.816s*