[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
4
(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:05 ID:JrhjRl4x(4/46) AAS
さて、>>1に関連した議論の続きです

現代数学はインチキのデパート より
2chスレ:math
どうも、ガロアスレのスレ主です(^^

昨日のID:4Fu/lmU2さん(>>21)と
今日のID:kZwmbLNIさん(>>25)と
が、同一人物かどうか? それが分からない
省17
5: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:09 ID:JrhjRl4x(5/46) AAS
>>4 補足

ああ、
>>3より)などのリンクは、
元のスレの現代数学はインチキのデパートのものです
今後も、そういう類いがあると思いますが、
おかしなリンクと思ったときは、元のスレの「現代数学はインチキのデパート」
2chスレ:math
省1
6
(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:16 ID:JrhjRl4x(6/46) AAS
>>4
つづき

1)の論点の
 「正則性公理(>>16)は、無限下降列である x∋x1∋x2∋・・・ を禁止する
  が、無限上昇列を禁止するものではない」
 について
 ノイマン構成の∈の2項関係の列
省16
7
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:22 ID:JrhjRl4x(7/46) AAS
>>6
つづき

まず、タイポ訂正

 そして、無限上昇列が出来たら、それを逆に辿る、無限下降列でしょ
   ↓
 そして、無限上昇列が出来たら、それを逆に辿ると、無限下降列でしょ

分かると思うが(^^
省19
9
(3): 2019/10/05(土)10:44 ID:kZwmbLNI(2/44) AAS
>>4
>1)正則性公理は、無限下降列である x∋x1∋x2∋・・・ を禁止する
> (が、無限上昇列を禁止するものではない)

ええ

>なお、無限上昇列から、ノイマン構成により自然数N=ωの構成が認められる

いいえ
無限上昇列だけでは、ノイマン構成によるN=ωの存在は云えません
省13
14
(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)11:03 ID:JrhjRl4x(8/46) AAS
>>7
つづき

>「フォン・ノイマン宇宙、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス」
>という存在を認めることにしましょう

さて、この前提で
下記より、冪集合で P({a})={Φ,{a}}
つまり、 P({a})は{a}という一元集合の冪集合です
省23
53
(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:26 ID:JrhjRl4x(23/46) AAS
>>4
(再録)
なお、議論の前提として、ある程度、標準的に認められている現代数学の成果
テキストや、ウェブサイトにある、現代数学の成果は認めるものとしましょう
(そうしないと、全てを公理からの構成や厳密な証明を求めるようなことをすると、余白が足りない(時間も足りない))
(引用終り)

これ思い出しておいてくださいね
省19
197
(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/07(月)18:56 ID:ez50Rnmf(3/3) AAS
>>196
まず、ID:cEmWDLJdさん、レスありがとう
だが、>>194ID:3bkiY8iJと、ID変わっていますよね
まあ、同一人物らしいとは思うけれど、自覚されてますか?

さて
(引用開始)
>  いわゆる自然数Nよりも、余計な元、
省20
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.048s