25/11/09 12:09:43.47 iDJjSeAH.net
こういう「駄々こね人間」はグループになんの利益ももたらさないし、いるだけ邪魔。なので一般社会からは自動的に物理的に排除される。それが「こういう行為を繰り返すと人間は社会の中で生きていけない」と学べる。ところがこういう匿名掲示板では物理的に排除されるメカニズムがないのでそういう学びのチャンスがないので小学生は小学生のまま。結果大量の引きこもりとかニートが発生する事態を引き起こしてるんやろな。
609:１３２人目の素数さん
25/11/09 12:11:37.23 drNebvvD.net
>縄文時代の暴力による死亡率は？
>（1）約1万年におよぶ縄文時代の受傷人骨データを網羅的・体系的に収集し、
>暴力による死亡率を初めて数量的に算出した。 データ総数は2,582点
>（人骨出土遺跡数は242箇所）、うち受傷例は23点、暴力による死亡率は1.8％である。
結論：現代の日本が史上最も平和
610:１３２人目の素数さん
25/11/09 12:16:25.28 P3lbYVWX.net
>>581
>それを見た数学コミュニティは「こりゃダメだ」と相手にするのをやめた。
現状そんな感じですね
でもまだ希望はあります
理解して居る人が>>524
12～15人はいるはずですから
これらの方々が誹謗中傷に陥らず根気強く説得しようとしてくれることが期待できるのではないでしょうか
>望月のかつての師も「自分の研究に時間を使うことにした」とやんわり突き放した
G. Faltingsの言葉でしょうか？
百年河清を俟つ姿勢は賢明かもしれませんね
611:１３２人目の素数さん
25/11/09 12:24:50.07 /zC1GuSg.net
パンドラの箱の底に残る希望にだけはなりたくない
612:１３２人目の素数さん
25/11/09 12:27:56.30 wauc0h2b.net
こうやって５ちゃんで呑気に馬鹿話してられるのも自由で平和だから。
その自由と平和はどこから来ている？
どこぞの国には自由が無い。どこぞの国には平和が無い。日本だから自由で平和なのだ。
反日基地外は日本から出て行って自由と平和の有難さを肌で感じてこい。
613:１３２人目の素数さん
25/11/09 13:06:59.24 /zC1GuSg.net
自由と平和の意味が国によって異なるのが現実ではなかろうか
614:現代数学の系譜 雑談
25/11/09 13:56:22.21 QrKJGO9s.net
>>576
>IUTについては
>かみ合う議論が難しい
巡回ご苦労さまです
全くです
下記の 2020 by woit での Peter Scholzeと Taylor Dupuyとの論争も
結局は、かみ合わなかった
(参考)
URLﾘﾝｸ(www.math.columbia.edu)
Latest on abc Posted on April 3, 2020 by woit
Davide Castelvecchi at Nature has the story this morning of a press conference held earlier today at Kyoto University to announce the publication by Publications of the Research Institute for Mathematical Sciences (RIMS) of Mochizuki’s purported proof of the abc conjecture.
This is very odd. As the Nature subheadline explains, “some experts say author Shinichi Mochizuki failed to fix fatal flaw”.
Peter Scholze says:
April 6, 2020 at 9:28 am
I have been weighing back and forth commenting again on this matter. However, the news in that last comment by David J. Littleboy convinced me that it might be good, even if futile, to say something again.
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 for 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.
The reason it cannot work is a theorem of Mochizuki himself.
略
I’m really frustrated with the current situation. What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart. I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.
Taylor Dupuy says:
April 6, 2020 at 1:00 pm
Hi Peter!
First, hope your pandemic is going well. Mine is going ok. Hard to get things done without daycare.
Second, let me say that for hyperbolic curves over a p-adic field K (with no extra hypotheses like strictly Belyi type or Belyi type or canonical lift) that pi_1(Z) “determines” Z is open. Also, I personally would advocate against using words like “determines”, “reconstructs”, etc that have been causing sooo many problems in discussing all of these things.
615:１３２人目の素数さん
25/11/09 13:59:31.85 wauc0h2b.net
>>613
屁理屈爺がなんか言っとる
616:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/09 14:21:58.19 3sh1bNra.net
武器に対する興味を失わず社会はよくない。
617:死狂幻調教大師S.A.D.@月と六ベンツ
25/11/09 14:22:31.83 3sh1bNra.net
失わす。
618:現代数学の系譜 雑談
25/11/09 14:24:55.46 QrKJGO9s.net
>>614 補足
>下記の 2020 by woit での Peter Scholzeと Taylor Dupuyとの論争も
>結局は、かみ合わなかった
1）Scholzeちゃんも、若い
「”radical simplifications”という明白な ストローマン論法」>>565
が、彼は 若いから 数学外道だと 分っていない
正しいと 信じ込んでいる。だから、Taylor Dupuyとの論争が かみ合わない
2）例えば O–Takegoshi L2 extension theorem URLﾘﾝｸ(en.wikipedia.org)
”・・・ Kensho Takegoshi in 1987,[1] using what have been described as ad hoc methods involving twisted Laplace–Beltrami operators, but simpler proofs have since been discovered.[2] ( Siu (2011))
Many generalizations and similar results exist, and are known as theorems of Ohsawa–Takegoshi type.”
3）このように、”simpler proofs have since been discovered”は、良いのです
だが、「証明をsimplificationしたら 証明にギャップが出来ました」というN大の学生が居たら？
O先生も「あ然、ぼう然、がく然」ｗ でしょう。O先生「おまえ 本当にN大 数学科生か？」とｗ
つまり、”simpler proofs”は是なれど、”simplification→ギャップ出来た”は 原理的に不可なのです
この簡単な理屈が、若いScholze氏は 理解できていない！
彼は「証明をsimplificationしたら 証明にギャップが出来ました」という 非数学のディベート論法を
公式の数学主張として 持ち込んで 使った 史上初の数学者かも知れない
619:現代数学の系譜 雑談
25/11/09 14:29:39.38 QrKJGO9s.net
>>616-617
死狂幻調教大師S.A.D.@月と六ベンツさん
ありがとうございます
いつも お世話になっています （＾＾
620:１３２人目の素数さん
25/11/09 15:04:09.06 wauc0h2b.net
>>618
証明とは論理式の有限列であり、
条件：初項は前提、末項は結論、その他の項は前提または直前の項に推論規則を適用することで得られるもの
を満たすもののこと。
IUTが依拠する論理が示されていないのは証明のギャップどうこう以前の不備。理論の要件を満たしていない。
無教養なおまえは何が問題かすら分かっていない。
621:１３２人目の素数さん
25/11/09 15:13:55.44 wauc0h2b.net
直前は嘘だな。前であればよい。
622:１３２人目の素数さん
25/11/09 15:55:57.06 CA6TFgJW.net
>>601
＞おまえの大好きな中国様にでも帰化しろよ
東アジアの中心である中国への嫉妬丸出し
中国の皇帝支配にあこがれる島の土人が
日本の天皇支配でマネをしたがる
＞時代が古ければ古いほど平和から遠い これが現実
それって文明のペニスにレイプされた土人君の勝手な妄想ですよね（笑）
＞ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた
おまえ生命絶滅が好きなの？さすが強盗強姦殺人大好きな脅迫犯
おまえみたいなヤツがいるから人類の平和が実現しねぇんだよ（笑）
＞＞自己愛野郎
＞おまえレッテル貼り大好きだな
「ホモサピエンスはホモサピエンス以外の人類をすべて絶滅させた」
と嬉々として語る貴様は、自ら強盗強姦殺人大好きな自己愛凶悪犯罪者と白状してるも同じ
自分以外誰も愛さない貴様を他人は愛さない さっさと●ね 人非人
623:１３２人目の素数さん
25/11/09 16:01:19.91 CA6TFgJW.net
>>602
＞平和維持にコストがかかるのは当然だろ
＞平和は空気みたいにただだと思ってるのか？
＞これだから頭お花畑の左翼は
＞コスト負担するのが嫌なら日本から出ていけばよい
＞その自由は保障されている
＞自由を行使せずに日本にしがみついてるのがおまえ
ここは日本ではない
ここが日本だとウソをつくのが反社勢力
中国から見て東、という意味にすぎない日本とかいう他称を
「太陽の元」と誤解して嬉々として称する馬鹿っぷりがその証拠（笑）
自らを右翼と誇るが実際は発達障害の上に自己的人格障害
この地球から出て行ってくれ いかなる生物も生きる権利があるが自己愛野郎だけは別だ
おまえらみたいな凶悪犯に生きる資格も価値もない この地球上のどこでもだ
624:現代数学の系譜 雑談
25/11/09 16:02:17.60 QrKJGO9s.net
>>537より 追加
URLﾘﾝｸ(en.wikipedia.org)
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8]
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
Breakthrough Prize なんだね（下記）
URLﾘﾝｸ(en.wikipedia.org)
Dennis Gaitsgory (born 17 November 1973) is an Israeli-American mathematician. He is a mathematician at Max Planck Institute for Mathematics (MPIM) at Bonn and is known for his research on the geometric Langlands program.
Honors and awards
In 2025, he received the Breakthrough Prize in Mathematics.[3]
（Scholzeさん）
URLﾘﾝｸ(www.quantamagazine.org)
Quanta magazine
Monumental Proof Settles Geometric Langlands Conjecture
Erica Klarreich July 19, 2024
The proof represents the culmination of three decades of effort, said Peter Scholze(opens a new tab), a prominent mathematician at the Max Planck Institute for Mathematics who was not involved in the proof. “It’s wonderful to see it resolved.”
Dennis Gaitsgory (left) and Sam Raskin led the nine-person team that proved the geometric Langlands conjecture.
URLﾘﾝｸ(breakthroughprize.org)
Breakthrough Prize 2025 April 5, 2025 – Los Angeles
Mathematics
Dennis Gaitsgory wins the Breakthrough Prize in Mathematics for his central role in the proof of the geometric Langlands conjecture. The Langlands program is a broad research program spanning several fields of mathematics. It grew out of a series of conjectures proposing precise connections between seemingly disparate mathematical concepts. Such connections are powerful tools; for example, the proof of Fermat’s Last Theorem reduces to a particular instance of the Langlands conjecture. These Langlands program equivalences can be thought of as generalizations of the Fourier transform, a tool that relates waves to frequency spectrums and has widespread uses from seismology to sound engineering.
つづく
625:現代数学の系譜 雑談
25/11/09 16:02:39.89 QrKJGO9s.net
つづき
In the case of the geometric Langlands conjecture, the proposed one-to-one correspondence is between two very different sets of objects, analogous to these spectrums and waves: on the spectrum side are abstract algebraic objects called representations of the fundamental group, which capture information about the kinds of loop that can wrap around certain complex surfaces; on the “wave” side are sheaves, which, loosely speaking, are rules assigning vector spaces to points on a surface. Gaitsgory has dedicated much of the last 30 years to the geometric Langlands conjecture. In 2013 he wrote an outline of the steps required for a proof, and after more than a decade of intensive research in 2024 he and his colleagues published the full proof, comprising over 800 pages spread over 5 papers. This is a monumental advance, expected to have deep implications in other areas of mathematics too, including number theory, algebraic geometry and mathematical physics.
2025 New Horizons in Mathematics Prize
Sam Raskin, Yale University
For contributions to the geometric Langlands program, including the theory of the Whittaker model and the proof of the geometric Langlands conjecture in characteristic 0.
URLﾘﾝｸ(people.mpim-bonn.mpg.de)
Proof of the geometric Langlands conjecture
This page contains five papers, the combined content of which constitutes the proof of the (categorical, unramified) geometric Langlands conjecture.
This is a collaborative project of D. Arinkin, D. Beraldo, J. Campbell, L. Chen, J. Faergeman, D. Gaitsgory, K. Lin, S. Raskin and N. Rozenblyum.
Papers:
GLC I: Construction of the functor
GLC II: Kac-Moody localization and the FLE
GLC III: Compatibility with parabolic induction
GLC IV: Ambidexterity
GLC V: The multiplicity one theorem
(引用終り)
以上
626:１３２人目の素数さん
25/11/09 16:02:52.85 CA6TFgJW.net
>>605
＞＞縄文時代は平和だった だから縄文時代に戻るべきだ
＞おまえはポルポトか？
アマゾンのピダハンにはポルポトはいないよ（笑）
627:１３２人目の素数さん
25/11/09 16:04:11.79 CA6TFgJW.net
>>606
ポルポトはやり方がまずかっただけで
目標設定がまずかったわけではない（笑）
628:１３２人目の素数さん
25/11/09 16:07:31.20 CA6TFgJW.net
>>607
何であれ権力で強制するのは失敗する
ロベスピエール然り レーニンまた然り
マルクスも焦ってたんだろうが
前衛党独裁なんて馬鹿なこといったもんだ
バクーニンじゃなくてもそんなのだめだろとツッコむわ
＞反●●●外は●●から出てけ
おまえが出てけ ただの●●外（笑）
629:１３２人目の素数さん
25/11/09 16:12:17.01 CA6TFgJW.net
>>609
＞縄文時代の暴力による死亡率は1.8％
＞結論：現代の日本が史上最も平和
こんなこという奴に限って
中国との戦争が起きて
「おまえ、今日、特攻な」
と命令されるとこういって発●する
「なんでおれが！なんで散々左翼を●してきた優良右翼の俺様が」
これに対する回答はこれ
「知らん これは命令だ 逆らうなら今ここで●刑な
もちろん貴様は左翼として永遠にさらし物
どうする、優良右翼とかドヤってる君」
国家に忠誠つくすとかいって犯罪行為をやらかしつづけた変質者の末路である・・・
630:１３２人目の素数さん
25/11/09 16:16:24.47 CA6TFgJW.net
>>612
ん？
どこぞの国でも特権階級様は自由で平和だよ
君たちはどこぞの国のように自分たちだけ特権階級として
自由で平和なフリーセックス社会を堪能したいだけでしょ
腰振る以外能がないエテ公♂そのものだな（笑）
そんな特権階級の社会は革命で倒されて一人民として、
特権なければちっともモテない現実を
肌で感じてセンズリしてろ（嘲笑）
631:１３２人目の素数さん
25/11/09 16:24:27.97 CA6TFgJW.net
>>614
Latest on abc Posted on April 3, 2020 by woit
Davide Castelvecchi at Nature has the story this morning of a press conference held earlier today at Kyoto University
to announce the publication by Publications of the Research Institute for Mathematical Sciences (RIMS) of Mochizuki’s purported proof of the abc conjecture.
This is very odd. As the Nature subheadline explains, “some experts say author Shinichi Mochizuki failed to fix fatal flaw”.
abc予想の最新情報 2020年4月3日 woit 投稿
Nature誌のDavide Castelvecchi氏が今朝、京都大学で本日行われた記者会見について報じています。
この会見では、望月氏によるabc予想の証明とされる論文が、数理解析研究所（RIMS）出版部から出版されることが発表されました。
これは非常に奇妙なことです。Nature誌の小見出しにあるように、「一部の専門家は、著者の望月新一氏が致命的な欠陥を修正できなかったと指摘している」とのことです。
632:１３２人目の素数さん
25/11/09 16:28:22.96 CA6TFgJW.net
>>631の続き
Peter Scholze says:
April 6, 2020 at 9:28 am
I have been weighing back and forth commenting again on this matter.
However, the news in that last comment by David J. Littleboy convinced me that it might be good, even if futile, to say something again.
Peter Scholze氏は次のように述べています。
2020年4月6日午前9時28分
この件について再度コメントするかどうか、ずっと迷っていました。
しかし、David J. Littleboy氏の前回のコメントで分かったことで、たとえ無駄だとしても、もう一度発言してみるのが良いかもしれないと確信しました。
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 for 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.
スティックスとの原稿では十分に明確に表現できなかったかもしれませんが、望月氏のようなことは到底不可能です。
（もし京都で望月氏と丸一週間議論していなかったら、私はこれほど強く主張することはなかったでしょう。
以下の点は非常に基本的なもので、望月氏は丸一週間の間、その一つたりとも誤りだと私を納得させることはできませんでした。）
純粋数学の名の下に、このような問題を研究するための研究所が設立されるなどということは、私の心の奥底に深く突き刺さります。
そして、このことが純粋数学に再び悪影響を及ぼすことがないように心から願っています。
The reason it cannot work is a theorem of Mochizuki himself.
それがうまくいかない理由は望月氏自身の定理です。
633:１３２人目の素数さん
25/11/09 16:28:54.82 CA6TFgJW.net
>>632の続き
I’m really frustrated with the current situation.
What EricB reports from the Asahi Shinbun also sounds deeply troubling, effectively arguing along national lines; again, this strikes deep into my heart.
I’m really quite surprised by the strong backing that Mochizuki gets from the many eminent people (who I highly respect) at RIMS.
If I can in any way help to mitigate the situation, I’d be most happy to.
現状には本当に苛立ちを感じています。
EricBさんが朝日新聞で報じた内容も、非常に懸念すべき点であり、事実上、国家的な論点を軸に議論を展開しています。これもまた、私の心の奥底に突き刺さります。
望月氏がRIMSの多くの著名な方々（私が深く尊敬する方々です）から強力な支援を受けていることに、本当に驚いています。
もし私が少しでもこの状況の改善に協力できるのであれば、喜んでそうさせていただきます。
634:１３２人目の素数さん
25/11/09 16:31:45.97 CA6TFgJW.net
>>633の続き
Taylor Dupuy says:
April 6, 2020 at 1:00 pm
Hi Peter!
First, hope your pandemic is going well. Mine is going ok. Hard to get things done without daycare.
Second, let me say that for hyperbolic curves over a p-adic field K (with no extra hypotheses like strictly Belyi type or Belyi type or canonical lift) that pi_1(Z) “determines” Z is open.
Also, I personally would advocate against using words like “determines”, “reconstructs”, etc that have been causing sooo many problems in discussing all of these things.
Taylor Dupuy より:
2020年4月6日午後1時
こんにちは、ピーター！
まず、パンデミックがうまくいっていることを願っています。私の場合は順調です。保育園がないと、なかなか物事が進みません。
次に、p進体 K 上の双曲曲線（厳密にBelyi型、Belyi型、正準リフトなどの追加の仮定がない場合）について、pi_1(Z) が Z を「決定する」という表現は開関数であることを述べておきます。
また、個人的には、「決定する」「再構築する」といった言葉は、これらの議論において非常に多くの問題を引き起こしているため、使用しないよう強く勧めます。
635:１３２人目の素数さん
25/11/09 16:33:57.24 CA6TFgJW.net
Dupuyも2020年頃は、望月新一のいうことにちょっとは可能性があるとおもってただろうが
その後、望月新一から「おまえは何もわかってない」とかいう●違いな言葉を頂いて
今では、考えを変えたかもしれない（笑）
望月新一はどうも他人は皆、敵か自分の成果を横取りする泥棒と考えてるらしく
誰でも彼でもお構いなしに罵倒する 完全に●違いそのものである
636:現代数学の系譜 雑談
25/11/09 16:35:31.41 QrKJGO9s.net
>>624-625
さて
Geometric Langlands correspondence
The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it".
Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
Breakthrough Prize
（Scholzeさん）
The proof represents the culmination of three decades of effort, said Peter Scholze(opens a new tab), a prominent mathematician at the Max Planck Institute for Mathematics who was not involved in the proof. “It’s wonderful to see it resolved.”
(引用終り)
1）これが、査読され雑誌掲載されたかどうかを 追跡したが
不明だった
2）July 19, 2024のQuanta magazine から Breakthrough Prize 2025 April 5
たったの10ヶ月間。まあ、どこかの雑誌掲載が決まっているのかもしれないが
3）にしても、Scholzeさんが ホルホルしたから Geometric Langlandsは OKで
Scholzeさんが プッツンしたから IUTは アウトかな？
4）Scholzeさん 基準は、分かり易いよね。だが、それは 属人的だ
数学的ではない
Geometric Langlands 1,000ページ論文を ホルホルして
IUTをアウトにする ”Scholze基準”以外の何かが あるのか？
それが なければ
ダブスタだよ （＾＾
637:１３２人目の素数さん
25/11/09 16:45:13.98 CA6TFgJW.net
>>618
>Scholzeちゃんも、若い
>「”radical simplifications”という明白な ストローマン論法」が、
>彼は 若いから 数学外道だと 分っていない
>正しいと 信じ込んでいる。
>だから、Taylor Dupuyとの論争が かみ合わない
一番の数学外道は、意味の分からん文章を書き流す望月新一だがな
数学だけではなくいかなる世界でも外道（笑）
Taylor Dupuyは2020年頃は可能性を感じたかもしれんが
もう5年経っても何も出ないから諦めただろう
>”simpler proofs have since been discovered”は、良いのです
>だが、「証明をsimplificationしたら 証明にギャップが出来ました」という学生が居たら？
>先生も「あ然、ぼう然、がく然」でしょう。先生「おまえ 本当に数学科生か？」と
>つまり、”simpler proofs”は是なれど、”simplification→ギャップ出来た”は 原理的に不可なのです
この掲示板ではそんなことは残念ながら日常茶飯事
尊大な工学部卒素人 ホッブス世田
「正方行列の全体は群を為す。
つまり正方行列は必ず逆行列を為す。
余因子行列を行列式で割れば逆行列が求まる！」
お節介な数学科卒 ウォリス某
「え？行列式が零のときどうすんだよ
おまえ、大学１年の線形代数受けたんだろ？
まさか落第したのか さすがアホ工学部卒」
ホッブス世田
（内心しまったと思いつつ悔しさを押し殺し）
「零因子だろ？知っているよ」
このあと
「零因子が本質じゃねぇだろ このカス」
とか言ったウォリス某との間で
不毛な言い争いが続いたことは
いうまでもない（笑）
638:１３２人目の素数さん
25/11/09 16:52:20.29 CA6TFgJW.net
>>624-625
ホッブス世田は、くだらんコピペをする暇があったら
・コーシー列の定義と解析学における意義
・線形独立の定理と線形代数学における意義
を理解するほうが先だろう
公式だけ覚えればOKみたいな
「ガリ勉高校生の一夜漬け勉強法」
では現代数学はちょっとも理解できんよ
639:１３２人目の素数さん
25/11/09 16:52:55.62 Gd/zJ3yt.net
iut論文の瑕疵はショルツの主張にはまるで関係ないってまるで理解できない。もちろんこの言葉の意味はわかっていて、反論ができない事もわかっている。普通の人間ならそこで自論の過ちを認めてそこから何か発展的に反省点など洗い出すフェーズに移るのだが、そういう生産的な作業は一歳できない。完全なポンコツ
640:現代数学の系譜 雑談
25/11/09 16:53:52.93 QrKJGO9s.net
>>635
>Dupuyも2020年頃は、望月新一のいうことにちょっとは可能性があるとおもってただろうが
>その後、望月新一から「おまえは何もわかってない」とかいう●違いな言葉を頂いて
>今では、考えを変えたかもしれない（笑）
すぐ他人を罵倒したがる 望月先生ね
まあ、数学の天才ですから・・ ；ｐ）
Dupuy先生は、March 20 to 24, 2023 と Spring 2024のアリバイは あるみたいだ （＾＾
(参考)
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Workshop - Arithmetic & Homotopic Galois Theory 2023
March 20 to 24, 2023
List of participants
On-line attendance [46]
Taylor Dupuy University of Vermont
URLﾘﾝｸ(tdupu.github.io)
[ Taylor Dupuy's Homepage]
[ talks ]
Spring 2024, Inter-Universal Geometry Conference (IUGC), Tokyo Interpretations and Anabelian Geometry (slides )
URLﾘﾝｸ(tdupu.github.io)
[ Taylor Dupuy's Homepage]
[ Papers ]
[Preprints related to the ABC Conjecture]
Log-Kummer Correspondences and The Third Indeterminacy (with A. Hilado) --- Appendix of Interpretation Tables
The Statement of Mochizuki's Corollary 3.12, Initial Theta Data, and the First Two Indeterminacies, (with A. Hilado)
Probabilistic Szpiro, Baby Szpiro, and Explicit Szpiro from Mochizuki's Corollary 3.12, (with A. Hilado)
641:１３２人目の素数さん
25/11/09 16:57:45.21 CA6TFgJW.net
＞Geometric Langlands 1,000ページ論文を ホルホルしてIUTをアウトにする
＞”Scholze基準”以外の何かが あるのか？
Geometric Langlands 1,000ページ論文 で何をやってるのかは、それなりに説明できるが
IUT論文で同じレベルの説明に成功した人は誰もいない フェセンコも星も山下も失敗した
Scholzeとは無関係に、前者はOKかもしんないが、後者はまあNGだろう、と皆思う
仮に望月新一の人格がまっとうだとしても、この件に関する結果は同じ
まあ、彼の●違いっぷりのせいで、悪目立ちしたというのはあるがね
日本って、ほんと岡潔といいこいつといい、なんで自己愛な●違いが多いの？
642:１３２人目の素数さん
25/11/09 16:58:13.62 wauc0h2b.net
>>627
目標とは？
具体的に言わないと無意味だよ
643:１３２人目の素数さん
25/11/09 16:59:37.82 CA6TFgJW.net
>>640
＞すぐ他人を罵倒したがる 望月先生ね
＞まあ、数学の天才ですから・・
天才なら他人を罵倒していい、ということはないが
そもそも彼はScholzeと比べたら天才ですらない・・・
日本軍はドイツ軍より弱かったか（笑）
644:１３２人目の素数さん
25/11/09 17:01:30.13 CA6TFgJW.net
>>642
脱文明社会の実現（笑）
ま、興味があるなら、この本でも読んで
文明カルト信者の君には絶対に受け入れられないだろうけど（憐）
URLﾘﾝｸ(www.amazon.co.jp)
645:１３２人目の素数さん
25/11/09 17:03:05.11 CA6TFgJW.net
ピダハン― 「言語本能」を超える文化と世界観 単行本 – 2012/3/23
ダニエル・L・エヴェレット (著), 屋代 通子 (翻訳)
5つ星のうち4.7 300個の評価
著者のピダハン研究を、認知科学者S・ピンカーは「パーティーに投げ込まれた爆弾」と評した。
ピダハンはアマゾンの奥地に暮らす少数民族。
四〇〇人を割るという彼らの文化が、チョムスキー以来の言語学のパラダイムである「言語本能」論を揺るがす論争を巻き起こしたという。
本書はピダハンの言語とユニークな認知世界を描きだす科学ノンフィクション。
それを三〇年がかりで調べた著者自身の奮闘ぶりも交え、ユーモアたっぷりに語られる。
驚きあり笑いありで読み進むうち、私たち自身に巣食う西欧的な普遍幻想が根底から崩れはじめる。
とにかく驚きは言語だけではないのだ。
ピダハンの文化には右/左の概念や、数の概念、色の名前さえも存在しない。
神も、創世神話もない。
この文化が何百年にもわたって文明の影響に抵抗できた理由、
そしてピダハンの生活と言語の特徴すべての源でもある、彼らの堅固な哲学とは……?
著者はもともと福音派の献身的な伝道師としてピダハンの村に赴いた。
それがピダハンの世界観に衝撃を受け、逆に無神論へと導かれてしまう。
ピダハンを知ってから言語学者としても主流のアプローチとは袂を分かち、
本書でも普遍文法への批判を正面から展開している。
646:１３２人目の素数さん
25/11/09 17:05:01.33 CA6TFgJW.net
チョムスキーはアナーキストらしいが
ピダハンの件に関する限り、
エヴェレットのほうがはるかにアナーキーで
チョムスキーとその仲間たちは
普遍文法原理主義というファシズム
に陥っている（笑）
647:１３２人目の素数さん
25/11/09 17:08:14.47 wauc0h2b.net
>>622
>おまえ生命絶滅が好きなの？
おまえは言葉が通じないの？言語障害？
時代を遡るほど平和でないと言ってるんだが、馬鹿には通じないようだ
648:現代数学の系譜 雑談
25/11/09 17:08:58.93 QrKJGO9s.net
>>641
>Geometric Langlands 1,000ページ論文 で何をやってるのかは、それなりに説明できるが
>IUT論文で同じレベルの説明に成功した人は誰もいない フェセンコも星も山下も失敗した
そこは同意
”説明”→ メンタルピクチャー、“big picture”な！ｗ
(参考) >>13-14 より
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
ただし、数学では ”説明”は 証明の正しさの保証するものではない
21世紀の現代数学の最先端理論は、数学者でも 専門外では すぐには理解できない と
いうことが 起こりうる
Geometric Langlands 1,000ページ論文と IUT論文700ページ論文
似たようなことだろう
649:現代数学の系譜 雑談
25/11/09 17:16:19.41 QrKJGO9s.net
>>647
>>おまえ生命絶滅が好きなの？
>おまえは言葉が通じないの？言語障害？
>時代を遡るほど平和でないと言ってるんだが、馬鹿には通じないようだ
ご苦労さまです
スレ主です
同意です
日本でも、戦国時代があって
織田→豊臣→徳川（江戸時代）
と 覇権が確立した後に
民主主義とはほど遠い
身分制度の下だったが
それなりの秩序があった
なお 老婆心ながら
あなたの相手は "自称 アナーキスト"なので
その点を あたまに入れて 議論されたら
よろしいかと 思います （＾＾；
650:１３２人目の素数さん
25/11/09 17:23:13.61 wauc0h2b.net
>>644
>脱文明社会の実現（笑）
はい、大間違い。
なぜなら、人間の記憶を消し去ることはできないから。
人類の歴史は逆戻りできない。一度知ってしまったら知る前には戻れない。
仮に一つの国家が無理やり脱文明を果たしたとしても、他の国家は文明を捨てない。するとその国家だけ相対的に競争力が落ち壊滅する。
実際プノンペンはベトナム軍の侵攻開始から2週間で陥落した。軍事面だけじゃなく経済面でも国家運営が立ち行かない。
地球上の全国家が同時に脱文明すれば話は別だが、それこそ絵に描いた餅。信じるのはデイドリーマー（馬鹿）だけ。
651:１３２人目の素数さん
25/11/09 17:26:59.36 wauc0h2b.net
核兵器廃絶と同じ。
いくら日本が廃絶を叫んでも絶対に不可能。
核しかカードが無い北がはいわかりましたと廃絶するわけねーだろ 馬鹿かよｗ
652:１３２人目の素数さん
25/11/09 17:28:33.35 wauc0h2b.net
左翼＝理想主義者＝デイドリーマー＝馬鹿
653:１３２人目の素数さん
25/11/09 17:29:53.05 wauc0h2b.net
この世で理想主義者と原理主義者ほど始末の悪いものはないｗ
654:１３２人目の素数さん
25/11/09 17:32:07.23 wauc0h2b.net
人間の記憶を消しゴムよろしく選択消去できたらドラッグの特効薬になるぞｗ
655:１３２人目の素数さん
25/11/09 17:39:57.89 wauc0h2b.net
仏陀は中道を説いた 何事も極端は良くない 理想主義者・原理主義者の思想は極端
まあ俺は仏教を1ミリも信じてないんだがｗｗｗ
656:１３２人目の素数さん
25/11/09 17:46:29.55 Gd/zJ3yt.net
望月先生は正直基礎論の話ならほんとに学部生レベルしかない
数論では天才なのかもしれないが、天才なら基礎論の勉強しなくてもいいわけではない、という事を自ら証明した事になるわな。ヒルベルト、ゲーデル、カントール、チューリング、数学の歴史に大きく名を残す大天才たちと比べれば流石に足元にも及ばん。
結局数学史に名を残す級の天才と小天才の差は偉大な先人の偉業にキチンと畏敬の年を持ってその成果をまずキチンと引き継ぐ気持ちを持てているかどうか、やろな
まぁ望月先生はこっち側の人やったって事やな。
657:１３２人目の素数さん
25/11/09 17:49:24.03 wauc0h2b.net
>>644
>ま、興味があるなら、この本でも読んで
そんな本に毒されるからおまえは馬鹿になるんだよ
マルクスの資本論に毒された大馬鹿野郎どもがこぞって共産革命を起こしことごとく失敗したｗ
658:１３２人目の素数さん
25/11/09 17:55:07.26 wauc0h2b.net
>望月先生は正直基礎論の話ならほんとに学部生レベルしかない
望月に特大ブーメラン「学部・院生レベルの初等理論についての深刻な無知さを宣言している」が刺さってるｗ
659:１３２人目の素数さん
25/11/09 17:55:22.93 P3lbYVWX.net
>>636
>3）にしても、Scholzeさんが ホルホルしたから Geometric Langlandsは OKで
> Scholzeさんが プッツンしたから IUTは アウトかな？
>4）Scholzeさん 基準は、分かり易いよね。だが、それは 属人的だ
> 数学的ではない
望月さん基準こそ数学的でないのでは？
世界的にはscholzeさんやstixさんを説得できない証明は
証明とは認められないとの判断基準です
どんどんその意見は強化されほぼ共通認識になったようです
URLﾘﾝｸ(www.reddit.com)
joshiという人は望月さんサイドだったんですか？でも今はギャップがあると認めていて自分がそのギャップを埋めたと主張しているけれど
それもscholzeさんstixさんそれから望月さんも認めてないのでしょうか
660:１３２人目の素数さん
25/11/09 17:59:13.80 CA6TFgJW.net
>>650
＞人間の記憶を消し去ることはできない。
＞人類の歴史は逆戻りできない。
＞一度知ってしまったら知る前には戻れない。
人は１００年もすれば大体入れ替わっちゃうんで大丈夫（笑）
＞地球上の全国家が同時に脱文明すれば話は別だが
まあ、年単位の時差はほぼ同時とすれば可能かもな
人類は君の様なジコチュウ頭でっかちではないよ
自分ではちっとも働かずに他人を働かせていい気になってる
文明国のクソ野郎は駆逐されて当然だな（マジ）
661:１３２人目の素数さん
25/11/09 18:00:51.17 CA6TFgJW.net
>>651
核兵器があれば必ず使う
つまり核戦争が必ず起きる
そして人類絶滅
人類ってバカだったんですね（笑）・・・ふぅ（溜息）
662:１３２人目の素数さん
25/11/09 18:02:08.92 CA6TFgJW.net
>>652
右翼＝”現実”主義者＝自分だけうまく対処できると思う自惚れ屋＝大馬鹿
663:１３２人目の素数さん
25/11/09 18:03:47.12 CA6TFgJW.net
>>653
この世で自分だけ賢いと思ってる現実主義者と日和見主義者ほど残念な生き物はないｗｗｗ
664:１３２人目の素数さん
25/11/09 18:04:28.21 CA6TFgJW.net
>>654
アルツハイマーって特効薬だったのかｗｗｗ
665:１３２人目の素数さん
25/11/09 18:05:57.09 CA6TFgJW.net
>>655
仏陀のいう中道は君から見たら全然左だろ
君が仏教を嫌いな理由はそれ（笑）
666:１３２人目の素数さん
25/11/09 18:28:35.18 wauc0h2b.net
>>664
はい、大間違い。
アルツハイマーは新しいことが記憶に入らないのであって、記憶が消える訳ではない。
URLﾘﾝｸ(www.riken.jp)
また言うまでもないが選択消去はできない。
667:１３２人目の素数さん
25/11/09 18:31:34.47 wauc0h2b.net
>>660
個人の記憶だけではない。人類総体としての記憶もだ。
馬鹿だねえ君。
668:１３２人目の素数さん
25/11/09 18:34:00.31 wauc0h2b.net
>>660
>まあ、年単位の時差はほぼ同時とすれば可能かもな
馬鹿だねえ君。
ある一人が全人類を支配下に置かない限り不可能。そしてそれは不可能。んなこともワカランのは馬鹿。
669:１３２人目の素数さん
25/11/09 18:35:01.27 wauc0h2b.net
もう左翼は俺に絡んでこないで
いちいち指摘してあげるのめんどうなので自分で学習して
670:１３２人目の素数さん
25/11/09 18:37:01.17 wauc0h2b.net
>>661
>核兵器があれば必ず使う
どんな理論？ なんで唯一の例外アメ公以外は使わんの？
671:現代数学の系譜 雑談
25/11/09 18:38:23.85 QrKJGO9s.net
>>659
>世界的にはscholzeさんやstixさんを説得できない証明は
>証明とは認められないとの判断基準です
それは、真の数学からは ほど遠い
例えば
アーベルの5次方程式の代数的解法（解けない）論文は、ガウスにコミ扱いされた
カントールの集合論は、クロネッカーから酷評された
ガロア論文は、長い間理解されなかった
>どんどんその意見は強化されほぼ共通認識になったようです
>URLﾘﾝｸ(www.reddit.com)
redditが、数学界を代表しているとでも？
>joshiという人は望月さんサイドだったんですか？でも今はギャップがあると認めていて自分がそのギャップを埋めたと主張しているけれど
>それもscholzeさんstixさんそれから望月さんも認めてないのでしょうか
joshiさんには、独自のアイデアで 私は個人的には好感が持てるけど
望月さんは、気に入らないと AIのハルシネーションだとか 罵倒するんだよね （＾＾；
まあ、プリンストンの飛び級数学天才に 俗世間の世辞を説くのも 野暮だが ・・
もう少し対人スキルがねぇ・・・
672:現代数学の系譜 雑談
25/11/09 18:40:25.25 QrKJGO9s.net
>>671 タイポ訂正
アーベルの5次方程式の代数的解法（解けない）論文は、ガウスにコミ扱いされた
↓
アーベルの5次方程式の代数的解法（解けない）論文は、ガウスにゴミ扱いされた
673:１３２人目の素数さん
25/11/09 18:44:18.63 CA6TFgJW.net
>>666
何ムキになってんの国粋右翼
君、統一教会の信徒？
674:１３２人目の素数さん
25/11/09 18:45:42.06 Gd/zJ3yt.net
そう、科学の歴史の中でキチンと内容が精査されず不遇な扱いを受けた論文はいくつも例示できる。だから現代ではどんな経歴の人でもいくらでも専門の数学者に論文を精査してもらえる機会を整備しようとしている。今回のiut論文は残念ながらキチンと基礎論の研究者の精査を受ける事なくアクセプトされてしまい数学界に大混乱を巻き起こしてしまった。
675:１３２人目の素数さん
25/11/09 18:46:00.58 CA6TFgJW.net
>>667
まあ、もう数億年もすれば、地球の酸素が薄くなって
生物は絶滅するので、記憶もなくなるね
大馬鹿だねえ国粋右翼（嘲）
676:１３２人目の素数さん
25/11/09 18:47:41.78 CA6TFgJW.net
>>668
＞ある一人が全人類を支配下に置かない限り不可能。そしてそれは不可能。
それって君の妄想だよな（笑）
URLﾘﾝｸ(dic.pixiv.net)
677:１３２人目の素数さん
25/11/09 18:50:00.90 CA6TFgJW.net
>>669
もう「今だけここだけ自分だけ」が大事な自己愛国粋右翼は永遠に黙れよ（笑）
宇宙全体の中では
地球とかいうちっぽけな星の
日本とかいうちっぽけな島に住む
貴様とかいうちっぽけな存在なんか
生きようが死のうがどうだっていいんだよ
身の程を知れよ 虫ケラ君
678:１３２人目の素数さん
25/11/09 18:52:56.27 Gd/zJ3yt.net
数学の歴史をキチンと見返す事で人間は貴重な教訓を得ることができる。その最大の教訓はそれが誰に書かれたとかという事ではなく、そこに書かれている内容をまず第一に吟味しなくてはいけないという事。
望月先生は天才、Robers先生はずっと知名度の低い先生。でもそんな事関係ない。天才の名を馳せる数学者なのか否か、それで判断する事の愚かさ恥ずかしさがわからんのは内容が読めない能無しであるという事。
679:１３２人目の素数さん
25/11/09 18:53:13.99 CA6TFgJW.net
>>670
そもそも超新星爆発とかでできた
ウランとかいうものを使って
臨界を発生させるクソな遊びで自爆するとか
人類って小賢しい大馬鹿と呼ぶにふさわしいよな
ま、人類は２１世紀中に滅びるんじゃね
貴様みたいなどこの大学で何を学んだか知らんけど
小賢しい知識と自己中心的な妄想で国家バンザイとか
ウソを吐きまくる自己愛小利口大馬鹿野郎のせいでな
どうだ悔しいか 偏差値バカ野郎（嘲）
680:１３２人目の素数さん
25/11/09 18:53:29.35 Gd/zJ3yt.net
まぁ黙らんよ。
人格障害のガキ
681:１３２人目の素数さん
25/11/09 18:56:15.69 P3lbYVWX.net
>>671
また話そらしますね
現実を見た方がいいでしょう
>redditが、数学界を代表しているとでも？
ここよりは真摯で
多くの数学者の意見にあっていますね
682:１３２人目の素数さん
25/11/09 18:57:14.46 CA6TFgJW.net
>>671
＞アーベルの5次方程式の代数的解法（解けない）論文は、ガウスにゴミ扱いされた
ガウスの言い分
「あれはタイトルが悪い
なんか「５次以上の代数方程式には解がない」みたいに読める
それは私の代数学の基本定理を否定してるから まあトンデモだよな
まあ、そこは「べき根で解けない」という意味だと了解したよ
でも、それってそんなに重要？まあ云ってることはそうだろうと思うけどね
フェルマーの最終定理くらいどうでもいいことじゃね？あくまで個人的意見だけどさ」
683:１３２人目の素数さん
25/11/09 19:01:36.35 CA6TFgJW.net
>>674
”基礎論”（というか集合論）云々はどうせフカしだから無視していいが
多分望月新一の根本的なアイデア自体が、パラドックスを導くんだろうな、とは思う。
しかし望月新一が自己愛強すぎてその事実を受け入れられない上に
柏原とか森重文が組織（RIMS）防衛に走っちゃったから
欧米から「日本クソだな。中国かよ。」と蔑まれるに至った、と
まあ、この件に関する限り日本のやってることは中国そのまんま
典型的な東アジアクオリティ（笑）
684:１３２人目の素数さん
25/11/09 19:05:45.02 CA6TFgJW.net
>>671
＞joshiさんには、独自のアイデアで 私は個人的には好感が持てるけど
おまえ、Joshiが望月の成果横取りするの歓迎するんだ
おまえ、いつからインド人になったの？（笑）
「今はギャップがあると認めていて自分がそのギャップを埋めた」
これってペレルマンのポアンカレ予想に対して、
ヤウの弟子どもが発した言葉そのまんまなんだけど
まあ、しかし彼らの言い分は「幸いにも」認められなかったけどな
685:１３２人目の素数さん
25/11/09 19:11:30.71 P3lbYVWX.net
>>683
>欧米から「日本クソだな。中国かよ。」と蔑まれるに至った、と
これが残念ですね
686:１３２人目の素数さん
25/11/09 19:14:59.96 CA6TFgJW.net
今日のクソ発言
「国家の庇護を受けて日々平和を享受して生きてる」
ギャハハハハハハ！！！
中国やアメリカに対して侵略戦争おっぱじめたのだれだよ
前途ある若者を徴兵して戦地に送って大量に殺したのだれだよ
特攻とかいって必ず死ぬ攻撃を強制したのだれだよ
本土さんざん空襲されて最後原爆落とされるまで戦争し続けたのだれだよ
全部日本国家様だろ
おまえ死にたいの？ おまえマゾなの？
まあ、お前だけ中国に特攻して●ねよ
身体はグチャグチャの肉塊だけど靖国に祀られて神になれるよ
人間としては大したことないんだからさっさと神になれよ 頑張ってな（笑）
ギャハハハハハハ！！！
687:１３２人目の素数さん
25/11/09 19:15:55.63 P3lbYVWX.net
joshiという人はギャップの存在を認めるだけまだマシなのでは？
しかし
それを埋めたというのをscholzeという人もstixという人も認めていないのと
ギャップの存在自体
よってそれを埋めるという行為自体を望月さんは認めていない
そういうとことですか
688:１３２人目の素数さん
25/11/09 19:19:18.09 CA6TFgJW.net
エヴェレットは、ピダハンを宣教するために、とっておきの話をした
「義母の自殺という体験が、キリスト教の信仰に導いた」
しかし、この話を聞いて、ピダハンは大笑いしたらしい
「なぜ笑う？」
エヴェレットの問に、ピダハンはこう答えた
「自分を殺したのか？ ハハハ。愚かだな。ピダハンは自分で自分を殺したりしない」
この体験がきっかけかどうかは知らないが、エヴェレットはその後、キリスト教の信仰を捨てるに至った
（そのせいで妻と離婚することになったらしいけど）
689:１３２人目の素数さん
25/11/09 19:23:24.07 CA6TFgJW.net
人の思考として最も大事なのは
「当たり前と思っている前提を取っ払う」
これ出来ない人は小賢しいけど大馬鹿ね
690:１３２人目の素数さん
25/11/09 19:25:18.04 CA6TFgJW.net
人の思考として次に大事なのは
「こうあってほしいという願望を取っ払う」
これ出来ない人はいいヤツかもしんないけど残念ね
691:１３２人目の素数さん
25/11/09 19:27:38.03 CA6TFgJW.net
Q.環境と調和した人類の生存に最も必要なことはなんですか？
A.人口の劇的な削減
まあ、ポルポトは性急すぎたな・・・
692:１３２人目の素数さん
25/11/09 19:28:33.17 Gd/zJ3yt.net
今回のはついうっかり見つけにくいミスをレフェリーが見逃したとかではなく、査読時点ですでに基礎論上の疑義がでていて、しかもその情報が編集委員にも伝えられていたのにも関わらず、それをガン無視して発生してしまった事象やからな。
もうprimsが信頼をとり戻せる事はないように思う。数学雑誌の査読システムは数学界の発展のためにすごく重要。今日の数学界では最先端の研究を全ジャンルにわたって詳しく精通するなどというのはほとんど無理ゲー、だから他の研究者が研究してくれた“結果だけを”美味しくいただくというのがある意味仕方ないところがある。しかしそれもコレも最低限査読付き論文雑誌に掲載された論文は厳しく精査されててコレはまず間違いがないと信頼できる事が大切。それが信頼できなくては自分が引用する全ての論文の証明を疑ってかからないといけなくなる。もちろんそんな事不可能
だから頑張って数学界は査読論文のシステムを作ってきたのにその信頼のネットワークの信頼を傷つけてしまった。もうprimsはこの信頼ネットワークからハブられる事になるやろ。てか実際そういう話もう出てるみたいやからな。
pりmsの運営費がどれくらいか知らんけど年間数千万のオーダー入ってるやろ。もう廃刊した方がいいんやろなとは思う。続けても信頼は戻る事はないし。
693:１３２人目の素数さん
25/11/09 19:54:34.65 P3lbYVWX.net
>>692
>今回のはついうっかり見つけにくいミスをレフェリーが見逃したとかではなく、査読時点ですでに基礎論上の疑義がでていて、しかもその情報が編集委員にも伝えられていたのにも関わらず、それをガン無視して発生してしまった事象やからな。
そうなんでしょうかね？
7年掛かった理由はそれですか？
694:１３２人目の素数さん
25/11/09 20:58:22.95 Gd/zJ3yt.net
らしいよ。ロバーツ先生とかがレター出したって聞いた
695:１３２人目の素数さん
25/11/09 21:15:51.12 P3lbYVWX.net
>>694
D. Robertsという人ですか？
どこかにそのこと（ロバーツ先生がレター出した）を確認できる資料が公開されてませんかね？
696:１３２人目の素数さん
25/11/09 21:23:29.88 wauc0h2b.net
>>686
今日のクソ発言
>今日のクソ発言
>「国家の庇護を受けて日々平和を享受して生きてる」
なぜならクソ発言だと思うなら日本から出てけばいいだけなのに決して出ていかなずしがみついて生きてるから
697:１３２人目の素数さん
25/11/09 21:25:14.93 wauc0h2b.net
>>686
>中国やアメリカに対して侵略戦争おっぱじめたのだれだよ
いつの時代の話してんだよクソ爺
戦前生まれのアルツハイマーか？
698:１３２人目の素数さん
25/11/09 21:27:44.37 Gd/zJ3yt.net
さぁ？ロバーツ先生がレター出したってのもネット情報やからな。prims もロバーツ先生からレターきましたなんて発表するわけないし。
699:１３２人目の素数さん
25/11/09 21:30:02.02 wauc0h2b.net
アルツハイマー爺が何を言おうと、自身が日本にしがみついて生きてるという現実がすべてを無意味化してしまう
無意味な発言は馬鹿がすること 爺は馬鹿
700:１３２人目の素数さん
25/11/09 21:33:01.45 wauc0h2b.net
アルツハイマー爺は日本を嫌悪してるのに決して日本から出ていこうとしない
だから馬鹿にされる
かわいそうな爺
701:１３２人目の素数さん
25/11/09 21:34:58.06 wauc0h2b.net
戦前生まれのアルツハイマー爺に贈る言葉
言っていることではなく、やっていることがその人の正体
702:１３２人目の素数さん
25/11/09 21:35:54.80 wauc0h2b.net
言行不一致は最も軽蔑される
憶えておきな爺
703:１３２人目の素数さん
25/11/09 21:50:57.52 KzrJNEj3.net
真珠湾攻撃を恥ずべきことと教わったのは戦前生まれか
704:１３２人目の素数さん
25/11/09 22:09:04.91 CA6TFgJW.net
>>696
日本国とかいう反社勢力がここからでて行けばいい ヤクザは●ね！
705:１３２人目の素数さん
25/11/09 22:10:47.88 PmAWCwOM.net
朝鮮族自治区ぢぢい臭い
706:１３２人目の素数さん
25/11/09 22:12:30.48 CA6TFgJW.net
ID:wauc0h2b は平成生まれ？
じゃ、戦争行く世代だな
中国と戦って死んで神になってくれ
まあ、靖国神社が核戦争で跡形もなくなってるだろうけどな
馬鹿は死ななきゃわからない（嘲）
707:現代数学の系譜 雑談
25/11/09 22:14:15.39 QrKJGO9s.net
>>681
(引用開始)
現実を見た方がいいでしょう
>redditが、数学界を代表しているとでも？
ここよりは真摯で
多くの数学者の意見にあっていますね
(引用終り)
意味わからん
”redditが ここよりは真摯で
多くの数学者の意見にあっていますね”
？？ なんのこっちゃｗｗｗ
redditって、素人衆でしょ
ここも、御大以外は 素人衆だ
素人が、望月IUTに何を言おうが 勝手だが
それが、IUT証明について
何か意味ある意見を形成しているとでも？
それって、妄想以外の何者でも無い
708:１３２人目の素数さん
25/11/09 22:19:02.96 CA6TFgJW.net
平成生まれの国粋君はこれを読んで、目を覚ませ（マジ）
・ピダハン（原題：DON’T SLEEP, THERE ARE SNAKES） ダニエル・Ｌ・エヴェレット 著
・ゾミア（原題：THE ART OF NOT BEING GOVERNED） ジェームズ・Ｃ・スコット 著
・万物の黎明（原題：The Dawn of Everything） デヴィッド・グレーバー デヴィッド・ウェングロウ著
709:１３２人目の素数さん
25/11/09 22:20:19.37 CA6TFgJW.net
おまけ
ブルシット・ジョブ デヴィッド・グレーバー著
710:１３２人目の素数さん
25/11/09 22:33:22.42 PmAWCwOM.net
自分が死んでることに気づいてないゾンビパヨク
711:１３２人目の素数さん
25/11/09 22:35:31.66 PmAWCwOM.net
ソ連崩壊よりも日本資本主義終焉後のポストアポカリプスも元気いっぱいに
知的誠実さが元々なかった暗愚のゾンビ
712:１３２人目の素数さん
25/11/09 22:35:33.41 PmAWCwOM.net
ソ連崩壊よりも日本資本主義終焉後のポストアポカリプスも元気いっぱいに
知的誠実さが元々なかった暗愚のゾンビ
713:現代数学の系譜 雑談
25/11/09 22:42:42.27 QrKJGO9s.net
>>684
(引用開始)
＞joshiさんには、独自のアイデアで 私は個人的には好感が持てるけど
おまえ、Joshiが望月の成果横取りするの歓迎するんだ
おまえ、いつからインド人になったの？（笑）
「今はギャップがあると認めていて自分がそのギャップを埋めた」
これってペレルマンのポアンカレ予想に対して、
ヤウの弟子どもが発した言葉そのまんまなんだけど
まあ、しかし彼らの言い分は「幸いにも」認められなかったけどな
(引用終り)
その話は有名だな
下記だな
1）証明の瑕疵ではない軽微なことを あたかも”証明の瑕疵”の如く書いて、自分が”証明の瑕疵”修正したといった
つまり”In this paper, we shall present the Hamilton-Perelman theory of Ricci flow. Based on it, we shall give the first written account of a complete proof of the Poincaré conjecture and the geometrization conjecture of Thurston”
だと。ヤウが弟子をけしかけたと言われた
2）だが下記”a page of their exposition was essentially identical to a page in one of Kleiner and Lott's early publicly available drafts”
が指摘されて、アウト！
3）これ中国人な、インド人ではない！
4）もし、真に”証明の瑕疵”が見つかって それを修正したならば それはありだったろう
というのは、普通の投稿論文の査読では レフェリーは 瑕疵を指摘はするが 論文の修正はしないのだが
今の場合は 普通の査読ではなく 勝手な査読で つまり Perelmanの論文はどこにも投稿されていないのだ
なので、”証明の瑕疵”を見つけて修正した はあり
5）だが、その実 「”証明の瑕疵”を見つけて」が 針小棒大の 盛った話だったってこと ；ｐ）
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Poincaré conjecture
Hamilton's program and solution
つづく
714:現代数学の系譜 雑談
25/11/09 22:43:24.21 QrKJGO9s.net
つづき
・Huai-Dong Cao and Xi-Ping Zhu published a paper in the June 2006 issue of the Asian Journal of Mathematics with an exposition of the complete proof of the Poincaré and geometrization conjectures.[33]
The opening paragraph of their paper stated
In this paper, we shall present the Hamilton-Perelman theory of Ricci flow. Based on it, we shall give the first written account of a complete proof of the Poincaré conjecture and the geometrization conjecture of Thurston. While the complete work is an accumulated efforts of many geometric analysts, the major contributors are unquestionably Hamilton and Perelman.
Some observers interpreted Cao and Zhu as taking credit for Perelman's work. They later posted a revised version, with new wording, on arXiv.[34] In addition, a page of their exposition was essentially identical to a page in one of Kleiner and Lott's early publicly available drafts; this was also amended in the revised version, together with an apology by the journal's editorial board.
(google訳)
曹淮東と朱希平は、 2006年6月発行のアジア数学ジャーナルに、ポアンカレ予想と幾何化予想の完全な証明を解説した論文を発表した。[ 33 ]
彼らの論文の冒頭には次のように記されている。
本論文では、リッチフローのハミルトン-ペレルマン理論を提示する。これに基づき、ポアンカレ予想とサーストンの幾何学化予想の完全な証明を初めて文書化した。この完全な研究は多くの幾何学解析家の努力の集大成であるが、その主要な貢献者は紛れもなくハミルトンとペレルマンである。
一部の観察者は、曹と朱がペレルマンの研究を自分の手柄にしていると解釈した。彼らは後に、新しい文言を加えた改訂版をarXivに投稿した。[ 34 ]さらに、彼らの説明文の1ページは、クライナーとロットが公開していた初期の草稿の1ページと本質的に同一であったが、この点も改訂版で修正され、ジャーナル編集委員会による謝罪も加えられた。
(引用終り)
以上
715:１３２人目の素数さん
25/11/09 22:45:53.54 CA6TFgJW.net
>>713
Joshiはインド人 知らなかった？
716:１３２人目の素数さん
25/11/09 22:46:55.39 CA6TFgJW.net
＞日本資本主義終焉後のポストアポカリプス
資本主義で得するのは富裕層だけ
君、どうみても只の社奴だよな（笑）
717:１３２人目の素数さん
25/11/09 22:54:08.97 CA6TFgJW.net
グレーバーとウェングロウがやり玉に挙げてる二大古典
その１
ホッブス「リヴァイアサン」
URLﾘﾝｸ(ja.wikipedia.org)(%E3%83%9B%E3%83%83%E3%83%96%E3%82%BA)
その２
ルソー「社会契約論」
URLﾘﾝｸ(ja.wikipedia.org)
要するに
・ルソーはナイーブすぎる
・ホッブスはひど過ぎる
・現実にはもっと多種多様な社会が考えられてきたことが人類学の研究からわかってきている
718:１３２人目の素数さん
25/11/09 22:56:04.98 CA6TFgJW.net
いわゆる”リアリスト”は実際にはホッブスを真に受けたサディスト＆マゾヒストである
政治学はホッブス的ＳＭプレイから脱却せねばならない（笑）
719:現代数学の系譜 雑談
25/11/09 23:06:39.50 QrKJGO9s.net
>>687
(引用開始)
joshiという人はギャップの存在を認めるだけまだマシなのでは？
しかし
それを埋めたというのをscholzeという人もstixという人も認めていないのと
ギャップの存在自体
よってそれを埋めるという行為自体を望月さんは認めていない
そういうとことですか
(引用終り)
新参者かな？ joshiさんは、というか プロ数学者は全てだろうが
望月IUTのお勉強ではなく、自分の論文ネタ探しに来ているんだよね
そして、joshiさんは アイデアマンなのだ
例えば、下記最下段
”Algebraization of Mochizuki's anabelian variation of ring structures, perfectoid geometry and formal groups”
これは、望月IUTとScholzeのperfectoidを組み合わせたら どうなるの？ という論文
”On Mochizuki's idea of Anabelomorphy and its applications”は、”Anabelomorphy”という新しい概念を考えたんだ
”Construction of Arithmetic Teichmuller Spaces IV: Proof of the abc-conjecture”は、”Arithmetic Teichmuller Spaces”で どうよ と
でな、おうおう 新規投稿論文は、既存の論文を叩くものだ
「既存の論文には、こんな問題があって 私の論文はそれを解決しました」と主張する
それは、常套句です。だから、常套句として 望月論文にはギャップがあって 私はそれを埋めたという
問題は、それが真実かどうかだ
(参考)
URLﾘﾝｸ(math.arizona.edu)
Webpage of Kirti Joshi
Preprints （リンクがあるよ）
arXiv:2505.10568 [pdf, ps, other] math.AG math.NT
Final Report on the Mochizuki-Scholze-Stix Controversy
Authors: Kirti Joshi
Submitted 29 April, 2025; originally announced May 2025.
Comments: 8 pages
arXiv:2403.10430 [pdf, ps, other] math.AG math.NT
Construction of Arithmetic Teichmuller Spaces IV: Proof of the abc-conjecture
Authors: Kirti Joshi
Submitted 24 February, 2025; v1 submitted 15 March, 2024; originally announced March 2024.
Comments: 80 Pages. This is an expanded and revised edition of my March 2024 submission and fixes the issues with the previous version
arXiv:2003.01890 [pdf, ps, other] math.AG math.NT
On Mochizuki's idea of Anabelomorphy and its applications
Authors: Kirti Joshi
Submitted 26 May, 2025; v1 submitted 3 March, 2020; originally announced March 2020.
Comments: Changes: 77 pages. completely revised and expanded
arXiv:1906.06840 [pdf, ps, other] math.AG math.NT
Algebraization of Mochizuki's anabelian variation of ring structures, perfectoid geometry and formal groups
Authors: Kirti Joshi
Submitted 11 October, 2024; v1 submitted 17 June, 2019; originally announced June 2019.
Comments: 23 Pages. Replaced Remark 4.2.4 by Section 4.3. From previous vers.: Added Remark 4.2.4--Completely revised version. Title slightly changed
720:現代数学の系譜 雑談
25/11/09 23:19:43.53 QrKJGO9s.net
>>715
>Joshiはインド人 知らなかった？
知ってる
インドでは、結構名門らしい
でな
>>713の
「これってペレルマンのポアンカレ予想に対して、
ヤウの弟子どもが発した言葉そのまんまなんだけど」
と
「おまえ、Joshiが望月の成果横取りするの歓迎するんだ
おまえ、いつからインド人になったの？（笑）」
とが
平仄（ひょうそく）があってない
Joshiが中国人ならば
ヤウの弟子の中国人の話をだして
いつから中国人になったの
で いい
しかし
”いつからインド人になったの？”
ならば ヤウの弟子の成果横取り話
のところに
インド人の故事をもってこないと
平仄（ひょうそく）があってない
721:１３２人目の素数さん
25/11/09 23:27:36.70 Gd/zJ3yt.net
「××と同じやん」
違うやろ。一件一件全部違う。過去の事象から学びとる方法そのものが狂っとる
722:１３２人目の素数さん
25/11/09 23:45:32.27 P3lbYVWX.net
>>719
>joshiという人はギャップの存在を認めるだけまだマシなのでは？
という理解で良さそうです
>それを埋めたというのをscholzeという人もstixという人も認めていないのと
>ギャップの存在自体
>よってそれを埋めるという行為自体を望月さんは認めていない
しかし
結局これですね
723:１３２人目の素数さん
25/11/10 00:00:00.75 gNBbGD1b.net
>>721
ストローマンカラスさんは
何でも付会してしまう質の人らしいです
724:現代数学の系譜 雑談
25/11/10 00:05:45.75 Dp+ahlva.net
>>584 蛇足
>URLﾘﾝｸ(ja.wikipedia.org)
>iOS（アイオーエス）とは、Appleが開発および提供する、iPhoneとiPod touch向けのモバイルオペレーティングシステム（組み込みプラットフォーム）であり、BSD系UNIXから開発されたNeXTのOPENSTEPを起源とするMacintosh専用のmacOSをモバイル機器用途に改変したものである
下記のように NeXTは
Appleの創業者のスティーブ・ジョブズがAppleを（追い出されて）辞めて
始めた会社で、商業的にあまり成功しなかったが、ジョブズがまた Appleにもどって
NeXTの技術を Appleに持ち込んだのです
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
NeXTSTEP（ネクストステップ）は、NeXTコンピュータのBSD系オブジェクト指向マルチタスクオペレーティングシステム (OS) である。
オリジナル版は同社独自のコンピュータ「NeXTcube」上で動作するよう開発された。NEXTSTEPそのものは商業的にあまり成功しなかったものの、技術面やユーザインタフェース面で後世に与えた影響は大きい[1]。現在のmacOSやiOS, iPadOSは、NEXTSTEPの直系の子孫に当たる。
URLﾘﾝｸ(ja.wikipedia.org)
NeXT
ネクスト・ソフトウェア（英: NeXT Software, Inc.[注 1]）
Appleの創業者の1人スティーブ・ジョブズがAppleを辞め、1985年に創業。最初の製品NeXTcubeを1988年に発売し、小型化したNeXTstationは1990年に発売。売り上げはそれほど大きくはなく、全部で5万台ほどを販売したと見積もられている。とはいうものの、その革新的なオブジェクト指向型オペレーティングシステム (OS) であるNeXTSTEPと開発環境はApple社に多大な影響を及ぼした。
725:１３２人目の素数さん
25/11/10 00:22:54.60 +hjLUfvw.net
>>704
日本国が反社勢力なら日本国にしがみついて生きているおまえは反社勢力の構成員だからまずおまえから●ね！
726:１３２人目の素数さん
25/11/10 06:08:09.56 FXuolgmi.net
風と共に
727:現代数学の系譜 雑談
25/11/10 07:21:44.96 Dp+ahlva.net
>>561
(引用開始)
>>abc予想が解決したことになってないだろ
>という現状で進めるのではどんどん評判落とすことになりましょう
いやいや 間違っていますよ
”数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、行き詰るはずはないのである。
岡潔 『一葉舟』角川ソフィア文庫”
多分、数学は 最先端は常に難しいが、先に進めば 難しかった定理の証明に 簡明な別証が見つかったり するものだと
そして、万一 望月IUTのabc予想証明に ギャップが見つかったとしても、それも数学の進歩というものです
そのギャップを、他の人が埋めるか
あるいは、新しい証明を考えるか、それも 数学の進歩というもの
なので、”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”>>542
は、数学の王道です
(引用終り)
実例があった
ガウスの代数学の基本定理（下記）
”ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある”という
望月氏のIUTに、同じことが起きるかもしれない
だが、それで良い
それが、数学の進歩というもの
なので、”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”>>542
は、数学の王道です
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
代数学の基本定理（英: fundamental theorem of algebra）とは、「次数が 1 以上の任意の複素係数一変数多項式には複素根が存在する」という定理である。
歴史
1799年にカール・フリードリヒ・ガウスが学位論文でそれまでの証明の不備を指摘し最初の証明を与えた（ただし、現在ではガウスの最初の証明も完全ではなかったことが分かっている[注 1]ため、代数学の基本定理の世界初の完全な証明はアマチュア数学者のアルガンによるものである）。
注釈
1^ ガウスの最初の証明は幾何学的な前提としてジョルダン曲線定理が暗黙で使われており、後年の観点からは不備がある。
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語 2025/10/06
代数学の基本定理とその初等的な証明
目次
代数学の基本定理の意味
代数学の基本定理の証明
証明を完結させる
複素解析を用いた証明
728:現代数学の系譜 雑談
25/11/10 07:32:31.52 Dp+ahlva.net
>>727 補足
蛇足だが
1799年にカール・フリードリヒ・ガウスが学位論文が、無価値というわけではない
また、「後年ガウスはこの定理に3つの異なる証明を与えた。現在ではさらに多くの証明が知られている」
とも書かれている URLﾘﾝｸ(ja.wikipedia.org)
数学の進歩とは、そういうものです
慌てず騒がず ”2019年 次世代幾何学研究センター設置[3]（2022年に次世代幾何学国際センターに拡充[9]）”
と それによる Arithmetic & Homotopic Galois Theory IRN The AHGT Seminar
URLﾘﾝｸ(ahgt.math.cnrs.fr)
の進展を、刮目して待て！
729:現代数学の系譜 雑談
25/11/10 07:37:48.33 Dp+ahlva.net
>>728 タイポ訂正
1799年にカール・フリードリヒ・ガウスが学位論文が、無価値というわけではない
↓
1799年のカール・フリードリヒ・ガウスの学位論文が、無価値というわけではない
かな （＾＾
730:現代数学の系譜 雑談
25/11/10 07:39:30.43 Dp+ahlva.net
>>726
早朝巡回ご苦労さまです
ありがとうございます。
731:現代数学の系譜 雑談
25/11/10 07:48:10.95 Dp+ahlva.net
ｽﾚﾘﾝｸ(math板:892番)-893
Inter-universal geometry とABC 予想58
892１３２人目の素数さん
2025/11/09(日) 18:58:13.18ID:RquCFnqP
フランス.ブルバキセミナー
scholzeのレクチャー
Association des collaborateurs de Nicolas Bourbaki.
・Seminaire Bourbaki
2026年3月28日.
Scholze "Geometric Langlands, after Gaitsgory, Raskin, … “
URLﾘﾝｸ(www.bourbaki...rogramme2025-26.html)<)
893１３２人目の素数さん
2025/11/09(日) 19:06:44.77ID:P3lbYVWX
>Scholze "Geometric Langlands, after Gaitsgory, Raskin, … “
URLﾘﾝｸ(www.bourbaki.fr)
ですね
(引用終り)
上記 Scholzeのレクチャー
かれは、”radical simplifications”>>637
の達人だ
良い”radical simplifications”は、歓迎
732:現代数学の系譜 雑談
25/11/10 07:51:10.96 Dp+ahlva.net
>>731 補足
URLﾘﾝｸ(www.ms.u-tok...ito)
↓
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
733:１３２人目の素数さん
25/11/10 12:56:25.75 dfHWlUPB.net
"Geometric Langlands"なら
「数学」に論説が載りそう
734:１３２人目の素数さん
25/11/10 13:31:22.86 TekvzMEJ.net
知的障害者のゴミコピペスレ
735:１３２人目の素数さん
25/11/10 13:32:40.81 TekvzMEJ.net
>>721
過去の天才並べて
望月は天才だーーーーみたいなこと言ってるクソ知恵遅れいるじゃん
あいつどうすんの
朝鮮人w
736:現代数学の系譜 雑談
25/11/10 17:17:47.74 IBqbeJs6.net
>>733
>"Geometric Langlands"なら
>「数学」に論説が載りそう
御大か
巡回ご苦労様です
そうですね
下記” the Langlands correspondence is related to important conjectures in number theory such as the Taniyama–Shimura conjecture, which includes Fermat's Last Theorem as a special case.[1]”
日本でも、関連研究している人が多そうですね （＾＾
URLﾘﾝｸ(en.wikipedia.org)
Geometric Langlands correspondence
Background
In mathematics, the classical Langlands correspondence is a collection of results and conjectures relating number theory and representation theory. Formulated by Robert Langlands in the late 1960s, the Langlands correspondence is related to important conjectures in number theory such as the Taniyama–Shimura conjecture, which includes Fermat's Last Theorem as a special case.[1]
737:１３２人目の素数さん
25/11/10 17:54:57.51 DoJg6lh6.net
カラスの世田はコピペやめな
ぶっちゃけ
「正方行列は正則行列」
とかほざくのは
「実数から実数への関数が連続なら、逆関数が存在する」
とかほざくぐらい馬鹿げたことだからさ
要するに全然基本が分かってない
738:１３２人目の素数さん
25/11/10 18:00:39.65 DoJg6lh6.net
代数学の基本定理のガウスの証明についてGrokに聞いたところ以下の回答を得た
・アルガンの証明以前のものは、実数の連続性に関する認識が欠如してるのでダメダメ
・アルガンの証明が、コーシーが丸パクリして論文に書いたので世に知られるようになった
・ガウスはコーシーの論文を見てヤバいと気づいて再証明したらしい
結論
・ガウスは実数の連続性がわかってなかった（世田と同類（笑））
・コーシーはアルガンの証明を剽窃したクソ野郎
・今、代数学の基本定理の証明として教科書に載ってるのは基本的にはアルガンのもの
なんだよそれ 数学者の面目丸つぶれじゃん（笑）
739:１３２人目の素数さん
25/11/10 18:40:46.30 dfHWlUPB.net
>>ガウスはコーシーの論文を見てヤバいと気づいて再証明した
1789年生まれのコーシーにそういう論文があったとすれば
彼がアルガンの論文を読んだのは何歳くらいの時だろうか
740:１３２人目の素数さん
25/11/10 18:48:30.03 dfHWlUPB.net
明後日の談話会では
パーフェクトイドの話が聴けるようだ
741:現代数学の系譜 雑談
25/11/10 20:53:02.61 Dp+ahlva.net
>>738
>・ガウスは実数の連続性がわかってなかった（世田と同類（笑））
その話は、下記の梅村浩先生の最終講義 P25-26 Painlevé全集 を読んだ話を連想する （＾＾
最初の印象 でたらめの論文に思えた
↓
年が明けると Painlevé 自身がよくっ分かっていることが
理解できるようになった．
↓
ただ自分の発見を表現する言語を持っていないだけであると
ガウスも同じだろう
(参考)
URLﾘﾝｸ(ocw.nagoya-u.jp)
URLﾘﾝｸ(ocw.nagoya-u.jp)
2007年度 退職記念講義
射影極限と帰納極限
講師 梅村浩 教授
多元数理科学研究科 2008/3/14
Ｐ14
数学において何をやってたか
１９６８〜７４
形式群，コホモロジー次元， ベクトル束， 非可換なテータ関数を探す．
A. Weil のアイディア
野心的 失敗作！
本質的な問題であるが誰にも解けない
P15
よい問題とは
(1) 解ける問題である．
(2) 解けたとき反響がある．
井草準一
反省 如何に魅力的であっても，解けない問題に 挑戦してはならない
Ｐ16
１９７５頃
３変数Cremona群に含まれる 極大連結代数群の研究
十年弱をかけて誰でも理解することができるよう にすることに成功した
天才でなくても大学院を卒業できるくらいの学力 があれば．
新しい結果も付け加えた
P19
反省 本当の自分を知ることが大切 これは難しい
P21
幸運だったこと (II)
この期間，向井茂とよく議論した. 数学の基本的な考え方，研究の進め方について
多くを学んだ
P22
１９８４年秋 〜 １９８５年秋
ストラスブールに滞在した.
代数幾何学を使って何かをやる.
R. Gérard (Strasbourg) Painlevé 全集の編集者 岡本和夫氏
Gérard の研究室にあったPainlevé全集を読み始めた.
Stockholm 講義録 １８９５年
６００ページにせまる大作 が読めないと皆が言っていた．
P25
最初の印象 でたらめの論文に思えた．
クリスマスが終わる頃には少しづつ分かり始めた
年が明けると Painlevé 自身がよくっ分かっていることが
理解できるようになった．
P26
ただ自分の発見を表現する言語を持っていないだけであると．
夏までにPainlevéのアイディアを現代 代数幾何学の言葉で表現することに成功した.
その夏にストラスブールで微分方程式の 日仏シンポジュウムがあり，そこで発表した．
P27
一体Kolchin は何をしているのかと思った．
Kolchin の本を開いた瞬間
Painlevé のアイディア= Kolchin のガロア理論
微分方程式のガロア理論
742:現代数学の系譜 雑談
25/11/10 22:20:44.69 Dp+ahlva.net
>>738
>代数学の基本定理のガウスの証明についてGrokに聞いたところ以下の回答を得た
Grokか・・。下記の劣化要約だろ？ｗ ；ｐ）
URLﾘﾝｸ(en.wikipedia.org)
Fundamental theorem of algebra
History
(抜粋)
The other one was published by Gauss in 1799 and it was mainly geometric, but it had a topological gap, only filled by Alexander Ostrowski in 1920, as discussed in Smale (1981).[6]
The first rigorous proof was published by Argand, an amateur mathematician, in 1806 (and revisited in 1813);[7] it was also here that, for the first time, the fundamental theorem of algebra was stated for polynomials with complex coefficients, rather than just real coefficients. Gauss produced two other proofs in 1816 and another incomplete version of his original proof in 1849.
The first textbook containing a proof of the theorem was Cauchy's Cours d'analyse de l'École Royale Polytechnique (1821). It contained Argand's proof, although Argand is not credited for it.
None of the proofs mentioned so far is constructive. It was Weierstrass who raised for the first time, in the middle of the 19th century, the problem of finding a constructive proof of the fundamental theorem of algebra. He presented his solution, which amounts in modern terms to a combination of the Durand–Kerner method with the homotopy continuation principle, in 1891. Another proof of this kind was obtained by Hellmuth Kneser in 1940 and simplified by his son Martin Kneser in 1981.
Without using countable choice, it is not possible to constructively prove the fundamental theorem of algebra for complex numbers based on the Dedekind real numbers (which are not constructively equivalent to the Cauchy real numbers without countable choice).[8] However, Fred Richman proved a reformulated version of the theorem that does work.[9]
つづく
743:現代数学の系譜 雑談
25/11/10 22:21:55.18 Dp+ahlva.net
つづき
(google訳)
もう一つの証明はガウスによって1799年に発表されたもので、主に幾何学的なものでしたが、位相的なギャップがあり、アレクサンダー・オストロフスキーが1920年にそれを埋めるまで不完全なままでした（スマイル(1981)参照）。[6]
最初の厳密な証明は、アマチュア数学者であるアルガンによって1806年に発表されました（そして1813年に再検討されました）。[7] また、この証明において、代数学の基本定理が初めて、実数係数だけでなく複素数係数の多項式に対しても述べられました。ガウスは1816年にさらに2つの証明を発表し、1849年には最初の証明の不完全なバージョンを再び発表しました。
この定理の証明を含む最初の教科書は、コーシーの『エコール・ポリテクニーク解析教程』（1821年）です。この教科書にはアルガンの証明が掲載されていますが、アルガンの名前は明記されていません。
これまで述べた証明はどれも構成的ではありません。19世紀半ばに、代数学の基本定理の構成的な証明を見つけるという問題を初めて提起したのはワイエルシュトラスでした。彼は、現代的な言葉で言えばデュラン＝ケルナー法とホモトピー連続原理を組み合わせたものに相当する解法を1891年に発表しました。この種の別の証明は、ヘルムート・クネーザーが1940年に得て、息子のマルティン・クネーザーが1981年に簡略化しました。
可算選択公理を用いずに、デデキント実数（可算選択公理なしではコーシー実数と構成的に同値ではない）に基づいて複素数に対する代数学の基本定理を構成的に証明することは不可能です。[8] しかし、フレッド・リッチマンは、機能する形で定理を再定式化したバージョンを証明しました。[9]
(引用終り)
以上
744:現代数学の系譜 雑談
25/11/10 22:58:20.54 Dp+ahlva.net
>>741 余談
>2007年度 退職記念講義
>射影極限と帰納極限
>講師 梅村浩 教授
>多元数理科学研究科 2008/3/14
余談だが
「射影極限と帰納極限」は、”しゃれ”である
梅村浩先生の数学者人生の 数学用語による表現と思う
梅村浩先生の著書「ガロア偉大なる曖昧さの理論」
書棚の こやし になっているのを 出してきた
これも 題名がしゃれているね
内容もいい（下記書評ご参照）
＜アマゾン＞
ガロア偉大なる曖昧さの理論 (双書・大数学者の数学 8) 単行本 – 2011/11/1
梅村 浩 (著) 現代数学社
書評
上位レビュー、対象国： 日本
馬頭観音
5つ星のうち5.0 ガロアの考えていた広い意味での理論に関する飛び切りの名著
2014年6月22日に日本でレビュー済み
Amazonで購入
略
susumukuni
5つ星のうち5.0 微分ガロア理論の大家が「ガロア的数学夢」の世界に誘う魅力的な書
2011年12月2日に日本でレビュー済み
Amazonで購入
今年生誕200年を迎えたガロアは最も人気がある数学者の一人である。ガロアが駆け抜けた激動の時代とその数学を主題とする著書には、彌永著『ガロアの時代 ガロアの数学』（全二部）、加藤著『ガロア 天才数学者の生涯』など愛好家必読の名著が存在する。本書はそれらの著書と互いに補完し、また併せて「ガロア的数学夢」の世界に誘ってくれるとても魅力ある書である。
略
745:現代数学の系譜 雑談
25/11/10 23:07:41.18 Dp+ahlva.net
>>742
＞The first rigorous proof was published by Argand,
追加
URLﾘﾝｸ(en.wikipedia.org)
Jean-Robert Argand (UK: /ˈɑːrɡænd/, US: /ˌɑːrˈɡɑːn(d)/,[1][2] French: [ʒɑ̃ ʁɔbɛʁ aʁɡɑ̃]; July 18, 1768 – August 13, 1822) was a Genevan amateur mathematician.
Life
(google訳)
アルガンは1806年に家族とともにパリに移り住み、そこで書店を経営しながら、私家版として『虚数量の表現方法に関するエッセイ』（Essai sur une manière de représenter les quantités imaginaires dans les constructions géométriques ）を出版した。1813年に、このエッセイはフランスの数学誌Annales de Mathématiquesに再掲載された。このエッセイでは、解析幾何学を用いて複素数をグラフ化する手法が論じられており、値iをアルガン平面における90度の回転として解釈することが提案されている。このエッセイの中で、彼はベクトルと複素数の大きさを示す係数の概念と、ベクトルの表記法を初めて提案した。
1つのb→{\displaystyle {\overrightarrow {ab}}}複素数のテーマは、カール・フリードリヒ・ガウスやカスパール・ヴェッセルといった他の数学者によっても研究されていました。ヴェッセルが1799年に発表した同様のグラフ描画技法に関する論文は、注目を集めませんでした。
アルガンは、1814年の著書『新解析理論についての考察』において、代数学の基本定理の証明を行ったことでも有名である。これは、この定理の完全かつ厳密な証明としては初めてであり、また、代数学の基本定理を複素係数の多項式に一般化した最初の証明でもあった。
この定理の証明を収録した最初の教科書は、コーシーの『王立工科大学の分析学』 （1821年）である。この教科書にはアルガンの証明も収録されているが、アルガンの功績は認められていない。そして、この証明は後にクリスタルの影響力ある教科書『代数学』でも引用されている。
アルガンは1822年8月13日、パリで原因不明の死を遂げた。1978年、代数学の基本定理の証明は『数学インテリジェンサー』誌で「独創的で深遠」と評された。
746:現代数学の系譜 雑談
25/11/10 23:15:53.47 Dp+ahlva.net
>>740
>明後日の談話会では
>パーフェクトイドの話が聴けるようだ
巡回ご苦労さまです
パーフェクトイド空間 日英独版を貼っておきます
独版が結構充実している。多分 ご本尊の出身地だからか （＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
パーフェクトイド空間
数学のパーフェクトイド空間[注釈 1]（パーフェクトイドくうかん、英: perfectoid space）とは、p 進数体に代表される混標数（英語版）の体の上での数論幾何学の研究に用いられる、アディック空間（英語版）の一種である
パーフェクトイド体とは、階数（高さともいう）1の非離散付値から誘導された位相を持つ完備な位相体 K であって、K°/p 上のフロベニウス自己準同型 Φ が全射であるもののことである。ここで K° は冪有界元全体のなす環である。
パーフェクトイド空間は混標数の状況を等標数の状況と比較するために用いられる。またこのことを目的として創始された。この比較を数学的に行うための技術的な道具立てが傾同値と概純定理である。ペーター・ショルツェによって2012年に創始された[2]。
URLﾘﾝｸ(en.wikipedia.org)
Perfectoid space
URLﾘﾝｸ(de.wikipedia.org)
Perfektoider Raum
(google訳)
パーフィクトイド空間は代数学と数論における特殊な構造であり、数論代数幾何学の問題を解く上で非常に強力であることが証明されています。
747:１３２人目の素数さん
25/11/10 23:48:13.21 gNBbGD1b.net
>>485
ポイントとはどういう意味でしょう？
あなたは
どのような意味があると思ってるの？
748:１３２人目の素数さん
25/11/11 05:23:25.39 ewbNriaY.net
ポイント=要点
749:１３２人目の素数さん
25/11/11 05:56:57.58 ewbNriaY.net
wwwがついていることがポイント
750:１３２人目の素数さん
25/11/11 06:51:05.76 5zG2VQDm.net
>>749
それは嘲笑が目的であるということ？
751:１３２人目の素数さん
25/11/11 06:54:09.05 5zG2VQDm.net
>>313
>下記 Colin McLarty URLﾘﾝｸ(arxiv.org)
>の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
>どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
752:１３２人目の素数さん
25/11/11 06:57:53.01 5zG2VQDm.net
これで「wwwが付いていることがポイント（要点）」とは何を指摘してますか？
753:１３２人目の素数さん
25/11/11 07:31:52.36 ewbNriaY.net
>>752
「何を」は読み手によって異なる
そこがwwwのポイント
754:１３２人目の素数さん
25/11/11 07:42:57.31 5zG2VQDm.net
>>753
あなたはどう読んだんですか？
755:１３２人目の素数さん
25/11/11 07:44:00.97 5zG2VQDm.net
>>753
「何を」に「」が付いていることがポイントwww
756:１３２人目の素数さん
25/11/11 07:44:11.99 ewbNriaY.net
>>754
ネガティブな意味に読んだ
757:１３２人目の素数さん
25/11/11 07:56:16.33 5zG2VQDm.net
>>756
それなら>>750に書いたような普通の解釈ですね>>485
>wwwがポイントでは？
「ネガティブな意味であると読む人は読むのが要点ではないだろうか」
でしょうか？www
758:１３２人目の素数さん
25/11/11 08:41:46.63 ewbNriaY.net
ネガティブにも嘲笑以外のいろんな意味がある
759:１３２人目の素数さん
25/11/11 11:53:36.66 bpqvIxBV.net
>>758
イマイチ要を得ない説明ですね
それ以外というと罵倒でしょうか？
760:現代数学の系譜 雑談
25/11/11 12:53:27.65 3Cq8ZFbO.net
当事者です （＾＾
>>313より再録
ID:BZV1IQOW
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
(引用終り)
ふっふ、ほっほ
あのな、それよりか
下記 Colin McLarty URLﾘﾝｸ(arxiv.org)
の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
いまどきは
圏論のロジック（矢印図）の方が重要だと思うよ
（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
>>250 より再録
Colin McLarty has looked into this
The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325,
doi:10.1017/S1755020319000340, URLﾘﾝｸ(arxiv.org)
(引用終り)
１）趣旨は ”集合論の論理式 ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))”は
コンピュータ言語でいえば、低級のアセンブラみたいなもので
２）圏論は 、高級言語 あるいは フローチャー風の ノーコード（下記）だと
３）なので”ｗｗｗ”は、原始的なアセンブラを読めると自慢するが 高級言語の圏論 どうよとｗｗｗ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ノーコード開発プラットフォーム（英: No-code development platform, NCDP。NoCode（ノーコード）とも言う）
プログラマあるいはノンプログラマが、従来のプログラミングの代わりに、グラフィカルユーザインタフェース（GUI）や設定を通してアプリケーションソフトウェアを作成することを可能にする
URLﾘﾝｸ(ja.wikipedia.org)
高水準言語（high-level programming language、高級言語とも）とは、記述の抽象度が高いプログラミング言語のことである[1]。対義語は機械語やアセンブリ言語を指す「低水準言語」である。「高級言語」の対は「低級言語」である。
概要
抽象度が特に高いプログラミング言語という意味で代表的な言語としては、C言語やJavaがある。
高水準言語は、低水準言語と比べ、
・人間にとってわかりやすい
・プロセッサに依存した処理を書かなくてよい
・メモリ制御、IO制御等、低水準の操作を意識しなくてよい
といったことが特徴である[1]。