[過去ログ]
現代数学の系譜 カントル 超限集合論 (1002レス)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
24: 132人目の素数さん [sage] 2019/10/05(土) 11:35:50.89 ID:kZwmbLNI >>22の追記 もし、あなた(◆e.a0E5TtKE 氏)が {{…{}…}}({}の多重無限)をωと呼びつづけるなら 誠意がないものとして、「議論」を打ち切ります 少なくとも呼び名の問題よりもはるかに本質的なことですから http://rio2016.5ch.net/test/read.cgi/math/1570237031/24
30: 132人目の素数さん [sage] 2019/10/05(土) 11:55:27.89 ID:o3KPqddg >>26 出展もクソも>>18の内容は数学科なら最初の2,3ヶ月目までに絶対習う内容で(順序数は微妙だけど)まさに何にでも載ってるし誰でも知ってる話だけど。 しかし俺が読んだのは確か共立出版の公理的集合論って本だったかな? あなた掲示板だからある程度はコンセンサスとれてるとして効率的に行こうといってる。 まさにそこは正論なんだけど、だからこそ理学部数学科では自分ではコッチの方がいいかなぁと思いつつもそこは世間一般で通用してる定義を採用する。 しかしもちろんどうしてもそうでないものを採用せざるを得ない場面はあるし、その場合には必ず数学的な定定義を与えてから議論を始めないと数学にならない。 あなたのωを仮にΩと書くなら、このΩは数学の世界では全くコンセンサスは取れてません。 論理式を用いて正確に定義してください。 でなければそもそも議論が始まりません。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/30
123: 哀れな素人 [] 2019/10/06(日) 09:39:57.89 ID:aAisPx0D 二日間に渡って狂気の860連投をした男である(笑 学歴に異常な虚栄心というか劣等感を持っていて、 日大卒のくせにパリ高等師範学校卒とか 東大理学部数学科卒と自称していたアホである(笑 在日か同和で、アイヌでもないのにアイヌを自称して アイヌ特権で甘い汁を吸っている疑いがある。 50代前半だが働かずに毎日2chに貼り付いている(笑 いい年してベビーメタルの大ファンで、 乃木坂とかAKBグループのファンでもある(笑 http://rio2016.5ch.net/test/read.cgi/math/1570237031/123
209: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/08(火) 05:34:53.89 ID:bC9PKbug Nat(x) xがツェルメロの自然数のとき真となる述語 Nat(x)≡x={}∨(x={y}∧Nat(y)) =x={}∨(x={y}∧(y={}∨(y={z}∧Nat(z))) =… Fool(x) xが馬鹿のいうΩとやらのとき真となる述語w Fool(x)≡x={y}∧Fool(y) =x={y}∧y={z}∧Fool(z) … xから要素、その要素と、際限なく取れるが、決して{}にたどり着かないw http://rio2016.5ch.net/test/read.cgi/math/1570237031/209
211: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/08(火) 07:23:36.89 ID:3SQHWkr4 >>210 つづき ここで、現代数学の順序同型(下記)を借用しましょう ”整列順序型N’:0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です これを認めれば、ツェルメロの整列順序型E’とノイマンの整列順序型Eとは、順序同型 全単射で、ツェルメロのΩが、ノイマンのωに対応する よろしいでしょうか? (参考) https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E5%9E%8B 順序型 (抜粋) 整列順序型と順序数 整列集合の順序型を特に整列順序型と呼ぶ。α を順序数とし ∈α を α 上の所属関係とすると、(α, ∈α) は整列集合なので type(α, ∈α) は整列順序型である。逆に、任意の整列集合は必ずある順序数 α に対する (α, ∈α) と同型なので、整列順序型は必ずある順序数 α に対する type(α, ∈α) の形で表すことができる。 https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88 整列集合 https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88 順序集合 写像と順序 定義 S, T を順序集合とし、f: S → T を写像とする。このとき ・f が順序同型写像(英語版)であるとは、f が順序埋め込みな全単射である事を言う。 順序同型 f: S → T が存在するとき、S と T は順序同型あるいは単に同型であるという。 つづく http://rio2016.5ch.net/test/read.cgi/math/1570237031/211
277: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/12(土) 09:26:43.89 ID:0oc9Ztsl >>276 タイポ訂正 レーヴェンハイ-スコーレムの定理 ↓ レーヴェンハイム-スコーレムの定理 (二箇所) な(^^; http://rio2016.5ch.net/test/read.cgi/math/1570237031/277
312: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/12(土) 22:32:11.89 ID:XYOM7riD >>310 >ノイマン型から、分出公理で一番右のΦのみを残し他のΦを省いた集合を作ると、それはツェルメロ型になる ωの一番右のΦってなんだよ?w 有りもしないものが見えるとか、 馬鹿はとうとう認知症になったかw >>311 ∈関係の無限上昇列から、無限下降列は作れないことが 馬鹿にはどうしても理解できないらしい 考えない奴には数学なんて死んでも理解できないから諦めろw http://rio2016.5ch.net/test/read.cgi/math/1570237031/312
407: Mara Papiyas ◆y7fKJ8VsjM [] 2019/10/13(日) 20:47:11.89 ID:2pwdGOo0 >>405 一応、そういうキャラ設定だからw >>406 神業なのか悪魔の業なのかは分からんけど そういうこと魔王のオレがいっちゃダメかw http://rio2016.5ch.net/test/read.cgi/math/1570237031/407
666: 132人目の素数さん [] 2019/12/07(土) 17:19:37.89 ID:uZFmzNJe >>665 >反例にはなりません。 何の?(3)の?その通りですよ 要するに◆e.a0E5TtKEは 「(3)の左辺が成り立つが右辺が成り立たない」 と云ってるといいたいわけでしょう? http://rio2016.5ch.net/test/read.cgi/math/1570237031/666
685: 132人目の素数さん [] 2019/12/07(土) 22:31:48.89 ID:uZFmzNJe >>684 >無限公理から、無限集合ができて、 >∈列の無限長列を構成する 誤り というより 嘘 無限集合からの無限下降列は構成できない 任意有限長の無限降下列が構成できるだけ http://rio2016.5ch.net/test/read.cgi/math/1570237031/685
770: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/12/15(日) 07:39:03.89 ID:BvQtIPz4 >>769 ありがとう ご苦労さま http://rio2016.5ch.net/test/read.cgi/math/1570237031/770
858: 132人目の素数さん [] 2019/12/18(水) 07:30:08.89 ID:9XjuQhgT ◆e.a0E5TtKE ωは整列順序として可逆だ!といいはるも ωの逆順序での次者は?の問いには答えず 「実数の順序は可逆だ!可逆だ!!可逆だ!!!」 と勝手に実数(全順序だが整列順序でない)に置き換えて発狂しまくる 結論:◆e.a0E5TtKE は全順序と整列順序を同じだと思い込む白痴www http://rio2016.5ch.net/test/read.cgi/math/1570237031/858
935: 132人目の素数さん [] 2019/12/20(金) 20:36:32.89 ID:TR6+oSjG >数学の試験では、減点かな?w(^^; ↑ 最小と極小の違いも分からないバカw http://rio2016.5ch.net/test/read.cgi/math/1570237031/935
980: 132人目の素数さん [] 2019/12/21(土) 09:04:36.89 ID:RiKZpZyq >>975-976 >もうアラフォーなのに もう50過ぎてるよwww その昔、SU-METALのパパがやってたバンド https://www.youtube.com/watch?v=Lr5bOoLxAQQ http://rio2016.5ch.net/test/read.cgi/math/1570237031/980
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s