[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
174(1): 2018/10/15(月)14:54 ID:8YT2Mpnd(8/9) AAS
>>167
それは要するに、ゲーデルの言ういわゆる「構成可能集合L」の
中においてIUTの議論は問題なくできているということですかね
ZFG⊂Lがわからないから、S・Sは学部生レベルと言われている？
179: 2018/10/15(月)16:03 ID:PVSgh7N1(6/10) AAS
>>174
いや、ゲーデルのLは別の話というか、Uは満たさないでしょう
何れにせよ基本的にトポスの話ですし、選択公理もトポスの現象としてよく解釈できる
自分の考えではZFCGはIUT を実現するのに十分です。強いて言えば明示的アルゴリズムが考慮を要しますが
個人的に確信する線があります。しかしこれは書けません
ヒントとして望月さん自身どこかで重要な概念を書いてます。それを更に一般化して終わります
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s