Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

683(3): 09/02(火)17:26 ID:SkBP9bZ4(3/5) AAS
>>678 補足

　>>306より
　日常の数学の下にカジュアル集合論があり、その下に公理的集合論がある
　三階建で、3階が日常の数学、2階がカジュアル集合論、1階が公理的集合論だ
　それで、3階の日常の数学で何か無限操作を考えるとき
　それを 2階のカジュアル集合論なり 1階の公理的集合論に翻訳できればいい
（元は、カジュアル集合論は素朴集合論だったが語感が悪いので変えた）
省18

684: 09/02(火)17:57 ID:7B4TGU0k(2/6) AAS
>>683
>いまどき複雑化した 21世紀現代数学を
>まともに 1階の公理的集合論でする人はいない
>カジュアル集合論や圏論をまじえて日常の数学が遂行されている気がする
カジュアルに数学しようとして落ちこぼれた現代数学童貞の台詞

一階述語論理と無限集合論と実数論　一から勉強しような　童貞

685(1): 09/02(火)18:02 ID:0UkiWhPy(7/11) AAS
>>683
>日常の数学の下にカジュアル集合論があり、その下に公理的集合論がある
公理的集合論は理解できないので下の方に追いやりたいってことですね？ｗ

>　三階建で、3階が日常の数学、2階がカジュアル集合論、1階が公理的集合論だ
カジュアル集合論ｗ　いかにもトンデモが言いそうなトンデモワードｗ

>日常の数学で何か無限操作を考えるとき
well-defined でないから考えない。

686(6): 現代数学の系譜雑談 ◆yH25M02vWFhP 09/02(火)18:17 ID:SkBP9bZ4(4/5) AAS
>>683
>三階建で、3階が日常の数学、2階がカジュアル集合論、1階が公理的集合論だ

>>494 より
”ここの川崎徹郎先生の議論は
完全には公理的集合論ではない
公理的集合論には違背しない範囲で
実用的な（日常的な）集合論を提供している”
省16

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.032s