23/03/19 00:47:06.21 +PWDAiC2.net
>>482
> 私は、いわば野球のWBCやサッカーワールドカップの応援のミーハー同様でして
数学は野球やサッカーと違って見ててもつまんないからやめたら？
> IUTは、数学史上まれに見る珍事だと思っています
不正事件として？
> 普通よくあるのは、
> 大予想証明論文発表→ギャップ発見→論文取り下げ再検討
> というサイクルだ
> ところが、IUTは
> ABC予想証明論文発表→ギャップ未発見→単純化論法のSS文書→無視して論文査読完了(出版)
> という流れ
SS文書はギャップの指摘
これをRIMSが無視したので不正事件として注目された
> これの類似トラブル事例は
> a)カントールの無限集合論
> b)選択公理？
> くらいかな、数学では？
無限集合論も選択公理も不正ではないが
無限集合論はツェルメロによって公理化された
選択公理は
ゲーデルによって相対無矛盾性が証明された
つまり、
選択公理ぬきの無限集合論が無矛盾なら
選択公理入りの無限集合論も無矛盾である
そして
コーエンによって独立性が証明された
つまり
選択公理ぬきの無限集合論が無矛盾なら
選択公理を否定した無限集合論も無矛盾である
> ということで
> 野球やサッカー同様、望月選手の活躍を期待しながら見守っているのが、私の現状です
数学は野球やサッカーと違って見ても面白さが全くわからないので
そういうつまらない関心は捨てて もっとましな�