22/06/11 18:24:17.24 627D/UZT.net
>>612
5人IUT論文のレビューは誰が書くのか？
またショルツェ氏へ依頼するのは負担をかけ過ぎだろう。
RIMS客員教授saidi氏がまた書くのか、IUT内部と外部、RIMSの内部と
外部の立場を使うダブルスタンダードと批判が出ている。
レビューは加藤文元氏に依頼するしかないだろう。
reviewerの専門家には第三者の立場が求められるが、
加藤文元氏が大学を辞めたら形式上でも第三者を満たす。
内容は公開されたNHKスペシャルのコメントに基づくだろうし、
望月推薦加藤文元IUT本のIUT語を訂正する。>601
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系の基盤を目指し構築中である」
全く新しいフレームワークだからIUTと現代数学の混同がない。
若手は現代数学とIUTTの違いが言えないとか、100年先の望月理論に
命をかけるデュピイとか、それぞれの人生があるのだろう
saidi氏
・RIMS客員教授でセミナーを行いIUT論文が修正される
(2014年望月氏検証レポートより)
・2018年RIMS外部評価調査委員の立場でIUT論文の受理を主張する
レポートのみ提出
・IUT論文についてマッチポンプのreviewを書きcor.3.12について
ショルツェ氏の指摘に答えることができず無視する
・2022年再度RIMS客員教授。
651:１３２人目の素数さん
22/06/13 01:17:33.39 fsNUPz9j.net
>>614
>加藤文元氏が大学を辞めたら形式上でも第三者を満たす。
こんないい加減なこと認めたらそれこそ数学会の汚点だろ
652:１３２人目の素数さん
22/06/13 04:21:28.14 bwBFDgTX.net
>数学会の汚点
大学を辞職したことが公開され公共放送NHKの公開番組のコメント
に基づく専門家としてのreviewなら問題はないだろう。
・玉川RIMS教授らPRIMS特別編集委員は一方ではIUTTの研究を中心
とするRIMS次世代幾何学研究センターでIUT論文の著者望月教授の部下
でありながら他方では望月氏を除くPRIMS特別編集委員会の中立性を
主張し望月氏のIUT論文を受理した
・京大 RIMS客員教授saidi氏のマッチポンプreviewe。
この2点は「第三者偽装」の疑いがあるにもかかわらず放置黙認して
きたことこそ日本数学会の汚点でしょう。
実際 海外の数学者から批判 問題視されている。
653:１３２人目の素数さん
22/06/13 04:25:02.70 bwBFDgTX.net
2022年 6月10日 毎日新聞
福井大教授が「査読偽装」の疑い
論文の審査に自ら関与か
URLﾘﾝｸ(news.yahoo.co.jp)
654:１３２人目の素数さん
22/06/13 05:27:03 r9aqYJuT.net
このままうやむやにして逃げ切るのかねぇ…もう誰も関わりたくないってのが本音なんだろうね
655:１３２人目の素数さん
22/06/13 07:24:23.54 hyfrGKzU.net
まあこのまま一旦は忘れ去られるのかもしれないね。
これから数学会で一般からも大きく注目されるネタがおこれば一気にこの話題は葬り去られそうだね。
656:１３２人目の素数さん
22/06/13 17:07:01.74 IOy+rc/n.net
寂しい話になってきた
657:１３２人目の素数さん
22/06/13 17:21:28.12 fCH7jhKK.net
そりゃ、素人目にも明確な証明ができないから延々先延ばししている疑惑が強いからなあ。
658:１３２人目の素数さん
22/06/13 22:55:30.76 5KSLDawJ.net
ロス疑惑でさえ
659:１３２人目の素数さん
22/06/13 23:17:39.07 5KSLDawJ.net
27年
660:１３２人目の素数さん
22/06/13 23:34:12.55 S/v/4vq4.net
アフリカ人あたりにアニメキャラみせて
このキャラは白人ですか？日本人ですか？
って聞いてみなよｗ
１００％白人って答えるからｗｗ
まぁそもそも日本人っていわれてもわからないかｗｗ
661:１３２人目の素数さん
22/06/14 07:34:31.02 PjCDutsW.net
ありえない
662:１３２人目の素数さん
22/06/14 11:48:22.54 YH7XGK17.net
実際に空間同士の演算結果の差を測る数学的ツールがあったらもっと使われてるわな。
IUTはそんな便利なものではないだろう。
663:１３２人目の素数さん
22/06/14 13:01:50.63 mLIM+gAZ.net
現代数学に基づく通信と全く新しい数学IUTは全く違うので混同しないように
664:１３２人目の素数さん
22/06/15 04:22:06.54 KWzOBuph.net
加藤氏によれば純粋数学の学生はGAFAに引っ張りだこだそうですが
665:１３２人目の素数さん
22/06/15 06:47:53 kSno7/wK.net
GAFAでは数学さえできない人材は使えないだろうね
666:１３２人目の素数さん
22/06/15 08:48:50.54 hh2/cx9M.net
>純粋数学
woit氏ブログ
・ 議論の冒頭 scholtze 氏
純粋数学とIUT
「I may have not expressed this clearly enough in my manuscript with Stix,
but there is just no way that anything like what Mochizuki does can work.
(I would not make this claim as strong as I am making it if I had not discussed
this with Mochizuki in Kyoto for a whole week; the following point is extremely basic,
and Mochizuki could not convince me that one dot of it is misguided, during that whole
week.) It strikes deep into my heart to think that in the name of pure mathematics,
an institute could be founded for research on such questions, and I sincerely hope
that this will not come back to haunt pure mathematics.」
・NHKスペシャル番組のレポート
Reports I’m seeing from those who have watched the program say
that it does correctly explain that the proof is not accepted by many experts.
667:１３２人目の素数さん
22/06/15 12:55:51.09 hh2/cx9M.net
>>628
>630
「I sincerely hope that this will not come back to haunt pure mathematics.」
の和訳はいかがお考えですか？
特に「haunt pure mathematics」の和訳は「純粋数学に取り憑く」
とおもいますが、、
668:１３２人目の素数さん
22/06/16 07:46:09.23 j6Jupc0X.net
hauntはこの場合は「頻繁に起こる」という感じではないでしょうかね。
純粋数学という名前がつくかぎりその研究機関というのは
この手の問いを研究するためにできたのではないのかという感慨のあとに
言われているから若干京都数理研の連中は何してんだって読めてしまうけどね。。
つまり彼はある意味門外漢なのだけどわざわざ京都まで呼ばれて議論したけど
これっぽっちも納得できなかったそうで、こうして京都までいって議論しなかったら
ここまで強くは言わなかったと。
かなり全面的に否定しているよね、望月さんが感情的になるのはわかるね。
669:１３２人目の素数さん
22/06/16 09:26:10.97 305I04pn.net
hauntはかなり否定的な意味合いで使われることが多い。
670:１３２人目の素数さん
22/06/16 14:40:10.81 Kf+be4Rp.net
>>633
>hauntはこの場合は「頻繁に起こる」という感じではないでしょうかね。
「I sincerely hope that this will notcome back to haunt pure mathematics.」
の和訳願います
RIMSではIUTの奇妙なアイデアが現代純数学につきまとって(取り憑いて)いるね。
玉川氏はショルツェ氏と別に知っていながらIUT論文を受理したんだね。
NHKスペシャル コメント
京都大学の玉川安騎男博士は、ある奇妙なアイデアを聞かされ、
驚いたことがあるといいます。
京都大学数理解析研究所 教授
玉川安騎男 博士「いわば現代の数学では、禁じ手になってるようなことも取り入れて
、何かできないかということを考えたということなんですね。
1＋1は2でありながら、1＋1は5であるとか。二つの直線が交わるということが
起こりながら交わらないとか。
本来だったら矛盾が起こるようなことを、活用できないかと考えた」
671:１３２人目の素数さん
22/06/16 14:42:00.58 Kf+be4Rp.net
>>634
訂正
> 633は>632へ
672:１３２人目の素数さん
22/06/16 21:36:20.65 Oi+0Lp8k.net
>>626
これだろうな
そして外人が組み上げる
673:１３２人目の素数さん
22/06/16 22:17:58.72 305I04pn.net
>>636
>>空間同士の演算結果の差を測る数学的ツール
「これだろうな」の「これ」はこのこと？
674:１３２人目の素数さん
22/06/17 00:50:37.68 4OzVlVmg.net
>>628
加藤文元氏はインタビューを受ける前に先ずIUT本の記述を訂正しましょう。
IUT語
「IUT理論は、スピロ予想を証明するため、現代数学のパラダイムの枠内では
語れない「A=B でありながらA≠B」の矛盾を活用した全く新しいフレームワークとギャップがなく完全な言語・概念体系の基盤を目指し構築中である。
よって証明がありません」
ただし、
数理資本主義の目的は純数学でなく利潤の最大化ですからIUTが応用できる可能性
は否定できません。
競争相手が基づく現代数学の数理基盤をIUTで攻撃しIUT＋現代数学の寄せ集め
混合状態より能力を低下させるIUT攻撃、
IUTコミュニティ内の理解者しか理解できないIUT語のIUT暗号はIUT文書が
remarkの追加より変化していきますので安全性に優れているかも、
IUT攻撃の損失に備えるIUT保険、
通産省の数理資本主義ってなんだろ？
675:１３２人目の素数さん
22/06/17 07:51:13.80 pMMMu5dq.net
>>635
thisが何に対応しているかだけど、ショルツは京都数理研自身が検証していないようなことを
指していると解釈したのだけど。
もしそうでなくて望月さんの考え方をthisで指しているのであれば
それはどういうことなのかちょっと知りたいね。
まあ、これはそもそもブログのコメント欄で延々と論議されたものをPDFにまとめたやつの
その最初のショルツのコメント冒頭にある文章ですよね。
676:１３２人目の素数さん
22/06/17 10:25:53.11 XMdTVJUV.net
>>639
>630に議論の冒頭と書いてあります。
ショルツェ氏の冒頭コメントは望月星ショルツェスティクスミーティングに基づく
コメントで視点は現代純粋数学からIUTTを問うていますし以下の議論もそうですね。
woit氏がブログのコメントをまとめ原コメントがブログにありますね。
2018年3月4者ミーティング 以前のRIMSによるIUT論文の検証見解について
・2016年6月 RIMSの現況調査表。
RIMSが大学改革支援学位授与機構 へ提出する。
「望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としてのABC
予想の解決は、特筆すべき 出来事である。」 「当該論文は現在査読中であるが、 」
「望月新一が同理論の概要を解説した 業績番号1― (2)(2014)が、講究録別冊
として刊行されている」
一方全体の発表論文数.所員の発表論文数は査読付き論文のみ。
・2017年12月1日 IUTを中心とする次世代幾何学研究 準備センターを設置。
望月新一センター長
理由
注目すべき質の向上 「数論幾何の研究」の「宇宙際 タイヒミューラー理論」
の構築とその結果としての ABC予想に関する論文は、国内外の主要
メディアで取り上げられている
内外のメディアがIUT論文を報道したから数学の質が向上した。
IUT構築の概要解説よりIUT論文の査読中にabc予想が解決つまり
abc予想の証明が確定する前からabc予想が解決した。
ショルツェ氏にこの2点の感想を聞いてみたい。
がNHKスペシャルで取り上げておらず誠に残念です。
677:１３２人目の素数さん
22/06/17 10:30:32.58 XMdTVJUV.net
>>640
続き
また以下の議論でデュピイ氏が頻繁にショルツェ氏へコメントしていますが、
望月氏本人が今になってデュピイの「望月理論」は「不勉強」だと指摘しました。
なぜか詳細な理由は避けていますが議論を理解するためにも
デュピイ氏の「望月IUT理論」と望月氏本人のIUT理論の違いについて望月氏の明確で
詳細な公開コメントが望まれます。
(個人的にはデュピイ氏のコメントは現状でも説得力に欠けるとは思います)
678:１３２人目の素数さん
22/06/18 01:16:16.21 CHsrfj34.net
で、結局のところどうなのよ
IUTは日本の恥ってこと？
679:１３２人目の素数さん
22/06/18 03:26:05.61 3FvcRP71.net
積極的に発言する海外勢に対して国内の数論
680:グループはIUTに対して誰一人声を上げなかった
681:１３２人目の素数さん
22/06/18 06:32:12.41 hbrHOcTO.net
ほとんどの人が批判的な立場なのであろう
682:１３２人目の素数さん
22/06/18 14:05:54 HWdQsR0H.net
数理研発行のPRIMSが査読してるんだから数理研自身が検証していないという指摘は当てはまらない
683:１３２人目の素数さん
22/06/19 12:26:20.35 pOQUgTvj.net
公文書で報告しているし
abc予想の証明ははじめからなかった。
後付けで全く新しい数学より証明した
ということしてつじつまを合わせたのだろう
684:１３２人目の素数さん
22/06/19 13:41:42.40 0LsyChSq.net
ABC is still a conjecture.
これが世界の共通認識
IUTはまったく相手にされてない
685:１３２人目の素数さん
22/06/19 22:25:22 IrUgI4F2.net
はいはいいつもの糖質粘着報告書くんだね？
お薬きれたのたな？病院行ってこいマジで
686:１３２人目の素数さん
22/06/19 22:50:06.37 V7ACDF9U.net
IUT語のかたにいわれもわかりませんが同じパターンで出没してくる。
都合がわるい核心的な事実なのでしょうかね
687:１３２人目の素数さん
22/06/20 00:08:26.63 hmuA3PyD.net
RIMSの若手ですが、現代数学でIUT語の「復元」を使うバカちんがいます。
IUT構築者加藤文元氏よれば、
今構築中のIUTTは現代数学の矛盾を活用した全く新しいフレームワークと
IUT語による理論。
つまり現代数学と発展の方向も全く異なる孤立した理論です。
しかしRIMSは現代数学とIUTの違いを明確に答えることができない一方
IUTと現代数学の混同やIUTの拡散を行っています。
厳におやめください
688:１３２人目の素数さん
22/06/20 01:12:34 hRnAZse8.net
🇯🇵ま ゆ ゆ 💕
とはお知り合い？
689:１３２人目の素数さん
22/06/20 09:55:09 yOIpXj9g.net
>>IUTと現代数学の混同やIUTの拡散を行っています。
どこで？ 一度見てみたい。
690:１３２人目の素数さん
22/06/20 16:02:28.90 YKLXeafp.net
>>652
このにもスレにありましたが 例えば
1 現代数学とIUTTの混同
・WTによるフェルマー予想の証明に対し5人IUTT論文の「別解」による混同
・望月氏による公理論的集合論と全く新しい数学IUTTの混同
2 IUTの宣伝 拡散
・RIMSのHPで次世代幾何学国際センター。
新しい数学の国際的認知度向上のために研究成果を広く世界に向け情報発信する
。(注意 新しい数学=IUTT)また目的達成のためになぜか女性に限定し職員を公募。
・2021RIMS「IUTTの拡がり」はIUTTサミットを頂点としたカンファレンスで
同一の講演者と役員より2022整数論サマーセミナーが開催
3 東工大 IUT祭り
望月氏のメッセージを拝聴後図形とタイヒミュラー理論からp進タイヒミュラー理論へ
最後が加藤文元氏のIUT理論。
決まって動画でおわる
691:１３２人目の素数さん
22/06/20 16:06:01.19 YKLXeafp.net
>>653
× このにもスレに ⚪︎このスレにも
692:１３２人目の素数さん
22/06/20 17:11:59.85 yOIpXj9g.net
>>WTによるフェルマー予想の証明に対し5人IUTT論文の「別解」による混同
WTが何かと混同されているわけではなかろう
693:１３２人目の素数さん
22/06/20 18:04:22.65 lo8FWxuv.net
別解は現代数学の範囲内だよ。
「別解」扱いより混同されている。
694:１３２人目の素数さん
22/06/20 18:12:25.17 uH2F294Q.net
URLﾘﾝｸ(search.yahoo.co.jp)
695:１３２人目の素数さん
22/06/20 21:34:43.53 WKmU6cnq.net
>>650
> RIMSの若手ですが
で、位相空間の定義は言える？
696:１３２人目の素数さん
22/06/20 21:49:29.97 oNmIblo+.net
RIMSの若手が位相空間の定義がいえるか、
どうかということ？
697:650
22/06/20 22:04:15.90 oNmIblo+.net
>>658
(私は)RIMSの若手ですが、でなく、RIMSの若手(について)ですが、です。
念のため
698:１３２人目の素数さん
22/06/21 09:59:57.35 K++4
699:87wv.net
700:１３２人目の素数さん
22/06/21 11:32:38.84 FlfC7Glt.net
個人的に誰かが「そそのかす」のではなく、
RIMSは新たに女性職員を公募までして新しい数学(=IUTT)の国際的認知度向上のために
「研究成果」を広く世界に向け情報発信している。
組織的にIUTの拡散している状態だから残念ながらRIMSの他分野の若手職員でも
IUTの強い影響下にあるとおもう
701:１３２人目の素数さん
22/06/22 01:01:12.96 Kx0DtqH7.net
What Is the Langlands Program?
quanta magazine June 1 2022.
Video: Rutgers University mathematician Alex Kontorovich
URLﾘﾝｸ(www.quantamagazine.org)
702:１３２人目の素数さん
22/06/22 09:36:21.79 0myYY5b9.net
>>662
影響は着実に広がりつつあるのか？
703:１３２人目の素数さん
22/06/22 13:54:44.27 521bpIYQ.net
海外ではこちらでしょ。
woit氏ブログ NHKスペシャル番組のレポート
Reports I’m seeing from those who have watched the program say
that it does correctly explain that the proof is not accepted by many experts.
704:１３２人目の素数さん
22/06/22 20:49:57.68 bKHe/G2v.net
山形大学職員天羽優子@apjの本日の妄言
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
心を病んだ人の阿Q式精神勝利法は意味不明なので
誰か健常者向け日本語に翻訳してください
特に、どこかの党の女性候補が国会議員になると
他の誰かを人権侵害する権利が生じるとする
負け犬特有の妄想が理解不能で笑えます
751 名無しサンプリング＠48kHz[sage]
2022/06/22(水) 20:34:58.63 ID:Yw5d5wYy
今日告示があったけどかの女性が国会議員になったら
捻り潰されるだろうね
ネットも出来ないくらいに本格的に精神壊されるかもね
まあ震えて眠れや
705:１３２人目の素数さん
22/06/22 20:52:49.25 S8ZN0Ouu.net
>>666
江川乙
706:１３２人目の素数さん
22/06/22 22:42:07.25 521bpIYQ.net
>>663
寺杣友秀著リーマン面の理論
最終章の楕円曲線と保型形式ではラマヌジャン予想と志村谷山予想.
ラングランズ予想のさわりが紹介されている解説書。
予備知識として付録に環と加群.多様体と微分形式.ホモロジー代数.
楕円型作用素のフレドホルム性.の簡単なまとめがある。
707:１３２人目の素数さん
22/06/23 06:21:37.23 umelj+md.net
>>668
某スレで大学入れず焼け糞で学歴詐称する変質者が
その本の画像upしてドヤってますが、
自分が一字も理解できない本持ち出して
何がしたいんだが
社会の負け🐶の考えることは全く理解できんわ
708:１３２人目の素数さん
22/06/23 10:36:50.62 UYgInIKH.net
ｽﾚﾘﾝｸ(math板:497番)
709:１３２人目の素数さん
22/06/23 10:41:48.42 g4mjZdrr.net
寺杣リーマン面本は振り子の等時性から楕円関数と楕円曲線から始まる数理本
としても、付録とあわせて計算と数学の証明が必要です。
世界のラングランズプログラムは日本の志村谷山予想、特に志村五郎氏の貢献が
大きいですね。
IUTと現代数学数理の混同を避けるためにもこれ以上述べません。
また望月新一氏推薦加藤文元IUT本は数学書でなくIUTの資料本にすぎません
710:１３２人目の素数さん
22/06/23 15:03:13.41 6okYm70B.net
>>669-670
ｽﾚﾘﾝｸ(math板)
711:１３２人目の素数さん
22/06/23 15:06:22.23 6okYm70B.net
>>672 訂正
ｽﾚﾘﾝｸ(math板:498番)
712:１３２人目の素数さん
22/06/25 01:28:50.76 RyZOE60S.net
2000年の春にパリで講演会があった。
私も招待された講演者の1人でしかも最年長であった。
私の講演が終わった後で司会者が「ここで何かひとつ若い人達への
忠言を述べてください」と言った。
私には何の用意もなかったが前からばんやりと考えていたことを言った。
「Don't prove anybody's conjecture」
すると皆がわあっと笑った。
これは例のconjectureもからめてはいるがそうでない一般的な意味が主である、
つまりHamletの言う如く、天にも地にも誰かの哲学などでは思いも及ばぬ数学が
あるので、ホレーショが誰かのconjectureなどはやりたい奴にやらせておけば
よいのである。
読者はこの「ホレーショ」のところに適当な数学者の名前、
たとえばGrothendieck、を入れてみて楽しまれたい
by 志村五郎
数学をいかに教えるか から
713:１３２人目の素数さん
22/06/25 10:35:40.56 mBElt8Qq.net
注意
NHKスペシャルで玉川氏加藤文元氏のコメントによれば、
現代数学の禁じ手.矛盾を活用したIUTはIUT論文がアクセプトされた今も
IUT言語から構築中とのこと。
IUT論文はcor.3.12の不等式など全く新しい数学IUTのconjecture
714:１３２人目の素数さん
22/06/26 03:42:53.65 PW09Pkyx.net
>>1
この関連スレを長期観察すると
匿名掲示板上で知能の低い人物が
藪から棒に研究者叩きをしているのは
ほぼ全て山形大の落ちこぼれ職員個人の書き込みだと判るのが寒々しいね
大山鳴動して山形大落ちこぼれ職員1匹
715:１３２人目の素数さん
22/06/26 04:02:12.76 PW09Pkyx.net
>>667
江川って、山形大学の落ちこぼれ天羽優子が
妄想で作り上げた仮想敵の妄想名だな
脳内妄想に名前をつけて会話をするのは
精神異常だから、精神病院で治療をした方がいい
716:１３２人目の素数さん
22/06/26 15:56:31.10 rnqvqos5.net
>>673
位相空間から証明できなくてコピペ
からは反則と思うけど、
他スレだからどうでもいいや
717:１３２人目の素数さん
22/06/27 01:30:58 iZ2VhaD2.net
数学72巻1号 2020年1月
peter scholtze氏の業績
URLﾘﾝｸ(www.jstage.jst.go.jp)
718:１３２人目の素数さん
22/06/27 07:40:17.90 blHkaqt2.net
なんとか予想というのはむしろ「正しくなかった」方が面白そうですね。
719:１３２人目の素数さん
22/06/27 08:10:13.60 EzZGnIpV.net
その場合には方向転換という興味がある
720:１３２人目の素数さん
22/06/27 21:06:51.52 VO0f7y+x.net
>>677
イトー乙
721:１３２人目の素数さん
22/06/27 23:25:08.23 dfPGjCqL.net
今後日本では、？
IUTの予想から日和見タイプの信者と200年後の望月理論を
信奉するデュピイタイプの信者が生み出されていく可能性も
否定てきない、
722:１３２人目の素数さん
22/06/27 23:43:32.01 RfYePksU.net
信者など何人産まれようが数学界には関係がない
望月論文を理解し普通の数学者が理解できる解説論文なりなんなりがでない限り望月論文に未来はない
「わからないが正しいかもな」という人間など何人出てきても意味はない
723:１３２人目の素数さん
22/06/27 23:49:52.18 5ExDpnDy.net
今やるのは、費用対効果が悪い。
ほったらかしにしておいても、10年後にはAIが決着を付けてくれる。
724:１３２人目の素数さん
22/06/28 00
725::20:07.95 ID:zsBqMEqP.net
726:１３２人目の素数さん
22/06/28 00:20:40.31 4HQ2l98M.net
AIよりNHKスペシャルで玉川加藤文元氏のコメントが全てだね。
著者がIUT論文を取り下げシンプルで明確でふつうの数学で論文を書き直すこと
しかない。
それまでは「IUT論文はまったく理解出来なかったから自分の研究に時間を
使うことにした」が正しい態度でしょう
727:１３２人目の素数さん
22/06/28 00:23:09.03 4HQ2l98M.net
>>686
玉川加藤文元氏によれば、
IUTは現代数学の範囲外
728:１３２人目の素数さん
22/06/28 02:04:52.56 rW9QyX6w.net
>>674
どういうこと？
教養ある人教えて
729:１３２人目の素数さん
22/06/28 03:22:09.42 a7yLyRpt.net
>>689
URLﾘﾝｸ(gakumado.mynavi.jp)
「ホレイショー、天と地の間にはお前の哲学などには思いもよらぬ出来事があるのだ」
－There are more things in heaven and earth,Horatio Than are dreamt of in your philosophy.
⇒『ハムレット』第1幕第5場より
730:１３２人目の素数さん
22/06/28 09:15:24.65 C3qKu5SA.net
>>686
決まらない
数学の正しさはコンピュータで判断できる
コンピュータが正しいと言ったものが副次的に数学者の多数決でも正しくなるが
731:１３２人目の素数さん
22/06/28 11:03:25.13 pD/tgkuS.net
>>691
知識というものの定義次第
732:１３２人目の素数さん
22/06/28 13:38:30.99 iNr7ntI1.net
NHK スペシャルの番組でIUTは数学として終わった。
RIMSは数学が多数決により決まるとの願望からか、信者を増やそうと無責任に
内外へ新しい数学IUTを宣伝している。
IUT宣伝の女性担当を採用だが弾除け役にされないのだろうか
733:１３２人目の素数さん
22/06/28 14:27:56.91 cls8QgiT.net
女性職員採用って単にrimsの事務員増やしたんではなくて？
734:１３２人目の素数さん
22/06/28 14:49:02.34 4HQ2l98M.net
公募内容が変わっている気がするけど？w
735:１３２人目の素数さん
22/06/28 15:09:31.07 iNr7ntI1.net
>>695
ps.
調べたら
6.23しめきりの女性限定の特定助教の件だったが、、。
736:１３２人目の素数さん
22/06/28 15:42:24.83 f2DudGX5.net
>>692
知識の話はわからないが、数学において証明できるというのはコンピュータが証明できるということとも同義だから、
コンピュータが証明できるものが数学的に正しい
737:１３２人目の素数さん
22/06/28 16:38:50.33 6M3fQzkr.net
コンピュータに証明できる こと・できないこと
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
738:１３２人目の素数さん
22/06/28 18:32:08.28 XQwjXYpB.net
正確には
「全ての証明可能である命題の集合は帰納的枚挙可能集合であるが帰納的ではない」
しかし今回のはそうではなく
「全ての証明は帰納的」
の方
証明が正しいか正しくないかは計算機で完全に判定可能
というより実験という神様がいない数学の世界では書かれた論文の内容が全て、その内容のみで正しいか正しくないかが確定する
正しいか正しくないかの議論など発生する余地などない
そんなものが発生するのならそれは数学っぽい言葉を使ってる何か他のもの
そんなもので遊びたいなら勝手にすればいい
739:１３２人目の素数さん
22/06/28 20:50:18 27TgvC5Q.net
第二のまゆ？まゆゆ…？
740:１３２人目の素数さん
22/06/28 22:30:12.33 2G9fPYzf.net
>>690
ありがとう
anybody's conjectureのほうはシェイクスピア関係ないの？
741:１３２人目の素数さん
22/06/28 23:07:31.78 mz1VAfuK.net
〝敗戦〟認めぬ平本蓮「アンチはゴキブリ」「心の奴隷になりたくない」
試合後の会見に姿を見せなかったが「負けてないから敗者インタビューしないんだ」
と笑い「負けることはもうないし、勝利者インタビューを待ってて。
ここから無敗ロードをいけばいい。技術も気持ちも勉強になったんで、負けじゃなくて
成長っす。不死身っす」とサラリ言ってのけた。
試合後もふてぶてしく「俺はまだ負けてねーんだよ」とツイートして炎上させていたが
「アンチはゴキブリと同じだと思ってる。誹謗中傷を気にしていたら生きていけない。
見えないものの奴隷、心の奴隷にはなりたくない。誰に何を言われても自分を曲げる
ことはない」とキッパリ。
そのビッグマウスで物議を醸した平本だが、敗戦後も悪童ぶりは相変わらず。
その信念はまったくブレることはない。
742:１３２人目の素数さん
22/06/28 23:08:04.48 mz1VAfuK.net
平本蓮の格闘テーマは〝少数派の逆襲〟
アンチへ怒りなし「おまえも頑張れよ」【後編】
みんな思ったことを言わない。そういうヤツらが、人の心を動かせるわけが
ないんですよ。僕の場合、ＳＮＳでつぶやいていることは自分への「俺は
こう生きるんだ」っていう決意表明です。
強い意志を持ってＳＮＳをやっているので、誰に何を言われようが
「お前、その生き方を選んでるんだ」っていう感じになるんですよ。
否定されてもムカつくとかはなくて「まあ、お前もがんばれよ」みたいな
感じというか。
―平本蓮のツイートは全て「本音」だと
平本 心の叫びです（笑い）。ただ、それがなんで話題になるかって言ったら、
１０人中９人が僕のことを嫌いでも１人は絶対、僕と同じような信念を持っている
ヤツがいると思うんで、そういうヤツが一緒に戦う気持ちになってくれると
思うんですよ。
743:１３２人目の素数さん
22/07/01 06:26:54.10 Le8n4Pse.net
いよいよ今月ICMか
ここで半白半黄ＭSのIUTが黙殺されたら
大阪の工業高校中退の🐵が暴れる
IUT応援スレとかいう荒らしスレは削除な
744:１３２人目の素数さん
22/07/01 06:36:54.31 bzFgWQnp.net
Wilesの証明は1994年にはまだ
不完全だったがICMでは黙殺されなかった
745:１３２人目の素数さん
22/07/01 07:10:57 Le8n4Pse.net
>>705
逆に今回MSが黙殺されたら…そういうことな
746:１３２人目の素数さん
22/07/01 08:12:16.71 zMB3BcWd.net
ってゆーか、buzzardにバカにされて終わりだろ
「アイディアの成否については知らんけど（一応言っておく）
証明はみんな納得してないよねwww」とか言われそう
納得してもらうにはformalismを尊重しないとねー
Plenary Speaker: Kevin Buzzard (United Kingdom)
The rise of formalism in mathematics
Lecture on proof formalisation for ordinary mathematicians
Abstract:
Formalism is the art of writing down what you actually mean. 以下略
747:１３２人目の素数さん
22/07/01 11:55:12.32 Le8n4Pse.net
>>707
formalismに持ち込む証明が書けないって
数学者として失格だよな
748:１３２人目の素数さん
22/07/02 06:11:44.01 A09+3W6E.net
ICMで日本人が総裁に選ばれるらしい？誰？
749:１３２人目の素数さん
22/07/02 08:43:01.90 NcDOfPP8.net
総裁って何？
750:１３２人目の素数さん
22/07/02 09:00:13.36 AgAq0qDa.net
組長みたいなもんだろ？
751:１３２人目の素数さん
22/07/02 09:09:58 NcDOfPP8.net
何すんの？
752:１３２人目の素数さん
22/07/03 08:26:18.60 ZovL2Rda.net
>>707
今月はICMか
長かったIUT祭りもこれで終わり
753:１３２人目の素数さん
22/07/03 09:42:46 nWvkuIE0.net
研究集会は土曜日もう一日ありますが、ヘルシンキでIMUのECに出席予定なので、あとでビデオを見ることになります。
ってツイートしてる人が今度の総裁になるのかな？
754:１３２人目の素数さん
22/07/03 10:03:24 /XuBknwi.net
>>714
小学生の時、四谷大塚の日曜テストのトップ常連
だったと聞いて、四谷大塚に通ったこともなく
日曜テストも知らない自分は、
すでにそこで勝負は決まっていたか
と溜息ついてます
755:１３２人目の素数さん
22/07/03 16:17:58.76 Y1SKaqFo.net
>>715
どんな勝負？
756:１３２人目の素数さん
22/07/03 17:45:36.80 1vg1ZGwp.net
>>716
数学で成果出せるか否か、という勝負じゃね？
757:１３２人目の素数さん
22/07/03 20:42:55.38 D9YEoHKs.net
それはまだ終わっていないのでは？
758:１３２人目の素数さん
22/07/03 21:09:48.79 k7ISIxaL.net
>>714
彼は総裁が決まる会議に出席しているようだね
759:１３２人目の素数さん
22/07/04 05:57:52.01 sseVgayn.net
IUT黙殺祭は7/6〜7/14
760:１３２人目の素数さん
22/07/04 18:24:38.96 2uFPcZ0Y.net
日本人が総裁に、おめでとうございます
比較的若い優秀な方で、日本が強かった時代が残した数少ない遺産のようですね
761:１３２人目の素数さん
22/07/04 19:32:28.64 o8ABFABK.net
数理件を見限ったピラクさんは総裁
前所長も出て行ったね
昔の名声と利益相反てんこ盛りの取り巻きの政治ありきの「理論」は会議でも当然のごとく黙殺
そろそろメディアに踊らされていた人たちも、あれ、何かおかしいぞ、と気づく頃合いかな。
762:１３２人目の素数さん
22/07/04 19:44:46.70 9DcXVPjR.net
黙殺しているのはICMに代表される大勢ではなく、IUT信奉者の側でしょう
証明不十分との批判を黙殺、あるいは個人攻撃で対応しているのですから
abc予想は重いものなので、今度のICMではbuzzardはもちろん、
f辺りからIUTに否定的なコメントが発せられることと思います
上品に「fermat最終定理に至る道はワイルズ以来、今日に至るまで
モヂュラー性定理を通るものしか知られていない」ぐらいになると
大胆に予想しておきます（私は上品でないもので。。。）
IUT信奉者の側は対応できないので「ただ黙殺するのみ｣でしょうか？
763:１３２人目の素数さん
22/07/04 21:52:35.84 DfUhR9+k.net
中島啓教授が国際数学連合の総裁に選出 2022年7月4日
東京大学国際高等研究所カブリ数物連携宇宙研究機構(Kavli IPMU)
URLﾘﾝｸ(www.ipmu.jp)
764:１３２人目の素数さん
22/07/04 22:10:13.23 6UYT5A5X.net
>あるいは個人攻撃で対応しているのですから
ほんとに目を疑うような破廉恥で下劣な攻撃でしたわ
アレはアカンでしょ
５ちゃんじゃないんだから
765:１３２人目の素数さん
22/07/05 00:26:13.59 8IobHiVS.net
IUT関連の方は罵倒し後に自ら削除したが5ちゃんねる掲示板は削除できません。
また数学と物理は今も今後も不思議さと課題が充分あります。
全く新しい数学なるIUTは無関係で必要ありませんし混乱しますので
次期ICM総裁にはIUTへ毅然とした対応を望みます。
766:１３２人目の素数さん
22/07/05 00:31:41.49 8IobHiVS.net
>>726
×ICM総裁 ⚪︎IMU総裁
767:１３２人目の素数さん
22/07/05 00:36:31.60 /ffGn
768:Tl8.net
769:１３２人目の素数さん
22/07/05 09:24:31.93 fCNa3GMI.net
IMU Award Ceremony 2022
URLﾘﾝｸ(youtu.be)
スケジュールを見ると16:20頃からフィールズ賞の生配信発表ですかね、いい時代になったものです
770:１３２人目の素数さん
22/07/05 22:15:25.64 Av35S0Uw.net
当たり前だが
半日半白詐欺師は
何の賞にもありつけなかったな
771:１３２人目の素数さん
22/07/06 06:03:10 I+b95x7r.net
ショルツェ氏が2度目のフィールズ賞受賞ならず残念。 >679
政治からみ政治利用まで噂されるフィールズ賞だが、
ショルツェ氏の場合Perfectoid spaces からLanglands correspondence、
さらにCondensed mathematicsといい業績と核心をついた変革力は
地域国籍を超えずば抜けている。
772:１３２人目の素数さん
22/07/06 06:14:43 UqbAqY/C.net
>>731
>2度目のフィールズ賞受賞ならず残念。
フィールズ賞って二度取れるの？
773:１３２人目の素数さん
22/07/06 06:30:52 I+b95x7r.net
>>679
>あと二つくらいFields賞を取りそうな勢いである
774:１３２人目の素数さん
22/07/06 08:53:36.71 S2Qrrcas.net
取れないことになってるだろ
取れるなら、セールなんかが幾つももらってるだろ
ゴローさんは気に食わないだろうけど
775:１３２人目の素数さん
22/07/06 09:58:42 vFVE4Sz0.net
> 取れ取れないことになってるだろ
貴方の感想はともかく、
「フィールズ賞は2度以上受賞できない公式な規定」を教えてください。
>>679は岩波数学の論説でIMU公式でもその規定が見つかりません。
URLﾘﾝｸ(www.mathunion.org)
776:１３２人目の素数さん
22/07/06 10:00:05 vFVE4Sz0.net
>>735
× 取れ取れないことになってるだろ
⚪︎ 取れないことになってるだろ
777:１３２人目の素数さん
22/07/06 11:43:11.54 S2Qrrcas.net
URLﾘﾝｸ(www.mathunion.org)
題７項
778:１３２人目の素数さん
22/07/06 11:59:44.55 x+12T5+e.net
ウクライナとは政治的だったな。
779:１３２人目の素数さん
22/07/06 12:01:32.75 L+EBNws/.net
でも業績は受賞しても何らおかしくないレベルだから問題ない
780:１３２人目の素数さん
22/07/06 12:34:33.79 x5QaX86b.net
>>739
そうっすね
781:１３２人目の素数さん
22/07/06 12:58:33.20 vFVE4Sz0.net
>>737
>題7項
具体的に示してください
782:１３２人目の素数さん
22/07/06 14:09:32.02 S2Qrrcas.net
>>741
引用文献をひらけば分かることだが念のため
7. No person can receive more than one IMU Award^2. An exception is that an individual can receive the Leelavati Prize in addition to one other IMU Award.
783:１３２人目の素数さん
22/07/06 14:25:07.32 ezM91gqc.net
フィールズ賞は一応は新人賞的なものだからな。
784:１３２人目の素数さん
22/07/06 14:26:31.81 27K9hl55.net
>>742
サンクス
785:１３２人目の素数さん
22/07/06 21:30:13.88 rVj+KuWs.net
ところがどっこい、２個目のフィールズメダルを貰った数学者は実在する
786:１３２人目の素数さん
22/07/06 21:45:47.01 96N48TCj.net
4年後は・・・まゆゆ！
787:１３２人目の素数さん
22/07/07 10:50:53.51 tf61frtx.net
>>745
だけどメダルを２個持っているわけではない
788:１３２人目の素数さん
22/07/07 15:31:55.93 bfmZalzY.net
ICM 2022
URLﾘﾝｸ(icm2022.abstractserver.com)
・Plenary Speaker. Frank Calegari
「30 years of modularity: number theory since the proof of Fermat's Last Theorem」
URLﾘﾝｸ(icm2022.abstractserver.com)
・Plenary Speaker .Kevin Buzzard
「The rise of formalism in mathematics」
URLﾘﾝｸ(icm2022.abstractserver.com)
789:１３２人目の素数さん
22/07/07 15:41:50.43 bfmZalzY.net
>>748
追加
chairs speakers
URLﾘﾝｸ(icm2022.abstractserver.com)
790:１３２人目の素数さん
22/07/07 16:01:57.84 bfmZalzY.net
「30 years of modularity: number theory since the proof of Fermat's Last Theorem」
Lecture suitable for a broad audience on developments stemming from the works
of Wiles and Taylor-Wiles on modularity of elliptic curves and Fermat's last Theorem
Abstract:
Almost 30 years ago, Andrew Wiles shook the mathematical world by announcing
a proof of Fermat’s Last Theorem. The key ideas behind the proof transformed
algebraic number theory and the Langlands program in particular. In the first half of the talk, I shall give a gentle introduction to the problem of reciprocity in Langlands program.
I shall then explain what progress we have made over the past three decades,
and where we stand today.
Plenary Speaker:
Frank Calegari (United States)
791:１３２人目の素数さん
22/07/07 16:06:25.16 ByZQSt15.net
まぁもうこれが数学界からの事実上の死刑宣告だよね
ICMプレナリーは言わずもがな、一番重い講演ですからね
狂人とその取り巻きは現状無視して開き直り居直りを続けるんだろうけど・・・苦笑
792:１３２人目の素数さん
22/07/07 16:10:24.33 bfmZalzY.net
「The rise of formalism in mathematics」
Lecture on proof formalisation for ordinary mathematicians
Abstract:
Formalism is the art of writing down what you actually mean. Mathematics has
a rich history of formalisation: Euclid, Russell–Whitehead and Bourbaki all tried it.
This century Avigad, Hales and Gonthier have shown us that there is another way.
Now a new generation of young people are formalising algebra, analysis, category theory,
combinatorics, geometry, number theory, topology and more at Masters level and beyond, this time using a computer. Lean’s mathematics library mathlib contains nearly a million
lines of free and open source code corresponding to proofs of over 80,000 theorems
such as the fundamental theorem of Galois theory, and it is growing fast.
AIs trained on the library have solved IMO problems by themselves. What is happening?
This is not about making sure the papers are right. This is not about making a computer
program which will print out a one billion line proof of the Birch and Swinnerton-Dyer
conjecture using only the axioms of mathematics.
This is not about extracting the beauty from a proof and leaving only the directed acyclic
graph.
This is about developing computer tools which have the potential to help researchers and
PhD students
793:in new ways. Much remains to be done. I will give an overview of the area. Plenary Speaker: Kevin Buzzard
794:１３２人目の素数さん
22/07/08 20:04:08.74 cpqnGPX7.net
はぁあああ？何で瀬戸の男性嫁はフィールズ賞受賞が一回こっきりって知らんかったん？
儂でも知っとったのに。お前が買い漁った数学書や数学関連書籍の、何を読んどったん？何で脳死レスばかりをしとるん？
795:１３２人目の素数さん
22/07/09 00:10:48 TDIhPTfh.net
>>679
岩波数学72巻1号 論説
>あと二つくらいFields賞を取りそうな勢いである
796:１３２人目の素数さん
22/07/09 09:18:09 ZtXDrmob.net
絶賛黙殺中ｗ
797:１３２人目の素数さん
22/07/09 19:56:55.76 7CTmLTzN.net
ICMでこれまでabcについての言及なし
野次馬としてはつまらない展開だな
798:１３２人目の素数さん
22/07/10 01:02:07.93 BZuf6v5O.net
説明責任果たさず開き直りと揚げ足取りと誹謗中傷しかできない連中は相手にされなくて当然ですよね
799:１３２人目の素数さん
22/07/10 17:10:21.15 Csmv7rEF.net
説明責任はあるよね
800:１３２人目の素数さん
22/07/10 17:16:22.44 BZuf6v5O.net
然るべき裁きを受けず居直ってるといつかああなるんだね・・・
ここの人たちは大丈夫ですか？
801:１３２人目の素数さん
22/07/10 17:33:26.73 UZd3CVGe.net
まさか望月新一がこんなことになるとは思わなかった
802:１３２人目の素数さん
22/07/10 18:36:24.96 BZuf6v5O.net
人間才能が枯れて「オワコン」になった後に
その現実を受け止められず過去の名声や権威にしがみつこうとすると
とんでもないことをしでかすんだよね
昔は素晴らしく才気溢れていたはずの人たちが。
笹井さんはその好例だろう。
803:１３２人目の素数さん
22/07/10 22:03:33.10 uHy1tknp.net
望月先生も５０過ぎて焦りもあったのかもしれない
だとしたら望月先生が４０になる前にフィールズ賞を与えなかったICMにも責任があるのではないか
804:１３２人目の素数さん
22/07/10 23:22:28 BZuf6v5O.net
そもそもそこまでのレベルの人じゃないだろ
805:１３２人目の素数さん
22/07/10 23:30:14.73 YCOHFfLo.net
市場規模3兆円「大麻ビジネス」バブルがやってくる…？
その名も「グリーンラッシュ」
実はカナダやウルグアイ、米国の11の州が、嗜好用大麻を含む大麻の完全な
合法化に踏み切っている。現状では違法のニューヨーク州のアンドリュー・
クオモ知事も嗜好用大麻の合法化の方針を明らかにしており、ニューヨークが
合法化に踏み切るとさらに別の州もその流れに傾くことになりそうだ。
なおニューヨークでは嗜好用大麻使用は合法ではないが非犯罪化されている。
少量の大麻所持は罰金刑となるものの、逮捕されることはないのだ。
また医療目的に限定してフィンランド、ベルギー、イギリス、ドイツその他、大麻
の合法化に踏み切る国は多数出てきている。また大麻合法化により、大麻
由来の成分で薬品、食品や化粧品を作る大麻ビジネスが盛んになり、
「グリーンラッシュ」という言葉も生まれている。
世界の合法大麻市場は、2021年に314億ドル（約3兆5700億円）規模に達すると
推測されている。
決済サービスPayPalを創業した米国の起業家・投資家ピーター・ティール氏は、
なんと数百億円をグリーンラッシュ関連企業に投資している。
806:１３２人目の素数さん
22/07/10 23:31:17.05 YCOHFfLo.net
合法大麻産業が生んだ「グリーンラッシュ」とは？
北米で熱を帯びる大麻合法化の背景も解説！
「グリーンラッシュ」という言葉を聞いた
807:ことはありますか？これは北米を中心に 合法大麻を取り扱うスタートアップが急成長しており、大規模な資金調達なども 行っていることから生まれた造語です。 日本では違法薬物、という印象が強い大麻ですが、現在、アメリカの10の州で 嗜好用大麻が、33の州で医療大麻が利用できます。また昨年10月には先進国 として初めて、カナダが国家を挙げての大麻合法化に踏み出しました。 現時点の予測では、2025年までに合法マリファナ事業の市場規模は240億ドル （約25兆円）にまで拡大するとされています。
808:１３２人目の素数さん
22/07/11 00:46:38 4Z3zk4x3.net
この黙殺ではっきりしたこと
正しさを理解してもらうために奔走しなければならない立場に居るのは望月の方
ショルツは納得いく応えをただ待っていればいい
809:１３２人目の素数さん
22/07/11 01:03:40.98 5SYMlol1.net
今となっては、そもそもこの人ってそんなにすごい人だったのかな、って疑問に思う。
華麗な学歴と奇天烈な言動・人格で評判が一人歩きして
周りが勝手に持ち上げすぎたんじゃないかな？
810:１３２人目の素数さん
22/07/11 01:11:06.93 l9B/U1fX.net
すごい人＝人間性が優れている ってわけじゃないからな。
811:１３２人目の素数さん
22/07/11 01:15:46.37 5SYMlol1.net
>>768 そう言うことじゃなく、そもそも国内有数の研究所全体をぐちゃぐちゃにしてゴネ通すようなわがままを許さなきゃいけないくらい、
研究者として卓越した実績があるんですか？
業績紹介の記事も、華麗な経歴を強調するばかりで何をやった人なのか全然伝わってこないよね。
812:１３２人目の素数さん
22/07/11 02:49:05.88 6Z74y8tw.net
いわゆるGrothendieck conjecture を解いて共同で数学会の賞をとったということでしょ。
でも、Grothendieck conjecture と呼んでいるのは日本人と少しの周辺の人だけなのか？
Grothendieck という名前の威光を利用していて、日本人がそういうのに弱いのか、と思うよ。
数学の影響力や引用数に関しては、森・柏原よりずっと弱いでしょ。
でも、その大御所たちが賭けてしまった方向から引き返すことができなかった。
引き返すとたしかに軋轢を生むが、その決断ができずに奇跡を信じて学問として敗北の道を選んでしまった。
813:１３２人目の素数さん
22/07/11 04:33:44.53 wF2ouh2f.net
学問として敗北の意味を教えて？
学問に向き合うのに人と闘ってどうするのか私に教えて下さい
814:１３２人目の素数さん
22/07/11 13:14:57.35 rriLtGdN.net
NHKスペシャルを見たらいかがでしょうか？
玉川RIMS教授 加藤文元東工大教授のコメントによれば、
IUTは数学でなく未完成の新しい数学で今も言語から構築中です。
海外放送がされなくても海外の数学者は少なくても NHKスペシャルのまとめを閲覧
しています。
IMUは数学の団体です。
元IMU総裁の森重文京大RIMS教授が絡んだIUT問題を次期IMU総裁中島啓氏が
毅然とした態度で処理することが望まれています。
URLﾘﾝｸ(www-nhk-jp.translate.goog)
815:１３２人目の素数さん
22/07/11 13:23:48.16 6Z74y8tw.net
疑問点が挙げられていて解決されていない状況なのに、
強行突破してお墨付きを与えた形にしたのが、
理性の敗北というか学問の敗北というか。
816:１３２人目の素数さん
22/07/11
817:13:45:39.75 ID:5SYMlol1.net
818:１３２人目の素数さん
22/07/11 14:08:49.54 SYLdI6A8.net
いや、本人は正しいと思ってるでしょ
さすがに悪意でこんな拗れたとは思えない
819:１３２人目の素数さん
22/07/11 14:13:31.35 5SYMlol1.net
指摘を真摯に受け止められず
自分の力を妄信した結果だね
奢れるものは久しからずは数学の世界でも通じるようだ。
820:１３２人目の素数さん
22/07/11 14:15:22.27 a71oBcCl.net
>>775
「悪意」がなきゃ、査読誤魔化してもいい
ってことにはならんよな
821:１３２人目の素数さん
22/07/11 14:21:32.40 5SYMlol1.net
うん、望月さんに悪意はないと俺も思うよ。
山上徹也もたぶん悪意はないよねw
822:１３２人目の素数さん
22/07/11 15:22:04.92 /cFLRpC6.net
悪意どころかこちらが被害者だとでも言いたげな態度はなんなのか
納得させられるような説明をすればいいだけなのに
823:１３２人目の素数さん
22/07/12 00:20:03.50 OaBea/76.net
じゃ新ちゃんはボヤイとロバチェフスキーならどっちだろう
みんな天才だろ？
824:１３２人目の素数さん
22/07/12 01:45:45.25 WEjrTfPf.net
>じゃ新ちゃんはボヤイとロバチェフスキーならどっちだろう
みんな天才だろ？
いつまでだまされているんだろ？
ボヤイとロバチェフスキーの設問が間違っている。そこは共同研究者でしょ
じゃ新ちゃんは玉川RIMS教授と加藤文元東工大教授ならどっちだろう、
みんな天才だろ？
IUT関連に数学分野の天才はいない。むしろ⚪︎⚪︎や〇〇〇の天才かも？
825:１３２人目の素数さん
22/07/12 12:37:20.37 Plg67h18.net
応援スレがアンチスレになっとる
826:１３２人目の素数さん
22/07/12 14:53:59.82 RKYEdk0i.net
>>782
ここじゃなくてあっちの応援スレ？
827:１３２人目の素数さん
22/07/12 15:48:09.02 p/dfmFj0.net
IUTの応援サポとアンチは同じ世界の表現。
IUTは「未完の全く新しい数学」で数学ではないから、
行列の正則も実数の位相コンパクトも理解できないコピペの人に親和性が
あるらしいが。
ここは数学とIUTを混ぜるな、といってるだけ
ICM2022 math abstractは
>>749
828:１３２人目の素数さん
22/07/12 16:00:16.76 Plg67h18.net
>>783
うむ
829:１３２人目の素数さん
22/07/12 16:02:39.84 RKYEdk0i.net
まあ望月さんは才能自体はあるでしょ
ただ歴史的な結果を出してこそ天才だから
830:１３２人目の素数さん
22/07/12 16:45:52.16 ZdtQhRr6.net
>>786
誰も半白ユダ公が無能とは言ってない
しかしIUTに関しては
「証明出来た詐欺」
と言われても仕方ない
さすがアラブ諸国全部と戦争する
独善的悪魔だけのことはある
831:１３２人目の素数さん
22/07/12 21:26:13.85 /5qBwKW6.net
>>787
病気かな
お大事に
832:１３２人目の素数さん
22/07/12 22:50:41.64 9D7jOman.net
アラブ諸国全部を敵に回したら
どこかの先生みたいに
喉を切り裂かれて終わり
833:１３２人目の素数さん
22/07/12 23:11:36.12 2uTleARR.net
筑波のあの先生はそもそも悪魔の詩にかこつけて私怨で殺された説が有力だからなぁ
834:１３２人目の素数さん
22/07/13 03:47:46.58 8rp6a7rN.net
>>786
学内限定の政治の才能かな？
IUT年表 2017-2019
・2017年12月1日
IUTTを中心に次世代幾何学研究準備
センターを設置.望月新一センター長
・2018年-
中島啓RIMS教授退職.
東大IPMU教授になる。
・2018年3月 森重文京大教授の
提案よりRIMSにて望月新一星
ショルツェスティクスミーティング
を行う。
ショルツェスティクスレポート
・2019年4月1日
量子幾何学研究センターを廃止統合
して
IUTTが中心の次世代幾何学研究
センターを設置した。
望月新一 センター長.
教授併任.玉川安騎男 .望月拓郎 特任教授.柏原正樹.森重文。
835:１３２人目の素数さん
22/07/13 05:38:54.02 QtcYVDsj.net
>>786
学内限定の政治の才能かな？
IUT年表 2017-2019
・2017年12月1日
IUTTを中心に次世代幾何学研究準備
センターを設置.望月新一センター長
・2018年-
中島啓RIMS教授退職.
東大IPMU教授になる。
・2018年3月 森重文京大教授の
提案よりRIMSにて望月新一星
ショルツェスティクスミーティング
を行う。
ショルツェスティクスレポート
・2019年4月1日
量子幾何学研究センターを廃止統合
して
IUTTが中心の次世代幾何学研究
センターを設置した。
望月新一 センター長.
教授併任.玉川安騎男 .望月拓郎 特任教授.柏原正樹.森重文。
836:１３２人目の素数さん
22/07/13 12:59:47.70 wAplLPxz.net
どんなに頭のいい人でもプライドでおかしくなるってのは普遍的な真理だと思うわ。
837:１３２人目の素数さん
22/07/14 06:11:46.59 C90Sq1WU.net
結局、RIMSで評価された研究は中西氏の偏微分方程式
「Global dynamics around and away from solitons」のみ。
佐藤数学のソリトン解から具体的な深化発展だろう。
数理物理の基本は微分方程式を解くことにあり場の量子論.超弦理論の数理まで
関係する。
非線型反応拡散偏微分方程式は感染症拡散の生物モデルにもあり
進行波などが議論されている。
838:１３２人目の素数さん
22/07/14 06:19:27.80 C90Sq1WU.net
Partial Differential Equations 10. Partial Differential Equations
Room 7
Tuesday, July 12, 13:15 - 14:00
Global dynamics around and away from solitons
I will talk about global behavior of general solutions for nonlinear dispersive equations,
in particular about their transitions with respect to time evolution and to initial
perturbation around solitons.
Moderator: Nicolas Burq (France)
Sectional Speaker: Kenji Nakanishi (Japan)
839:１３２人目の素数さん
22/07/15 18:19:59.98 F0BmPaX8.net
URLﾘﾝｸ(m.youtube.com)
840:１３２人目の素数さん
22/07/15 18:46:37.40 F0BmPaX8.net
Kevin Buzzard:
The rise of formalism in mathematics
URLﾘﾝｸ(m.youtube.com)
841:１３２人目の素数さん
22/07/15 18:48:45.04 F0BmPaX8.net
Frank Calegari:
30 years of modularity: number theory since the proof of Fermat's Last Theorem
URLﾘﾝｸ(m.youtube.com)
842:１３２人目の素数さん
22/07/15 18:51:24.38 Dmwsw1cv.net
完全に当てつけで笑えるな😁
843:１３２人目の素数さん
22/07/15 18:52:14.03 F0BmPaX8.net
ICM 2022
IMU 動画
URLﾘﾝｸ(m.youtube.com)
844:１３２人目の素数さん
22/07/16 10:41:09.39 esRGHczq.net
K. Buzzard もF.Calegariも数学の発展を述べている。
IUTは未完の全く新しい「数学」で数学でないから特に述べる必要がないだろう。
F.Calegariはシカゴ大学と明記している。
845:１３２人目の素数さん
22/07/18 04:30:33.69 +SXOWhfV.net
Ana Caraiani:
The cohomology of Shimura varieties with torsion coefficients and applications
URLﾘﾝｸ(m.youtube.com)
846:１３２人目の素数さん
22/07/19 07:01:06.38 3uQRLgcr.net
test
847:１３２人目の素数さん
22/07/21 05:39:15.35 WrjkfH87.net
>>802
関連
Teruhisa Koshikawa
URLﾘﾝｸ(arxiv.org)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
848:１３２人目の素数さん
22/07/21 21:52:37.68 WUbqF3QL.net
・高度IT人材、富士通は最大年収3500万円へ
・AI人材の獲得に超本気 NECが新人事制度を9人に適用、富士通は最大年収3500万円へ
・【年収３５００万円も】富士通、「ジョブ型」人事制度を導入 幹部社員から 高度IT人材
・来年度から副業解禁 人材多様化へ―大同生命次期社長
・第一生命HD、副業解禁 約1万5000人対象
・第一生命ＨＤ、副業解禁 １万５０００人対象―大手生保初
・IHI、国内8000人の副業解禁 重厚長大企業も転機
・ＩＨＩ、社外兼業を解禁 社内副業もルール化
849:１３２人目の素数さん
22/07/21 22:07:26 rhQ8yFB9.net
>>800
The ICM 2022 Section Descriptions
URLﾘﾝｸ(www.mathunion.org)
850:１３２人目の素数さん
22/07/24 00:07:56.30 zJAV+/jV.net
ICM 2022
入谷寛氏 京大理学部
abstract
On decompositions of quantum cohomology
D-modules
We discuss decompositions of quantum
cohomology D-modules arising from various
geometric settings. These decompositions can
be related to semi-orthogonal decompositions
of topological K-groups via the Gamma integral
structure.
Moderator: Michael Hutchings (United States)
Sectional Speaker: Hiroshi Iritani (Japan)
851:１３２人目の素数さん
22/07/24 00:09:36.53 zJAV+/jV.net
IMU 動画
Hiroshi Iritani:
On decompositions of quantum cohomology
D-module
URLﾘﾝｸ(m.youtube.com)
852:１３２人目の素数さん
22/07/24 00:21:37.70 zJAV+/jV.net
Quantum Cohomology andPeriods
Hiroshi Iritani:
URLﾘﾝｸ(arxiv.org)
853:１３２人目の素数さん
22/07/24 06:45:17.82 Dtng30cb.net
>>807-809
ま~た、コピペ君が発作起こしたな
いくらコピペしても基礎がないから
自分のアタマに何一つ残らないってこと
どうしても認められないのかな？
854:１３２人目の素数さん
22/07/24 09:35:18.78 BmaSLX6L.net
>>810
人違いと思います
ICM2022をチェックしています。
さて現在京大.RIMSでは数学の研究と全く新しい「数学」IUTがあり、
つまり2つの流れがあります。
・ICM2022ではIUTは相手にされず今後の方向性も示された。
> 797K.Buzzard氏>798 F.Calegari氏
scholtze氏の研究は両者からそれぞれ評価されたし加藤和也氏はシカゴ大学でしたね。
・また京大.RIMSでは当然数学の研究が評価された。
> 795中西氏> 807入谷氏
入谷氏の場合は深谷賢治氏(京大時代)のミラー対称性の研究からの流れでもあると
思います。
855:１３２人目の素数さん
22/07/24 09:50:45.37 Dtng30cb.net
>>811
じゃ、コピペウイルスの伝染か 悪い兆候だな
ICM2022の何をチェックしてるのか知らないが
１．IUTのことならきれいさっぱり忘れな
新しい「数学」ではなくそもそも擬似数学・似非数学だから
２．IUTと無関係のことならRIMSの研究も当然評価される
でも君中身のこと全然分かってないんだろ？
だったらコピペはやめな それ、完全な荒らし行為だからさ
856:１３２人目の素数さん
22/07/24 09:54:34.71 BmaSLX6L.net
>>812
>ICM2022の何をチェックしてるのか知らない
コピペしてコメントしました。
857:１３２人目の素数さん
22/07/24 10:07:27.92 Dtng30cb.net
>>813
脳の病？
858:１３２人目の素数さん
22/07/24 10:12:38.47 DXTXgKcr.net
やれやれw
このスレはIUTの検証スレでもあります。
859:１３２人目の素数さん
22/07/24 12:37:27.89 34ug5Wu2.net
>>811
＞人違いと思います
応援スレのスレ主です
私とは、別人ですよ
念のためね
860:１３２人目の素数さん
22/07/24 12:53:46.67 34ug5Wu2.net
>>795
>Partial Differential Equations 10. Partial Differential Equations
>Tuesday, July 12, 13:15 - 14:00
>Sectional Speaker: Kenji Nakanishi (Japan)
Kenji Nakanishi (Japan)は、下記のIUT Editorial Committee for the Special Issueのメンバーですね
京大に出入りできる身分なら、直接 Kenji Nakanishi 氏にIUTについてどう思っているか、聞いてみれば良い
因みに、
下記Hiraku Nakajimaは、次期IMU総裁
Takuro Mochizukiは、3億円男
Kaoru Onoは、RIMS所長
他にも、
861:数学の各分野でご高名の方多数 これだけ豪華メンバーが審議した論文は、そう無いでしょうねｗ (参考) Inter-universal geometry と ABC予想 (応援スレ) 67 https://rio2016.5ch.net/test/read.cgi/math/1653712154/695-696 Preface to the Special Issue Volume 57, Issue 1/2, 2021 PRIMS It is our great pleasure to publish a special issue of Publications of the Research Institute for Mathematical Sciences (PRIMS) for Inter-universal Teichm ̈uller Theory, I–IV by Shinichi Mochizuki. Editorial Committee for the Special Issue Editors-in-Chief Masaki Kashiwara, Akio Tamagawa Other Members Tomoyuki Arakawa, Masahito Hasegawa, Takashi Kumagai, Kazuhisa Makino, Takuro Mochizuki, Shigeru Mukai, Hiraku Nakajima, Kenji Nakanishi, Tomotada Ohtsuki, Kaoru Ono, Narutaka Ozawa, Michio Yamada (引用終り)
862:１３２人目の素数さん
22/07/24 14:14:07.03 osaZSYEq.net
>直接 Kenji Nakanishi 氏にIUTについてどう思っているか、聞いてみれば良い
貴方が貼った応援サポスレの>2をご覧下さい
863:１３２人目の素数さん
22/07/24 14:41:25 WBGbtc5Y.net
まさか、素人のおバカはエディターが自分の専門外も含めて全部内容理解して正しさを担保した上でアクセプトしてると思ってんのかね
自分の専門であってもそんなこといちいちしないよ
何のためのレフェリーだと思ってんだろね
864:１３２人目の素数さん
22/07/24 14:47:43 osaZSYEq.net
玉川柏原記者会見
IUTは全く新しい理論
865:１３２人目の素数さん
22/07/24 15:05:11.94 Dtng30cb.net
>>816
名乗らんでいい
現れんでいい
IUTは死んだんだ
R.I.P
>>817
Shinichi Mochizukiに対してICMで何の賞も出なかった
世界のトップ数学者が参加するIMU全体でそう判断した
これが現実
諦めて成仏しなさい
866:１３２人目の素数さん
22/07/24 15:10:46.12 Dtng30cb.net
今年７月の重大イベント
・ABC予想を解決したと称する人に対してICMで何の賞も出ず
・某国で最長期間首相に在任した男が自分の後ろ盾の怪しい団体に
全財産奪われた男に撃たれて死ぬ
総括 天網恢恢疎にして漏らさず
天の神が地に張り巡らした網は、ゆったりして粗いようであるが、
決して漏らすことはなく、それに搦め捕られる。
すなわち、悪事を行えば、一時的には逃げおおせるなど
うまくいったように見えるが、結局は、捕らえられる乃至
その報いを受けるということ。
867:１３２人目の素数さん
22/07/24 15:27:45.13 34ug5Wu2.net
>>820
>玉川柏原記者会見
>IUTは全く新しい理論
数学史の示すところ
数学の発展とは
従来とは異なる新しい理論が出現するもの
古くは、ニュートンライプニッツの微分積分
ガウスのDA
ガロアによる代数方程式の群論
リーマンの複素関数論や多様体論
20世紀の数学も、同様の例多数
望月IUTも、”全く新しい理論”というも
数学史の単なる1ページにすぎない
と言える
868:１３２人目の素数さん
22/07/24 15:41:00.13 34ug5Wu2.net
>>822
>・ABC予想を解決したと称する人に対してICMで何の賞も出ず
IUT ”Editorial Committee for the Special Issue”のMembersの一人だった男
Hiraku Nakajimaを、次期IMUの総裁に選んだ
なぜか？
その理由を考えてみなｗ
次期総裁に、なぜ日本からなのか？
次に、なぜHiraku Nakajimaなのか？ 日本には、他にIMU総裁の候補になる数学者は皆無なのか
869:な？ Hiraku Nakajima氏の、他のIMU総裁候補との際だった違いを一つ挙げるとすれば IUT Editorial Committee for the Special IssueのMemberの一人で、IUTに極めて近い人物だということです それが、選ばれた理由の全てではないとしてもね （IUTがクソミソの理論なら、マイナス評価にしかならない） Hiraku Nakajima氏の次期総裁のミッションの一つに IUT問題の解決があるのじゃないだろうか？ そう思っています
870:１３２人目の素数さん
22/07/24 15:50:31.99 56IEsUhE.net
理論になってなければいくら新しくてもゴミ屑だよね
871:１３２人目の素数さん
22/07/24 15:57:23.57 eAqvBDdr.net
海外の数学者も見ているNHKスペシャル。
IUTT共同構築者加藤文元東工大教授のコメント
「IUTは、、現今の数学との違いをきちんと完全に言語化する、
新しい数学の言語体系を、早急に作らなければいけないんじゃないか」
IUT論文を受理した当時もIUTは未完成で受理会見の発言「IUT論文は完璧」
は疑義がある、全く新しい理論IUTでもabc予想は証明されていなかった。
IUT論文取り下げて再度査読が必要だろう
872:１３２人目の素数さん
22/07/24 16:13:37.51 eAqvBDdr.net
元々の平成20年度採択京大G08では
IUTを全く評価していなかった。
873:１３２人目の素数さん
22/07/24 16:21:07.70 Dtng30cb.net
>>823
＞20世紀の数学も、同様の例多数
グロタンディクについては何一つ理解できず黙殺ですか
そりゃ、ｎ本のｎ次元ベクトルからなる行列の行列式が０でないとき
そのときに限り、なぜ線型独立といえるのか、すら理解できないんじゃ
圏論どころか、ホモロジー・コホモロジーすらわかりませんわなあ
874:１３２人目の素数さん
22/07/24 16:26:57.03 Dtng30cb.net
>>824
＞なぜHiraku Nakajimaなのか？
研究分野がIUTと無関係だから
例の「事件」に関して無罪と認定されたため
（完）
875:１３２人目の素数さん
22/07/24 16:34:15.10 Dtng30cb.net
>>826
今、加藤文元氏のコメントを改めて読むと
「AB*元首相とUnification Churchの関係は犯人の妄想であり陰謀論」
とかいうMiura Lully女史の発言と同様のいかがわしさを感じる
876:１３２人目の素数さん
22/07/24 18:28:43.90 eAqvBDdr.net
素粒子E8メモ。
表現行列 det A≠0
普遍被覆群SO(3)〜SU(2)/z2 中心z2は
ノンコンパクト固有SO(3、1) 〜SL(2 C)/z2 。
det A≠0⇔半単純リー代数、
例外群E8はコンパクト単純
リー代数で超弦理論ではゲージ群 E8×E8
→ →ミラー対称性
877:１３２人目の素数さん
22/07/24 19:45:27.18 Dtng30cb.net
>>831
>表現行列 det A≠0
>det A≠0⇔半単純リー代数
その行列Aは何を表してますか？
878:１３２人目の素数さん
22/07/24 21:33:42.51 PCcmyao+.net
線型リー代数の表現行列AでSL(2.C)なら
det A=1で det A≠0。
半単純リー代数⇔det A≠0。
数学として興味があるならリー環(リー代数)の本でカルタン計量やキリング形式などを見てください。
879:１３２人目の素数さん
22/07/24 22:26:20.00 34ug5Wu2.net
>>829
>＞なぜHiraku Nakajimaなのか？
> 研究分野がIUTと無関係だから
> 例の「事件」に関して無罪と認定されたため
全く説明になっていない
1）研究分野がIUTと無関係な数学者の方が、大多数だろ？ なんで中島？
2）「なんで日本から選ばれるのか？」についても、説明になっていない
2015-2018: Japan Shigefumi Mor
2019-2022: Argentina Carlos Kenig
2023-2026: Japan Hiraku Nakajima
この流れは、明らかに異常
2019-2022: Argentina Carlos Kenigの後は
欧州あたりから選ばれるのが、普通と思うよ
880:１３２人目の素数さん
22/07/25 06:43:21.93 VkHLH5M/.net
>>833
>線型リー代数の表現行列AでSL(2.C)ならdet A=1
もしかしてリー代数＝リー群と思ってます？
881:１３２人目の素数さん
22/07/25 06:45:49.87 VkHLH5M/.net
>>834
>欧州あたりから選ばれるのが、普通と思うよ
オリンピックの開催地選びではない�
882:�
883:１３２人目の素数さん
22/07/25 08:39:04.56 ss4GJ2TA.net
>>835
SLは大文字で線型リー群の間違いです。
884:１３２人目の素数さん
22/07/25 09:33:29.04 6bpPvZoH.net
>>837
行列群の要素のdetが0でないのは当たり前だろ
お前何もわかってないわ
「」
885:１３２人目の素数さん
22/07/25 09:35:22.06 6bpPvZoH.net
「半単純リー代数⇔det A≠0」
こんなの間違いたくても間違えられないよ。
コピペ人間ってこんなことになるんだ
886:１３２人目の素数さん
22/07/25 09:36:07.96 ss4GJ2TA.net
>>837
p.s
正確には 半単純リー代数⇔det g≠0
887:１３２人目の素数さん
22/07/25 09:48:13.54 ss4GJ2TA.net
>>839
表記をあわせましたが
888:１３２人目の素数さん
22/07/25 09:53:34.23 6bpPvZoH.net
>>841
>>838にはコメントできないよね
自分の愚かさを認めることになるから
889:１３２人目の素数さん
22/07/25 10:02:40.35 G5FhxjQt.net
>>842
抽象的線型リー群を行列で表現する
また、リー環(リー代数)と書きました。
890:１３２人目の素数さん
22/07/25 10:30:25.49 OyCZlDph.net
リー群とリー環の区別がついてないことがわかった
891:１３２人目の素数さん
22/07/25 10:42:28.18 ucVXYLrA.net
行列式が0とか0でないというのは個々の元の話でしょ。
一方で、単純性とか半単純性というのは代数（環）の
集合的性質でしょ。
前者は分かり易く、後者はより高級で理解できなかったんでしょ。
それで、分からないことを分かっていることで置き換えたから
おかしな理解（誤解）となった。
前にいた「おっちゃん」とかいう奴レベルの間違い。
892:１３２人目の素数さん
22/07/25 10:42:44.66 G5FhxjQt.net
たしかに誤記がありました。
普遍被覆群SO(3)〜SU(2)/z2
です。
普遍被覆群は？
893:１３２人目の素数さん
22/07/25 10:51:29.06 G5FhxjQt.net
>>845
>846は？
894:１３２人目の素数さん
22/07/25 10:52:59.64 XVbzR1+E.net
>>846
誤記なんて言い方でごまかすな
あんたはわかってないの
895:１３２人目の素数さん
22/07/25 11:00:28.66 G5FhxjQt.net
普遍被覆群はリー群とリー環に関係します。
896:１３２人目の素数さん
22/07/25 11:02:38.35 ucVXYLrA.net
>>846
位相群は位相空間でもあるから
位相空間として普遍被覆が考えられ
それが群にもなってるのが
普遍被覆群じゃね？
「普遍被覆群SO(3)〜SU(2)/z2」
というのは意味分かって書いてる？
SO(3)の2重被覆で普遍被覆群
でもあるのがSU(2)という意味ですから。
897:１３２人目の素数さん
22/07/25 11:07:19.04 G5FhxjQt.net
>>850
リー群は位相群でもあります。
898:１３２人目の素数さん
22/07/25 12:42:21.00 IVy9pDY/.net
どんな位相群がリー群かという問題は
松島、後藤、山辺、倉西らによる
決定的な進展を踏まえて
Montgomery-Zippinにより解かれたという理解でOK?
899:１３２人目の素数さん
22/07/25 13:02:52.69 km4KV4ED.net
>>852
リー群は、行列式が0でない2次の実正方行列全体からなる群
または行列式が0でない2次の複素正方行列全体からなる群
などの具体例が重要で、単なる代数的な一般論だけでは通用しないから、
それだけではまだ解かれていないだろう
900:１３２人目の素数さん
22/07/25 13:18:55.92 IVy9pDY/.net
>>853
>>単なる代数的な一般論だけでは通用しない
「松島、後藤、山辺、倉西らによる
決定的な進展を踏まえて
Montgomery-Zippinにより解かれた」というのは代数的な一般論だったのか？
901:１３２人目の素数さん
22/07/25 13:43:06.01 IVy9pDY/.net
ヒルベルトの第5問題をググってみたが
よくわからなかった
902:１３２人目の素数さん
22/07/25 14:15:04.99 ucVXYLrA.net
まずリー群の定義を読みなよ。
URLﾘﾝｸ(ja.wikipedia.org)
リー群（リーぐん、英語: Lie group）は、群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことである。ソフス・リーの無限小変換と連続群の
903:研究に端を発するためこの名がある。 で、 G が位相多様体であって、連続な群演算をもつ群でもあるならば、G 上の解析的構造が唯一つ存在して、G をリー群にすることができる（ヒルベルトの第５問題あるいはヒルベルト-スミス予想）。 とある。だから、分からないってのは、可微分多様体と位相多様体の違いからして分かってないんだと思う。 可微分多様体⊂位相多様体 ね。
904:１３２人目の素数さん
22/07/25 14:17:01.76 ucVXYLrA.net
>>853
>リー群は、行列式が0でない2次の実正方行列全体からなる群
>または行列式が0でない2次の複素正方行列全体からなる群
>などの具体例が重要で、単なる代数的な一般論だけでは通用しないから
それこそ代数的な例だろｗ
行列で定義されてる群なんだから。
「具体的な表示を持つ」対象に限れば
話がメチャクチャ簡単になることも分かってないのは
正に「おっちゃんレベル」ｗｗ
905:１３２人目の素数さん
22/07/25 14:29:29.18 IVy9pDY/.net
>>856
「よくわからない」というのは
「単なる代数的な一般論だけでは通用しない」
という文章の意味
906:１３２人目の素数さん
22/07/25 15:43:55.51 oG0KiPdO.net
>>853
例外型のリー群のことまで解決していたのか？
>>857
GL(2,R) や GL(2,C) などでは、ヒルベルト空間上での解析による表現論も展開出来るし
GL(2,R) は4次元空間 R^4 から R^4 の原点Oを除く空間 R^4-{O} に同型だから、物理的な議論でも使えるよ
>単なる代数的な一般論だけでは通用しない
というのはそういう意味だよ
代数的な一般論は、リー群よりリー環で展開した方が有効なことが多い
907:１３２人目の素数さん
22/07/25 15:52:37.82 oG0KiPdO.net
>>851
失礼、レス番号間違えた
例外型のリー群のことまで解決していたのか？
>単なる代数的な一般論だけでは通用しない
という意味は>>859の後半に書いてある
実数体Rもリー群の構造を持っているしな
908:１３２人目の素数さん
22/07/25 15:58:21.61 oG0KiPdO.net
>>854
>>858
再度失礼、またレス番号間違えた
レスは>>860に書いてある
909:１３２人目の素数さん
22/07/25 16:17:01.28 wFVB5J+D.net
「○○と△△は関係する」というのは数学ワカランチン
がよく言うけど、実際は何も言ってないに等しいことが多いね。
数学の内容が分かってないから「関係する」としか言えないｗ
本や文献も、目次や項目しか読めてないから
連想ゲームみたいな出力しかできない。
>>859
>GL(2,R) は4次元空間 R^4 から R^4 の原点Oを除く空間 R^4-{O} に同型だから
ん？ 本当ですか？
a b
c d
をGL(2,R)の元とすると、集合としては
(a,b,c,d)∈R^4 の全体から、代数方程式 ad-bc=0
をみたす部分集合を除いたものに等しいわけだよね。
この部分集合は{O}とは違うよね。おかしくね？
910:１３２人目の素数さん
22/07/25 16:24:25.11 wFVB5J+D.net
「おっちゃん」とかいう池沼は、実際は中学レベルの計算しかできないくせに
「代数的か解析的か」（俺様は「解析」の方が専門なのだというニュアンスで）
どうでもいいことを語る自己愛バカヤローｗ
そもそも、大学教養レベルの代数さえ分かってないｗ
911:１３２人目の素数さん
22/07/25 16:46:30.82 KEslMCKf.net
>GL(2,R) は4次元空間 R^4 から R^4 の原点Oを除く空間 R^4-{O} に同型だから
これは酷いW
912:１３２人目の素数さん
22/07/25 16:53:57.39 UddMv03w.net
演習問題２つ
(1) GL(2,R)の連結成分を求めよ。
(2) 解析多様体 R^4-{O} にリー群の構造は入るか？ならば、それを具体的に記述せよ。
(2)はボクチンにはちょっとむずいかな。院入試クラス？
913:１３２人目の素数さん
22/07/25 17:03:44.95 wjAuOBT1.net
>>865
1) ２つ
2) SU(2)×R
914:１３２人目の素数さん
22/07/25 17:08:37.79 oG0KiPdO.net
>>862
GL(2,R) の2点の掛け算をすると
a b
c d
e f
g h
＝
ae+bg af+bh
ce+dg cf+dh
この正方行列の行列式は
(ae+bg)(cf+dh)-(af+bh)(ce+dg)
=(ae+bg)cf+(ae+bg)dh-(af+bh)ce-(af+bh)dg
=bgcf+aedh-bhce-bhce
で必ずしも0ではない
915: 逆に、ad-bc=0 とすると上の行列式は =adgf+aedh-adhe-adhe =ad(gf-he) =0 になるので、GL(2,R) から GL(2,R) への準同型 f:GL(2,R)→GL(2,R) は存在する GL(2,R) は正方行列の掛け算について非可環で、上で計算した GL(2,R) の点 ae+bg af+bh ce+dg cf+dh に対してfが同型になるための何らかの条件を定めることは出来る
916:１３２人目の素数さん
22/07/25 17:10:35.41 wjAuOBT1.net
>>866
2)は素直にH-{0}と書いた方がよかったかな？
四元数Hの絶対値1の元全体Sp(1)は群を為すけど
実はSu(2)と同形
917:１３２人目の素数さん
22/07/25 17:11:43.06 KEslMCKf.net
>>867
馬鹿の考え休むに劣る
918:１３２人目の素数さん
22/07/25 17:15:41 oG0KiPdO.net
>>869
fの逆写像 f^{-1} が存在するとしたらそれは多価写像になる
919:１３２人目の素数さん
22/07/25 17:17:24 IVy9pDY/.net
3次元球面はリー群で数直線もリー群だから
これらの直積であるR^4-{O}はリー群の構造を持ちます。
920:１３２人目の素数さん
22/07/25 17:23:11 wjAuOBT1.net
>>871
それは正しいけど
SL(2)は3次元球面ではない
921:１３２人目の素数さん
22/07/25 17:49:51.11 dp8P0xeQ.net
どんだけ知識に違いがあろうがIUTは正しくないという点では一致してるんだなお前らは
922:１３２人目の素数さん
22/07/26 00:05:30.61 NYY38S6M.net
>>850
検索丸出しだな
りー群の中心と基本群の関係を問うているのに
923:１３２人目の素数さん
22/07/26 00:31:34.06 MDbR/5mj.net
無論、儂は分からん、知らん
ブラックホールに吸い込まれた人の座標は一点コンパクト化されると言ってしまって良いのだろうか？
924:１３２人目の素数さん
22/07/26 00:37:54.62 +a9YIFBG.net
>>846の
>「普遍被覆群SO(3)〜SU(2)/z2」
はワカランチン記述だな。
これではSO(3)が普遍被覆群だと言ってるようにしか読めない。
書いてる本人が理解していないんだろう。
>>850は
「SO(3)は単連結じゃないから普遍被覆のわけないだろ、ボケ」
というのをやんわり書いてあるだけｗ
925:１３２人目の素数さん
22/07/26 00:50:06 Bsk5BXrp.net
>>831
元のメモはこれ。
中心とあるけどね
926:860
22/07/26 00:58:29 Bsk5BXrp.net
>>860
レスがあったので。
Lie群の古典群例外群の位相を調べるには極分解したり射影平面射影空間に
対応させたりしています。
Lie環の体系はディンキン図形が基本と思います
927:１３２人目の素数さん
22/07/26 05:13:08 ZMuWOk1f.net
ID:Bsk5BXrp
恥の上塗り
書き込まない方がいい
928:１３２人目の素数さん
22/07/26 07:35:00 ayU0Pmsk.net
>>876
>これではSO(3)が普遍被覆群だと言ってる
ようにしか読めない。
メモのSO(3)が普遍被覆群ではないことを
知り読んでいますね。
929:１３２人目の素数さん
22/07/26 08:01:19.58 ayU0Pmsk.net
>>856
>まずリー群の定義を読みなよ
そこでwikiに書いてあるリー群の定義ですかw
リー群の本の定義でなくて、、
930:１３２人目の素数さん
22/07/26 08:43:08.58 riaPVc5o.net
>>876
SO(3)はRP3 3次元実射影空間
SU(2)=Sp(1)はS3 3次元球面
SL(2)はそもそもノンコンバクトだからどちらでもない
931:１３２人目の素数さん
22/07/26 08:58:50.33 cNPMn0cB.net
SL(2C)がノンコンパクトだから
特殊相対論のローレンツ対称性は
難しいですよね。
932:１３２人目の素数さん
22/07/26 16:35:29.53 7jGkzk3s.net
リー群ではない位相群の
リー群ではないことによる特別な構造が
役立つ例はありますか。
933:１３２人目の素数さん
22/07/26 18:03:59.69 Mu26qDb6.net
ガロア群
profinite group
いくらでもありますな、昔から
934:１３２人目の素数さん
22/07/26 18:05:58.60 kk04mCnU.net
それでも、うだつの上がらない崩れか三流研究者しかここにいないという悲しさ
935:１３２人目の素数さん
22/07/26 18:22:39 UDzz2PKB.net
⏰
936:１３２人目の素数さん
22/07/26 18:24:17 Mu26qDb6.net
コピペ専従さんが活躍するのも嫌だけど
ラングランズなんたらとか言うのは昔リー群の表現をコツコツやってた仕事を
p進とかアデール代数群の表現論に焼き直して大風呂敷を広げたのから始まったんではないかな
ガロア群の表現となんか関係ありそうだよね、とか言って...
937:１３２人目の素数さん
22/07/26 18:29:30 kk04mCnU.net
対応が実解析的な場合で証明されたら大変なことだが、今んとこほとんど研究してる
頭数も少ない
ショルツの理論でまた変わってくる可能性はあるが
938:１３２人目の素数さん
22/07/26 18:51:31.88 kb6yu9cL.net
>ラングランズなんたらとか言うのは
>ショルツの理論でまた変わってくる可能性は
あるが
ICM2022も終わりました。
具体的にお話しください
939:１３２人目の素数さん
22/07/26 19:19:02.82 kk04mCnU.net
>>890
さあどうかな。とにかくラングランズはまだまだ謎だらけ
恐らくそっちのバージョンはショルツでも無理だろう。更なる深化が必要
940:１３２人目の素数さん
22/07/26 20:50:39.90 MDbR/5mj.net
弩素人×未学×不勤勉×高くくり×先取りチョンボ精神×独善我流
で
分かった積もり
で
誤引用コピペ多犯
コピペ誤解説多犯
おいポニョ爺な猿魔隕石。第六天こと他化自在天。マラでっかいパピヤス。オドレはゲス吐きレスすれど、ある一線は謙虚
このコピペ依存症スレ主が正しかった時を何件か挙げれ
正直に答えるだろう、何故なら奴はマラパピヤス、究極の人垂らしと純粋な悪意の権化｡
それが元祖インド仏教や、その元祖を差し置き原始仏教に最も近いスリランカの仏教でも
最大の敵とは。マーラパピヤス。
猿魔羅でっかいパピヤス
パピヤスとは悪意100%偽善、による他化自在なる欲界の天つまり最上魔天
マラ（中国経由以来、魔羅と当て字されるが魔の意）パピヤス（悪意の意）の恐ろしさ
猿石の真ん中の足は東京スカイツリーと等長634m
941:１３２人目の素数さん
22/07/26 21:06:46.82 HfkyTJSs.net
MPじゃなくてもコピペ怪獣が大学1年数学の落ちこぼれだってことは先刻ご承知
線型代数も分からんのにコホモロジーなんて到底無理
942:１３２人目の素数さん
22/07/27 06:55:10.94 /S5RAc6t.net
そろそろこのスレも終わりなので
ICM2022でも成果についてまったく話題にならなかったことを踏まえて
次スレのタイトルを以下のように変更したいと提案します
【検証】なぜIUTT論文はacceptされてしまったのか？50
943:１３２人目の素数さん
22/07/27 08:27:13.05 S0DrBjqt.net
積み重ねた本流ですからスレタイは同じで良いと思います。
現状を踏まえた検証は当然ですがサロンですから
>1を少し変えて例えば
【検証】inter-universal geometryとABC予想
未だにcontroversialなIU幾何やIUTやABC予想に関する会話のサロンとして
使って下さい。
ICM2022でもIUT論文の成果についてまったく話題になりませんでした。
懐疑的な意見も歓迎です。
応援するスレではありませんが関係者の匿名的な論理的見解も歓迎です。
荒らしはご遠慮願います。
スレ立てはよろしくお願いします
944:１３２人目の素数さん
22/07/27 12:00:30.54 dfQpybT5.net
>>895
【検証】の追加で結構です
テンプレも上記�
945:ﾅ構いません 残念ながら当方はスレ立てできないので、 上記変更でお願いします
946:１３２人目の素数さん
22/07/27 12:05:17.33 OG4ewn8G.net
検証もなにもでたらめってほぼ確定だと思うんだけど
じっさいこのスレでもIUTの検証なんてだれもやってないじゃん
947:１３２人目の素数さん
22/07/27 12:16:30.83 OG4ewn8G.net
あと次のスレからワッチョイ導入して欲しい
どうみても自作自演してるやつがいるし、
頭がおかしいやつの連投はあぼーんしたいから
IPまでは表示しなくていいから
!extend:checked:vvvvv:1000:512
でいいだろ
948:１３２人目の素数さん
22/07/27 12:36:59.11 rZ5sv6/D.net
>>898
ワッチョイ導入してもいいよ
ただその際はタイトルに
【ワッチョイ】
って明示してほしいな それだけ
949:１３２人目の素数さん
22/07/27 12:50:38.67 uGhz4FE6.net
>>897
>検証もなにもでたらめってほぼ確定だと思う
証拠は？
950:１３２人目の素数さん
22/07/27 12:56:00.95 rZ5sv6/D.net
>>900
貴方のいう証拠とは具体的に何？
951:１３２人目の素数さん
22/07/27 13:01:12.87 uGhz4FE6.net
>>899
賛成します
952:１３２人目の素数さん
22/07/27 13:59:52.76 2ceZcz80.net
【ワッチョイ】って、何？
953:１３２人目の素数さん
22/07/27 14:19:22.33 CL8IOMTr.net
>>898
何処につけんの？
一行空けとか決まってる？
954:１３２人目の素数さん
22/07/27 14:44:13.34 zW1pfS2e.net
>>904
一行目
955:１３２人目の素数さん
22/07/27 15:01:58.03 uGhz4FE6.net
利点
応援スレ主 >2の関係者
>897 トラブルメーカーなど
は排除できるかもしれない
欠点
自動的にIDが変わる場合がある。
さらに関係者の匿名的な論理的見解がなくなる
可能性がある
956:１３２人目の素数さん
22/07/27 15:04:30.29 uGhz4FE6.net
>>906
>2→>3
957:１３２人目の素数さん
22/07/27 15:24:35.39 rhUX2Sd/.net
>>906
関係者って何の？
958:１３２人目の素数さん
22/07/27 15:50:36.68 CL8IOMTr.net
>>905
空けなくてもいいのね
まあ俺が立てるかわからんが
コピペ避け程度なら不可欠とは感じないけどね
自演もよくわからないし
959:１３２人目の素数さん
22/07/27 19:51:25.42 m4qor28w.net
>>906
ここまで関係者の書き込みなんてなかったでしょ
つまりそこに書かれてる欠点はどれもマイナスになってないわ
960:１３２人目の素数さん
22/07/27 21:07:57.66 ewltUK7J.net
>ここまで関係者の書き込みなんてなかったでしょ
わかるレベルひとしかわからん
961:１３２人目の素数さん
22/07/27 23:40:35.39 44egHOCj.net
そもそも次スレいらんと思う
IUTとabc予想の関係があるかのようなスレ自体おかしいし
IUTの話もabc予想の話もしてないで雑談してるだけだからな
962:１３２人目の素数さん
22/07/28 02:02:55.88 JHGmsbF1.net
ID:44egHOCj
付録レス
そもそも山形大の問題はIUTにも数学にもまったく無関係でスレチだ。
関係者はこのスレ次スレへかきこむな