[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
449(1): １３２人目の素数さん [sage] 2021/11/21(日) 18:54:35.98 ID:+LwTeuHH(10/11) AAS
>>446
やれやれ、中卒SET A君は
肝心なことには全く答えないね
>ω :{･･･{{{}0}1}2･･･}ω → {0, 1, 2,･･,n-1･･･}
>(注：･･･の部分は全ての自然数を尽くす)
で、x=･･･{{{}0}1}2･･･って何だい？
集合じゃないだろ？
n :{･･{{{}0}1}2･･} → {0, 1, 2,･･,n-1}
はいいよ
n={n-1}だから
n∋n-1∋･･･∋1∋0
とできる
でもωでは、ω∋xとできるとして
x∋の先が続かない
それじゃω＞ｎっていえないよな
で、もし言えたとしても
ω＞ｘ＞ｎ
となるからｘってなんだよ？って言われるよな
いいかげん
極限順序数をシングルトンで表すのが
無理だってことに気づけよ
極限順序数がシングルトンだったら
極限順序数に「前者」が存在することになるだろ
シングルトンの唯一の要素は「前者」なんだから
SET Aってホント頭悪いな さすが中卒だな
大学行ってないだろ 受かるわけないよなこんな🐎🦌ｗ
>”･･･” の部分が出来たら、それが良いとか悪いとか
なんで誰もいってない「幻聴」が聞こえるんだろうな SET Aは
誰も･･･が悪いなんて一言もいってない
「最外の{}がないから集合じゃない」と
曖昧さゼロで言い切ってる
この文字列を一字一句変えずにコピペしてくれ
･･･が悪いとか全然違う文字列に置き換えないでくれ
相手の云った言葉は正確に馬鹿コピペしてくれ
それができないからSET Aはいつまでも🐎🦌のままなんだから
>>448
>これ面白い
ああ、くだらん 今頃知ったのかこの🐎🦌ｗ
でもそれだけで
>ZFCは、現場の数学では使えない。
と思うのは数学知らない中卒の貴様だけｗ
450: １３２人目の素数さん [] 2021/11/21(日) 20:27:01.37 ID:fskC7CH9(15/17) AAS
>>449
>>ZFCは、現場の数学では使えない。
>と思うのは数学知らない中卒の貴様だけｗ
おれは、檜山正幸氏のりだよ
https://m-hiyama.はてなブログ.com/entry/20171024/1508830602
檜山正幸のキマイラ飼育記 (はてなBlog)
2017-10-24
現場の集合論としての有界素朴集合論
ZFC公理的集合論の万能性・普遍性は認めたとしても、だからと言って、何でもZFC公理的集合論のなかでやる必要はありません。つーか、そんなことはしません。自然数論は、集合論とは独立な体系内でやればいいのです。必要があれば、ZFC公理的集合論への埋め込み（翻訳）を作ればいいのです。
集合概念が必要な場面では、ZFC公理的集合論が使われているのでしょうか？ -- 使われません。日常的にZFC公理的集合論を使う人なんていない、と言うと言い過ぎだけど、極めて少数です。
我々が日常的に使っている集合論は素朴集合論（naive set theory）です。要するに、直感的でイイカゲンでカジュアルな集合論です。
厳密な定義や公理系を持たない集合論を総称して素朴集合論と呼んでいるので、素朴集合論を定義するのは無理があります。が、素朴集合論を二種類に分けて考えたほうがよさそうです。ひとつはユーザーフレンドリーなZFC集合論、もうひとつは原始集合論です。
ユーザーフレンドリーなZFC集合論とは何か？ -- ソフトウェアで喩えてみましょう； シンプルで強力だが使いにくいプログラミング言語（例えば、仮想機械のアセンブラ言語）があったとします。そこに、スクリプト言語の処理系を載せて、ツールとライブラリもバンドルして、UIも備えたオールインワンのパッケージを作成したとしましょう。ユーザーは元の低水準言語を意識することはないでしょう。一部の好き者は低水準言語を触りたがります。
まー、そんな感じ。この意味の素朴集合論は、直感的かつ安直に使える集合論ですが、頑張ればZFC集合論に“コンパイル”して合理化できます。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s