[過去ログ] Inter-universal geometry と ABC 予想 46 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
174(1): 2020/04/05(日)05:14 ID:XSg/U45p(1/2) AAS
ANDとORを読み間違えたってまじ?
このレベルを査読する数学者でそんなことあるのか
180(3): 2020/04/05(日)07:08 ID:stNgDsDJ(2/2) AAS
>>174
査読者でないよ。
ショルツレポートが間違えた原因の大元が「∧と∨の誤認」との指摘に関して。
ショルツがCorollary 3.12で、過度な単純化をして一連の間違え連鎖の元を調べると、∧では単純化できない箇所を、∨と誤認して単純化していることを、。
[Alien] Example 3.11.4.に示している。、
Corollary 3.12の論理の大元が∧で、それ以降も連続して展開する式は∧で扱かうのが自明なのに、それ以降で展開した箇所で、大元が∨と誤認しないと出来ない単純化(過度な単純化)をしていると解析して、これを主張している。、
ショルツが過度な単純化をした箇所からそれを遡った過程で、大元が∨であったらばショルツの指摘が正しいが、大元が∧であればショルツ指摘は誤認で、論文には問題がないという査読になるのかな。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.722s*