[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
167(3): 2018/10/15(月)13:45 ID:PVSgh7N1(5/10) AAS
>>155
ちょっと前ほどには頻繁に書かなくなるんで一応
全然そうは思いません。理由はあるけども結局圏論や集合論をどう認識して使っているのかを反省すると
はっきり言ってIUTのそれは大した問題ではないです
まあ掘り下げて書かないと説得力はないだろうが、そんな気力はない
174(1): 2018/10/15(月)14:54 ID:8YT2Mpnd(8/9) AAS
>>167
それは要するに、ゲーデルの言ういわゆる「構成可能集合L」の
中においてIUTの議論は問題なくできているということですかね
ZFG⊂Lがわからないから、S・Sは学部生レベルと言われている？
177: 2018/10/15(月)15:47 ID:Sa5vRh/6(2/2) AAS
>>167
> まあ掘り下げて書かないと説得力はないだろうが、そんな気力はない
自分の能力を高く見せようとしてる。馬鹿みたい。
178: 2018/10/15(月)16:03 ID:M6+8Ql35(6/9) AAS
相変わらず素直に「教えて」と言えないヤツが常駐しているなあｗ
>>162 >>167 及び>>169
ZFCGというよりトポスの話なんだけど、基礎論に詳しくないのでこの辺のことなのかな？（wikiで申し訳ない）
外部ﾘﾝｸ:ja.wikipedia.org
↑の「数理論理学との関わり」辺り
外部ﾘﾝｸ:en.wikipedia.org
↑の“Ringed topoi”辺り
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s