[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
793(1): 2021/03/07(日)10:44 ID:UrORCwc2(1/3) AAS
∨と∧なんて「論理結合子」の一言でほとんどの数学者は納得する
それを向きを持つ境界付き一次元位相多様体を具体例に持ち出して説明しているのは違和感しかない
また、Cor 3.12の証明のロジックが合っていると分かってるのであれば、ギャップを埋めることは造作もないのだから、新論文を書く時間でギャップを埋めたペーパーを書けばいいだけ
そうすればフィールズ賞受賞者のお墨付きが貰え、理論の理解も進む
京都だけで理論の理解が進めばいい、と思っているのであればギャップを埋めなくても筋は通るが、査読を依頼したり新論文を読んだりを踏まえるとそうは思っていない
本人は論理的抽象的な考え方が不得手で、分かった(気になってる)のだから証明として成立している、というバイアスがかかっていると考えると辻褄が合う
査読者すら命題論理について知らない、ということはあまり考えたくはない(もしそうなら日本の数学のレベルが低すぎる)が、いずれにしても様々な理由から口を出すことが出来なかったように感じる
794(1): 2021/03/07(日)10:56 ID:EcMJkuCa(13/47) AAS
>>793
単純に∨と∧の意味というより、
M＝J/<†I~‡I> （詳細は>>780）
という仕掛けだけで都合よくすり抜けられる
と思ってる点が問題かと思う
査読については「構想の有用性」という観点からアクセプトしたのかもしれん
理由はわからんがどうもうまくいくようだという判断か
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s