[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
482(1): 132人目の素数さん [] 2023/03/18(土)09:20 ID:M09HE8oG(3/24)
>>385>>387
数学プロのいるうちに、ちょっと
IUTを蒸し返しておきたいのだが
1)私は、いわば野球のWBCやサッカーワールドカップの応援のミーハー同様でして
2)IUTは、数学史上まれに見る珍事だと思っています
3)普通よくあるのは、
大予想証明論文発表→ギャップ発見→論文取り下げ再検討
というサイクルだ
4)ところが、IUTは
ABC予想証明論文発表→ギャップ未発見→単純化論法のSS文書→無視して論文査読完了(出版)
という流れ
5)これの類似トラブル事例は
a)カントールの無限集合論
b)選択公理?
くらいかな、数学では?(天文学では地動説が有名ですが)
ということで
野球やサッカー同様、望月選手の活躍を期待しながら見守っているのが、私の現状です
550(1): 132人目の素数さん [sage] 2023/03/19(日)00:47 ID:+PWDAiC2(3/19)
>>482
> 私は、いわば野球のWBCやサッカーワールドカップの応援のミーハー同様でして
数学は野球やサッカーと違って見ててもつまんないからやめたら?
> IUTは、数学史上まれに見る珍事だと思っています
不正事件として?
> 普通よくあるのは、
> 大予想証明論文発表→ギャップ発見→論文取り下げ再検討
> というサイクルだ
> ところが、IUTは
> ABC予想証明論文発表→ギャップ未発見→単純化論法のSS文書→無視して論文査読完了(出版)
> という流れ
SS文書はギャップの指摘
これをRIMSが無視したので不正事件として注目された
> これの類似トラブル事例は
> a)カントールの無限集合論
> b)選択公理?
> くらいかな、数学では?
無限集合論も選択公理も不正ではないが
無限集合論はツェルメロによって公理化された
選択公理は
ゲーデルによって相対無矛盾性が証明された
つまり、
選択公理ぬきの無限集合論が無矛盾なら
選択公理入りの無限集合論も無矛盾である
そして
コーエンによって独立性が証明された
つまり
選択公理ぬきの無限集合論が無矛盾なら
選択公理を否定した無限集合論も無矛盾である
> ということで
> 野球やサッカー同様、望月選手の活躍を期待しながら見守っているのが、私の現状です
数学は野球やサッカーと違って見ても面白さが全くわからないので
そういうつまらない関心は捨てて もっとましな趣味をもったほうが人生を楽しめる
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.028s