[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
248(4): 2014/04/14(月) 07:56:26.63 AAS
>>237
根拠となったのは、以下の主張です。
ZF の任意の可算モデルを M とします。以下、ZF の論理式A(x_1, ... , x_n)
は M に変数を持つものとして解釈します。M は可算だから、整列可能。従って、
任意の論理式 A(y, x_1, ... , x_n) と M の元の列 a_1, ... , a_n に対し、
A(y, a_1, ... , a_n) なる y∈M が存在すれば、そのような y の最小限を
f(a_1, ... , a_n) とおき、A(y, a_1, ... , a_n) なる y∈M が存在しなければ、
M の最小元を f(a_1, ... , a_n) とおきます。
こうすることによって、M 上の論理式には全てスコーレム関数が定義できるわけで、
M は ZFC のモデルとなります。
従って、M 内で AC は真。したがって、完全性定理より、ZF から AC は証明可能。
この論証の間違いを理解するのに、数ヶ月かかりました（笑）
251: 2014/04/14(月) 21:07:35.27 AAS
>>248
ACを証明するのにACを使ってしまった、ということでしょ？
ここに書かれたことは、あなたにとってACは、それ自身他の論証の根拠として
つい使ってしまうほど自明のことであったということではないの？あなたが
ACを導いた根拠なのではないよね？
311(3): 2014/05/02(金) 21:32:44.59 AAS
＞ACを一見しただけで、ZFからはそれ
＞（あるいはその否定）が出てくるはずはないと察知できるよね？
じゃあ例えば>>248や
2chｽﾚ:math の疑問にすぐに答えられる？
ここは集合論を勉強する上で初学者がかなり引っ掛かりやすいポイントで、
でも個人的にはかなり微妙で面白い部分だと思う。
実際にそういう察知が出来てればカントルはあんなに苦労してなかったはずだし、
（カントルやツェルメロの時代の数学者は>>>302に比べてバカばかりだったとでも言わない限り）
ツェルメロの公理系の選択公理に対する否定的反応も起こらなかったはず。
それにヒルベルトの23問題の第1問題は連続体仮説だけど、彼や当時のその他大勢の数学者は
連続体仮説が集合論の公理系から証明も否定もできない、という可能性は
あまり深刻に考えてなかったはずだよ。
それとも連続体仮説は証明できそうに思えても仕方ないが選択公理はそうではない、
と言えるに足る理由が何かある？
歴史をあまり知らないと後知恵で当然だと思ってしまうことも、
知識が無い段階でいざ証明しようとすると全く自明でないことがしばしばある。
ニュートン曰く、" If I have seen further it is by standing on ye sholders of Giants."
私がより遠くまで見渡せたとするならば、それは巨人の肩の上に乗っていたからだ。
"Dicebat Bernardus Carnotensis nos esse quasi nanos, gigantium humeris insidentes,
ut possimus plura eis et remotiora videre, non utique proprii visus acumine,
aut eminentia corporis, sed quia in altum subvenimur et extollimur magnitudine gigantea."
Bernard de Chartres(12C)
312: 2014/05/06(火) 08:17:04.64 AAS
>>248
>ZF の任意の可算モデルを M とします。...
>従って、M 内で AC は真。したがって、完全性定理より、ZF から AC は証明可能。
ここは単に、Mが「任意のモデル」でないので完全性定理を適用できないだけではないの？
316(1): 2014/05/06(火) 21:42:40.15 AAS
>>314
L-S-下降定理:
言語 L 上の理論 T の任意のモデル M は
濃度κ = max(|L|, ω)の初等部分構造 N ＜ M を持つ。
（とくにNとMは全ての閉論理式の真偽が同じになる。）
ZFの言語は可算だからκはアレフ0になる。
だから>>248の最初の文は
「ZFの任意のモデルをM'とし、その可算な初等部分構造を M とします。」
とすれば、最後の部分も
「したがって M 内でACは真、したがって M' 内でACは真、したがって、完全性定理より」
とすれば通用する。
まあその間の部分に間違いがあるから結局ダメなんだけど。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.023s*