20/05/12 12:47:58 edWvmwU4.net
日本からアインシュタインがでてきた
783:１３２人目の素数さん
20/05/12 12:54:07 /osh8u+Y.net
>>751
同意。比較厨のアンチが多いから一旦この議論が出たのはいいと思う。
784:１３２人目の素数さん
20/05/12 13:02:20 LthUTyJJ.net
比較厨のアンチとは？
もともとタオとガウスのどっちがって話で望月と関係なかったのに、
ID:/osh8u+Yがぐだぐだ話を拡大させただけじゃん。
785:１３２人目の素数さん
20/05/12 13:12:38 OW6ET8po.net
愛UTスレでガウスとTAOをくらべる意味ってあるのかな
せめてガウスとモッチ、タオとモッチ、ショルツェとモッチを比べて欲しい
786:粋蕎
20/05/12 13:32:25.78 JxKxPdjg.net
望月は餅衝きの刑
787:１３２人目の素数さん
20/05/12 13:41:50.10 ChCwp48E.net
>>746
可哀想。
繋がらないし、ピンとこないｱﾚﾚに生まれついちゃったんでしょうか…
788:１３２人目の素数さん
20/05/12 17:58:53 Wcl7UiUc.net
現代数学の今月号(2020年6月号)の山下純一の記事に、
望月論文の雑誌掲載とそれに対する批判の経緯が載ってる。
来月号に続くので、続きを早く読みたい。
789:１３２人目の素数さん
20/05/12 18:31:11.68 FHp+AoQl.net
例え話にさだまさしが出てくるあたりかなり年齢層高いなここ
790:１３２人目の素数さん
20/05/12 20:15:21 LHLoA2rw.net
>>759
さーだーまーさーし
791:１３２人目の素数さん
20/05/12 20:53:47 n1GZ65kN.net
望月氏とガウスを比較っておかしすぎる ガウスは最上位
たとえば以下の数学者の方が全然上
（というかABC予想証明とかいうのがだめだったら大変）
ヒルベルト、リーマン、ゲーデル、ガロア、ポアンカレ
アーベル、クライン、ワイルズ、デデキ
792:ント、ディリクレ ヘルマン・ワイル、グロタンディーク、アティヤ エルミート、ケイリー、タオ、ルベーグ、エミール・アルティン カルタン、小平邦彦、ヴェイユ、シュヴァルツ 広中平祐、ポントリャーギン、シロー ロバチェフスキー、エミー・ネーター、コーシー ハミルトン、コルモゴロフ、ヤコビ、ミンコフスキー ド・モアブル、ストークス、クロネッカー トンプソン、ドリーニュ、岩澤健吉、高木貞治
793:１３２人目の素数さん
20/05/12 21:14:22 n1GZ65kN.net
>>761
これらの数学者にも及ばない
フォン・ノイマン、ラマヌジャン、カントール
ブール、ペレルマン、ワイエルシュトラス
アーノルド、ド・モルガン、チェビシェフ
ソフス・リー、ハウスドルフ、リウヴィル
セルバーグ、リャプノフ、クンマー
カラテオドリ、グラスマン、マンフォード
フロベニウス、コンヌ、ピカール
グロモフ、ジーゲル、クーラント、ジョン・テイト
シューア、ショルツェ、コクセター、ヘッセ
バーンサイド
794:
20/05/12 21:50:27.73 UefxpRCw.net
>>761-762
アルキメデスが抜けていますね
795:１３２人目の素数さん
20/05/12 21:59:51 8wZovSMM.net
>>763
風呂から飛び出して、フルチンまま絶叫しながら街中を疾走したヒトか
796:１３２人目の素数さん
20/05/12 22:05:59 n1GZ65kN.net
これはガウス以降の人達ね
797:１３２人目の素数さん
20/05/12 22:18:00 d2xoUXcj.net
>>758
要約して
798:１３２人目の素数さん
20/05/12 22:18:32 VcTKxGmN.net
結果を出す前から、胡散臭いアピールが多いのよね。
まあ本人がしていることではないと思うけどね。
証明できたとしても、ノーベル賞2つ3つじゃ足りないってことはあり得ないし
できなかったら、大学の普通の数学者じゃないの。
799:１３２人目の素数さん
20/05/12 22:26:35 Wcl7UiUc.net
>>766
山下純一氏の記事を一言で要約すると、
「望月vsショルツェ」
ですかね。
来月号に続く予定。
800:１３２人目の素数さん
20/05/12 22:28:40 e0SQqmzZ.net
>>764
現代で大発見したとして、ふるちんで走り回る数学者っているのかな
801:１３２人目の素数さん
20/05/12 22:41:15 /osh8u+Y.net
>>767
グロタンディーク予想
802:１３２人目の素数さん
20/05/12 22:44:54 0bq0yH9u.net
グロダンディーク予想って予想に大数学者の名前がついてるだけで、
べつにそこまで重要な予想じゃなくね？
803:粋蕎 ◆C2UdlLHDRI
20/05/12 22:45:05 JxKxPdjg.net
>>760
スーパーマリオワールドに歌詞つけんの自重せいよ(笑)
804:１３２人目の素数さん
20/05/12 23:32:29.60 HlS2vCHp.net
>>769
少し違うかもしれんが
加藤和也が大学院生のときにほぼ全裸で数学しながら外出してしまって警察に捕まったことは有名だな
805:１３２人目の素数さん
20/05/13 00:41:35 l7uaOAeo.net
望月さげをしたいだけのじいさんの集まり 不見識さらしまくり
806:粋蕎 ◆C2UdlLHDRI
20/05/13 01:08:17 PCZ7zAff.net
お婆ちゃん帰りましょう
807:１３２人目の素数さん
20/05/13 01:41:29.84 14lf73gR.net
>>771
ワロwww
808:１３２人目の素数さん
20/05/13 01:54:01.11 izAtyKG3.net
グロダンディークは、偉い人だな。
俺でも知っている。
809:１３２人目の素数さん
20/05/13 02:12:30 oLzkPZDK.net
ヴェイユとセールが裸で中禅寺湖で泳いだとかいう話があったような。
810:１３２人目の素数さん
20/05/13 05:25:32.74 tiW6QYt6.net
>>764
要約して
811:１３２人目の素数さん
20/05/13 06:42:15.13 ET3/7/TL.net
>>758
やっと日本でも「望月の証明には懐疑的な意見もある」という真実がぼつぼつ活字になるようになったか。
いままでは数学板のこのｽﾚだけでしか日本語の懐疑的な意見を読むことができないという異常な状態だったからな。
大体、玉川が「ショルツが再
812:反論しなかったから望月は正しい」などと言った時記者団は突っ込むべきだった。 RIMSは明らかにわかってないのに論文を通過させたんだから。
813:１３２人目の素数さん
20/05/13 06:51:23.25 YxiDM0Si.net
>>780
そういえば、数セミってこの件について全く言及してないと思うけど
＞「ショルツが再反論しなかったから望月は正しい」
「望月は正しい」じゃなくて「論文を受理した」じゃね？
理由も「正しい」じゃなくて「誤りが見つからなかった」だろうね
気付いてて見過ごしたんなら悪意だが、気づかなかったんならただの過失
玉川氏がいいたいのはそういうことじゃね？ 真相はともかく
814:１３２人目の素数さん
20/05/13 07:21:04 Csv36UPM.net
>>746
雑誌掲載した経験があればわかる ｗ
投稿して掲載で、雑誌側で校正する場合には、
雑誌のプロの校正者により、数ページの論文でもmisprintや校正意見の連絡が来て、訂正する。
ましてや数百ページで ＞あんな長い論文当たり前だろ、は>>744に同意見 。
知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、、
＞馬鹿なのか？ になるよ。
815:１３２人目の素数さん
20/05/13 08:39:11 fEDmqJEG.net
>>782
ま、RIMSの教授(PRIMS編集委員)は、
査読中にabc予想を解決した、
と公式報告したんだよね。
>>749
816:１３２人目の素数さん
20/05/13 10:01:33 Csv36UPM.net
>>783
雑誌掲載での校正は、雑誌掲載の後の順序で、行なわれる作業だよ。
まさか掲載決定する前で、掲載するかも分からない論文を、雑誌に費用を払って、校正して貰うことは無いだろ。
それが普通の順で、それ以外の順序(雑誌校正後に掲載決定）はまず無いだろうから、PRIMSも同じでしょ。
817:１３２人目の素数さん
20/05/13 10:03:06 Csv36UPM.net
ｘ雑誌掲載の後の順序で、
〇雑誌掲載決定の後の順序で、
818:１３２人目の素数さん
20/05/13 10:05:41 X+6dFqm7.net
>>779
すでに限界以上に(肝心なところすら省かれるまでに)要約されてるだろw
819:１３２人目の素数さん
20/05/13 10:19:40 a2PawawM.net
そもそもグロタンティーク予想のときから身内持ち上がりっぽいところがあるんだよね。
Grothendieck conjectureというのはRIMS界隈の造語なんだよ。
ふつうGrothendieck conjectureと言えば、
Grothendieck–Katz p-curvature conjectureのことなんだが、
これを望月が解いたわけじゃないから。
海外の数学者にGrothendieck conjectureって知ってるか、って聞いて、
望月が解いた遠アーベル幾何予想のほうを答えるひとはいないだろうな。
820:１３２人目の素数さん
20/05/13 10:20:21 fEDmqJEG.net
>掲載決定する前で、掲載するかも
分からない論文
PRIMS編集委員(RIMS教授)は
IUT論文の査読中にありながら
abc予想がIUT論文より解決した、
と公式報告した。
査読中から結論が決まっていた、
821:１３２人目の素数さん
20/05/13 11:06:33 Csv36UPM.net
>>788 よく読もう。
>>739で、
＞IUT論文は4月12日 4月18日 4月22日
＞も修正されている。
＞PRIMS編集委員会(望月新一編集長)
＞は投稿規定や編集委員規定や編集規定
＞を公開してください
で、4/3以降のミスプリント訂正だけど、「それが理由で基準公開しろとの話に関して」、
＞知っていればMisprintレベルの訂正についてで、基準を公開しろとかは、
＞馬鹿なのか？ になるよ。
これは確かに、馬鹿なのか？、レベルだと同意しているだけ。
掲載版が、決定版と違えば、変更したのが校正側か著者側かも、校正稿の記録で分るだろうし ｗ
あと、「雑誌決定後に著者がミスプリ訂正以外で変更する」とか、「その他」には、何も言及していない。
単に「雑誌掲載決定後に、プロの校正が入れば、ミスプリの訂正が入る」のは、大抵の雑誌校正では普通だと思うよ。
822:１３２人目の素数さん
20/05/13 11:11:29 aRkbFXYG.net
PRIMSは正しいよ。
投稿者より優秀な査読者が見つからなかったら
受理は当然だよ。
問題なのは上記を明言せずに、ごまかしたみたいな印象の受理をしたこと。
823:１３２人目の素数さん
20/05/13 11:14:37 6BWcsxUZ.net
元々査読中にIUT論文の結論が決まって
いるから、査読制度が崩壊しているね。
824:１３２人目の素数さん
20/05/13 11:35:38.40 fEDmqJEG.net
現代数学山下純一氏の記事を読んだけど
>>749の話がなかった。
これ矛盾していますが
日本の数学界はお墓に持っていくの
だろうか？
825:１３２人目の素数さん
20/05/13 11:39:46.85 pZyVWpwd.net
もうガッキーと結婚できないの？
826:１３２人目の素数さん
20/05/13 12:10:49.84 +KLoGeGf.net
>>787
まあ、それだとしても遠アーベル幾何的には基礎的で重要な問題なんじゃないのかね。
827:１３２人目の素数さん
20/05/13 12:15:22.31 3mQ51YEL.net
>>792
もうあんたいいよ、粘着してる同一人物でしょ？
あの報告書は事務が用意するもんだから、学術的な根拠にならないのよ、つまり間違いもある
事務に解決か解決じゃないかの違いはあまり意味がないのよ
828:１３２人目の素数さん
20/05/13 12:22:02.73 tiW6QYt6.net
ガッキーと結婚。。。
デキル?☆デキナイ？★とかは、ぜんぜん別問題のａｂｃ予想なんだと思います。
829:１３２人目の素数さん
20/05/13 12:23:02.68 QscwWYkK.net
石田ゆり子さんがお似合いなのに結局若い女がいいのね、もっちーも(*`Д')
830:１３２人目の素数さん
20/05/13 12:33:26.38 tiW6QYt6.net
>>797
w
気持ちわかるわかる~
(タメ口)
でももっちーJr.に増えて頂きたいから…若い奥様に期待したぃ希ﾓｽ…
831:１３２人目の素数さん
20/05/13 12:39:11.01 /XMNRK6t.net
RIMSの助教とかどうよ
832:１３２人目の素数さん
20/05/13 12:45:29 tiW6QYt6.net
ぜひ＊くっついて＊頂いて
もっちー×優秀な若手研究者女性のＪｒ.に続々誕生して頂きたぃ!
833:１３２人目の素数さん
20/05/13 12:47:28 DP2x7J2V.net
マジでdtなん？
834:１３２人目の素数さん
20/05/13 12:49:55 tiW6QYt6.net
人生のなにもかもすべて数学に替えてきたのかも。。。
835:１３２人目の素数さん
20/05/13 12:50:46 pZyVWpwd.net
でその数学で失敗か...
836:１３２人目の素数さん
20/05/13 12:53:13 fEDmqJEG.net
>>795
教授会の責任ですよ
837:粋蕎 ◆C2UdlLHDRI
20/05/13 15:17:43 PCZ7zAff.net
もっちーもお猿の一石ﾁﾞﾁﾞｯﾁｬﾏも安達弘志氏も皆、種切れじゃろ、子作りは望めん
838:１３２人目の素数さん
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時就寝」
839:粋蕎
20/05/13 16:56:56.64 PCZ7zAff.net
インドやスリランカは自然の精力剤の宝庫じゃバカモン
840:１３２人目の素数さん
20/05/13 17:10:05 YxiDM0Si.net
>>806
＞菊川怜キャスター「本当に96歳なんですか」
つっこみどころはそこじゃない！
「本当にオジイチャンの子供ですか？」
DNA解析による真相の究明が望まれる・・・
それにしても子供の母親は52歳・・・
そっちのほうが（本当なら）驚きだろう
841:１３２人目の素数さん
20/05/13 18:50:36.22 oIxfYiIk.net
そもそももっちーは結婚したがってるのかね
かわいくて清楚なおなごを遠くから見てるだけでいいっていう昭和の乙女思考かもしれないじゃない
842:１３２人目の素数さん
20/05/13 20:39:24 DP2x7J2V.net
キモいなw
843:１３２人目の素数さん
20/05/13 20:55:07 hePxQ2qs.net
ロリコンはちょっと
844:１３２人目の素数さん
20/05/13 21:11:44.18 tiW6QYt6.net
４４歳年の差婚カップル…
夫５４歳のとき夫人１０歳…
新郎６４歳＆新婦２０歳くらいの年の差新婚夫婦でスタートしてるのかも。。。
845:１３２人目の素数さん
20/05/13 21:17:39.50 tiW6QYt6.net
ロリコンｵﾁﾞｻﾝだったから
ｵﾁﾞｲﾁｬﾝに👶赤ちゃん👶🏻🍼が産まれたんですね。。。
846:１３２人目の素数さん
20/05/13 21:34:48.04 E9JN6Eqz.net
ラサール石井の嫁が34歳差だろ
モッチーならまだ全然可能だよ
847:１３２人目の素数さん
20/05/13 22:12:55 1TX6Uk/U.net
可能だけど、芸能人と違ってカタイ職業だからちょっとキモイかなw
マスゴミ嫌いで嫁はロリって、ガチってかんじがするし
848:１３２人目の素数さん
20/05/14 08:13:54.15 DuNeW6DF.net
ガッキーの気持ちを考えてやれよ
849:１３２人目の素数さん
20/05/14 09:00:43.89 gHMRZlUf.net
逃げ恥またやるんだな
もっちー、喜んでるかな
850:１３２人目の素数さん
20/05/14 17:07:49 3MIu7ObK.net
京大山中所長
「一人から何人に感染が広がるかを
示す実効再生産数（Rt）を１未満で
維持することが目安になります。」
「Rtは統計や公衆衛生の専門家でない
と算出できないと思い込んでいましたが、昨日に紹介した論文でエクセルを使って算出する方法が報告されています」
「大阪府民である私から見ると、
大阪府のRtが4月21日に1を下まわり、
5月1日現在で0.6程度という計算結果は、府民の努力が報われているようで嬉しく思います」
↑
素人の所長が公式をエクセルで計算
し他人を振り回してはいけません。
高校生へオイラーの公式を振り回し
威張る高校教師を想起します、
大阪府民が大喜びなら大きなお世話
でしょうが。
まずデータの注意書きは必ず読みましょう。
851:１３２人目の素数さん
20/05/14 17:09:41 3MIu7ObK.net
>>818
Rtは臨界.閾値に関係し、まず
SIRモデル=KMの微分方程式
力学系 V-Tグラフ 臨界 閾値の定理
ミクロからマクロへ からでしょう
高校の数学物理生物を読みましょう。
また京大RIMSからも、IUTによる
チャート式COVID19流行の
「大予言」がありそうです。
英国フェセンコ曰くIUTは天気予報も
改善する可能性もあると。
なら天気予報特に集中豪雨よりも
感染症流行の方が予測は容易いはず
実際は
英国 感染者数 230264人
死者33264人
デフォー「ペスト」の世界の再現か？
COVID19を避難し郊外でIUTの
ポストモダン物語を書くためか？
852:１３２人目の素数さん
20/05/14 18:30:01 gkLkdBaO.net
>>818
宝くじに当っただけなのに、
自分は頭がいいと思い込んでしまったんだろね。
853:１３２人目の素数さん
20/05/14 19:54:34 1sT+4Tsx.net
山中教授はコロナのホームページ張り切って立ち上げたり
ノーベル賞の俺が国民を救ってやんよ感が出すぎてるよな
純粋な知的活動による業績ではないので俺はあまり好きではない
854:１３２人目の素数さん
20/05/14 20:18:31 2NOWxv+e.net
山中先生。。。
エリートらしい社会意識の高さがうかがえるご活躍ぶりが大変頼もしく感じられます。。。
(素晴らしい方だな)って拝見してます。。。
855:１３２人目の素数さん
20/05/14 20:27:56 Y6zl8CwR.net
高校物理で類似なら原子核崩壊や気体分子の衝突確率モデル、更に確率のパーコレーションも感染症の拡散モデルがあり
臨界がある。
反応拡散方程式なら趣味の範囲かw
類似は類似で感染症は素人だから
クラスター班の分析を興味深く見ているだけの人も多い。
素人でも北大数理モデルチームが優秀なのはわかるw
数学セミナーにシンプルな分析方法の記事があるね、
856:１３２人目の素数さん
20/05/14 20:41:42 vRmthIhC.net
山中って本当に馬鹿だな
857:粋蕎 ◆C2UdlLHDRI
20/05/14 20:56:21 wmtQoKkt.net
>>820
宝くじが当たって頭が本当に頭良いか否かが分かるのかは其の後に分かる事じゃな｡
858:１３２人目の素数さん
20/05/14 21:10:02.56 gHMRZlUf.net
山中教授は医学会では苦労人
挫折経験してるから強い
マラソン好きだし、高校のマドンナ的同級生と結婚したわけだから性格も非常にマトモ
859:１３２人目の素数さん
20/05/14 21:21:57.57 pZ26aQiB.net
>>826
誰かさんへのあてつけか？w
860:１３２人目の素数さん
20/05/14 21:30:13.52 vRmthIhC.net
コロナで迷惑かけまくってる馬鹿山中がまともとか
861:１３２人目の素数さん
20/05/14 21:38:39.09 44IPwDRu.net
誰に迷惑かけたんだ？
862:１３２人目の素数さん
20/05/14 21:56:58.18 gZVaGCKZ.net
山中さんが大阪府在住ということの方に驚き
わざわざ大阪から京都大学まで通ってるのかよ
863:１３２人目の素数さん
20/05/14 22:13:23.77 gHMRZlUf.net
まあ、京都と大阪なら大阪のほうが圧倒的にすみやすいだろうな
買い物が不便なのにくわえ、京都はいけず文化だから、よそさんが一家を構えるとくっそめんどくさそう
大阪ー京都駅は新快速で３０分、京大まではそこからまだ距離があるがまあ通勤可能
奈良から通ってる人も結構いるしな
結局近畿圏は大阪発だと一時間もあれば、西は姫路、南は和歌山、北は京都、東は奈良、全部いける
もっちーはその辺に住んでるんだろうな
864:１３２人目の素数さん
20/05/14 22:31:36.50 zoyJ8R2P.net
ノーベル賞受賞者が電車通勤していると思っているのか…
865:１３２人目の素数さん
20/05/14 22:40:33.28 pZ26aQiB.net
山中伸弥スレ
866:１３２人目の素数さん
20/05/14 22:45:39.58 cMcww6Xf.net
運転手つきなのか、大阪市内から車なんてぜいたくだなぁ
もっちーなんてなんじゅうねんもじてんしゃなのに( ;´･ω･`)
867:１３２人目の素数さん
20/05/14 23:03:20.28 Y6zl8CwR.net
>>831
買い物なら商店街があるよ
868:粋蕎 ◆C2UdlLHDRI
20/05/14 23:50:56 wmtQoKkt.net
何で京都府民平均食費って毎月毎月高いん？大御所揃いだからかと思いきや庶民でも他より高い言う｡
869:１３２人目の素数さん
20/05/14 23:55:36 vRmthIhC.net
>>829
迷惑かけてないと思ってんのか
馬鹿が
870:１３２人目の素数さん
20/05/15 01:45:18 3dOo0xKH.net
>>837
だから誰に迷惑かけたんだよ
お前一人にか？
871:１３２人目の素数さん
20/05/15 05:27:53.35 MyodKDsU.net
>>830
別に不思議ではない
経済的に余裕があると、枚方市内の高級住宅街に住んで京阪で出町柳まで出て、そこから徒歩で大学まで行くという人がわりといるよ
872:１３２人目の素数さん
20/05/15 07:33:17 tkQ9tPR6.net
PCR検査をしないと駄目とか、検査して、陽性率が高いからまだ駄目とか
ただの馬鹿なコロナ脳のキチガイの一人だったじゃん
BCGでインフルエンザ以下の病気だはっきりした頃にそう言ってた
謝罪して、腹を切れ
873:１３２人目の素数さん
20/05/15 09:35:38 /UwGd51f.net
>>101
ショルツに関しては同じ分野の研究者が
「こんなに若い人(に先に結果出されてしまった？)なのは屈辱的でした」
ってインタビューに応じてたから、やっぱり“脅威の新人”の存在は影響が大で、ショルツの言葉は同じ“業界”の先輩研究者には刺激的なのかも。
874:１３２人目の素数さん
20/05/15 09:36:11 4x6ffprZ.net
基本的な質問で恐縮ですが
Q.IUTで、ABC予想の以下の形の式
c<K(ε)rad(abc)^(1+ε)
について、K(ε)は具体的に求まりますか？
求まる場合、求め方についても教えて下さい
求まらない場合 その理由について教えて下さい
875:１３２人目の素数さん
20/05/15 09:38:32.03 Y+aia1Fj.net
>>834
もっちーか"わ"え"ぇ"な"ぁ"...
876:１３２人目の素数さん
20/05/15 09:39:16.48 Y+aia1Fj.net
>>836
グルメだからさ。(適当)
877:１３２人目の素数さん
20/05/15 09:43:25.35 Y+aia1Fj.net
>>838
そうだよ。(迫真)
837っちがどんだけ山中さんに迷惑掛けられてきたか、、、
彼のことを考えるだけで837っちは、悔しくて妬ましくて、
夜しか眠れなくなっちゃってるんじゃないのか？
知らんけど。
そりゃ憎いよなー(棒
878:１３２人目の素数さん
20/05/15 10:04:28.96 F3aivaCY.net
>>841
しかもさわやかイケメンだしな
30くらいまではどうしてもギラギラしてるし野心満々だし隠しても生意気が出てるし
自分がおっさん化したことまざまざと思い知らされて悔しくなっちゃっても仕方ない
じゃないと学部生なんて単語も出てこないとおもうね
879:１３２人目の素数さん
20/05/15 11:32:02 IZlBj0N0.net
>>834
何十年も自転車って本当？
880:１３２人目の素数さん
20/05/15 11:37:05 kyzBmJ2/.net
教授陣
「結局みんな・・・
若い子の方に期待しちゃうんでしょ？#ムキキキイィッ！#」
881:１３２人目の素数さん
20/05/15 11:46:34.78 QpQhaKOp.net
>>847
少なくとも、文元さんが京大にいた頃、北部構内で自転車に乗ったもっちーとバッタリ再会したと著作で述べている
最近だと4月初めのアクセプト発表時、記者がもっちーにinterviewを試みたが拒否され、自転車で去っていったという記事が出ていた
882:１３２人目の素数さん
20/05/15 12:05:41 IZlBj0N0.net
独身なら自分に使える金は結構あるはずだけどどこに使ってるのかな
883:１３２人目の素数さん
20/05/15 12:11:00 H1pyin2R.net
大学のそとはどうか知らんが、
構内で専用自転車というのは特に珍しくない。
東大も本郷では自転車で移動している教師はちらほらいる。
884:１３２人目の素数さん
20/05/15 12:16:27 QpQhaKOp.net
性格的に徹底的に無駄を省いてそうだから、四畳半の独身寮に未だ住んでで驚かないよ
885:１３２人目の素数さん
20/05/15 12:22:34 wa/ZlrKd.net
そこでIUT密教が生まれたのか
886:１３２人目の素数さん
20/05/15 12:24:11 3dOo0xKH.net
>>852
そうか？
大量にあるRemarkとか、"!"とか、無駄を省く方向とはむしろ逆な気がする
一方で、重要な単語をインラインで定義していたりして、よくわからんけど
887:１３２人目の素数さん
20/05/15 12:28:56 kyzBmJ2/.net
ちゃんと貯めてればガッキーも満足の新居が用意出来るのかな...
888:１３２人目の素数さん
20/05/15 12:58:27 HQlUCdl1.net
だって大阪じゃ成立しないんだろ？
生活じゃないぞ定理のはなしだぞ
889:１３２人目の素数さん
20/05/15 13:31:41.31 wa/ZlrKd.net
なるほど
山中 自画自賛の大阪モデル
望月 京都追分町限定abc「定理」
890:１３２人目の素数さん
20/05/15 14:00:04.00 ZQxGfEMi.net
山中望月ってなんか漢詩っぽいな
891:１３２人目の素数さん
20/05/15 14:20:00 +wN+V0p+.net
望月＆星コンビは宇宙祭っぽいなーっておもった。
892:１３２人目の素数さん
20/05/15 14:41:45.51 tkQ9tPR6.net
山中はコロナ脳で迷惑かけまくってる馬鹿な有名人の一山にすぎない
死んだ方がいい
893:１３２人目の素数さん
20/05/15 15:41:27 A7RXUfqX.net
山中望月が日本の2大至宝だぞ
894:１３２人目の素数さん
20/05/15 15:58:44 58GZNA2k.net
文元本並んでるね
深い意味はなくて、アクセプトしたから刷ったんだろうね
895:１３２人目の素数さん
20/05/15 16:01:10 ofoiXtbS.net
>>858
中央線沿線に居着いたバカ田夜間あたりが最高学歴のサブカル老人こそ大月以西に強制移住させてミヤイリガイ除作業やら京大八回生モンキーにエサをやる朝三暮四作業員に再雇用してやってほしい。
896:１３２人目の素数さん
20/05/15 17:03:49 H1pyin2R.net
死ねは言い過ぎだが、山中さんはこのままじゃ
岡田とかいう太ったオバチャンと同等の
PCR厨に成り下がってしまう
学者としては雲泥の差なのに
山中先生これ以上晩節を汚さぬよう
もうおやすみください
897:１３２人目の素数さん
20/05/15 17:36:14 iPnFDz5C.net
無症状の人がいるんだからCTじゃ検出できずにスプレッダーになるだろ
898:１３２人目の素数さん
20/05/15 18:04:56.84 58GZNA2k.net
正直強い理論系の業績にしかあんま興味ないな
iPSの発見って僅差の時間競争みたいなものでしょ？
899:１３２人目の素数さん
20/05/15 18:11:38.75 jfHDjKEQ.net
>>864
宝くじに当っただけの運のいい人だからね。
モッチーは、実力はあるんだけど、いつも肝心なところで転んでしまう
無冠の帝王かな。
900:１３２人目の素数さん
20/05/15 18:13:33.67 ncwSUDpa.net
日本へ誇る京大限定の山中望月モデル
他人の公式or自分が勝手に作った公式
で計算する自画自賛のチャート式。
公式の根拠は日本のマスコミワイドショーが絶賛しているから。
逆の問題に無能を露呈
901:１３２人目の素数さん
20/05/15 18:18:41.07 ncwSUDpa.net
>>865
数学セミナーを嫁
902:１３２人目の素数さん
20/05/15 19:50:16 h9rq+8q+.net
京都住みで車持ってないって考えられないぞ
どこ行くにも車だし
903:１３２人目の素数さん
20/05/15 19:59:28.73 tkQ9tPR6.net
山中は後は死にさえばいい
馬鹿なんだから
今、死ねば惜しまれる
904:１３２人目の素数さん
20/05/15 20:17:35 Ht6Zs2/q.net
アベノマスクがきた
どうしよう
905:１３２人目の素数さん
20/05/15 20:30:57 7GFRlv4/.net
>>870
モッチーが運転してるとこ、全く想像できない
906:１３２人目の素数さん
20/05/16 01:08:19 /5JieNaL.net
生活が京大周辺で完結してるなら自転車+公共交通機関で済む。車は必要ないどころか邪魔
907:１３２人目の素数さん
20/05/16 02:02:55.97 tXRewj56.net
IUTアンチスレはどこだ
邪道なIUTはカス！ってな香具師も多いだろｗ
908:１３２人目の素数さん
20/05/16 07:28:47 fYJZIPnm.net
おごれるものひさしからず
909:１３２人目の素数さん
20/05/16 12:21:49 MFK1Erg0.net
>>874
京都は駐車場ないしな
あっても常に満車
910:１３２人目の素数さん
20/05/16 13:23:23 45sx1zxP.net
15分600円?のところもあったって友達が引いてた
911:１３２人目の素数さん
20/05/16 13:38:05 UzP5f+gS.net
大学と家の往復しかしないのに車とか必要ないだろう
なんつーか、もっちーって数学が本当に好きなんだな
はやくショルツェが納得してくれて、世界的に評価されて報われるといいね
912:１３２人目の素数さん
20/05/16 13:52:38 bF14TTx+.net
望月自身はフェルマーの最終定理の簡単な証明ができたと思い込んだ人みたいに、自分の間違いを認識できないだけで、周囲が持ち上げた可能性はあるよね
913:１３２人目の素数さん
20/05/16 13:58:54 0cbTwyzX.net
ヒロシマとナガサキに原爆をくらっった直後に
ノーベル物理学賞をもらった奴みたいに
裸の王様にしちまえよ
914:１３２人目の素数さん
20/05/16 14:09:23.01 FmAg8oZO.net
グロタンティーク予想の解決についても調べてみたけど、
上で書かれてるようにGrothendieck conjectureというのがあったわけじゃなくて、
中村、玉川、望月あたりの造語っぽいね。
しかもこの論文もPRIMSでしょ。
ほんとうに解決してるんだろうか。
915:１３２人目の素数さん
20/05/16 14:22:35 VN/D3za9.net
えっじゃあ遠アーベル幾何学のWikipediaの
>グロタンディークは、射有限群である C の代数的基本群 G が C 自身を決定する
>（つまり G の同型類が C の同型類を決定する）と予想した。
>このことは望月新一により証明された[3]
これって嘘なの？
916:１３２人目の素数さん
20/05/16 14:27:54 FmAg8oZO.net
>>883
グロタンティークがした予想ってたくさんあるよね。
そのなかのひとつを特にグロタンティーク予想と呼んでるのが変だな、
とは思ってたんだが、正確にいうと、
遠アーベル幾何化に関するグロタンティークの予想
で、わざわざグロタンティーク予想という造語をする必要性がよくわからなかった。
ちなみにそのWikipediaの記述自体もそんなに正しくなくて、
この予想は中村、玉川、望月の共同作業で解決したことになっているので、
望月が解決したというのはちがうかなと思う。
917:１３２人目の素数さん
20/05/16 14:44:56 45sx1zxP.net
>>880
>自分の間違いを認識できないだけで、
ここまで誰も説明できない時点で、うすうす気が付いてなきゃおかしくない？
918:１３２人目の素数さん
20/05/16 14:54:39 rz4P0rck.net
Tとかもわかってない、って思ってるだけかもしれん。
919:１３２人目の素数さん
20/05/16 15:01:25 VN/D3za9.net
>>885
例えば、最晩年のマイケル・アティヤは自分の間違いを認識できていただろうか
920:１３２人目の素数さん
20/05/16 15:26:20.65 TyZLv2xK.net
どんどんメッキが剥がれてきてるな
スタップ細胞の人と流れが同じじゃね
921:１３２人目の素数さん
20/05/16 16:07:46 0bZfAewz.net
アカデミックな奴らの牙城を崩した理論
築き上げてきた物を革新=オワコン化する可能性があるので黙殺されてる
難解だから今の時代はまだ理解できない
数学界ではよくある話
922: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(ε) が存在できる
923: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を使った)
全部のトリプルでこのグラフ書いてなんかする
924:１３２人目の素数さん
20/05/16 17:05:26 pfRK/KOl.net
だれか1996年の論文を再検証してくれんかな。
あの論文に対するIの評論とかを今読み返すとなんか思うところがあったのかな、
という感じで、当時あれがほんとうに受け入れられていたのかわからないところがある。
925:１３２人目の素数さん
20/05/16 17:10:03 DjHTdFTr.net
>>890-891
いいたいことは承知しました
要は、
「望月の証明で
sup_{t∈T} rad(abc)^(q(a,b,c)-1-ε)
の情報って得られるんですか？」
ということです
926:１３２人目の素数さん
20/05/16 17:16:59 DjHTdFTr.net
>>892
I氏って伊原氏か
URLﾘﾝｸ(www.jstage.jst.go.jp)
927:１３２人目の素数さん
20/05/16 17:24:00 VN/D3za9.net
>>892
>「従来の私の好みとは少し違うが, すごいじゃないか！」を捧げたいと思います.
ってやつ？
確かに、本人たちの解説が出ることを建前に、（ボロが出ないように）短めに済ませた感じはあるね
928:１３２人目の素数さん
20/05/16 17:27:37 F1nBq9DZ.net
伊原評論はそこと最後の光と闇の話がちょっと変わってるんだよな。
だれか具体的なひとを想定してないとこういう書き方はしないと思うんだが。
929:１３２人目の素数さん
20/05/16 17:36:39 45sx1zxP.net
>>896
あのおっちゃん、当時からの○○の持ち上げられようと性格からしてこうなる
ことを見透かしていたような感じやな (嫉妬的なものもあると思うけど)
930:１３２人目の素数さん
20/05/16 17:38:15 VN/D3za9.net
>近い分野で, やはり大変すぐれた研究をされた方々もおられます. それら
>も含め近い将来の一層の開花を期待したいと思います。
確かに、遠アーベル幾何について何か思うことがありそうだな
評論としては蛇足でしかないのに、わざわざ書いたのは気になる
光と影は何の暗喩なんだろうな
931:１３２人目の素数さん
20/05/16 17:44:25 DjHTdFTr.net
1996年か・・・この頃子供だった奴に
「あなたの証明には修復不能な穴がある！（ビシっ）」
といわれたら、頭に血が上るかもな
932:１３２人目の素数さん
20/05/16 19:43:41.00 /t7riJD6.net
>>898
光…遠アーベル幾何の発展
影…望月理論に対する社会の反応？
933:１３２人目の素数さん
20/05/16 22:05:14.42 Nxb98Jfx.net
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か？どうなん？
934:１３２人目の素数さん
20/05/16 22:05:22.39 Nxb98Jfx.net
ここ、やたら専門家ぶってる奴がたまにいるじゃん
遠アーベルってそんな重要か？どうなん？
935:１３２人目の素数さん
20/05/16 22:06:18.74 F1nBq9DZ.net
重要ならみんなやってるよ。
936:１３２人目の素数さん
20/05/16 22:38:47 oii8q1/C.net
専門家ぶってるだけで専門家がいる訳ないだろう、バカやろう
正則性公理と選択公理の違いすら分からないアホどもの集まりだぞ
937:１３２人目の素数さん
20/05/16 22:39:20 w8NKCFpA.net
８年間も放置されたということは、
何を意味するんだろうか？
馬鹿でもわかるよな。
938:１３２人目の素数さん
20/05/16 22:43:05 HZAEdK+O.net
>>904
なんかその一点で擁護するのが流行ってるみたいだけど、
もしかしてあれは擁護派の自作自演か？
939:１３２人目の素数さん
20/05/16 22:49:08 oii8q1/C.net
>>906
流行ってるも何もそのレベルの人間の集まりてことじゃん
940:１３２人目の素数さん
20/05/16 22:51:25 kNzkts7S.net
そもそも擁護ってあかん人を助けたるって意味やからな
941:１３２人目の素数さん
20/05/16 22:54:43 HZAEdK+O.net
>>907
あれひとりの書き込みじゃなかったっけ？
そうだっていう集団だった？
942:１３２人目の素数さん
20/05/16 22:55:19 oii8q1/C.net
枝葉末節とはいえ基礎論部分について5chに書かれていたデマ（と思われるもの）がずっと信奉されてた時点で、このスレのレベルの低さは推して知るべしだろう
正則性公理と選択公理レベルの間違いではないにせよ
943:１３２人目の素数さん
20/05/16 22:56:09 HZAEdK+O.net
ちなみに関係ない文脈でいきなる正規性公理が云々で擁護を始めたIDは複数ある。
それともあれもひとりなのか？
944:１３２人目の素数さん
20/05/16 22:56:47 HZAEdK+O.net
>>910
基礎論におけるデマとはなにを指してるんだ？
945:１３２人目の素数さん
20/05/16 23:01:15.18 oii8q1/C.net
>>912
>>606
946:１３２人目の素数さん
20/05/16 23:03:36 HZAEdK+O.net
>>913
？？？
それはもともとの2012年の基礎論の指摘と関係ないけど？
947:１３２人目の素数さん
20/05/16 23:04:57 pVwHh2vl.net
> 渡部篤
> PCR検査は必要な人には行うべきだが、日本国民全員には無駄である。そんなお金があるならば、治療薬・ワクチンの開発と、コロナ恐慌で苦しむ企業と個人を救済すべきである。新型コロナウイルスよりテレビウイルスが怖い時代である。
>
> 馬場正弘
> コロナの参考にスペイン風邪のことを調べると、人口当たりで百倍以上死亡者が出て、アメリカは平均寿命が12歳も低下した。
しかし文明が崩壊するどころか経�
948:ﾏは大して影響を受けず、アメリカは1920年代の金ピカ時代に突入する。当時の人類の方がずっとタフということが。 > > 今すぐインフルエンザより弱いただの風邪で馬鹿みたいな経済封鎖で人を大量虐殺する蛮行を阻止しないといけない 山中みたいな馬鹿は殺していい
949:１３２人目の素数さん
20/05/16 23:07:35 oii8q1/C.net
>>914
いや、ZFCGがZFCの保存的拡大云々の話で怪しい部分があるってのが、結局怪しいが間違ってましたて話なんだけど
950:１３２人目の素数さん
20/05/16 23:09:44 HZAEdK+O.net
>>916
ZFCGがZFCの保存的拡大だっていうのはIUTのIVに対する指摘じゃないよ？
951:１３２人目の素数さん
20/05/16 23:12:02 oii8q1/C.net
>>917
えぇ。。じゃあなんの指摘なんだよ
952:１３２人目の素数さん
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で書いています。
953:１３２人目の素数さん
20/05/16 23:16:05 u5Wx3bhi.net
基礎論の専門部分がわからないから数学のしろうとだっていうこと自体話が飛んでるし、
遠アーベルが数学の重要分野かどうか
954:となにも関係がないと思うんだが
955:１３２人目の素数さん
20/05/16 23:19:53 oii8q1/C.net
>>919
苦しい言い訳だなあ
>>324とかまさしく本文のIVにケチつけてるようにしか読めんけど
956:１３２人目の素数さん
20/05/16 23:20:49 oii8q1/C.net
>>920
比較的メジャーな基礎論ですらこれなんだから、遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話
957:１３２人目の素数さん
20/05/16 23:21:09 MokiylaE.net
山中は大ホームラン(ノーベル賞）を打ったことがある。
望月は、ホームランかファールかずっと8年判定中。
格はまるで違う。
世間一般の扱いだと千倍ぐらい違うよ
958:１３２人目の素数さん
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章の話じゃないの？
そして修正してるんだから望月が間違えていたのでは？
959:１３２人目の素数さん
20/05/16 23:22:56 xQ6GSYXj.net
>>922
けっきょくこういう擁護がしたいから過去のだれのレスかわかんないやつの揚げ足取りしてるだけだわな
960:１３２人目の素数さん
20/05/16 23:25:12 Ikwt2T5y.net
>>924
たぶん今のIUT論文には書いてないから、ってことでは
まあようするに間違えてたってことだし、
あとで修正しても基礎論の理解が不十分なんじゃないかっていう疑問への反論になってないんだよね
そのへんはうえでとっくに議論済みなわけだが>>584とか
961:１３２人目の素数さん
20/05/16 23:27:39 oii8q1/C.net
君らは誰かの指摘に乗っかりたいだけで、ほとんど誰も考えてねーじゃんという話
962:１３２人目の素数さん
20/05/16 23:33:32 oii8q1/C.net
>>925
同じアンチから切り捨てられる当時のアンチくんがかわいそう
963:１３２人目の素数さん
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)
964:１３２人目の素数さん
20/05/16 23:39:34 NvW/v763.net
考えてるもなにもZFCGがZFCの保存的拡大じゃないっていうのは、
Shulmanのp.15以下を読めばわかるしこのことも最初から言われてるよ
もっちーは基礎論の理解があやしいっていうのはどう転んでも否定できないんだから
すなおに認めればいいのに
それともどう転んでも否定できないからこの話題はやめにしたいのかもしれんが
965:１３２人目の素数さん
20/05/16 23:41:31 NvW/v763.net
だいたいどう転んでも間違ってるから最新版だと修正してるってのがわからんのかね
966:１３２人目の素数さん
20/05/16 23:44:40 oii8q1/C.net
詳しくないてのは正しいんだろうけど、これだけ色んな人が見た中でそんな基礎論の人から見たら明らかに間違ってることが今の論文に残されてんのか？てのが俺の意見だな
967:１３２人目の素数さん
20/05/16 23:50:02 7SYfcplA.net
5ch名人達。基礎論の件で誰かモチに直メで突っ込まんの？
968:１３２人目の素数さん
20/05/16 23:50:38 WJgTt1B0.net
>>933
突っ込むもなにももっちーが修正してるんだから間違ってたの確定では？
969:１３２人目の素数さん
20/05/17 00:04:09.46 idOy6qD3.net
結局現論文で明らかな間違いはありませんでしたってことか
修正しろと騒いでたやつも修正されて良かったな
970:１３２人目の素数さん
20/05/17 00:05:07.46 F5HS2nbm.net
補題3.12のproof
971:１３２人目の素数さん
20/05/17 00:09:45 4Wd753iR.net
明らかな間違いかどうかはわからないが、
「証明にギャップがある」とか「証明になっていない」とか「証明が理解できない」とか
言われているな
972:１３２人目の素数さん
20/05/17 00:15:46 b8wYZczP.net
なんか論点がすり替えられてるが、
もともとは論文IVの基本的な誤りを修正したのに結論に影響が出ないなら、
論文IVいらないんじゃないのって話ね
あと>>584
あとID:oii8q1/Cの言葉を借りればそんな初歩的な理解をしていないやつが
遠アーベルがわかるのか、って話（これは望月にとってすごいブーメランなの）
973:１３２人目の素数さん
20/05/17 00:18:01 /FhBkao/.net
＞比較的メジャーな基礎論ですらこれなんだから、
＞遠アーベルが重要かどうかなんて分かる訳ねえじゃんて話
なるほど、これはもっちーに対する批判だったのか（汗）
974:１３２人目の素数さん
20/05/17 00:43:02 YDliggmG.net
＞比較的メジャーな基礎論
少なくとも初めて聞きましたメジャーって言葉
煽るけど数学基礎論って基礎って言う名前の割にほとんど数学に役立たない
975:１３２人目の素数さん
20/05/17 00:49:45 1bBWb+BJ.net
宇宙際って名前の割には追分でしか成立しない
976:粋蕎 ◆C2UdlLHDRI
20/05/17 00:50:18 LIJrZTQ0.net
>>875
> IUTアンチスレはどこだ
知らんかったのか
Inter-universal geometry と ABC予想 否定派2
ｽﾚﾘﾝｸ(math板)
977:１３２人目の素数さん
20/05/17 01:39:12.74 /5MRV7Cs.net
>>940
最近まで役立たずだったが、圏論以後ポテンシャルは出てきたと思う。後は天才の出現次第だろう
まあ集合論にはゴロゴロ天才がいたんだけど、普通の数学には直接関係なかったからねえ
978:１３２人目の素数さん
20/05/17 01:52:39.67 YDliggmG.net
○圏論と基礎論は方向性が違いますので
979:１３２人目の素数さん
20/05/17 04:31:22 xTho8h44.net
>>938-939
望月に遠アーベルがわかっているのかとは、ずいぶんやばいスレになったもんだな
980:１３２人目の素数さん
20/05/17 09:37:33 OxYJzrF1.net
>>940
数学におけるガウスの役割
＝数理論理学＆集合論におけるゲーデルの役割
ちなみに（ヒルベルトの意味での）「基礎論」を殺したのはゲーデル
ゲーデル
「自然数論を含む帰納的公理化可能な理論が、
無矛盾であれば、自身の無矛盾性を証明できない」
アッカーマン
「え？じゃ、自分の原始帰納的算術の無矛盾性証明はいったい・・・」
ベルナイス
「・・・ああ！証明中の順序数の超限帰納法が、
原始帰納法的算術では導けないのか！」
ゲンツェン
「・・・てことは、逆に適切な超限順序数が構成できれば
その超限帰納法によって、カット除去の証明が
できるってことですね？(￣ー￣)ﾆﾔﾘ」
981:１３２人目の素数さん
20/05/17 09:43:03 OxYJzrF1.net
>>943
数理論理学における圏論の位置づけは明確でないように思う
982:１３２人目の素数さん
20/05/17 10:04:38 qZbJw0Vm.net
>>420
基礎論は遠アーベル幾何より上位の分類（生物学で科のほうが属より上位という意味で）って話では
ていうか Mathematical Logic の訳語として何故か日本では「数学基礎論」が使われてるけど
今どきのロジシャンは必ずしも数学の基礎付けをモチベーションにしてるわけではないよね
ただ HoTT なんかはまさにそういう試みだと思うし
じっさい IUT を形式証明に載せるとかしないと現在の不毛な状況は進展しなさそうなんだけど
そんな人材いないよな…(Dupuy が貢献してくれると思ってたことあるけどあの人ダメっぽい)
983:１３２人目の素数さん
20/05/17 11:06:26.1
984:0 ID:t5k0k7kf.net
985:１３２人目の素数さん
20/05/17 11:32:06 LWrun3Tf.net
mugashohouとの論戦についに任期付き数学者参戦したな
wktk
986:１３２人目の素数さん
20/05/17 12:06:43.44 C5I6HZrO.net
そもそも数学の基礎づけって数学界隈のごく一部が取り組んでいただけで、
ぜんたいとしては数学の基礎づけ運動なんて起こってないからなあ。
987:１３２人目の素数さん
20/05/17 12:12:21.29 3LIdhbL+.net
数学者全体として取り組んだ数学の運動って旧ギリシャ時代以外にはないでしょうね
988:１３２人目の素数さん
20/05/17 12:15:25.95 Hn3N/L4N.net
無理数？そんなものは無い 死刑!!
ってすげー時代だな
989:１３２人目の素数さん
20/05/17 12:25:12.46 4Wd753iR.net
ヒルベルト・プログラムの影響って大したことなかったの？
ヒルベルトの23の問題（特に第2問題）とか、かなり大きな影響を与えたんじゃないかと思うけど
990:１３２人目の素数さん
20/05/17 12:41:01.69 fkBSYghd.net
算術の公理の無矛盾性とか気にしなくても数学はできる
これはデデキントが実数を厳密に定義するまえから実数はずっと使ってるのと似てる
991:１３２人目の素数さん
20/05/17 12:53:20.98 4Wd753iR.net
（素朴）集合論のパラドックスとか、当時は大問題だったと思うんだが
「ヒルベルト・プログラムは、単にその矛盾を取り除く（＝無矛盾性）だけではなく、
今後二度とこのような矛盾が現われないように、数学全体に確固とした基盤（＝完全性）を与える目的があった。」
訳でしょ？
ゲーデルの不完全性定理によってこのプログラムがある種「終わる」までは、割と深刻な問題だったんじゃないか？
992:１３２人目の素数さん
20/05/17 12:56:38.84 fkBSYghd.net
>>956
それは一般向けに書かれる新書とかがそういう書き方だからだろう。
ああいうのは哲学とは関係があるのかもしれんが数学コミュニティとはそんなに関係はない。
ヒルベルトの問題提起からゲーデルの解決までのあいだに、
基礎付け以外の数学の研究が低調になったというデータでもあるのか？
993:粋蕎 ◆C2UdlLHDRI
20/05/17 13:04:02 LIJrZTQ0.net
寧ろラプラスの悪魔のが当時新世代に萎えを与えたイメージ
994:１３２人目の素数さん
20/05/17 13:05:22 OxYJzrF1.net
ヒルベルト・プログラムの目標は
自然数論による数学（というか解析学）の無矛盾性証明だったんだが、
ゲーデルが
「ごめん、ヒルベルト・プログラムを達成しようとしたんだけど
そもそも自然数論の無矛盾性自体、自然数論で証明できないこと発見しちった」
といっちゃったんで、頓挫した
逆数学が、帰ってきたヒルベルト・プログラムかどうかはなんともいえない
しかし、主張な成果はほぼＡＣＡで達成できそうなんで
「な？」とかいうコート着たオジさんがでてきそうな感じではある
995:１３２人目の素数さん
20/05/17 13:08:32 4Wd753iR.net
>>957
そんなデータは知らないが、
この種の問題に全く興味がなかった数学者がいたってこと？
996:１３２人目の素数さん
20/05/17 13:10:37 OxYJzrF1.net
>>959の続き
RCA、WKL 短小
ACA 通常
ATR、Π1-1CA 長大
とすると結論としては
「普通の＊＊は、通常のサイズでも、ほぼ満足」
って感じですかね
997:１３２人目の素数さん
20/05/17 13:11:01 3LIdhbL+.net
数百年前からすでに分野が多様化してますし、世代全体に影響を与えることはもうほぼないのではないでしょうか
仮にIUTが全て正しかったならば、そうなってたかもしれませんが
998:１３２人目の素数さん
20/05/17 13:22:06.67 fkBSYghd.net
>>960
ふつうにいるのでは？
今だって数学基礎論にまったく無関心な数学者はいるし。
999:１３２人目の素数さん
20/05/17 13:27:44.78 4Wd753iR.net
>>963
いや当時の話ね
レスバ的には「基礎付け以外の数学の研究が低調になったというデータ
1000:」を示せない俺の負けでいいけど、 具体的な反例があるのかどうかは気になるところ 「ヒルベルト・プログラム？そんなのどうでもいい。俺は自分の研究さえできればいいんだ」 的な思想の数学者は当時本当にいたのかな？
1001:１３２人目の素数さん
20/05/17 13:51:27.27 fkBSYghd.net
>>964
その質問は最初の質問とおなじなの？
最初の質問はヒルベルト・プログラムの特に第２問題が影響を与えたかどうかだよね？
で、俺は第２問題について考えなくても数学はできるしやってたでしょ、という立場。
そもそも数学者が真にヒルベルトの第二問題を深刻だと信じているなら、
数学の研究はいったんやめると思うんだが？
1002:１３２人目の素数さん
20/05/17 14:14:44.88 4Wd753iR.net
>>965
そう
ヒルベルト・プログラムが当時の数学者に影響を与えたかどうか
あなたの立場によれば、ヒルベルト・プログラムの影響を受けなかった数学者が当時少なくとも1人は存在したことになる
全員が全員ヒルベルトやゲーデルのような天才ではないから、
全ての数学者が自分の研究を一旦やめてヒルベルトの第2問題に取り組めるはずはない
しかし、それでもヒルベルト・プログラムのことを頭の片隅に置いた状態で研究していたのではないかと思う
そうでない数学者が「存在する」という主張は正しいかもしれないが、それなら具体例が知りたい
1003:１３２人目の素数さん
20/05/17 14:18:32.31 fkBSYghd.net
>>966
研究を続行したやつは全員具体例。
思想を受容するということは口先だけで受容したかどうかわからないから、
行動をみるというのが俺の立場。
第二問題を深刻に受け止めるならほかの数学の研究は中断するしかない。
なぜなら、第二問題に他の研究の可否が依存してしまうから。
俺は「宇宙法則は次の瞬間に変わるのかもしれない」という問いに意味がない、
という立場だから。もし本気でそう思っているのなら生活ができなくなる。
1004:１３２人目の素数さん
20/05/17 14:21:07.21 IVRUUd3J.net
諸法無我
@MugaShohou
36分
返信先: @Sakurazaka4649さん
数論の研究者が皆FLTの証明を理解しているとでもお思いなのでしょうか。 だとしたら、もう少し数学界について詳しくなることをお勧めします。
FLTですら、数論の研究者でさえ理解していないのですから、数学者全体に影響を与えるのは果てしなく難しいでしょう
1005:１３２人目の素数さん
20/05/17 14:21:21.01 fkBSYghd.net
そもそも頭の片隅において、という留保がつくなら>>956と同一の質問ではないと思うけどね。
1006:１３２人目の素数さん
20/05/17 14:26:17.39 4Wd753iR.net
別にレスバしているつもりはないんだが…
全員と言われても、不勉強なもので当時の数学者について詳しくないので、
1人でもいいので具体的な数学者の名前を出していただけると助かります
1007:１３２人目の素数さん
20/05/17 14:30:32.96 fkBSYghd.net
>>970
レスバなんてしてない。
きみは>>956で「当時は大問題」「割と深刻な問題」て書いたから、
俺は「数学コミュニティとはそんなに関係はない」と書いたわけ。
で、数学コミュニティが無矛盾かどうかでひよった形跡はないわけだろ？
だったらそれで話は終わってるじゃん。
頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例、
なんて質問は最初はなかったのだから、きみのほうがレスバにこだわっているのでは？
最初のほうの疑問についてまだなにか疑問があるのか？
だったらそれをそのまま言って欲しいんだが。
1008:１３２人目の素数さん
20/05/17 14:35:48.38 4Wd753iR.net
>>971
最初の疑問にこだわっているというか、
「頭の片隅にヒルベルトの第2問題を置いていなかった数学者の具体例」を知りたい
という方向に興味が移っています
どなたかご存じの方がいらっしゃいましたら、ご教示いただければ幸いです
1009:１３２人目の素数さん
20/05/17 14:40:01 fkBSYghd.net
>>972
頭のなかを検査する方法はないので調べようがありません。
むしろどうやってチェックできると思ってるの？
1010:１３２人目の素数さん
20/05/17 14:44:16 4Wd753iR.net
>>973
そうですね
例えば、「ヒルベルト・プログラム（またはヒルベルトの第2問題）はクソ」といった趣旨の文書を残していれば
そのような数学者は具体例と言えるでしょう
1011:１３２人目の素数さん
20/05/17 14:45:56 fkBSYghd.net
>>974
また質問が変わってないか？
それはヒルベルトの第二問題を意識してないかどうかじゃなくて、
ヒルベルトの第二問題に対する一定の態度表明だ�
1012:謔ﾋ？
1013:１３２人目の素数さん
20/05/17 14:47:19 6B2cGKoV.net
ヒルベルト・プログラムをどうでも良いと思ってた数学者が大半かな
声なき声として
思っていたなら言及するがほぼ100%の数学者は無視してた
それが真実
1014:１３２人目の素数さん
20/05/17 14:47:51 fkBSYghd.net
とりあえず「ヒルベルトの第二問題はクソだと公に主張した数学者はいるのか？」
という疑問でいいの？
じゃあ俺は知らないな。
1015:１３２人目の素数さん
20/05/17 14:49:12 fkBSYghd.net
>>976
態度表明としてはそうだよね。
だって1900年を境に数学コミュニティが別様の行動を取り始めたという痕跡はないから。
1016:１３２人目の素数さん
20/05/17 14:52:54 4Wd753iR.net
言葉遊びではなくて、
「ヒルベルト・プログラムをどうでも良いと思っていた数学者」
は、存在はしていただろうが、例えば誰がその1人だったのかを知りたい
という話です
言及せずに無視ではどう思っていたかはわからないので
1017:１３２人目の素数さん
20/05/17 14:54:15 fkBSYghd.net
>>979
じゃあだれか他のひとが答えるの待ってくれ。
俺は上で書いたように態度主義なので「態度は無視してても内心は違うかもしれない」
という疑問には興味がない。
1018:１３２人目の素数さん
20/05/17 14:58:24 IVRUUd3J.net
>>980
態度は興味があるが内心は関係ない
と考えるのであれば、声なき声とやらにも興味はないはずですよね
何故なら態度だけ見れば「不明」であってどうでもいいと思っていたかどうか確定しないので
1019:１３２人目の素数さん
20/05/17 15:02:30 fkBSYghd.net
>>981
うん、だから上で態度表明って言ってる。
1900年を境に数学コミュニティの態度が豹変したデータはないと最初から言っている。
1020:１３２人目の素数さん
20/05/17 15:04:00 6B2cGKoV.net
ヒルベルトプログラムが唱えられていた間はそれで肩がつくから、誰も気にしなかった
ゲーデルの不完全性定理が出てからは、ヒルベルトプログラムなんか気にしても仕方ないと
余計誰も気にしなくなった
これが真実
1021:１３２人目の素数さん
20/05/17 15:04:19 IVRUUd3J.net
>>982
何も言っていないので何も表明していないですよね
1022:１３２人目の素数さん
20/05/17 15:06:07 fkBSYghd.net
>>984
途中から割り込んで曲解するのはやめなさい。
俺の立場は>>967で書いてるから。
1023:１３２人目の素数さん
20/05/17 15:10:22 IVRUUd3J.net
>>985
あなた自身がそれを曲解しているんですよね
「第二問題を深刻に受け止めるならば、態度を表明するだろう」これを受け入れるとしても、「深刻に受け止める」の反対の立場は「どうでもいい」ではないですよね
何故ならば「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので
したがってあなたが>>976に同意するのは、あなたの>>967の意見から逸脱する「態度」なんですよね
1024:１３２人目の素数さん
20/05/17 15:12:24 fkBSYghd.net
>>986
＞「どうでもよくはないが深刻には受け止めていない」という人が存在しうるので
それは>>956の「割と深刻な問題」「当時は大問題」に該当しない。
1025:１３２人目の素数さん
20/05/17 15:14:28 fkBSYghd.net
ああ、ちなみに、>>976の「無視」は>>956とちがうんじゃないか、
という重箱つつきなら、
>>976の言ってるのと>>956の言ってるのはちょっとズレてるかもね、
と認めるよ。
揚げ足取りとしてくだらなさすぎるので。そういうひとと議論するの時間の無駄だから。
1026:１３２人目の素数さん
20/05/17 15:16:27 IVRUUd3J.net
>>987
それと、あなたが「態度にしか興味がない」にも関わらず「態度には現れていないが声なき声はどうでもいいと言ってる」に同意するという矛盾についてはどう関係があるんですかね
1027:１３２人目の素数さん
20/05/17 15:20:04 4Wd753iR.net
まあまあ、ここは基礎論スレではないので
誰か数学史に詳しい親切な人が具体例を挙げてくれるのを待ちましょう
お前が言うなって話ならごめんなさい
1028:粋蕎 ◆C2UdlLHDRI
20/05/17 15:25:27 LIJrZTQ0.net
逆証明だの逆数学だのは其々、何者が如何なる手法で何物を探究する分野なんじゃろ？
1029:１３２人目の素数さん
20/05/17 15:40:23.50 LmvEIhyw.net
>>968
諸法無我？
公世の二位のせうとに、良覚僧正と
聞えしは、極めて腹あしき人なりけり。
坊の傍に、大きなる榎の木のありければ、人、「榎木僧正」とぞ言ひける。
この名然るべからずとて、かの木を
伐られにけり。その�
1030:ｪのありければ、 「きりくひの僧正」と言ひけり。 いよいよ腹立ちて、きりくひを堀り 捨てたりければ、その跡大きなる堀 にてありければ、「堀池僧正」とぞ 言ひける。
1031:１３２人目の素数さん
20/05/17 15:51:51 9GRMXxZv.net
無視していたというよりは大多数の数学者にとって難しすぎて手におえん
手を出してはいけない問題と思ってたんじゃないの？
1032:１３２人目の素数さん
20/05/17 16:00:23 y4BiDiZT.net
twitterを見ていたら
「本当に頭のいい人は、バカでも理解しやすい言葉で話す。
わざわざ難しい言葉を紡ぐのは、コンプレックス丸出しで恥ずかしいものだなぁと思っている。」
という意見があって全く同意 古今東西そういうもの
IUT論文は恥さらしである
1033:１３２人目の素数さん
20/05/17 16:04:30 Srp2dxt0.net
mugashohou氏が誰か大体あたりつくけど、iutを理解してるわけではないだろうね。ど素人というわけでもないけど。まあiutの正否に影響を与える人ではないよ。
1034:１３２人目の素数さん
20/05/17 16:11:04 m7MQgiA5.net
mugashohou氏は数学者コミュニティをよく知っているように見えるけど、数学者なのだろうか
1035:１３２人目の素数さん
20/05/17 16:20:03 idOy6qD3.net
>>994
これよく見るけど、説明のうまさは頭の良さの一指標に過ぎないなあと思う
1036:１３２人目の素数さん
20/05/17 16:29:47 LmvEIhyw.net
ピント外れは複雑怪奇の説明になるね
FLTの証明は岩波から出版されている。
一部証明が省略されているが
数論をやっているなら理解できる
と思うけど
1037:１３２人目の素数さん
20/05/17 16:32:59 LIJrZTQ0.net
>>994
ラプラス変換を幼稚園児に分かる様に教える説明を見せてくれ
ウェーブレットを幼稚園児に分かる様に教える説明を見せてくれ
PvsNPを幼稚園児に分かる様に教える説明を見せてくれ
IUTを幼稚園児に分かる様に教える説明を見せてくれ
但しどれも要求理解度は博士課程修了程度とする
極端言うとる奴に何で普通の問い返しを期待しとる？極端言うとる奴には極端な問い詰りじゃ｡
1038:１３２人目の素数さん
20/05/17 16:34:30 LmvEIhyw.net
IUT奇談
1039:1001
Over 1000 Thread .net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 11日 13時間 23分 9秒
1040:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています