[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
906: １３２人目の素数さん [sage] 2020/11/28(土) 10:19:50.52 ID:XyNDA0Mg(1/6) AAS
>>905
＞・数学者：無限遠点を考える方がすっきりするよ。ＺＦＣでは無矛盾だよ
◆yH25M02vWFhP：ωは無限遠点だよ ド素人のボクにも絵が見えた！
・・・正真正銘のidiot
907: １３２人目の素数さん [] 2020/11/28(土) 10:22:33.82 ID:XyNDA0Mg(2/6) AAS
>>905
＞レーヴェンハイム?スコーレムの定理
＞ 定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は
＞ 無限のモデルを持たねばならないことをも示す
◆yH25M02vWFhP：無限は超準（ノンスタンダード）自然数！（キリッ）
・・・正真正銘のidiot
908: １３２人目の素数さん [] 2020/11/28(土) 10:24:20.06 ID:XyNDA0Mg(3/6) AAS
>>905
＞モデル理論
＞ 一階述語論理では、すべての無限濃度は可算である言語にとっては同じに見える
＞ 区別できないってことでしょ？
◆yH25M02vWFhP：いかなる無限も同じ可算濃度！（キリッ）
・・・正真正銘のidiot
909: １３２人目の素数さん [sage] 2020/11/28(土) 10:27:11.01 ID:XyNDA0Mg(4/6) AAS
素人が必ずつまづく点
０，１，２，・・・，ω は 整列順序だが
ω，・・・，２，１，０ は 整列順序でない
なぜなら 反転させた場合、ωの後者が存在しない
（反転させる前なら、ωの前者が存在しない）
910: １３２人目の素数さん [sage] 2020/11/28(土) 10:33:30.97 ID:XyNDA0Mg(5/6) AAS
整列集合
数学において、整列順序付けられた集合または
整列集合（せいれつしゅうごう、英: wellordered set）とは、
整列順序を備えた集合のことをいう。
整列集合 X の任意の元 s は、それが X の最大元でない限り、
ただ一つの後者（successor; 後継、次の元、直後の元）を持つ。
これはつまり、s よりも大きな X の元全体の成す部分集合における
最小元として s の後者が決まるということである。
また、整列集合 X の中で上に有界な任意の部分集合は
（その上界全体の成す X の部分集合に最小元がとれるから）
必ず上限を持つ。
あるいは整列集合 X には、前者（predecessor; 直前の元）
を持たない元が必ず存在する
（それはもちろん、X 全体における最小元である）。
912(2): １３２人目の素数さん [sage] 2020/11/28(土) 11:58:02.19 ID:XyNDA0Mg(6/6) AAS
>>911
＞維新さんの批判は
維新って誰よｗ
あんたも安達同様、誰も彼も維新に見える精神病にかかってるね
＞ノイマン構成の無限集合 自然数集合Ｎ にも当てはまる
何がどうあてはまる？
＞自然数集合Ｎで、要素を列挙したとき、最後の要素はなんだ？
ないよｗ
＞”要素を列挙したとき、最後の要素を書ききれない”なら、集合ではない？
安達弘志じゃあるまいし、そんな🐎🦌なこと誰もいわないよ
＞数学科のオチコボレくんには、困ったものだよ
あんたこそ、大学１年の数学で落ちこぼれるわけだ
高校じゃ、公式だけ覚えてテスト乗り切った口だな
ま、高校までの数学はしょせん計算技能の習得だからな
論理がわからん🐎🦌でもできる しかし大学はそれじゃ無理
工学部ってあんたみたいな大学１年の４月で数学落ちこぼれた奴の巣窟
そういう奴が大企業でエリート面してるんだから滑稽
唯の白痴じゃねえかｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.053s