[過去ログ]
現代数学の系譜 カントル 超限集合論 (1002レス)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
71: 132人目の素数さん [sage] 2019/10/05(土) 16:22:56.52 ID:kZwmbLNI >>68 HN「哀れな素人」氏の主張の全てが 誤っているわけではありませんよ 彼の主張で誤っているところがあるとすれば、それは 「無限集合が存在するならば矛盾する」という点でしょうか (矛盾しない、と断言できるわけではないが、 少なくとも矛盾の証明がないのに矛盾するというのは誤り) 一方、自然数を列挙する行為で、 「最後の自然数を書いて完結する」 のはあり得ない、というのは正しいです 完結するのに最後の自然数が必要、 という点は誤っていますが (完結する、とは集合として扱えるという意味) 一方、あなたは 「いや、自然数を列挙する行為も 最後の自然数を書いて完結する。 最後の自然数はωだ。」 と言いたいようですが、全くの誤りです 無限集合を正当化するのに、こんな酷い嘘をつく必要はありません http://rio2016.5ch.net/test/read.cgi/math/1570237031/71
96: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/05(土) 21:53:33.52 ID:JrhjRl4x >>93 無限集合って定義というか公理なんだからさ、そういう質問は関係ないよね(^^ それ、同じ質問、ノイマン構成でも同じ質問できるよね? ノイマン構成で無限集合ができました それで小さい元を左に大きい元を右に並べて、一番右の数字は何か?答えられないならなに? ノイマン構成の無限集合が存在できないとでも? (^^; http://rio2016.5ch.net/test/read.cgi/math/1570237031/96
130: ID:1lEWVa2s [sage] 2019/10/06(日) 09:52:33.52 ID:Hf8pbZj7 >>128 あれこっちかなそっちかな さてどこどこどこでしょう http://rio2016.5ch.net/test/read.cgi/math/1570237031/130
199: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:05:28.52 ID:rpPbPz0q >>185 馬鹿の逆質問 >1)下記の、順序数の列 > 0, 1, 2, 3, . . . , ω を認めますか? Y/N >2)もし、Yesの場合 > 0, 1, 2, 3, . . . , ω で、ωの一つ左の順序数は、何ですか? あなた、答えられますか?w >3) もし、Noの場合、現代数学の無限の概念を認めないということですか? Y/N 1)認める 2)存在しない 3)ωの存在を認める 云っとくが 0, 1, 2, 3, . . . , ω は、ただ要素を順番に並べただけ 降鎖列は要素間に必ず∋が入ってる したがって「ω∋」と書いたら その右には必ずある要素を書く必要がある 無限公理のωや ツェルメロの自然数全体の集合ω’={Φ, {Φ}, {{Φ}}, …} なら、任意の自然数を要素に持つ (それぞれ自然数を表す集合は異なるが) しかし、馬鹿が主張している Ω={・・{Φ}・・} では、どの自然数も要素にならん したがって、まず ω∋n - 1∋n - 2, ..., 2∋1 は構成できない また、もし Ω∋Ω’∋Ω’’・・・ と要素がとれたとしても いつまでたっても自然数nには たどり着かんから底抜けw 逆に有限回で自然数にたどり着いたら Ωは自然数だということになるw 相変わらず底抜けの馬鹿っぷりだなwwwwwww http://rio2016.5ch.net/test/read.cgi/math/1570237031/199
352: ID:1lEWVa2s [sage] 2019/10/13(日) 18:10:28.52 ID:BCKVKYa1 >>350 これらの文章を読むには後6年はやかったな。 今から6年頑張って生きろ お前がお前を守りたいといったな 代格者の特徴だ。gantzの黒い玉のす〜ハーする奴の事だ代格者とは。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/352
375: ID:1lEWVa2s [sage] 2019/10/13(日) 18:42:42.52 ID:BCKVKYa1 >>374 だからトランプ大統領の新聞だけの記事を読み続けとけ 代格者だから 何が守りたかったかあやふやにわかる。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/375
396: ◆QZaw55cn4c [sage] 2019/10/13(日) 19:55:31.52 ID:bzmhiEIb >>389 クロザリルが正解ですねえ まあ本来的な精神分裂症は不定愁訴的な症状は本筋ではないので、あなたの受けた投薬はちょっと変ですね… http://rio2016.5ch.net/test/read.cgi/math/1570237031/396
474: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/10/27(日) 23:52:26.52 ID:EUeYkluT >>473 補足の補足 https://researchmap.jp/read0174593/?lang=japanese 研究者氏名 千谷 慧子 チタニ サトコ 所属 旧所属 中部大学 工学部 理学教室 職名 教授 学位 理学博士(東京大学), 理学修士 学歴 テキストで表示 - 1965年 東京大学 数物系研究科 数学 - 1957年 東京大学 理学部 数学科 https://link.springer.com/article/10.1023%2FB%3AIJTP.0000005977.55748.e4 International Journal of Theoretical Physics November 2003, Volume 42, Issue 11, pp 2575?2602| Cite as Quantum Set Theory Authors and affiliations Satoko TitaniHaruhiko Kozawa Springer Nature Switzerland AG http://rio2016.5ch.net/test/read.cgi/math/1570237031/474
475: 132人目の素数さん [sage] 2019/10/31(木) 14:51:48.52 ID:hCUXuggb https://i.imgur.com/22P28of.jpg http://rio2016.5ch.net/test/read.cgi/math/1570237031/475
511: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/11/28(木) 00:37:22.52 ID:QdpmOFrx >>509 >Writing K(S) for the sub-semilattice generated by the empty set and the singletons, call set S Kuratowski finite if S itself belongs to K(S).[8] Intuitively, >K(S) consists of the finite subsets of S. Crucially, one does not need induction, recursion or a definition of natural numbers to define generated by since one may obtain K(S) simply by taking the intersection of all sub-semilattices containing the empty set and the singletons. もし、singleton が、ZFCの中で正則性公理により有限に留まらざるを得ないならば、話は単純だが しかし、そうではないからこそ、Kuratowski先生も苦労して、”Kuratowski finiteness”を定義している かつ、それでこそ、Kuratowskiの論文の値打ちもあろうというものよww(^^; http://rio2016.5ch.net/test/read.cgi/math/1570237031/511
525: 132人目の素数さん [] 2019/11/29(金) 06:26:54.52 ID:RLRDCvDR >>519 >・・・{{{ }}}・・・(可算無限多重シングルトン)の存在も否定できない で、その・・・{{{ }}}・・・(可算無限多重シングルトン)の要素は? ここで、自分の馬鹿に気づけよw ◆e.a0E5TtKE >>521 >分かると思うが ウソを分かる馬鹿◆e.a0E5TtKE http://rio2016.5ch.net/test/read.cgi/math/1570237031/525
607: 132人目の素数さん [sage] 2019/12/05(木) 19:34:38.52 ID:vEgJBXXW >>603 >超限帰納法は、論点ずらしでしょ 根本ですが 任意の順序数について無限降下列が存在しないから、超限帰納法が成立する https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82 >>605 >二階述語論理で同型 全然無関係 そもそも最初の超限順序数のZermelo構成の仕方が間違ってる Zermelo構成でも最初の超限順序数は、シングルトンにはなりません http://rio2016.5ch.net/test/read.cgi/math/1570237031/607
615: 132人目の素数さん [sage] 2019/12/06(金) 23:10:49.52 ID:AcrqIt0t 工業高校卒は数学語らない方がいい http://rio2016.5ch.net/test/read.cgi/math/1570237031/615
684: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/12/07(土) 22:23:09.52 ID:H2e5WMAT >>680 補足 (引用開始) で、無限公理を認めることで、無限集合の存在が導かれる それが、一行目の 「集合 {0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・}が無限集合なら」 ってことだよ ( くどいが、無限公理を認め 無限公理が適用されることで、 ”列 0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・ は、有限で終わらない”が導かれる つまり、これは無限公理からの直接の帰結ってことですよ!!(超限帰納法は関係ないよ >>613) ) (引用終り) おサルの>>636 >「集合のいかなる∈列も有限長で終わる」 >というのが正則性公理ですから これ、 理解が間違っているよ ツェルメロの後者関数 an=suc(an-1)={an-1} つまり、an-1∈an ノイマンの後者関数 an=suc(an-1)={Σan-1} (ここに”Σan-1”は、0からn-1までの全ての集合和を表わす) つまり、an-1∈an ツェルメロの構成にしろ、ノイマンの構成にしろ 上記の通り 無限公理から、無限集合ができて、 ∈列の無限長列を構成する それは、正則性公理には反しない 正則性公理は、真の無限降下列(>>636)を禁止にするが 上記のツェルメロの構成にしろ、ノイマンの構成にしろ、これらは禁止されていないぞ だから、おサルは、正則性公理を誤解している その誤解から、シングルトンの無限列の存在を否定し、また、可算多重シングルトンの存在を否定している それは、おサルの数学であって、人の数学ではない http://rio2016.5ch.net/test/read.cgi/math/1570237031/684
812: 132人目の素数さん [sage] 2019/12/16(月) 13:24:41.52 ID:kcqXf4G0 >>801 |д゚)!!無知番地。。。 (無知番地の方から来ますた。。。) http://rio2016.5ch.net/test/read.cgi/math/1570237031/812
912: 132人目の素数さん [] 2019/12/19(木) 23:12:26.52 ID:C/GyumcO このスレにドクターは居ませんか〰!? ドクターコール!でーす! http://rio2016.5ch.net/test/read.cgi/math/1570237031/912
958: Q ◆jPpg5.obl6 [] 2019/12/20(金) 23:50:34.52 ID:1Ng84qNO 主の自演じゃないですよ〜! http://rio2016.5ch.net/test/read.cgi/math/1570237031/958
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.137s*