[過去ログ] Inter-universal geometry と ABC予想 25 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
748
(2): 2018/04/04(水)18:12 ID:lKqH+bLE(1/2) AAS
IUT3の141ページ

If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12,
then one concludes that the quantity − |log(Θ)| is finite

ショルツが違和感を感じているのはこの部分だが、
明確に怪しいというよりも、数学書によるある読者に不親切な書き方。

まぁ、複数の数学者から指摘が上がっている以上、少なくともこの部分は explicit に書き直すべきだが、
未だにアクセプトされていないのは、この部分を書き直しているから?
750
(1): 2018/04/04(水)18:21 ID:vFGPGTGS(2/2) AAS
>>748
自明?
879
(1): 2018/04/07(土)16:39 ID:JcOoFbqy(1) AAS
望月の主張としては
−|log(Θ)|の有限性はCor.3.12 proofの非自明な議論 >>748 で示されるが
Remark 3.12.1(@)で予告しているように、IUT-WのThm.1.10で上界が与えられ、そこからも従う。
要するに、明示的な上界が与えられるので、−|log(Θ)|の有限性は自明である
ということなんじゃないか?

だから、ショルツが指摘した非自明な議論 >>748 の部分が間違っていたとしても
IUT-WのThm.1.10が正しければ−|log(Θ)|の有限性自体は問題ないわけだ。
>>878 の言うように循環論法になってさえいなければ。

>>855-856
むしろ、ショルツとの議論で破談したら、それこそ大騒ぎになるだろ。
省4
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.374s*