[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
現代数学の系譜 カントル 超限集合論他 3 http://rio2016.5ch.net/test/read.cgi/math/1595034113/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
452: １３２人目の素数さん [] 2021/11/21(日) 21:37:38.80 ID:ZtueUz+V >>444 >{}ωを外す >･･{{･･{{{}0}1}2･･}n-1}n･･ となる >これは、最大値を持たない状態（個々の要素は有限で列の長さは無限）になるけど じゃあ最外カッコが無いじゃんｗ >ここに、「最外カッコ」は、{}ωで明白に存在するよ それは最内カッコから数えて何番目？ ･･{{･･{{{}0}1}2･･}n-1}n･･に最外カッコが無いなら、その外側に追加されたカッコも何番目か答えられんやんｗ 何番目か答えられんようなカッコは「ある」とは言えない。 一方、集合の元なら何番目か答えられなくてもよい。 何故なら無限公理が最大元が無い集合の存在を認めているから。 例えば集合ω+1の最大元ωは最小元{}から数えて何番目の元かは答えられない。 しかし無限公理と和集合の公理によってω+1の存在は認められる。 三歳児の「ノイマン構成でも同じだ〜」は否定された。 http://rio2016.5ch.net/test/read.cgi/math/1595034113/452
463: １３２人目の素数さん [] 2021/11/22(月) 01:18:10.65 ID:HIqODhps >>458 >最外カッコが無いことはないが、具体的に示せない いや、無い。 何番目か定まらないようなカッコは「有る」とは言わない。>>452 強引に「何番目か定まらない最外カッコが有る」と強弁したところで、その元に最外カッコが無い、つまり集合でない。 これは公理的集合論では認められない。結局ダメ。 http://rio2016.5ch.net/test/read.cgi/math/1595034113/463
469: １３２人目の素数さん [] 2021/11/22(月) 07:58:11.74 ID:o+kXZxaO >>463 (引用開始) >最外カッコが無いことはないが、具体的に示せない いや、無い。 何番目か定まらないようなカッコは「有る」とは言わない。>>452 (引用終り) なんだ、そこから躓いているのか？ 根が深いね、躓きの それじゃ、数学科行っても 何を勉強したのやら おっさん、自分で言っている選択関数>>461はどうなの？ その基準でｗ >>461より そもそも何かの存在を示すのにその例示は必須ではない。 実際、選択公理は選択関数のインスタンスを何等示さずに選択関数の存在を主張している。 そのような抽象思考が数学ってもんだ。インスタンスを見ないと納得できない三歳児には無理。 (引用終り) >>463と>>461と、主張が矛盾しているぞｗ http://rio2016.5ch.net/test/read.cgi/math/1595034113/469
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s