Inter-universal geometry と ABC予想 (応援スレ) 45at MATH
Inter-universal geometry と ABC予想 (応援スレ) 45 - 暇つぶし2ch362:132人目の素数さん
20/05/09 07:03:13 /BYRDNlz.net
>>315

 >些末な話よ

指摘したTao自身が「(IUT-?で)第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、ZFC拡張は証明に影響を与えるものではない」と言ってるしね。 w

下記DeepL翻訳の「このブログのコメントを参照してください」での記憶だけど、

>(IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、
より完全に普遍的なテイヒミュラー理論を発展させることを検討しています
(この部分はabc推論への応用には必要ありません)

のところで、

「○○節までにABCの証明が終っており、第3節43ページ以降は付け足し」



次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch