Inter-universal geometry とABC 予想58 (813ﾚｽ)
Inter-universal geometry とABC 予想58 http://rio2016.5ch.net/test/read.cgi/math/1749926306/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
573: １３２人目の素数さん [] 2025/10/09(木) 22:41:21.79 ID:DRvnCGKK >>399 ->400 JDBのコメント 追伸. デビッド・ロバーツ氏、 強到達不可能な基数と ZFC に関する 私の不正確な表現を指摘していただき、ありがとうございます。 PDF 内の表現を「ZFC には存在しない」から「ZFC ではその存在を証明できない」に変更しました。（ただし、構成主義の観点からは、この 2 つの表現はそれほど違いがないかもしれません）。 また、「IUT が集合論の矛盾（望月氏が「∈-ループ」と呼ぶもの）を回避するために宇宙際的設定を使用していることは議論の余地がない」と書いたとき、 という記述について、「議論の余地がない」とは、その歴史を知っている者なら、 望月がθリンクの仕組みに暗黙的に含まれる∈ループを認識し、それを回避するために理論を宇宙際的なものにしたことを誰も否定しないという意味でした（そのため、私の見解では、ショルツとスティックスの議論は驚くべきことではないのです）。 主にdeepl翻訳 http://rio2016.5ch.net/test/read.cgi/math/1749926306/573
574: １３２人目の素数さん [] 2025/10/09(木) 22:46:37.80 ID:DRvnCGKK ・Reddit にあったコメント. スピヴァクの本のこのジョークが好き: 「この定理の証明:これは、私たちが導入した定義から自明です。 QED 注: この定理が本当に自明なのではなく、私たちがこのように主張できるように宇宙と宇宙際の「定義」を作成したのです。 http://rio2016.5ch.net/test/read.cgi/math/1749926306/574
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.865s*