20/05/10 19:46:36 4M7s5hfJ.net
>>653
他のこと話せばいいじゃん
もしそれしか話したくないなら、確かに君には書くことないかもね
686:１３２人目の素数さん
20/05/10 19:48:24 UV4h2Mc7.net
>>653
べつにふつうにあるのでは？
査読者がおかしいという外部の批判は成り立つからね。
査読者がおかしいかどうかを決めるのは査読者自身ではないから。
687:１３２人目の素数さん
20/05/10 19:49:23 e5fv2i7f.net
査読権限があるのは査読者だが、査読者はそれを口実に査読に対する批判を封じ込める権限は持たない
688:１３２人目の素数さん
20/05/10 19:52:27 4M7s5hfJ.net
その批判が成り立つのは十分内容を理解してる場合のみだな
689:１３２人目の素数さん
20/05/10 19:55:03 F6N/XZbc.net
そしたら望月の身内しか書けないな
IUTの内容を理解してるの身内以外いないし
690:１３２人目の素数さん
20/05/10 19:56:59 F6N/XZbc.net
理解しているのは身内しかいない
→身内しか批判が成り立たない
→身内が結託して証明できたことにする
まさに補題3.12である
691:１３２人目の素数さん
20/05/10 19:57:19 tIyT6EG+.net
>>651
基礎論に関する記述ミスはチェックされたほうがいいというのは理解できるが、
もし証明が正しいなら別にあっても構わないし有用なセク
692:ションだったはずだろう 実際に査読も通ってしまっている。従ってあのセクションを外野がわざわざ否定する必要がない つまり、それは証明が怪しいと思う視点だからこそ出てくる批判
693:１３２人目の素数さん
20/05/10 20:02:24 JO5jxqcd.net
証明があやしいから批判されてるんだからどうしようもなくね？
むしろなんでこれで正しそうって流れになるのかわからん
694:１３２人目の素数さん
20/05/10 20:05:06 JO5jxqcd.net
ちなみにこれを覆すにはだれか外部にむけてわかりやすく説明するしかないよ
695:１３２人目の素数さん
20/05/10 20:08:37 4M7s5hfJ.net
ある程度理解して言ってるならいいんだけど、5chの発信者すらよく分からんレスの受け売り言ってるだけでしょ
そんなん判断するに足る能力がないじゃん
696:１３２人目の素数さん
20/05/10 20:18:07.05 ADuv42ka.net
そんなこと言い出したらSTAP細胞がなぜないのか、
を説明できるやつだって当時いなかったじゃん
でもあれは手続き的なことと周囲の反応がおかしいからそれでわかる
697:１３２人目の素数さん
20/05/10 20:19:36.32 uF0p6rGG.net
そもそもたかが５ちゃんだと思うならほっときゃいいと思うんだが
マスコミのほうが冷淡だからゴシップとして５ちゃんで擁護しないといけないとかならともかく、
５ちゃんで言われてる批判はnatureや朝日新聞とかに載ってるのと変わらんのだし
698:１３２人目の素数さん
20/05/10 20:21:35 CWzkYol1.net
偉い人が間違いだの正しいだのと言っているから間違いだの正しいだのと判断するのもおかしな話やね
証明をフォローできない我々は静観することしかできないのである
699:１３２人目の素数さん
20/05/10 20:23:16 uF0p6rGG.net
>>666
なにがおかしいんだ？
社会的評価ってそんなもんでしょ？
これがフェルマーの最終定理の簡単な証明スレにいるようなやつで、
在野で意味不明なこと言ってるんだから「ああそう」でいいが、
国立の研究機関なんだから手続き的なことは社会的評価に晒されるよ。
研究機関は民主主義の聖域ではない。
700:１３２人目の素数さん
20/05/10 20:26:58 4M7s5hfJ.net
>>665
マスコミとかは別に論ふのこの内容を省くべきとかそんなことまで言ってないんじゃね
違うって意見がありますと言っててそれなら俺もそうかなと思うけど
701:１３２人目の素数さん
20/05/10 20:29:59 XrpHBNKk.net
まあもう擁護のしかたとして外野は黙ってろしかできないからね
まえまでならマスコミも好意的だったが今回は手のひら返しされてるので、
もう擁護ために使えるソースがないし
逆にいえば懐疑派はIUTを状況証拠的に追い詰め終わってるので、
あとはRIMSが出版するという暴挙に出ないか監視するだけだわな
702:１３２人目の素数さん
20/05/10 20:32:34 XrpHBNKk.net
８年間ずーっと批判し続けたかいはあったと思う
８年間掲載は見送られ続けたし、今回もEMSがやめたほうがいいと言ってくれている
703:１３２人目の素数さん
20/05/10 20:35:04.74 4M7s5hfJ.net
>>670
それ何度か聞いたことあるけど、ソース知ってたら教えてほしい
704:１３２人目の素数さん
20/05/10 21:10:44.99 JcyWczgJ.net
8年批判とかwww
705:１３２人目の素数さん
20/05/10 21:27:36 tIyT6EG+.net
>>661
いや660は形式的な話をしてんの
勿論証明が間違ってる疑いがあったら最終セクションも不要なんじゃって話になるが、その場合も本題ではない
706:１３２人目の素数さん
20/05/10 21:55:57 x8XY47ji.net
>>646
タオは20～30年に一人はでるくらいの才能。
ガウスは200年に一人でるかでないかの才能。
次元が違うよ。
>>647
あと佐藤幹夫な。
グロモフが日本の数学者の印象を聞かれたときに真っ先に佐藤幹夫の名前を
上げたそうだよ。
イマジネーションに富んだ数学と評してる。
かなり前に佐藤のインタビュー記事が新聞に載ったが、その時の記事の内容な。
707:１３２人目の素数さん
20/05/10 21:57:24 x8XY47ji.net
>>669
もう出版は止められないだろうね。
これで日本の数学
708:界は世界に恥をさらすことになる。
709:１３２人目の素数さん
20/05/10 21:58:16 x8XY47ji.net
>>644
ガウスが二十歳かそこらでやったことを考えてみ？
710:１３２人目の素数さん
20/05/10 22:05:24 V+cBk/Dw.net
>>675
その前にスキャンダルになって掲載中止になるんじゃないかなあ
711:１３２人目の素数さん
20/05/10 22:15:48 MmrWQC5e.net
まあ出版されても2015年にラガリアスが言ってるように、
どの雑誌に載るかは影響を与えると思うけどね。
PRIMSに掲載された場合は無視されるんじゃない。
712:１３２人目の素数さん
20/05/10 22:17:13 mJQc0682.net
主語がでかすぎるだろ
仮に出版されたとしてもRIMSの信用度が失墜するだけ
713:１３２人目の素数さん
20/05/10 22:20:37 x8XY47ji.net
>>677
今からでもRIMSは論文掲載を撤回すべき。
714:１３２人目の素数さん
20/05/10 22:21:27 x8XY47ji.net
>>679
その通り。
信用はガタ落ちで世界から相手にされなくなる。
715:１３２人目の素数さん
20/05/10 22:38:47 vW4pn5EU.net
>>676
平方剰余の相互法則←予想したのはオイラー
素因数分解の一意性←フォーク(伝承)としては存在していたらしい
素数定理←予想したのはルジャンドル
楕円関数←発見したのはアーベル
モジュラー形式←ガウスによる新発見
こんな感じ？
いや勿論予想を解くのも既存の理論を発展させるのも一つ一つ大変で、多くこなすのも天才だが、
テレンス・タオを超えるか？と言われると微妙な気がする
716:粋蕎 ◆C2UdlLHDRI
20/05/10 22:49:25 9DDwSwNg.net
あれ？佐藤の不等式ってなんだったっけ？
717:１３２人目の素数さん
20/05/10 22:53:00 4M7s5hfJ.net
>>682
代数学の基本定理とか正規分布の発見とかもガウスだな
結果があまりに偉大で普遍的なものだから、逆にガウスの名前ついてないのが凄い
718:１３２人目の素数さん
20/05/10 22:54:58 wJ/tXnk8.net
もっちーは何年に一人の才能なの？
719:１３２人目の素数さん
20/05/10 23:00:42 vW4pn5EU.net
>>684
代数学の基本定理は発見自体はジラールだな
ただ証明に不備があったのを指摘して書き直したのがガウス
そして正規分布を導入したのはド・モアブルだ
720:１３２人目の素数さん
20/05/10 23:14:18.56 4M7s5hfJ.net
>>686
別名ガウス分布というくらいだからガウスが発見したんかなと思ってたけど違うかった、ごめん
誤差に関する微分方程式たててそこから正規分布を導いたのか
721:１３２人目の素数さん
20/05/10 23:17:44.96 vW4pn5EU.net
>>687
名前が名前だから仕方ない
ガウスもテレンス・タオも偉大な天才であることには違いない
722:１３２人目の素数さん
20/05/10 23:38:13 TwU+Q9wE.net
ガウスはあの時代だから輝けた部分もあるだろう。
今の時代でタオほどの業績のこせるかわからない。
タオだって、ガウスの時代に生まれたとしてあれだけの業績を残せるかはわからない。
個人的には理論構築や洞察力はガウスだけど
幅広い知識や計算力を利用した問題解決能力ならタオっていうイメージ。
723:１３２人目の素数さん
20/05/11 00:03:55.53 s4nwdewx.net
はよ はよ はよ 勝利宣言
724:１３２人目の素数さん
20/05/11 02:00:21 OnBjjUaH.net
>>685
大学飛び級クラスだから、業界的には毎年100人出るぐらいの才能じゃないのか。
フィールズ賞をとって、数学では大型新人扱いだし。
725:１３２人目の素数さん
20/05/11 02:30:59 zUll5sXV.net
>>691
100人はないわ。志村以上だろ
726:１３２人目の素数さん
20/05/11 02:39:37 11c513jh.net
そんなもん
IUTが正しいかどうかで評価は
全然変わるだろ
727:１３２人目の素数さん
20/05/11 05:35:49.50 nCDQT+GL.net
オボちゃん
728:１３２人目の素数さん
20/05/11 05:39:21.71 kXMTgaMH.net
URLﾘﾝｸ(youtu.be)
729:１３２人目の素数さん
20/05/11 08:12:54 zRqOWOEd.net
>>684
＞代数学の基本定理とか正規分布の発見とかもガウスだな
驚異の定理について誰も言わないところを見ると
ここに微分幾何の人は来てないな
URLﾘﾝｸ(ja.wikipedia.org)
730:9%A9%9A%E7%95%B0%E3%81%AE%E5%AE%9A%E7%90%86 >>686 微分幾何についてはどうですかね？
731:１３２人目の素数さん
20/05/11 09:49:00 mWloblvz.net
>>696
二十歳までの仕事がどうこう言ってるし面倒くさいから個人的には言わなかったw
それも含めコンツェビッチのほうが近そうってこともあるんじゃない。未来型の数学というか
張以来のprime gapの基礎理論も開発したのは別の研究者だからね
でもGreen-Taoは彼がいなかったらまだ定理になってなかったかもしれない
732:１３２人目の素数さん
20/05/11 09:50:06 mWloblvz.net
あ失礼、686じゃないけど傍観してたってこと
733:１３２人目の素数さん
20/05/11 11:28:57 2V+rywql.net
IUT理論でABC予想よりは易しいけど非自明な問題を何か解決したらより賛同者が広がるんじゃね？
なんかない？
734:１３２人目の素数さん
20/05/11 11:55:03 OGAqzZ0o.net
abc conjectureもグラフで見ると割と自明っぽい
非自明を装って素人を煙に巻いてる気がしなくもない
見た目自明なら素人はそれで満足しちゃうからね
735:１３２人目の素数さん
20/05/11 12:04:41 0AMpyr+O.net
もともと予想を証明するというのはその証明の過程で有益な道具立てが出てくるからだから、
abc予想だけ証明できる道具立てというのは証明できてても関心が低くなりがちだと思う。
736:１３２人目の素数さん
20/05/11 13:38:45 eDIY2+lG.net
さすがに足し算と掛け算を一緒に扱える、宇宙と宇宙を比較する、そんな理論ができたら不滅の功績だろ
できたらだがな
zfc拡張して、宇宙と宇宙比較する大風呂敷が成立しているか否か、結果出るまでわからない
737:１３２人目の素数さん
20/05/11 17:19:14 mgxeQZdk.net
集合論者基礎論を勉強したこともない人たちが万能感あるいは個人崇拝のバイアスで
変な方向に突っ走っていっちゃったんだよね。
今後は強制法くらいまでは学部の講義でやった方がいいのかもな。
738:１３２人目の素数さん
20/05/11 17:41:05 zRqOWOEd.net
>>703
そもそも大学の数学科で
述語論理の完全性定理とか
自然数論の不完全性定理とか
教えてるのか？
739:１３２人目の素数さん
20/05/11 18:10:25 L3+kl27o.net
教えてはないし必要ってほどでもないけど、
大理論を作るのに道を踏み外さないのに大事ってことは分かった感
740:１３２人目の素数さん
20/05/11 18:26:03 MuhvEzZY.net
>>696
ガウスが発見者みたいだな
微分幾何はあまり分からないがテレンス・タオを超えるほどの定理なの？
741:１３２人目の素数さん
20/05/11 18:42:25 0AMpyr+O.net
ってかタオと比べてるひとなんなの？
ガウスとタオでどっちが上かなんて数学者に質問したら一笑に付されると思うが。
742:１３２人目の素数さん
20/05/11 18:53:46 qpT/6TvJ.net
そんな大袈裟な話ではないよ
遠アーベル幾何をベースにスキーム論を拡張するというのは基礎論とは直接には関係ない
前者からあわよくばって話になって進んじゃっただけで
なんにせよABC予想に宇宙の理論が必要不可欠とは到底思えないけど
多分トポスの幾何学的な範疇で十分でしょ
ただ強いて言えば、凄い事をやってやろうという野心を感じるね、悪い意味で
問題に集中しないと駄目だよ
743:１３２人目の素数さん
20/05/11 19:00:38 zRqOWOEd.net
>>708
>遠アーベル幾何をベースにスキーム論を拡張する
>というのは基礎論とは直接には関係ない
>なんにせよABC予想に宇宙の理論が必要不可欠とは到底思えないけど
そうだよなあ
少なくともPA(ペアノ算術)のレベルで証明できるレベルだと思ってるんだけど
744:１３２人目の素数さん
20/05/11 19:28:41 OGAqzZ0o.net
>>709
ではどうぞ
745:１３２人目の素数さん
20/05/11 21:03:31 x/iZDXEA.net
>>707
月とスッポンだな。数学の業績をガウス１００と
746:すればタオは１くらいだ。
747:１３２人目の素数さん
20/05/11 21:18:04.61 /rlCtgED.net
PAって結構弱いイメージだけどできるのかな？
自然数の部分集合を一つの対象として扱えないから、実数すら扱えないんじゃね？と思ってるんだけど
748:１３２人目の素数さん
20/05/11 21:31:22 v6Gsi4LY.net
話が基礎論ばかりなのは
数学に挫折したニートおじいさんがここにいすわって朝から晩までわずかな
基礎論の知識でルサンチマンを解消しているから
だから実質はＩＵＴでもなんでもいい状態
じいさんは嫁でも探せ
749:１３２人目の素数さん
20/05/11 21:45:28 lw5xDvvu.net
タオなんて単なるプロブレムソルバーだから
750:１３２人目の素数さん
20/05/11 22:03:26 qpT/6TvJ.net
まあ平たく言えば、今日のガウス級というのは量子論とディオファントス幾何の統合+人工知能だろうw
751:１３２人目の素数さん
20/05/11 22:12:46 34KL2uxx.net
現代じゃ前提知識も非常に多いし複雑化してるし、ワイルズ＞ガウス≧テレンス・タオくらいだろ
量子論とディオファントス幾何の統合とかガウスどころかワイルズ超えるわ
752:１３２人目の素数さん
20/05/11 22:15:22 B0JFll4W.net
>>714
なんだただの神か
753:１３２人目の素数さん
20/05/11 22:19:49 azmAZh35.net
>>711
ガウスともっちーの割合は？
754:１３２人目の素数さん
20/05/11 22:23:03 34KL2uxx.net
グロタンディーク予想の解決くらい？
テレンス・タオ＞望月くらいかね
755:粋蕎 ◆C2UdlLHDRI
20/05/11 22:23:41 4k3m/zJi.net
>>718
静かに｡
756:粋蕎 ◆C2UdlLHDRI
20/05/11 22:25:35 4k3m/zJi.net
やべ合わない酒を呑んだ
うー冗談抜き、うー
757:１３２人目の素数さん
20/05/11 22:29:25 qpT/6TvJ.net
でもそうなるとガウスとグロタンならどうなるんだろうか？もはや比較できない領域になってくる気もする
もうちょいわかりやすいなら、グロタンとリーマンは大体同じくらい偉大だろう
758:１３２人目の素数さん
20/05/11 23:57:59 x/iZDXEA.net
ガウスとタオを比較するなんてことは、ベートーベンとさだまさしを比較するに
等しい。しかし、人間性ではタオとさだまさしの方が勝っている。それだけが
唯一、凡人にとっての慰めだ。
759:１３２人目の素数さん
20/05/12 00:08:54 VcTKxGmN.net
だいたいIUT理論はABC予想の証明も確定していないし、実績の上じゃまだゼロよ
760:１３２人目の素数さん
20/05/12 00:16:47 /osh8u+Y.net
ワイルズの評価高すぎだろ。
ガウスは比較できん。ガウスはグロタンディークとラマヌジャン足した感じ。
761:１３２人目の素数さん
20/05/12 00:17:12 /osh8u+Y.net
>>724
それは望月舐めすぎ。
762:１３２人目の素数さん
20/05/12 00:23:02 lajADy8N.net
>>725
ガウスの時代とは違って多様で複雑化した色々な数学の分野を使いこなし、殆ど一人で谷志予想を解決したワイルズはガウスより天才かと
763:１３２人目の素数さん
20/05/12 00:24:17 TQ4Qmq79.net
今回のプロセスで帳消しでゼロまたはマイナス
764:１３２人目の素数さん
20/05/12 00:31:49 AmK+jcai.net
>>723
さだまさし出すくらいなら中島みゆきくらいにしてあげたらいいのに…
765:１３２人目の素数さん
20/05/12 00:38:47 QEQfkDrU.net
思ったんだけど、typoの修正を大量にしている（長い論文だから仕方ない)けど、レフリーはそこすらも指摘せずに、ただただ絶賛してたわけ？
766:１３２人目の素数さん
20/05/12 01:03:23.71 HlS2vCHp.net
typoに気が付かない程度にしっかりと査読したんでしょ
767:１３２人目の素数さん
20/05/12 01:07:14.16 /osh8u+Y.net
数論で望月よりすごい人そもそも日本にいる？
768:１３２人目の素数さん
20/05/12 01:08:14.83 /osh8u+Y.net
>>727
おれは同意しかねるがそういう意見もあるだろうなあ。
769:１３２人目の素数さん
20/05/12 01:15:57.23 /osh8u+Y.net
>>730
これまで数百箇所指摘あったと書いてたよ。細かいチェックはされてる。
770:１３２人目の素数さん
20/05/12 01:19:39.04 HlS2vCHp.net
>>734
アクセプト後の修正については？
771:１３２人目の素数さん
20/05/12 01:32:31.26 /osh8u+Y.net
>>735
それは知らん。多分いまWEBにあるのが最終じゃないの。
772:１３２人目の素数さん
20/05/12 0
773:2:20:57 ID:2lBoS/UZ.net
774:１３２人目の素数さん
20/05/12 06:03:30 gmSQkuCI.net
>>712
>（PAって)自然数の部分集合を一つの対象として扱えないから、
>実数すら扱えないんじゃね？
確かに、PAで実数は定義できないから解析学は展開できないね
一方で、PAに算術的内包公理を追加したACAでは実数が定義可能
かつ、大抵の数学の定理はACAで証明できる
そして、ACAでも証明できる算術の定理はPAと同じ
したがって、もしABC予想がACAで証明可能ならPAでも証明できる
775:１３２人目の素数さん
20/05/12 07:06:49 q4EiO+Ev.net
IUT論文は4月12日 4月18日 4月22日
も修正されている。
PRIMS編集委員会(望月新一編集長)
は投稿規定や編集委員規定や編集規定
を公開してください
776:１３２人目の素数さん
20/05/12 09:18:47.62 HjFiIVBO.net
>>732
和也先生や肥田先生はアメリカ在住だし
国際的に評価される業績を挙げたという意味では辻先生くらい？
数論で日本在住の日本人数学者だと普通にモッチーが日本トップじゃね（IUTT抜きでも）
777:１３２人目の素数さん
20/05/12 09:29:15.91 AnXVVdWI.net
自画自賛ですか？
778:１３２人目の素数さん
20/05/12 09:41:03.29 bLFrGOKZ.net
アンチって変なの多いよね
779:１３２人目の素数さん
20/05/12 09:49:40.26 lajADy8N.net
>>732
高木貞治
780:１３２人目の素数さん
20/05/12 10:21:28 WzT8mfCJ.net
>>739
あんな長い論文当たり前だろ
馬鹿なのか？
781:１３２人目の素数さん
20/05/12 10:34:46 lSMaIV9+.net
ただただディスりたいだけの素人だろ
魂胆が疑わしいレベルのデマ流してる怪しい輩がいるぞ
782:１３２人目の素数さん
20/05/12 10:41:26 roB2HcCF.net
公開してください → 馬鹿なのか？
なんかつながってない
783:粋蕎 ◆C2UdlLHDRI
20/05/12 10:43:17 JxKxPdjg.net
盲信者や盲アンチに成る位なら我関せず知らぬ存ぜぬの無定見無所属に甘んじる方が幾億倍マシ｡
そもそも過信は無定見信仰じゃし過疑にしても無定見懐疑｡
784:１３２人目の素数さん
20/05/12 10:49:38 f1w7ju6S.net
単発IDコロコロしてまでディスってる奴って何者？
日本人が妬ましくて足引っ張りたいだけのアノ連中？
785:１３２人目の素数さん
20/05/12 11:18:02.18 Q+21y1m4.net
RIMSは平成28年6月の時点で、
IUT論文より査読中ながら
abc予想は解決した、と公式に
表明した
↓
京都大学数理解析研究所
第2期中期目標期間(平成22年～
平成27事業年度)について
1 現況調査表 平成28年6月
p 28-3 資料 2. 発表論文数 所員の発表
論文数 査読付き論文のみ
p28-10 事例4「数論幾何の研究」
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての
ABC 予想の解決は、特筆 すべき
出来事である。」
「当該論文は現在査読中であるが、 」
「望月新一が同理論の概要を解説した業績番号1― (2)(2014)が、講究録別冊
として刊行されている」
(RIMS現況調査表。
京都大学.数理解析研究所が文科省
所管の独立行政法人 大学改革支援・
学位授与機構へ提出)
URLﾘﾝｸ(www.niad.ac.jp)
2 現況分析結果 平成29年6月
注目すべき質の向上 p28-4
○「数論幾何の研究」の「宇宙際
タイヒミューラー理論」の構築と
その結果と しての ABC 予想に
関する論文は、国内外の主�
786:vメディアで取り上げられている (現況分析結果。 文科省所管の独立行政法人 大学改革 支援・学位授与機構が京都大学数理 解析研究所の現況を分析、 RIMSの現況調査表「IUT理論の構築と その結果abc予想が解決した」は削除 された) 平成29年6月 https://www.niad.ac.jp/sub_hyouka/kokudai2016/no6_3_55_kyoto_2016_1.pdf
787:１３２人目の素数さん
20/05/12 11:29:33.34 /osh8u+Y.net
>>740
順当に見ればそうだよね。
788:１３２人目の素数さん
20/05/12 12:27:35 13u9CvEi.net
数論というか数論代数幾何の話だよねそれ
その外だと比較自体難しいよ。迷惑だろうから名前は挙げないにしても
789:１３２人目の素数さん
20/05/12 12:47:58 edWvmwU4.net
日本からアインシュタインがでてきた
790:１３２人目の素数さん
20/05/12 12:54:07 /osh8u+Y.net
>>751
同意。比較厨のアンチが多いから一旦この議論が出たのはいいと思う。
791:１３２人目の素数さん
20/05/12 13:02:20 LthUTyJJ.net
比較厨のアンチとは？
もともとタオとガウスのどっちがって話で望月と関係なかったのに、
ID:/osh8u+Yがぐだぐだ話を拡大させただけじゃん。
792:１３２人目の素数さん
20/05/12 13:12:38 OW6ET8po.net
愛UTスレでガウスとTAOをくらべる意味ってあるのかな
せめてガウスとモッチ、タオとモッチ、ショルツェとモッチを比べて欲しい
793:粋蕎
20/05/12 13:32:25.78 JxKxPdjg.net
望月は餅衝きの刑
794:１３２人目の素数さん
20/05/12 13:41:50.10 ChCwp48E.net
>>746
可哀想。
繋がらないし、ピンとこないｱﾚﾚに生まれついちゃったんでしょうか…
795:１３２人目の素数さん
20/05/12 17:58:53 Wcl7UiUc.net
現代数学の今月号(2020年6月号)の山下純一の記事に、
望月論文の雑誌掲載とそれに対する批判の経緯が載ってる。
来月号に続くので、続きを早く読みたい。
796:１３２人目の素数さん
20/05/12 18:31:11.68 FHp+AoQl.net
例え話にさだまさしが出てくるあたりかなり年齢層高いなここ
797:１３２人目の素数さん
20/05/12 20:15:21 LHLoA2rw.net
>>759
さーだーまーさーし
798:１３２人目の素数さん
20/05/12 20:53:47 n1GZ65kN.net
望月氏とガウスを比較っておかしすぎる ガウスは最上位
たとえば以下の数学者の方が全然上
（というかABC予想証明とかいうのがだめだったら大変）
ヒルベルト、リーマン、ゲーデル、ガロア、ポアンカレ
アーベル、クライン、ワイルズ、デデキント、ディリクレ
ヘルマン・ワイル、グロタンディーク、アティヤ
エルミート、ケイリー、タオ、ルベーグ、エミール・アルティン
カルタン、小平邦彦、ヴェイユ、シュヴァルツ
広中平祐、ポントリャーギン、シロー
ロバチェフスキー、エミー・ネーター、コーシー
ハミルトン、コルモゴロフ、ヤコビ、ミンコフスキー
ド・モアブル、ストークス、クロネッカー
トンプソン、ドリーニュ、岩澤健吉、高木貞治
799:１３２人目の素数さん
20/05/12 21:14:22 n1GZ65kN.net
>>761
これらの数学者にも及ばない
フォン・ノイマン、ラマヌジャン、カントール
ブール、ペレルマン、ワイエルシュトラス
アーノルド、ド・モルガン、チェビシェフ
ソフス・リー、ハウスドルフ、リウヴィル
セルバーグ、リャプノフ、クンマー
カラテオドリ、グラスマン、マンフォード
フロベニウス、コンヌ、ピカール
グロモフ、ジーゲル、クーラント、ジョン・テイト
シューア、ショルツェ、コクセター、ヘッセ
バーンサイド
800:
20/05/12 21:50:27.73 UefxpRCw.net
>>761-762
アルキメデスが抜けていますね
801:１３２人目の素数さん
20/05/12 21:59:51 8wZovSMM.net
>>763
風呂から飛び出して、フルチンまま絶叫しながら街中を疾走したヒトか
802:１３２人目の素数さん
20/05/12 22:05:59 n1GZ65kN.net
これはガウス以降の人達
803:ね
804:１３２人目の素数さん
20/05/12 22:18:00 d2xoUXcj.net
>>758
要約して
805:１３２人目の素数さん
20/05/12 22:18:32 VcTKxGmN.net
結果を出す前から、胡散臭いアピールが多いのよね。
まあ本人がしていることではないと思うけどね。
証明できたとしても、ノーベル賞2つ3つじゃ足りないってことはあり得ないし
できなかったら、大学の普通の数学者じゃないの。
806:１３２人目の素数さん
20/05/12 22:26:35 Wcl7UiUc.net
>>766
山下純一氏の記事を一言で要約すると、
「望月vsショルツェ」
ですかね。
来月号に続く予定。
807:１３２人目の素数さん
20/05/12 22:28:40 e0SQqmzZ.net
>>764
現代で大発見したとして、ふるちんで走り回る数学者っているのかな
808:１３２人目の素数さん
20/05/12 22:41:15 /osh8u+Y.net
>>767
グロタンディーク予想
809:１３２人目の素数さん
20/05/12 22:44:54 0bq0yH9u.net
グロダンディーク予想って予想に大数学者の名前がついてるだけで、
べつにそこまで重要な予想じゃなくね？
810:粋蕎 ◆C2UdlLHDRI
20/05/12 22:45:05 JxKxPdjg.net
>>760
スーパーマリオワールドに歌詞つけんの自重せいよ(笑)
811:１３２人目の素数さん
20/05/12 23:32:29.60 HlS2vCHp.net
>>769
少し違うかもしれんが
加藤和也が大学院生のときにほぼ全裸で数学しながら外出してしまって警察に捕まったことは有名だな
812:１３２人目の素数さん
20/05/13 00:41:35 l7uaOAeo.net
望月さげをしたいだけのじいさんの集まり 不見識さらしまくり
813:粋蕎 ◆C2UdlLHDRI
20/05/13 01:08:17 PCZ7zAff.net
お婆ちゃん帰りましょう
814:１３２人目の素数さん
20/05/13 01:41:29.84 14lf73gR.net
>>771
ワロwww
815:１３２人目の素数さん
20/05/13 01:54:01.11 izAtyKG3.net
グロダンディークは、偉い人だな。
俺でも知っている。
816:１３２人目の素数さん
20/05/13 02:12:30 oLzkPZDK.net
ヴェイユとセールが裸で中禅寺湖で泳いだとかいう話があったような。
817:１３２人目の素数さん
20/05/13 05:25:32.74 tiW6QYt6.net
>>764
要約して
818:１３２人目の素数さん
20/05/13 06:42:15.13 ET3/7/TL.net
>>758
やっと日本でも「望月の証明には懐疑的な意見もある」という真実がぼつぼつ活字になるようになったか。
いままでは数学板のこのｽﾚだけでしか日本語の懐疑的な意見を読むことができないという異常な状態だったからな。
大体、玉川が「ショルツが再反論しなかったから望月は正しい」などと言った時記者団は突っ込むべきだった。
RIMSは明らかにわかってないのに論文を通過させたんだから。
819:１３２人目の素数さん
20/05/13 06:51:23.25 YxiDM0Si.net
>>780
そういえば、数セミってこの件について全く言及してないと思うけど
＞「ショルツが再反論しなかったから望月は正しい」
「望月は正しい」じゃなくて「論文を受理した」じゃね？
理由も「正しい」じゃなくて「誤りが見つからなかった」だろうね
気付いてて見過ごしたんなら悪意だが、気づかなかったんならただの過失
玉川氏がいいたいのはそういうことじゃね？ 真相はともかく
820:１３２人目の素数さん
20/05/13 07:21:04 Csv36UPM.net
>>746
雑誌掲載した経験があればわかる ｗ
投稿して掲載で、雑誌側で校正する場合には、
雑誌のプロの校正者により、数ページの論文でもmisprintや校正意見の連絡が来て、訂正する。
ましてや数百ページで ＞あんな長い論文当たり前だろ、は>>744に同意見 。
知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、、
＞馬鹿なのか？ になるよ。
821:１３２人目の素数さん
20/05/13 08:39:11 fEDmqJEG.net
>>782
ま、RIMSの教授(PRIMS編集委員)は、
査読中にabc予想を解決した、
と公式報告したんだよね。
>>749
822:１３２人目の素数さん
20/05/13 10:01:33 Csv36UPM.net
>>783
雑誌掲載での校正は、雑誌掲載の後の順序で、行なわれる作業だよ。
まさか掲載決定する前で、掲載するかも分からない論文を、雑誌に費用を払って、校正して貰うことは無いだろ。
それが普通の順で、それ以外の順序(雑誌校正後に掲載決定）はまず無いだろうから、PRIMSも同じでしょ。
823:１３２人目の素数さん
20/05/13 10:03:06 Csv36UPM.net
ｘ雑誌掲載の後の順序で、
〇雑誌掲載決定の後の順序で、
824:１３２人目の素数さん
20/05/13 10:05:41 X+6dFqm7.net
>>779
すでに限界以上に(肝心なところすら省かれるまでに)要約されてるだろw
825:１３２人目の素数さん
20/05/13 10:19:40 a2PawawM.net
そもそもグロタンティーク予想のときから身内持ち上がりっぽいところがあるんだよね。
Grothendieck conjectureというのはRIMS界隈の造語なんだよ。
ふつうGrothendieck conjectureと言えば、
Grothendieck–Katz p-curvature conjectureのことなんだが、
これを望月が解いたわけじゃないから。
海外の数学者にGrothendieck conjectureって知ってるか、って聞いて、
望月が解いた遠アーベル幾何予想のほうを答えるひとはいないだろうな。
826:１３２人目の素数さん
20/05/13 10:20:21 fEDmqJEG.net
>掲載決定する前で、掲載するかも
分からない論文
PRIMS編集委員(RIMS教授)は
IUT論文の査読中にありながら
abc予想がIUT論文より解決した、
と公式報告した。
査読中から結論が決まっていた、
827:１３２人目の素数さん
20/05/13 11:06:33 Csv36UPM.net
>>788 よく読もう。
>>739で、
＞IUT論文は4月12日 4月18日 4月22日
＞も修正されている。
＞PRIMS編集委員会(望月新一編集長)
＞は投稿規定や編集委員規定や編集規定
＞を公開してください
で、4/3以降のミスプリント訂正だけど、「それが理由で基準公開しろとの話に関して」、
＞知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、
＞馬鹿なのか？ になるよ。
これは確かに、馬鹿なのか？、レベルだと同意しているだけ。
掲載版が、決定版と違えば、変更したのが校正側か著者側かも、校正稿の記録で分るだろうし ｗ
あと、「雑誌決定後に著者がミスプリ訂正以外で変更する」とか、「その他」には、何も言及していない。
単に「雑誌掲載決定後に、プロの校正が入れば、ミスプリの訂正が入る」のは、大抵の雑誌校正では普通だと思うよ。
828:１３２人目の素数さん
20/05/13 11:11:29 aRkbFXYG.net
PRIMSは正しいよ。
投稿者より優秀な査読者が見つからなかったら
受理は当然だよ。
問題なのは上記を明言せずに、ごまかしたみたいな印象の受理をしたこと。
829:１３２人目の素数さん
20/05/13 11:14:37 6BWcsxUZ.net
元々査読中にIUT論文の結論が決まって
いるから、査読制度が崩壊しているね。
830:１３２人目の素数さん
20/05/13 11:35:38.40 fEDmqJEG.net
現代数学山下純一氏の記事を読んだけど
>>749の話がなかった。
これ矛盾していますが
日本の数学界はお墓に持っていくの
だろうか？
831:１３２人目の素数さん
20/05/13 11:39:46.85 pZyVWpwd.net
もうガッキーと結婚できないの？
832:１３２人目の素数さん
20/05/13 12:10:49.84 +KLoGeGf.net
>>787
まあ、それだとしても遠アーベル幾何的には基礎的で重要な問題なんじゃないのかね。
833:１３２人目の素数さん
20/05/13 12:15:22.31 3mQ51YEL.net
>>792
もうあんたいいよ、粘着してる同一人物でしょ？
あの報告書は事務が用意するもんだから、学術的な根拠にならないのよ、つまり間違いもある
事務に解決か解決じゃないかの違いはあまり意味がないのよ
834:１３２人目の素数さん
20/05/13 12:22:02.73 tiW6QYt6.net
ガッキーと結婚。。。
デキル?☆デキナイ？★とかは、ぜんぜん別問題のａｂｃ予想なんだと思います。
835:１３２人目の素数さん
20/05/13 12:23:02.68 QscwWYkK.net
石田ゆり子さんがお似合いなのに結局若い女がいいのね、もっちーも(*`Д')
836:１３２人目の素数さん
20/05/13 12:33:26.38 tiW6QYt6.net
>>797
w
気持ちわかるわかる~
(タメ口)
でももっちーJr.に増えて頂きたいから…若い奥様に期待したぃ希ﾓｽ…
837:１３２人目の素数さん
20/05/13 12:39:11.01 /XMNRK6t.net
RIMSの助教とかどうよ
838:１３２人目の素数さん
20/05/13 12:45:29 tiW6QYt6.net
ぜひ＊くっついて＊頂いて
もっちー×優秀な若手
839:研究者女性のＪｒ.に続々誕生して頂きたぃ!
840:１３２人目の素数さん
20/05/13 12:47:28 DP2x7J2V.net
マジでdtなん？
841:１３２人目の素数さん
20/05/13 12:49:55 tiW6QYt6.net
人生のなにもかもすべて数学に替えてきたのかも。。。
842:１３２人目の素数さん
20/05/13 12:50:46 pZyVWpwd.net
でその数学で失敗か...
843:１３２人目の素数さん
20/05/13 12:53:13 fEDmqJEG.net
>>795
教授会の責任ですよ
844:粋蕎 ◆C2UdlLHDRI
20/05/13 15:17:43 PCZ7zAff.net
もっちーもお猿の一石ﾁﾞﾁﾞｯﾁｬﾏも安達弘志氏も皆、種切れじゃろ、子作りは望めん
845:１３２人目の素数さん
20/05/13 16:46:44.67 uMe8boWM.net
>>805
ほいよ
URLﾘﾝｸ(www.j-cast.com)
j-cast 文 ヤンヤン| 似顔絵 池田マコト
世界最高齢「父親」！インド96歳に赤ちゃん「そろそろ妻に避妊させなきゃ」
2012年10月18日13時13分
(抜粋)
これは盛り上がった。世界最高齢の父親になった男の話だ。インドのラマジット・ラグハブさん96歳 が今月5日（2012年10月）、めでたく元気な男の子を授かった。母親はシャクンターラさん52歳だという。ラグハブさんは「子どもの名前はランジットといいます。神様が私に授けてくださったんです。精力剤などは飲んでいませんよ」という。
専門医「生きている限り精子はできる。子どもを作ることは可能」
医学的には可能なのだそうだ。東京EDクリニックの玄于享院長は「生きている限り精子はできる。子どもができるというところまでいくことは可能だと思います。普通ならば、96歳というとまあいろんな意味でね、引退ですよね」話す。
菊川怜キャスター「本当に96歳なんですか」
笠井は「一応、記録が残っている」とギネスブックを引っ張り出した。92歳のオーストラリア 人というのが「最高齢パパ」の記録になっていたが、ラグハブさんは実は94歳の時にこの記録を更新していた。つまり、2年前にも子供を作っていて、今回は自己記録を更新したというのだった。いったい子どもは何人いるのかと調べたら、子どもは前回の子（2）と今回の子の2人だけだという。
司会の小倉智昭「いままで何をやってたんだ！」（大笑い）
スタミナの秘密は早寝早起き「5時起床、庭いじりして昼寝と散歩、8時就寝」
846:粋蕎
20/05/13 16:56:56.64 PCZ7zAff.net
インドやスリランカは自然の精力剤の宝庫じゃバカモン
847:１３２人目の素数さん
20/05/13 17:10:05 YxiDM0Si.net
>>806
＞菊川怜キャスター「本当に96歳なんですか」
つっこみどころはそこじゃない！
「本当にオジイチャンの子供ですか？」
DNA解析による真相の究明が望まれる・・・
それにしても子供の母親は52歳・・・
そっちのほうが（本当なら）驚きだろう
848:１３２人目の素数さん
20/05/13 18:50:36.22 oIxfYiIk.net
そもそももっちーは結婚したがってるのかね
かわいくて清楚なおなごを遠くから見てるだけでいいっていう昭和の乙女思考かもしれないじゃない
849:１３２人目の素数さん
20/05/13 20:39:24 DP2x7J2V.net
キモいなw
850:１３２人目の素数さん
20/05/13 20:55:07 hePxQ2qs.net
ロリコンはちょっと
851:１３２人目の素数さん
20/05/13 21:11:44.18 tiW6QYt6.net
４４歳年の差婚カップル…
夫５４歳のとき夫人１０歳…
新郎６４歳＆新婦２０歳くらいの年の差新婚夫婦でスタートしてるのかも。。。
852:１３２人目の素数さん
20/05/13 21:17:39.
853:50 ID:tiW6QYt6.net
854:１３２人目の素数さん
20/05/13 21:34:48.04 E9JN6Eqz.net
ラサール石井の嫁が34歳差だろ
モッチーならまだ全然可能だよ
855:１３２人目の素数さん
20/05/13 22:12:55 1TX6Uk/U.net
可能だけど、芸能人と違ってカタイ職業だからちょっとキモイかなw
マスゴミ嫌いで嫁はロリって、ガチってかんじがするし
856:１３２人目の素数さん
20/05/14 08:13:54.15 DuNeW6DF.net
ガッキーの気持ちを考えてやれよ
857:１３２人目の素数さん
20/05/14 09:00:43.89 gHMRZlUf.net
逃げ恥またやるんだな
もっちー、喜んでるかな
858:１３２人目の素数さん
20/05/14 17:07:49 3MIu7ObK.net
京大山中所長
「一人から何人に感染が広がるかを
示す実効再生産数（Rt）を１未満で
維持することが目安になります。」
「Rtは統計や公衆衛生の専門家でない
と算出できないと思い込んでいましたが、昨日に紹介した論文でエクセルを使って算出する方法が報告されています」
「大阪府民である私から見ると、
大阪府のRtが4月21日に1を下まわり、
5月1日現在で0.6程度という計算結果は、府民の努力が報われているようで嬉しく思います」
↑
素人の所長が公式をエクセルで計算
し他人を振り回してはいけません。
高校生へオイラーの公式を振り回し
威張る高校教師を想起します、
大阪府民が大喜びなら大きなお世話
でしょうが。
まずデータの注意書きは必ず読みましょう。
859:１３２人目の素数さん
20/05/14 17:09:41 3MIu7ObK.net
>>818
Rtは臨界.閾値に関係し、まず
SIRモデル=KMの微分方程式
力学系 V-Tグラフ 臨界 閾値の定理
ミクロからマクロへ からでしょう
高校の数学物理生物を読みましょう。
また京大RIMSからも、IUTによる
チャート式COVID19流行の
「大予言」がありそうです。
英国フェセンコ曰くIUTは天気予報も
改善する可能性もあると。
なら天気予報特に集中豪雨よりも
感染症流行の方が予測は容易いはず
実際は
英国 感染者数 230264人
死者33264人
デフォー「ペスト」の世界の再現か？
COVID19を避難し郊外でIUTの
ポストモダン物語を書くためか？
860:１３２人目の素数さん
20/05/14 18:30:01 gkLkdBaO.net
>>818
宝くじに当っただけなのに、
自分は頭がいいと思い込んでしまったんだろね。
861:１３２人目の素数さん
20/05/14 19:54:34 1sT+4Tsx.net
山中教授はコロナのホームページ張り切って立ち上げたり
ノーベル賞の俺が国民を救ってやんよ感が出すぎてるよな
純粋な知的活動による業績ではないので俺はあまり好きではない
862:１３２人目の素数さん
20/05/14 20:18:31 2NOWxv+e.net
山中先生。。。
エリートらしい社会意識の高さがうかがえるご活躍ぶりが大変頼もしく感じられます。。。
(素晴らしい方だな)って拝見してます。。。
863:１３２人目の素数さん
20/05/14 20:27:56 Y6zl8CwR.net
高校物理で類似なら原子核崩壊や気体分子の衝突確率モデル、更に確率のパーコレーションも感染症の拡散モデルがあり
�
864:ﾕ界がある。 反応拡散方程式なら趣味の範囲かw 類似は類似で感染症は素人だから クラスター班の分析を興味深く見ているだけの人も多い。 素人でも北大数理モデルチームが優秀なのはわかるw 数学セミナーにシンプルな分析方法の記事があるね、
865:１３２人目の素数さん
20/05/14 20:41:42 vRmthIhC.net
山中って本当に馬鹿だな
866:粋蕎 ◆C2UdlLHDRI
20/05/14 20:56:21 wmtQoKkt.net
>>820
宝くじが当たって頭が本当に頭良いか否かが分かるのかは其の後に分かる事じゃな｡
867:１３２人目の素数さん
20/05/14 21:10:02.56 gHMRZlUf.net
山中教授は医学会では苦労人
挫折経験してるから強い
マラソン好きだし、高校のマドンナ的同級生と結婚したわけだから性格も非常にマトモ
868:１３２人目の素数さん
20/05/14 21:21:57.57 pZ26aQiB.net
>>826
誰かさんへのあてつけか？w
869:１３２人目の素数さん
20/05/14 21:30:13.52 vRmthIhC.net
コロナで迷惑かけまくってる馬鹿山中がまともとか
870:１３２人目の素数さん
20/05/14 21:38:39.09 44IPwDRu.net
誰に迷惑かけたんだ？
871:１３２人目の素数さん
20/05/14 21:56:58.18 gZVaGCKZ.net
山中さんが大阪府在住ということの方に驚き
わざわざ大阪から京都大学まで通ってるのかよ
872:１３２人目の素数さん
20/05/14 22:13:23.77 gHMRZlUf.net
まあ、京都と大阪なら大阪のほうが圧倒的にすみやすいだろうな
買い物が不便なのにくわえ、京都はいけず文化だから、よそさんが一家を構えるとくっそめんどくさそう
大阪ー京都駅は新快速で３０分、京大まではそこからまだ距離があるがまあ通勤可能
奈良から通ってる人も結構いるしな
結局近畿圏は大阪発だと一時間もあれば、西は姫路、南は和歌山、北は京都、東は奈良、全部いける
もっちーはその辺に住んでるんだろうな
873:１３２人目の素数さん
20/05/14 22:31:36.50 zoyJ8R2P.net
ノーベル賞受賞者が電車通勤していると思っているのか…
874:１３２人目の素数さん
20/05/14 22:40:33.28 pZ26aQiB.net
山中伸弥スレ
875:１３２人目の素数さん
20/05/14 22:45:39.58 cMcww6Xf.net
運転手つきなのか、大阪市内から車なんてぜいたくだなぁ
もっちーなんてなんじゅうねんもじてんしゃなのに( ;´･ω･`)
876:１３２人目の素数さん
20/05/14 23:03:20.28 Y6zl8CwR.net
>>831
買い物なら商店街があるよ
877:粋蕎 ◆C2UdlLHDRI
20/05/14 23:50:56 wmtQoKkt.net
何で京都府民平均食費って毎月毎月高いん？大御所揃いだからかと思いきや庶民でも他より高い言う｡
878:１３２人目の素数さん
20/05/14 23:55:36 vRmthIhC.net
>>829
迷惑かけてないと思ってんのか
馬鹿が
879:１３２人目の素数さん
20/05/15 01:45:18 3dOo0xKH.net
>>837
だから誰に迷惑かけたんだよ
お前一人にか？
880:１３２人目の素数さん
20/05/15 05:27:53.35 MyodKDsU.net
>>830
別に不思議ではない
経済的に余裕があると、枚方市内の高級住宅街に住んで京阪で出町柳まで出て、そこから徒歩で大学まで行くという人がわりといるよ
881:１３２人目の素数さん
20/05/15 07:33:17 tkQ9tPR6.net
PCR検査をしないと駄目とか、検査して、陽性率が高いからまだ駄目とか
ただの馬鹿なコロナ脳のキチガイの一人だったじゃん
BCGでインフルエンザ以下の病気だはっきりした頃にそう言ってた
謝罪して、腹を切れ
882:１３２人目の素数さん
20/05/15 09:35:38 /UwGd51f.net
>>101
ショルツに関しては同じ分野の研究者が
「こんなに若い人(に先に結果出されてしまった？)なのは屈辱的でした」
ってインタビューに応
883:じてたから、やっぱり“脅威の新人”の存在は影響が大で、ショルツの言葉は同じ“業界”の先輩研究者には刺激的なのかも。
884:１３２人目の素数さん
20/05/15 09:36:11 4x6ffprZ.net
基本的な質問で恐縮ですが
Q.IUTで、ABC予想の以下の形の式
c<K(ε)rad(abc)^(1+ε)
について、K(ε)は具体的に求まりますか？
求まる場合、求め方についても教えて下さい
求まらない場合 その理由について教えて下さい
885:１３２人目の素数さん
20/05/15 09:38:32.03 Y+aia1Fj.net
>>834
もっちーか"わ"え"ぇ"な"ぁ"...
886:１３２人目の素数さん
20/05/15 09:39:16.48 Y+aia1Fj.net
>>836
グルメだからさ。(適当)
887:１３２人目の素数さん
20/05/15 09:43:25.35 Y+aia1Fj.net
>>838
そうだよ。(迫真)
837っちがどんだけ山中さんに迷惑掛けられてきたか、、、
彼のことを考えるだけで837っちは、悔しくて妬ましくて、
夜しか眠れなくなっちゃってるんじゃないのか？
知らんけど。
そりゃ憎いよなー(棒
888:１３２人目の素数さん
20/05/15 10:04:28.96 F3aivaCY.net
>>841
しかもさわやかイケメンだしな
30くらいまではどうしてもギラギラしてるし野心満々だし隠しても生意気が出てるし
自分がおっさん化したことまざまざと思い知らされて悔しくなっちゃっても仕方ない
じゃないと学部生なんて単語も出てこないとおもうね
889:１３２人目の素数さん
20/05/15 11:32:02 IZlBj0N0.net
>>834
何十年も自転車って本当？
890:１３２人目の素数さん
20/05/15 11:37:05 kyzBmJ2/.net
教授陣
「結局みんな・・・
若い子の方に期待しちゃうんでしょ？#ムキキキイィッ！#」
891:１３２人目の素数さん
20/05/15 11:46:34.78 QpQhaKOp.net
>>847
少なくとも、文元さんが京大にいた頃、北部構内で自転車に乗ったもっちーとバッタリ再会したと著作で述べている
最近だと4月初めのアクセプト発表時、記者がもっちーにinterviewを試みたが拒否され、自転車で去っていったという記事が出ていた
892:１３２人目の素数さん
20/05/15 12:05:41 IZlBj0N0.net
独身なら自分に使える金は結構あるはずだけどどこに使ってるのかな
893:１３２人目の素数さん
20/05/15 12:11:00 H1pyin2R.net
大学のそとはどうか知らんが、
構内で専用自転車というのは特に珍しくない。
東大も本郷では自転車で移動している教師はちらほらいる。
894:１３２人目の素数さん
20/05/15 12:16:27 QpQhaKOp.net
性格的に徹底的に無駄を省いてそうだから、四畳半の独身寮に未だ住んでで驚かないよ
895:１３２人目の素数さん
20/05/15 12:22:34 wa/ZlrKd.net
そこでIUT密教が生まれたのか
896:１３２人目の素数さん
20/05/15 12:24:11 3dOo0xKH.net
>>852
そうか？
大量にあるRemarkとか、"!"とか、無駄を省く方向とはむしろ逆な気がする
一方で、重要な単語をインラインで定義していたりして、よくわからんけど
897:１３２人目の素数さん
20/05/15 12:28:56 kyzBmJ2/.net
ちゃんと貯めてればガッキーも満足の新居が用意出来るのかな...
898:１３２人目の素数さん
20/05/15 12:58:27 HQlUCdl1.net
だって大阪じゃ成立しないんだろ？
生活じゃないぞ定理のはなしだぞ
899:１３２人目の素数さん
20/05/15 13:31:41.31 wa/ZlrKd.net
なるほど
山中 自画自賛の大阪モデル
望月 京都追分町限定abc「定理」
900:１３２人目の素数さん
20/05/15 14:00:04.00 ZQxGfEMi.net
山中望月ってなんか漢詩っぽいな
901:１３２人目の素数さん
20/05/15 14:20:00 +wN+V0p+.net
望月＆星コンビは宇宙祭っぽいなーっておもった。
902:１３２人目の素数さん
20/05/15 14:41:45.51 tkQ9tPR6.net
山中�
903:ﾍコロナ脳で迷惑かけまくってる馬鹿な有名人の一山にすぎない 死んだ方がいい
904:１３２人目の素数さん
20/05/15 15:41:27 A7RXUfqX.net
山中望月が日本の2大至宝だぞ
905:１３２人目の素数さん
20/05/15 15:58:44 58GZNA2k.net
文元本並んでるね
深い意味はなくて、アクセプトしたから刷ったんだろうね
906:１３２人目の素数さん
20/05/15 16:01:10 ofoiXtbS.net
>>858
中央線沿線に居着いたバカ田夜間あたりが最高学歴のサブカル老人こそ大月以西に強制移住させてミヤイリガイ除作業やら京大八回生モンキーにエサをやる朝三暮四作業員に再雇用してやってほしい。
907:１３２人目の素数さん
20/05/15 17:03:49 H1pyin2R.net
死ねは言い過ぎだが、山中さんはこのままじゃ
岡田とかいう太ったオバチャンと同等の
PCR厨に成り下がってしまう
学者としては雲泥の差なのに
山中先生これ以上晩節を汚さぬよう
もうおやすみください
908:１３２人目の素数さん
20/05/15 17:36:14 iPnFDz5C.net
無症状の人がいるんだからCTじゃ検出できずにスプレッダーになるだろ
909:１３２人目の素数さん
20/05/15 18:04:56.84 58GZNA2k.net
正直強い理論系の業績にしかあんま興味ないな
iPSの発見って僅差の時間競争みたいなものでしょ？
910:１３２人目の素数さん
20/05/15 18:11:38.75 jfHDjKEQ.net
>>864
宝くじに当っただけの運のいい人だからね。
モッチーは、実力はあるんだけど、いつも肝心なところで転んでしまう
無冠の帝王かな。
911:１３２人目の素数さん
20/05/15 18:13:33.67 ncwSUDpa.net
日本へ誇る京大限定の山中望月モデル
他人の公式or自分が勝手に作った公式
で計算する自画自賛のチャート式。
公式の根拠は日本のマスコミワイドショーが絶賛しているから。
逆の問題に無能を露呈
912:１３２人目の素数さん
20/05/15 18:18:41.07 ncwSUDpa.net
>>865
数学セミナーを嫁
913:１３２人目の素数さん
20/05/15 19:50:16 h9rq+8q+.net
京都住みで車持ってないって考えられないぞ
どこ行くにも車だし
914:１３２人目の素数さん
20/05/15 19:59:28.73 tkQ9tPR6.net
山中は後は死にさえばいい
馬鹿なんだから
今、死ねば惜しまれる
915:１３２人目の素数さん
20/05/15 20:17:35 Ht6Zs2/q.net
アベノマスクがきた
どうしよう
916:１３２人目の素数さん
20/05/15 20:30:57 7GFRlv4/.net
>>870
モッチーが運転してるとこ、全く想像できない
917:１３２人目の素数さん
20/05/16 01:08:19 /5JieNaL.net
生活が京大周辺で完結してるなら自転車+公共交通機関で済む。車は必要ないどころか邪魔
918:１３２人目の素数さん
20/05/16 02:02:55.97 tXRewj56.net
IUTアンチスレはどこだ
邪道なIUTはカス！ってな香具師も多いだろｗ
919:１３２人目の素数さん
20/05/16 07:28:47 fYJZIPnm.net
おごれるものひさしからず
920:１３２人目の素数さん
20/05/16 12:21:49 MFK1Erg0.net
>>874
京都は駐車場ないしな
あっても常に満車
921:１３２人目の素数さん
20/05/16 13:23:23 45sx1zxP.net
15分600円?のところもあったって友達が引いてた
922:１３２人目の素数さん
20/05/16 13:38:05 UzP5f+gS.net
大学と家の往復しかしないのに車とか必要ないだろう
なんつーか、もっちーって数学が本当に好きなんだな
はやくショルツェが納得してくれて、世界的に評価されて報われるといいね
923:１３２人目の素数さん
20/05/16 13:52:38 bF14TTx+.net
望月自身はフェルマーの最終定理の簡単な証明ができたと思い込んだ人みたいに、自分の間違いを認識できないだけで、周囲が持ち上げた可能性はあるよね
924:１３２人目の素数さん
20/05/16 13:58:54 0cbTwyzX.net
�
925:qロシマとナガサキに原爆をくらっった直後に ノーベル物理学賞をもらった奴みたいに 裸の王様にしちまえよ
926:１３２人目の素数さん
20/05/16 14:09:23.01 FmAg8oZO.net
グロタンティーク予想の解決についても調べてみたけど、
上で書かれてるようにGrothendieck conjectureというのがあったわけじゃなくて、
中村、玉川、望月あたりの造語っぽいね。
しかもこの論文もPRIMSでしょ。
ほんとうに解決してるんだろうか。
927:１３２人目の素数さん
20/05/16 14:22:35 VN/D3za9.net
えっじゃあ遠アーベル幾何学のWikipediaの
>グロタンディークは、射有限群である C の代数的基本群 G が C 自身を決定する
>（つまり G の同型類が C の同型類を決定する）と予想した。
>このことは望月新一により証明された[3]
これって嘘なの？
928:１３２人目の素数さん
20/05/16 14:27:54 FmAg8oZO.net
>>883
グロタンティークがした予想ってたくさんあるよね。
そのなかのひとつを特にグロタンティーク予想と呼んでるのが変だな、
とは思ってたんだが、正確にいうと、
遠アーベル幾何化に関するグロタンティークの予想
で、わざわざグロタンティーク予想という造語をする必要性がよくわからなかった。
ちなみにそのWikipediaの記述自体もそんなに正しくなくて、
この予想は中村、玉川、望月の共同作業で解決したことになっているので、
望月が解決したというのはちがうかなと思う。
929:１３２人目の素数さん
20/05/16 14:44:56 45sx1zxP.net
>>880
>自分の間違いを認識できないだけで、
ここまで誰も説明できない時点で、うすうす気が付いてなきゃおかしくない？
930:１３２人目の素数さん
20/05/16 14:54:39 rz4P0rck.net
Tとかもわかってない、って思ってるだけかもしれん。
931:１３２人目の素数さん
20/05/16 15:01:25 VN/D3za9.net
>>885
例えば、最晩年のマイケル・アティヤは自分の間違いを認識できていただろうか
932:１３２人目の素数さん
20/05/16 15:26:20.65 TyZLv2xK.net
どんどんメッキが剥がれてきてるな
スタップ細胞の人と流れが同じじゃね
933:１３２人目の素数さん
20/05/16 16:07:46 0bZfAewz.net
アカデミックな奴らの牙城を崩した理論
築き上げてきた物を革新=オワコン化する可能性があるので黙殺されてる
難解だから今の時代はまだ理解できない
数学界ではよくある話
934:k.air
20/05/16 16:23:12 CvTinTc1.net
>>842
具体的なトリプルを使えば下界はすぐ求まる
(いま、トリプルの集合を
T={ (a,b,c)∈Z^3 | 0＜a＜b, a+b=c, gcd(a,b)=1 } とすると)
個々のトリプルに対しては
K(ε) ＞ c/rad(abc)^(1+ε) = rad(abc)^(q(a,b,c)-1-ε)
を満たす必要がある
つまり全部のトリプルを合わせて考えると
K(ε) ＞ sup_{t∈T} rad(abc)^(q(a,b,c)-1-ε)
右辺のsupが有限値として存在すれば K(ε) が存在できる
935:k.air
20/05/16 16:33:15 CvTinTc1.net
>>842
例えば (2, 3^10*109 , 23^5) を使うと
rad=15042, q=1.6299... だから
K(ε) ＞ 15042^(0.6299...-ε)
よって K(0.00001)＞427 といってみせたのが前スレ>>187
このグラフよりは上ということ
URLﾘﾝｸ(www.wolframalpha.com)
plot y=15042^(0.6299-x), x=0 to 1, y=0 to 500
(εの代わりにxを使った)
全部のトリプルでこのグラフ書いてなんかする
936:１３２人目の素数さん
20/05/16 17:05:26 pfRK/KOl.net
だれか1996年の論文を再検証してくれんかな。
あの論文に対するIの評論とかを今読み返すとなんか思うところがあったのかな、
という感じで、当時あれがほんとうに受
937:け入れられていたのかわからないところがある。
938:１３２人目の素数さん
20/05/16 17:10:03 DjHTdFTr.net
>>890-891
いいたいことは承知しました
要は、
「望月の証明で
sup_{t∈T} rad(abc)^(q(a,b,c)-1-ε)
の情報って得られるんですか？」
ということです
939:１３２人目の素数さん
20/05/16 17:16:59 DjHTdFTr.net
>>892
I氏って伊原氏か
URLﾘﾝｸ(www.jstage.jst.go.jp)
940:１３２人目の素数さん
20/05/16 17:24:00 VN/D3za9.net
>>892
>「従来の私の好みとは少し違うが, すごいじゃないか！」を捧げたいと思います.
ってやつ？
確かに、本人たちの解説が出ることを建前に、（ボロが出ないように）短めに済ませた感じはあるね
941:１３２人目の素数さん
20/05/16 17:27:37 F1nBq9DZ.net
伊原評論はそこと最後の光と闇の話がちょっと変わってるんだよな。
だれか具体的なひとを想定してないとこういう書き方はしないと思うんだが。
942:１３２人目の素数さん
20/05/16 17:36:39 45sx1zxP.net
>>896
あのおっちゃん、当時からの○○の持ち上げられようと性格からしてこうなる
ことを見透かしていたような感じやな (嫉妬的なものもあると思うけど)
943:１３２人目の素数さん
20/05/16 17:38:15 VN/D3za9.net
>近い分野で, やはり大変すぐれた研究をされた方々もおられます. それら
>も含め近い将来の一層の開花を期待したいと思います。
確かに、遠アーベル幾何について何か思うことがありそうだな
評論としては蛇足でしかないのに、わざわざ書いたのは気になる
光と影は何の暗喩なんだろうな
944:１３２人目の素数さん
20/05/16 17:44:25 DjHTdFTr.net
1996年か・・・この頃子供だった奴に
「あなたの証明には修復不能な穴がある！（ビシっ）」
といわれたら、頭に血が上るかもな
945:１３２人目の素数さん
20/05/16 19:43:41.00 /t7riJD6.net
>>898
光…遠アーベル幾何の発展
影…望月理論に対する社会の反応？
946:１３２人目の素数さん
20/05/16 22:05:14.42 Nxb98Jfx.net
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か？どうなん？
947:１３２人目の素数さん
20/05/16 22:05:22.39 Nxb98Jfx.net
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か？どうなん？
948:１３２人目の素数さん
20/05/16 22:06:18.74 F1nBq9DZ.net
重要ならみんなやってるよ。
949:１３２人目の素数さん
20/05/16 22:38:47 oii8q1/C.net
専門家ぶってるだけで専門家がいる訳ないだろう、バカやろう
正則性公理と選択公理の違いすら分からないアホどもの集まりだぞ
950:１３２人目の素数さん
20/05/16 22:39:20 w8NKCFpA.net
８年間も放置されたということは、
何を意味するんだろうか？
馬鹿でもわかるよな。
951:１３２人目の素数さん
20/05/16 22:43:05 HZAEdK+O.net
>>904
なんかその一点で擁護するのが流行ってるみたいだけど、
もしかしてあれは擁護派の自作自演か？
952:１３２人目の素数さん
20/05/16 22:49:08 oii8q1/C.net
>>906
流行ってるも何もそのレベルの人間の集まりてことじゃん
953:１３２人目の素数さん
20/05/16 22:51:25 kNzkts7S.net
そもそも擁護ってあかん人を助けたるって意味やからな
954:１３２人目の素数さん
20/05/16 22:54:43 HZAEdK+O.net
>>907
あれひとりの書き込みじゃなかったっけ？
そうだっていう集団だった？
955:１３２人目の素数さん
20/05/16 22:55:19 oii8q1/C.net
枝葉末節とはいえ基礎論部分について5chに書かれていたデマ（と思われるもの）がずっと信奉されてた時点で、このスレのレベルの低さは推して知るべしだろう
正則性公理と選択公理レベルの間違いではないにせよ
956:１３２人目の素数さん
20/05/16 22:56:09 HZAEdK+O.net
ちなみに関係ない文脈でいきなる正規性公理が云々で擁護を始めたIDは複数ある。
それともあれもひとりなのか？
957:１３２人目の素数さん
20/05/16 22:56:47 HZAEdK+O.net
>>910
基礎論におけるデマとはなにを指してるんだ？
958:１３２人目の素数さん
20/05/16 23:01:15.18 oii8q1/C.net
>>912
>>606
959:１３２人目の素数さん
20/05/16 23:03:36 HZAEdK+O.net
>>913
？？？
それはもともとの2012年の基礎論の指摘と関係ないけど？
960:１３２人目の素数さん
20/05/16 23:04:57 pVwHh2vl.net
> 渡部篤
> PCR検査は必要な人には行うべきだが、日本国民全員には無駄である。そんなお金があるならば、治療薬・ワクチンの開発と、コロナ恐慌で苦しむ企業と個人を救済すべきである。新型コロナウイルスよりテレビウイルスが怖い時代である。
>
> 馬場正弘
> コロナの参考にスペイン風邪のことを調べると、人口当たりで百倍以上死亡者が出て、アメリカは平均寿命が12歳も低下した。
しかし文明が崩壊するどころか経済は大して影響を受けず、アメリカは1920年代の金ピカ時代に突入する。当時の人類の方がずっとタフということが。
>
> 今すぐインフルエンザより弱いただの風邪で馬鹿みたいな経済封鎖で人を大量虐殺する蛮行を阻止しないといけない
山中みたいな馬鹿は殺していい
961:１３２人目の素数さん
20/05/16 23:07:35 oii8q1/C.net
>>914
いや、ZFCGがZFCの保存的拡大云々の話で怪しい部分があるってのが、結局怪しいが間違ってましたて話なんだけど
962:１３２人目の素数さん
20/05/16 23:09:44 HZAEdK+O.net
>>916
ZFCGがZFCの保存的拡大だっていうのはIUTのIVに対する指摘じゃないよ？
963:１３２人目の素数さん
20/05/16 23:12:02 oii8q1/C.net
>>917
えぇ。。じゃあなんの指摘なんだよ
964:１３２人目の素数さん
20/05/16 23:13:52 HZAEdK+O.net
>>918
なんのもなにもこれでしょ？（たぶん過去ログで１０回くらい貼られてる）
>>580-581
IUT論文公開当時のエレンバーグのブログでフェファーマンの弟子が書いているのだけど
M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい（自分はその論文がどれか知りません）。
もちろん保存的拡大ではないのですが。
結局Stixが言うようにエッシャーの階段にしかなっていないのですよ。
M氏はsimulate a∈a、loops of mutations、simulate ∈-loopsは種の言語では成り立つと考えているようですが。
その節で名前の出ているKimですら分からないとMOで書いています。
965:１３２人目の素数さん
20/05/16 23:16:05 u5Wx3bhi.net
基礎論の専門部分がわからないから数学のしろうとだっていうこと自体話が飛んでるし、
遠アーベルが数学の重要分野かどうかとなにも関係がないと思うんだが
966:１３２人目の素数さん
20/05/16 23:19:53 oii8q1/C.net
>>919
苦しい言い訳だなあ
>>324とかまさしく本文のIVにケチつけてるようにしか読めんけど
967:１３２人目の素数さん
20/05/16 23:20:49 oii8q1/C.net
>>920
比較的メジャーな基礎論ですらこれなんだから、遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話
968:１３２人目の素数さん
20/05/16 23:21:09 MokiylaE.net
山中は大ホームラン(ノーベル賞）を打ったことがある。
望月は、ホームランかファールかずっと8年判定中。
格はまるで違う。
世間一般の扱いだと千倍ぐらい違うよ
969:１３２人目の素数さん
20/05/16 23:22:44 XpgLGlog.net
>>606に
IUT-4で以下を修正しており、指摘で修正が必要であったのは、この箇所だよ。
concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”
と書いてあるんだからIUT-4章の話じゃないの？
そして修正してるんだから望月が間違えていたのでは？
970:１３２人目の素数さん
20/05/16 23:22:56 xQ6GSYXj.net
>>922
けっきょくこういう擁護がしたいから過去のだれのレスかわかんないやつの揚げ足取りしてるだけだわな
971:１３２人目の素数さん
20/05/16 23:25:12 Ikwt2T5y.net
>>924
たぶん今のIUT論文には書いてないから、ってことでは
まあようするに間違えてたってことだし、
あとで修正しても基礎論の理解が不十分なんじゃないかっていう疑問への反論になってないんだよね
そのへんはうえでとっくに議論済みなわけだが>>584とか
972:１３２人目の素数さん
20/05/16 23:27:39 oii8q1/C.net
君らは誰かの指摘に乗っかりたいだけで、ほとんど誰も考えてねーじゃんという話
973:１３２人目の素数さん
20/05/16 23:33:32 oii8q1/C.net
>>925
同じアンチから切り捨てられる当時のアンチくんがかわいそう
974:１３２人目の素数さん
20/05/16 23:33:42 VN/D3za9.net
2012年版（多分）ならRIMSのプレプリントサイトにあるから、そこで確認できる
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>>924の文章はこのPDFに書いてあることが確認できる
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
一方で、望月の個人HP上にある「最新版」には、例えば"extensionality"という単語は含まれていない
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
975:１３２人目の素数さん
20/05/16 23:39:34 NvW/v763.net
考えてるもなにもZFCGがZFCの保存的拡大じゃないっていうのは、
Shulmanのp.15以下を読めばわかるしこのことも最初から言われてるよ
もっちーは基礎論の理解があやしいっていうのはどう転んでも否定できないんだから
すなおに認めればいいのに
それともどう転んでも否定できないからこの話題はやめにしたいのかもしれんが
976:１３２人目の素数さん
20/05/16 23:41:31 NvW/v763.net
だいたいどう転んでも間違ってるから最新版だと修正してるってのがわからんのかね
977:１３２人目の素数さん
20/05/16 23:44:40 oii8q1/C.net
詳しくないてのは正しいんだろうけど、これだけ色んな人が見た中でそんな基礎論の人から見たら明らかに間違ってることが今の論文に残されてんのか？てのが俺の意見だな
978:１３２人目の素数さん
20/05/16 23:50:02 7SYfcplA.net
5ch名人達。基礎論の件で誰かモチに直メで突っ込まんの？
979:１３２人目の素数さん
20/05/16 23:50:38 WJgTt1B0.net
>>933
突っ込むもなにももっちーが修正してるんだから間違ってたの確定では？
980:１３２人目の素数さん
20/05/17 00:04:09.46 idOy6qD3.net
結局現論文で明らかな間違いはありませんでしたってことか
修正しろと騒いでたやつも修正されて良かったな
981:１３２人目の素数さん
20/05/17 00:05:07.46 F5HS2nbm.net
補題3.12のproof
982:１３２人目の素数さん
20/05/17 00:09:45 4Wd753iR.net
明らかな間違いかどうかはわからないが、
「証明にギャップがある」とか「証明になっていない」とか「証明が理解できない」とか
言われているな
983:１３２人目の素数さん
20/05/17 00:15:46 b8wYZczP.net
なんか論点がすり替えられてるが、
もともとは論文IVの基本的な誤りを修正したのに結論に影響が出ないなら、
論文IVいらないんじゃないのって話ね
あと>>584
あとID:oii8q1/Cの言葉を借りればそんな初歩的な理解をしていないやつが
遠アーベルがわかるのか、って話（これは望月にとってすごいブーメランなの）
984:１３２人目の素数さん
20/05/17 00:18:01 /FhBkao/.net
＞比較的メジャーな基礎論ですらこれなんだから、
＞遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話
なるほど、これはもっちーに対する批判だったのか（汗）
985:１３２人目の素数さん
20/05/17 00:43:02 YDliggmG.net
＞比較的メジャーな基礎論
少なくとも初めて聞きましたメジャーって言葉
煽るけど数学基礎論って基礎って言う名前の割にほとんど数学に役立たない
986:１３２人目の素数さん
20/05/17 00:49:45 1bBWb+BJ.net
宇宙際って名前の割には追分でしか
987:成立しない
988:粋蕎 ◆C2UdlLHDRI
20/05/17 00:50:18 LIJrZTQ0.net
>>875
> IUTアンチスレはどこだ
知らんかったのか
Inter-universal geometry と ABC予想 否定派2
ｽﾚﾘﾝｸ(math板)
989:１３２人目の素数さん
20/05/17 01:39:12.74 /5MRV7Cs.net
>>940
最近まで役立たずだったが、圏論以後ポテンシャルは出てきたと思う。後は天才の出現次第だろう
まあ集合論にはゴロゴロ天才がいたんだけど、普通の数学には直接関係なかったからねえ
990:１３２人目の素数さん
20/05/17 01:52:39.67 YDliggmG.net
○圏論と基礎論は方向性が違いますので
991:１３２人目の素数さん
20/05/17 04:31:22 xTho8h44.net
>>938-939
望月に遠アーベルがわかっているのかとは、ずいぶんやばいスレになったもんだな
992:１３２人目の素数さん
20/05/17 09:37:33 OxYJzrF1.net
>>940
数学におけるガウスの役割
＝数理論理学＆集合論におけるゲーデルの役割
ちなみに（ヒルベルトの意味での）「基礎論」を殺したのはゲーデル
ゲーデル
「自然数論を含む帰納的公理化可能な理論が、
無矛盾であれば、自身の無矛盾性を証明できない」
アッカーマン
「え？じゃ、自分の原始帰納的算術の無矛盾性証明はいったい・・・」
ベルナイス
「・・・ああ！証明中の順序数の超限帰納法が、
原始帰納法的算術では導けないのか！」
ゲンツェン
「・・・てことは、逆に適切な超限順序数が構成できれば
その超限帰納法によって、カット除去の証明が
できるってことですね？(￣ー￣)ﾆﾔﾘ」
993:１３２人目の素数さん
20/05/17 09:43:03 OxYJzrF1.net
>>943
数理論理学における圏論の位置づけは明確でないように思う
994:１３２人目の素数さん
20/05/17 10:04:38 qZbJw0Vm.net
>>420
基礎論は遠アーベル幾何より上位の分類（生物学で科のほうが属より上位という意味で）って話では
ていうか Mathematical Logic の訳語として何故か日本では「数学基礎論」が使われてるけど
今どきのロジシャンは必ずしも数学の基礎付けをモチベーションにしてるわけではないよね
ただ HoTT なんかはまさにそういう試みだと思うし
じっさい IUT を形式証明に載せるとかしないと現在の不毛な状況は進展しなさそうなんだけど
そんな人材いないよな…(Dupuy が貢献してくれると思ってたことあるけどあの人ダメっぽい)
995:１３２人目の素数さん
20/05/17 11:06:26.10 t5k0k7kf.net
役に立たないっていうのは工学が数論幾何に対して役に立たないと言うのと同じで、
「別にあんたのために研究してるんじゃないんだからねっ！！」
でしかないのでは
996:１３２人目の素数さん
20/05/17 11:32:06 LWrun3Tf.net
mugashohouとの論戦についに任期付き数学者参戦したな
wktk
997:１３２人目の素数さん
20/05/17 12:06:43.44 C5I6HZrO.net
そもそも数学の基礎づけって数学界隈のごく一部が取り組んでいただけで、
ぜんたいとしては数学の基礎づけ運動なんて起こってないからなあ。
998:１３２人目の素数さん
20/05/17 12:12:21.29 3LIdhbL+.net
数学者全体として取り組んだ数学の運動って旧ギリシャ時代以外にはないでしょうね
999:１３２人目の素数さん
20/05/17 12:15:25.95 Hn3N/L4N.net
無理数？そんなものは無い 死刑!!
ってすげー時代だな
1000:１３２人目の素数さん
20/05/17 12:25:12.46 4Wd753iR.net
ヒルベルト・プログラムの影響って大したことなかったの？
ヒルベルトの23の問題（特に第2問題）とか、かなり大きな影響を与えたんじゃないかと思うけど
1001:１３２人目の素数さん
20/05/17 12:41:01.69 fkBSYghd.net
算術の公理の無矛盾性とか気にしなくても数学はできる
これはデデキントが実数を厳密に定義するまえから実数はずっと使ってるのと似てる
1002:１３２人目の素数さん
20/05/17 12:53:20.98 4Wd753iR.net
（素朴）集合論のパラドックスとか、当時は大問題だったと思うんだが
「ヒルベルト・プログラムは、単にその矛盾を取り除く（＝無矛盾性）だけではなく、
今後二度とこのような矛盾が現われないように、数学全体に確固とした基盤（＝完全性）を与える目的があった。」
訳でしょ？
ゲーデルの不完全性定理によってこのプログラムがある種「終わる」までは、割と深刻な問題だったんじゃないか？
1003:１３２人目の素数さん
20/05/17 12:56:38.84 fkBSYghd.net
>>956
それは一般向けに書かれる新書とかがそういう書き方だからだろう。
ああいうのは哲学とは関係があるのかもしれんが数学コミュニティとはそんなに関係はない。
ヒルベルトの問題提起からゲーデルの解決までのあいだに、
基礎付け以外の数学の研究が低調になったというデータでもあるのか？
1004:粋蕎 ◆C2UdlLHDRI
20/05/17 13:04:02 LIJrZTQ0.net
寧ろラプラスの悪魔のが当時新世代に萎えを与えたイメージ
1005:１３２人目の素数さん
20/05/17 13:05:22 OxYJzrF1.net
ヒルベルト・プログラムの目標は
自然数論による数学（というか解析学）の無矛盾性証明だったんだが、
ゲーデルが
「ごめん、ヒルベルト・プログラムを達成しようとしたんだけど
そもそも自然数論の無矛盾性自体、自然数論で証明できないこと発見しちった」
といっちゃったんで、頓挫した
逆数学が、帰ってきたヒルベルト・プログラムかどうかはなんともいえない
しかし、主張な成果はほぼＡＣＡで達成できそうなんで
「な？」とかいうコート着たオジさんがでてきそうな感じではある
1006:１３２人目の素数さん
20/05/17 13:08:32 4Wd753iR.net
>>957
そんなデータは知らないが、
この種の問題に全く興味がなかった数学者がいたってこと？
1007:１３２人目の素数さん
20/05/17 13:10:37 OxYJzrF1.net
>>959の続き
RCA、WKL 短小
ACA 通常
ATR、Π1-1CA 長大
とすると結論としては
「普通の＊＊は、通常のサイズでも、ほぼ満足」
って感じですかね
1008:１３２人目の素数さん
20/05/17 13:11:01 3LIdhbL+.net
数百年前からすでに分野が多様化してますし、世代全体に影響を与えることはもうほぼないのではないでしょうか
仮にIUTが全て正しかったならば、そうなってたかもしれませんが
1009:１３２人目の素数さん
20/05/17 13:22:06.67 fkBSYghd.net
>>960
ふつうにいるのでは？
今だって数学基礎論にまったく無関心な数学者はいるし。
1010:１３２人目の素数さん
20/05/17 13:27:44.78 4Wd753iR.net
>>963
いや当時の話ね
レスバ的には「基礎付け以外の数学の研究が低調になったというデータ」を示せない俺の負けでいいけど、
具体的な反例があるのかどうかは気になるところ
「ヒルベルト・プログラム？そんなのどうでもいい。俺は自分の研究さえできればいいんだ」
的な思想の数学者は当時本当にいたのかな？
1011:１３２人目の素数さん
20/05/17 13:51:27.27 fkBSYghd.net
>>964
その質問は最初の質問とおなじなの？
最初の質問はヒルベルト・プログラムの特に第２問題が影響を与えたかどうかだよね？
で、俺は第２問題について考えなくても数学はできるしやってたでしょ、という立場。
そもそも数学者が真にヒルベルトの第二問題を深刻だと信じているなら、
数学の研究はいったんやめると思うんだが？
1012:１３２人目の素数さん
20/05/17 14:14:44.88 4Wd753iR.net
>>965
そう
ヒルベルト・プログラムが当時の数学者に影響を与えたかどうか
あなたの立場によれば、ヒルベルト・プログラムの影響を受けなかった数学者が当時少なくとも1人は存在したことになる
全員が全員ヒルベルトやゲーデルのような天才ではないから、
全ての数学者が自分の研究を一旦やめてヒルベルトの第2問題に取り組めるはずはない
しかし、それでもヒルベルト・プログラムのことを頭の片隅に置いた状態で研究していたのではないかと思う
そうでない数学者が「存在する」という主張は正しいかもしれないが、それなら具体例が知りたい
1013:１３２人目の素数さん
20/05/17 14:18:32.31 fkBSYghd.net
>>966 研究を続行したやつは全員具体例。 思想を受容するということは口先だけで受容したかどうかわからないから、 行動をみるというのが俺の立場。 第二問題を深刻に受け止めるならほかの数学の研究は中断するしかない。 なぜなら、第二問題に他の研究の可否が依存してしまうから。 俺は「宇宙法則は次の瞬間に変わるのかもしれない」という問いに意味がない、 という立場だから。もし本気でそう思っているのなら生活ができなくなる。
1015:１３２人目の素数さん
20/05/17 14:21:07.21 IVRUUd3J.net
諸法無我
@MugaShohou
36分
返信先: @Sakurazaka4649さん
数論の研究者が皆FLTの証明を理解しているとでもお思いなのでしょうか。 だとしたら、もう少し数学界について詳しくなることをお勧めします。
FLTですら、数論の研究者でさえ理解していないのですから、数学者全体に影響を与えるのは果てしなく難しいでしょう
1016:１３２人目の素数さん
20/05/17 14:21:21.01 fkBSYghd.net
そもそも頭の片隅において、という留保がつくなら>>956と同一の質問ではないと思うけどね。
1017:１３２人目の素数さん
20/05/17 14:26:17.39 4Wd753iR.net
別にレスバしているつもりはないんだが…
全員と言われても、不勉強なもので当時の数学者について詳しくないので、
1人でもいいので具体的な数学者の名前を出していただけると助かります
1018:１３２人目の素数さん
20/05/17 14:30:32.96 fkBSYghd.net
>>970
レスバなんてしてない。
きみは>>956で「当時は大問題」「割と深刻な問題」て書いたから、
俺は「数学コミュニティとはそんなに関係はない」と書いたわけ。
で、数学コミュニティが無矛盾かどうかでひよった形跡はないわけだろ？
だったらそれで話は終わってるじゃん。
頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例、
なんて質問は最初はなかったのだから、きみのほうがレスバにこだわっているのでは？
最初のほうの疑問についてまだなにか疑問があるのか？
だったらそれをそのまま言って欲しいんだが。
1019:１３２人目の素数さん
20/05/17 14:35:48.38 4Wd753iR.net
>>971
最初の疑問にこだわっているというか、
「頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例」を知りたい
という方向に興味が移っています
どなたかご存じの方がいらっしゃいましたら、ご教示いただければ幸いです
1020:１３２人目の素数さん
20/05/17 14:40:01 fkBSYghd.net
>>972
頭のなかを検査する方法はないので調べようがありません。
むしろどうやってチェックできると思ってるの？
1021:１３２人目の素数さん
20/05/17 14:44:16 4Wd753iR.net
>>973
そうですね
例えば、「ヒルベルト・プログラム（またはヒルベルトの第2問題）はクソ」といった趣旨の文書を残していれば
そのような数学者は具体例と言えるでしょう
1022:１３２人目の素数さん
20/05/17 14:45:56 fkBSYghd.net
>>974
また質問が変わってないか？
それはヒルベルトの第二問題を意識してないかどうかじゃなくて、
ヒルベルトの第二問題に対する一定の態度表明だよね？
1023:１３２人目の素数さん
20/05/17 14:47:19 6B2cGKoV.net
ヒルベルト・プログラムをどうでも良いと思ってた数学者が大半かな
声なき声として
思っていたなら言及するがほぼ100%の数学者は無視してた
それが真実
1024:１３２人目の素数さん
20/05/17 14:47:51 fkBSYghd.net
とりあえず「ヒルベルトの第二問題はクソだと公に主張した数学者はいるのか？」
という疑問でいいの？
じゃあ俺は知らないな。
1025:１３２人目の素数さん
20/05/17 14:49:12 fkBSYghd.net
>>976
態度表明としてはそうだよね。
だって1900年を境に数学コミュニティが別様の行動を取り始めたという痕跡はないから。
1026:１３２人目の素数さん
20/05/17 14:52:54 4Wd753iR.net
言葉遊びではなくて、
「ヒルベルト・プログラムをどうでも良いと思っていた数学者」
は、存在はしていただろうが、例えば誰がその1人だったのかを知りたい
という話です
言及せずに無視ではどう思っていたかはわからないので
1027:１３２人目の素数さん
20/05/17 14:54:15 fkBSYghd.net
>>979
じゃあだれか他のひとが答えるの待ってくれ。
俺は上で書いたように態度主義なので「態度は無視してても内心は違うかもしれない」
という疑問には興味がない。
1028:１３２人目の素数さん
20/05/17 14:58:24 IVRUUd3J.net
>>980
態度は興味があるが内心は関係ない
と考えるのであれば、声なき声とやらにも興味はないはずですよね
何故なら態度だけ見れば「不明」であってどうでもいいと思っていたかどうか確定しないので
1029:１３２人目の素数さん
20/05/17 15:02:30 fkBSYghd.net
>>981
うん、だから上で態度表明って言ってる。
1900年を境に数学コミュニティの態度が豹変したデータはないと最初から言っている。
1030:１３２人目の素数さん
20/05/17 15:04:00 6B2cGKoV.net
ヒルベルトプログラムが唱えられていた間はそれで肩がつくから、誰も気にしなかった
ゲーデルの不完全性定理が出てからは、ヒルベルトプログラムなんか気にしても仕方ないと
余計誰も気にしなくなった
これが真実
1031:１３２人目の素数さん
20/05/17 15:04:19 IVRUUd3J.net
>>982
何も言っていないので何も表明していないですよね
1032:１３２人目の素数さん
20/05/17 15:06:07 fkBSYghd.net
>>984
途中から割り込んで曲解するのはやめなさい。
俺の立場は>>967で書いてるから。
1033:１３２人目の素数さん
20/05/17 15:10:22 IVRUUd3J.net
>>985
あなた自身がそれを曲解しているんですよね
「第二問題を深刻に受け止めるならば、態度を表明するだろう」これを受け入れるとしても、「深刻に受け止める」の反対の立場は「どうでもいい」ではないですよね
何故ならば「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので
したがってあなたが>>976に同意するのは、あなたの>>967の意見から逸脱する「態度」なんですよね
1034:１３２人目の素数さん
20/05/17 15:12:24 fkBSYghd.net
>>986
＞「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので
それは>>956の「割と深刻な問題」「当時は大問題」に該当しない。
1035:１３２人目の素数さん
20/05/17 15:14:28 fkBSYghd.net
ああ、ちなみに、>>976の「無視」は>>956とちがうんじゃないか、
という重箱つつきなら、
>>976の言ってるのと>>956の言ってるのはちょっとズレてるかもね、
と認めるよ。
揚げ足取りとしてくだらなさすぎるので。そういうひとと議論するの時間の無駄だから。
1036:１３２人目の素数さん
20/05/17 15:16:27 IVRUUd3J.net
>>987
それと、あなたが「態度にしか興味がない」にも関わらず「態度には現れていないが声なき声はどうでもいいと言ってる」に同意するという矛盾についてはどう関係があるんですかね
1037:１３２人目の素数さん
20/05/17 15:20:04 4Wd753iR.net
まあまあ、ここは基礎論スレではないので
誰か数学史に詳しい親切な人が具体例を挙げてくれるのを待ちましょう
お前が言うなって話ならごめんなさい
1038:粋蕎 ◆C2UdlLHDRI
20/05/17 15:25:27 LIJrZTQ0.net
逆証明だの逆数学だのは其々、何者が如何なる手法で何物を探究する分野なんじゃろ？
1039:１３２人目の素数さん
20/05/17 15:40:23.50 LmvEIhyw.net
>>968
諸法無我？
公世の二位のせうとに、良覚僧正と
聞えしは、極めて腹あしき人なりけり。
坊の傍に、大きなる榎の木のありければ、人、「榎木僧正」とぞ言ひける。
この名然るべからずとて、かの木を
伐られにけり。その根のありければ、
「きりくひの僧正」と言ひけり。
いよいよ腹立ちて、きりくひを堀り
捨てたりければ、その跡大きなる堀
にてありければ、「堀池僧正」とぞ
言ひける。
1040:１３２人目の素数さん
20/05/17 15:51:51 9GRMXxZv.net
無視していたというよりは大多数の数学者にとって難しすぎて手におえん
手を出してはいけない問題と思ってたんじゃないの？
1041:１３２人目の素数さん
20/05/17 16:00:23 y4BiDiZT.net
twitterを見ていたら
「本当に頭のいい人は、バカでも理解しやすい言葉で話す。
わざわざ難しい言葉を紡ぐのは、コンプレックス丸出しで恥ずかしいものだなぁと思っている。」
という意見があって全く同意 古今東西そういうもの
IUT論文は恥さらしである
1042:１３２人目の素数さん
20/05/17 16:04:30 Srp2dxt0.net
mugashohou氏が誰か大体あたりつくけど、iutを理解してるわけではないだろうね。ど素人というわけでもないけど。まあiutの正否に影響を与える人ではないよ。
1043:１３２人目の素数さん
20/05/17 16:11:04 m7MQgiA5.net
mugashohou氏は数学者コミュニティをよく知っているように見えるけど、数学者なのだろうか
1044:１３２人目の素数さん
20/05/17 16:20:03 idOy6qD3.net
>>994
これよく見るけど、説明のうまさは頭の良さの一指標に過ぎないなあと思う
1045:１３２人目の素数さん
20/05/17 16:29:47 LmvEIhyw.net
ピント外れは複雑怪奇の説明になるね
FLTの証明は岩波から出版されている。
一部証明が省略されているが
数論をやっているなら理解できる
と思うけど
1046:１３２人目の素数さん
20/05/17 16:32:59 LIJrZTQ0.net
>>994
ラプラス変換を幼稚園児に分かる様に教える説明を見せてくれ
ウェーブレットを幼稚園児に分かる様に教える説明を見せてくれ
PvsNPを幼稚園児に分かる様に教える説明を見せてくれ
IUTを幼稚園児に分かる様に教える説明を見せてくれ
但しどれも要求理解度は博士課程修了程度とする
極端言うとる奴に何で普通の問い返しを期待しとる？極端言うとる奴には極端な問い詰りじゃ｡
1047:１３２人目の素数さん
20/05/17 16:34:30 LmvEIhyw.net
IUT奇談
1048:1001
Over 1000 Thread .net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 11日 13時間 23分 9秒
1049:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています