[過去ログ]
現代数学の系譜 カントル 超限集合論2 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
91
: 2019/12/27(金)17:00
ID:k/2lG7oM(1/4)
AA×
>>81
>>82
>>83
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
91: [] 2019/12/27(金) 17:00:25.66 ID:k/2lG7oM >>81 闇雲に検索してるね >ゲーデルの構成可能集合 これは関係ない >極限順序数 これもフォン・ノイマン構成に関する記述なので ツェルメロ構成とは関係ない >>82 >宇宙 まったく関係ない >集合論 …{{}}…は集合ですらない したがって 「シングルトン」(唯一の元を持つ集合) とはいえない {{},{{}},{{{}}},…} なら、ツェルメロ構成のωを表す集合 として正当化できる (ただその場合、ツェルメロ構成による順序数を 「より小さい順序数への有限∈降下列を有するもの」 として定義しなおしたほうがいい) >>83 >圏論 …{{}}…を圏論で正当化できると思うのは妄想だろう そもそも…{{}}…とかいうナイーブなアイデアを捨てればいい ナイーブでありつづけることは馬鹿の極み http://rio2016.5ch.net/test/read.cgi/math/1576852086/91
闇雲に検索してるね ゲーデルの構成可能集合 これは関係ない 極限順序数 これもフォンノイマン構成に関する記述なので ツェルメロ構成とは関係ない 宇宙 まったく関係ない 集合論 は集合ですらない したがって シングルトン唯一の元を持つ集合 とはいえない ならツェルメロ構成のを表す集合 として正当化できる ただその場合ツェルメロ構成による順序数を より小さい順序数への有限降下列を有するもの として定義しなおしたほうがいい 圏論 を圏論で正当化できると思うのは妄想だろう そもそもとかいうナイーブなアイデアを捨てればいい ナイーブでありつづけることは馬鹿の極み
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 911 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.028s