22/05/04 08:19:24 dK+3urCq.net
このスレで宇宙について質問したらIUTTの使っている集合はFZCといっている、との返答があり疑問がありました。
FZCUでも当然確認が必要で2-圏論のSGC「圏と表現論」の付録
「圏論の基礎のための集合論」でFZCUを自ら確認しています。
付録はおまけでなく圏を使う時の数学の基盤で、計算も証明が不要な物理工学の計算でなく証明が必要な数学の計算でしょ。
≫192-193
「IUTに関して、結局宇宙とは何の話なのか、という話自体は最初の
当惑でしかなくて次第にもっと具体的におかしいんじゃないかって感じに
なってきたから、宇宙というワードの誤用自体はもう仕方ないで済ます
しかないだろう
要するに環構造という大きなものだが互いにエイリアンなものを宇宙と
呼びたいのは 少し注意すればわかるわけだし 要するに査読に際しても
そこは決定的な部分とは思えないのよね」
なるほど
IUT論文受理の玉川柏原記者会見
でも「査読過程をお墓へもってく」いやもっていかざるをえないと。
NHKスペシャルさん、「不合格」ですよ
213:132人目の素数さん
22/05/04 09:30:39 GBk2MoT6.net
>>203
>IUT論文受理の玉川柏原記者会見
>でも「査読過程をお墓へもってく」いやもっていかざるをえないと。
意味わかんないけど?
学術誌に掲載された論文で、「査読過程を公開」した論文の例があるなら、上げてみて
知る限り無いよ。だから、そもそも、査読過程は公開するものではない
なお、下記の ペレルマン ポアンカレ予想 論文は、公式には投稿されていないし、3チームによる検証は査読ではないうよ
URLリンク(ja.wikipedia.org)
(3次元)ポアンカレ予想(ポアンカレよそう、Poincare conjecture)
ペレルマン論文に対する検証が複数の数学者チームによって試みられた。原論文が理論的に難解でありかつ細部を省略していたため検証作業は難航したが、2006年5?7月にかけて3つの数学者チームによる報告論文が出揃った。
214:132人目の素数さん
22/05/04 09:33:47 jd9HfROA.net
査読過程の解明は
NHKスペシャルのお仕事だったはず。
215:132人目の素数さん
22/05/04 09:42:02 9DdY2moZ.net
>>202
主題はCor 3.12だな、確かにショルツは双曲線の同型を使って基本群の同型も一纏めにすることで、ラベル付けが無意味だとしたが、
そもそもショルツがそんなことしなくてもCor 3.12は証明できていない
(そもそも宇宙の部分が燻製ニシンであることもだいぶ前にテレンス・タオが指摘していて分かっていること)
主題とは関係ないことと、間違ってることは別に相反しない
主題とは関係ないが、それとは別途基礎論部分にはあまり価値がないブルバキやSGA4で勉強してしまったんだろうなと予想できる
プリンストン高等研究所はダイニングホールで研究者らが一緒に食事するらしいが、例えばそういった場があって基礎論に詳しい数学者がいれば、「宇宙の認識おかしくない?」と止めることもできたろうなぁと思っただけ
216:132人目の素数さん
22/05/04 10:01:46 GBk2MoT6.net
>>205
どうもです
>査読過程の解明は
>NHKスペシャルのお仕事だったはず。
”お仕事”の定義が違うんじゃない?
そもそも、NHKとは、報道機関の一つ
報道機関とは、裁判官ではよね。IUTの成否を裁くものではない
そして、視聴者がいる。視聴者に迎合する必要はないが、といって、視聴者を無視しては番組が成り立たない
視聴者としては、下は多分小学生から 上はじいちゃん ばあちゃんまで
視聴者に分かり易くが、第一の視点
で、「査読過程を事細かく調べて報道する」ってのが、今回の
217:NHKスペシャルで重要な要素かと言えば ちょっと違うよね 時間は、1時間(延長版で90分)と限られているから、査読過程なんて、入れてもせいぜい1分以内じゃね? 査読過程の解明やりたければ、それこそ、日本数学会でやれば良い だけど、査読過程の解明やるくらいならば、日本数学会で査読チームを編成して、査読をやり直した方が、話は早いでしょ で、査読チームが、アウトかセーフかを判定すれば良いだけのこと
218:132人目の素数さん
22/05/04 10:15:22.00 jd9HfROA.net
>>207
あちらのスレで行列の正則性(整域)
の不理解を指摘されている応援団の方ですね。
219:132人目の素数さん
22/05/04 10:20:25.57 jd9HfROA.net
ロバーツの指摘を再記しておきます
An exercise in colimits,
contra Mochizuki
D.Roberts
2021.11.22
「referencing this document,
(ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS)
whichis, to say the least, not a mathematical justification of any part of IUT.
Anyway, in case there are people who think Mochizuki can do no wrong, I wrote out a complete and elementary construction, with proof, of the projective line, using no “redundant” copies of the affine line.
It uses the standard definition of pushout (=a gluing construction) from Mac Lane’s classic textbook Categories for the Working Mathematician, and the usual definition of the projective line.
It is not terribly interesting, but someone had to do it.」
「I maintain, with good reason, that the type of reasoning in the note is
what the so-called ‘RCS’ is doing.
It is standard category theory and standard mathematics. There is
no linguistic trickery or confusion
or deeply detrimental disruptions here. Mochizuki is using nonstandard
definitions of standard terminology, and then complaining that other people’s definitions (which are the standard ones) lead to contradictions.
They really don’t, if one doesn’t insist on trying to ignore the differences, and I don’t understand why he persists in it.」
URLリンク(thehighergeometer.wordpress.com)
220:132人目の素数さん
22/05/04 11:27:13.84 GBk2MoT6.net
>>208
>あちらのスレで行列の正則性(整域)
>の不理解を指摘されている応援団の方ですね。
誤解ですよ
5ch数学くずれのヤクザが、絡んで因縁つけているだけ
(どうも、推測ですが、彼は数学科で落ちこぼれて、慰めのために、自分より下を探して、叩きたかったらしいのです。哀れみをもって見ていました。彼は必死で、執拗でしたね。まあ、まともにアカデミックな数学界では相手にされないので、5chで憂さ晴らししていたらしい。ヤクザが書いていることは、数学的には無内容です。それは、見れば分かるでしょう)
221:132人目の素数さん
22/05/04 12:20:59.64 GBk2MoT6.net
>>210
一言補足しておきます
過去スレ55 スレリンク(math板:813番)
813 名前:132人目の素数さん[sage] 投稿日:2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
(引用終り)
これが、彼の持論です
私も、オカ、シムラ、モチヅキの3先生が、普通の人とちょっと違う思考をしていると感じることは、あります
でも、彼の持論は、バイアス掛かりすぎでしょう
”数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜”とは、なんという言い草でしょうかね
そして、あちこちで、数学くずれのヤクザのように、絡んで、因縁つけていました
222:132人目の素数さん
22/05/04 17:33:29.07 GBk2MoT6.net
>>209
>ロバーツの指摘を再記しておきます
はい
思うに、望月新一氏の周辺の数学者たちで、下記の2018年3月の議論と、ロバーツの指摘も含めて
きちんと、整理してほしいですね
URLリンク(www.kurims.kyoto-u.ac.jp)
2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 (および関連文書)
ハッキリ言って、2018年のSS vs 望月氏のバトルは
IUTの主観はともかく、世間的には SSの圧勝(TKO)でしょう
世間的には、望月氏が勝ったとは見られていない
望月氏は、自分が圧勝と思っているみたいですけど
本人が「自分の勝ち」勘違いしている以上、周辺の数学者たちで、もう一度纏め直すべきと思いますね
223:132人目の素数さん
22/05/04 17:56:14.95 FfVyJifi.net
>209はmath jin系の応援団スレの
方には無関係です。
誤解なく
224:132人目の素数さん
22/05/04 18:04:04.47 GBk2MoT6.net
>>213
意味わかんないけど?
単に、望月氏側が、きちんと、整理し直すべきと言っただけだが?
ロバーツの指摘も含めて
それだけだよ
225:132人目の素数さん
22/05/04 18:11:28.84 FfVyJifi.net
>1
応援スレとの棲み分けにより
応援団スレへおかえりください
226:132人目の素数さん
22/05/04 18:20:21.84 GBk2MoT6.net
じゃ、聞くけど
1.何を持って、それを切り分けているの?(基準は?)
2.あなたは、だれ? 何者なの?
3.上記の2と関連するけど、貴方が 他人に指図する権限があるの?
227:何を持って、それを切り分けているの?
22/05/04 19:50:15.57 obuDoqA7.net
(´゛ ,/ llヽ |
ヽ -./ ., lliヽ .|
/'",i" ゙;、 l'ii,''く .ヽ
/ ...│ ゙l, l゙゙t, ''ii_ :.!
: /.._ / ヽ \\.`゙~''''''"./
.|-゙ノ/ : ゝ .、 ` .`''←┬゛
l゙ /.r ゛ .゙ヒ, .ヽ,  ゙̄|
. | ./ l ”'、 .゙ゝ........ん
l / ヽ .`' `、、 .,i゛
.l| ! ''''v, ゙''ー .l、
|l゙ .il、 .l .ヽ .¬---イ
.ll゙, ./ ! ,!
.!!...!! ,,゙''''ー .|
l.",! .リ |
l":| .~''' ,. │
l; :! .|'" ...ノ,゙./ │
l: l「 ! . ゙゙̄ / !
.| .| ! ,i│ |
:! .l. } ,i'./ |
:! .| :| . / .|
:! | ;! " .|
:! ! │ │
:!:| ,! i ,!
:! , .l, / .l゙ !
:! | , l. | .| :,
: v'" .! |'i .ヽ, ./ :! .ヽ
_, _/ / .l ゛ ._/ :l゙
28 名
228:132人目の素数さん
22/05/04 21:42:57 SyvNjMMI.net
今や証明がちゃんとできているかどうか以上に重要なのは多分、IUTが本当に
数学的に存在するかどうかというレベルから話をしなきゃならないことじゃないかな
少なくとも一般的な、特殊な制限なく整数環でディオファントス幾何学をやるための
アイデアではないしね。正攻法じゃない
229:132人目の素数さん
22/05/04 22:13:07.94 GBk2MoT6.net
>>218
同意
つーか、そういうことも含め
ちゃんと整理が必要って趣旨です >>212
望月氏のブログでは
「論文をちゃんと読め」の一点張りだから
頑固親父の周囲が動くしか無い気がする
頑固親父は10年認められなくても良いんだろうが
10年待てない若手が前に出るしかないよね
でないと、本当にまた10年になるよ
230:132人目の素数さん
22/05/04 22:42:09.57 SyvNjMMI.net
>>219
応援スレだと天才すぎてという話になっているけど、ちょっと自己客観視できないで
謎の上から目線キープなのを賢いというのはまずいですね
比較的近いはずの数論幾何学の研究者ですら、あれの何がホッジなのかさっぱり
わからないという意見が普通ですよ
誤解のリスクがあるからといって大まかなアイデアについて語ることにも消極的とは…
231:132人目の素数さん
22/05/04 23:53:02.72 9CBEwyCM.net
IUT理論における「宇宙」という用語が
指し示すものが望月さん独特のもので
あるのは本当です。
その宇宙は集合論の宇宙とも、
グロンタンディーク宇宙とも異なっていますので。
by 加藤文元
232:132人目の素数さん
22/05/05 00:11:26 yMh93fZp.net
望月新一氏 文元本を高く評価
「単純明快単純明快な解説は(NHKらしい、立派な高精細なCG技術を駆使した形で)幾らでも簡単にできたはずです。また、更にもう少し時間の余裕があれば、加藤文元氏の ビデオ や 解説本 にあったような、携帯電話間の通信による喩えを用いることによって、「遠アーベル幾何学」において数学的対象の対称性からその対象の内部構造を復元する仕組みについて解説することもできたはずです」ブログより
233:132人目の素数さん
22/05/05 01:19:48 I+aW1bjn.net
あれはいいんか。。もう基準がめちゃくちゃだな。
234:132人目の素数さん
22/05/05 01:40:23.59 vxREE/Aa.net
>>223
自分の絶対的な味方はOKで、それ以外には少しでも意見が異なると承服できないでしょ。
星や玉川は、単なる手下と思っているだけでしょう。
235:132人目の素数さん
22/05/05 01:56:55.50 YOeRlh1A.net
>>223
確かにNHKは遠アーベルから話してなかった。
現代数学レクチャーシリーズの紹介でも4時間ものだから、1時間枠のNHKドキュメントでは省略したのだろうな。、
URLリンク(sugakubunka.com)
236:132人目の素数さん
22/05/05 01:58:26.68 vxREE/Aa.net
加藤文元氏は望月新一氏や名古屋の藤原氏といった、秀才だが問題のある人と関わっている。
文元氏は普通の数学者と比べて派手な立ち回りをできる特異な才能があるが、いろいろと抱え込みすぎて結局大学を辞めることになったのだろう。
しかし、文元氏が大学を辞めても何の解決にもならない。
藤原氏は虚偽申請の業績を修正できないまま、大学の地位にしがみ付き続けている。虚偽申請以降、彼にかかった費用は2億円を超えるだろう。
望月氏は、自分では取材などを断っているくせにブログで自己中心的な書き込みをしていて、NHKの番組にもひどい突っかかりをしている。昔から指導教員に思うところがあったのだろうが、あの言明はないだろう。より一層信用できなくなった。
237:132人目の素数さん
22/05/05 07:53:46.63 9NutQO/r.net
>>222-223
>加藤文元氏の ビデオ や 解説本 にあったような、携帯電話間の通信による喩えを用いることによって、「遠アーベル幾何学」において数学的対象の対称性からその対象の内部構造を復元する仕組みについて解説することもできたはずです」ブログより
>あれはいいんか。。もう基準がめちゃくちゃだな。
同意です。>>219です
”携帯電話間の通信による喩え”とか、サッパリ分からないです
ふざけて言えば、「IUTの宇宙には、小人(こびと)さんが居て、携帯電話で話をする」みたいな、アホな話になるよね
サッパリ分からないけど、多分、下記 ”リンク”=携帯電話で、”乗法的情報”=話(情報の通信)をする の つもりなのかも
(参考)
URLリンク(ja.wikipedia.org)
宇宙際タイヒミュラー理論
大まかに言えば、乗法的情報から加法構造を遠アーベル的な復元[42]を行ない、算術変形は与えられた環の乗算を変更し、タスクは加算が変更された量を測定すること[43]である。
遠アーベル的な復元、 変形手順のインフラストラクチャは、Θリンクやlogリンクなど、いわゆるホッジ劇場間の特定のリンクによってデコードされる[44]。
(引用終り)
つづく
238:132人目の素数さん
22/05/05 07:54:11.33 9NutQO/r.net
>>227
つづき
>「遠アーベル幾何学」において数学的対象の対称性からその対象の内部構造を復元する仕組みについて解説することもできたはずです
"仕組みについて解説することもできたはずです"とか、NHKに要求するならば
それって、望月氏ご本人が"仕組みについて解説することもできたはずです"だよね
なんで、望月ブログで それ(解説できる)を否定しているのか?
思うに、望月氏は、数学脳になりすぎて、日常語による説明能力が低下している気がする
(もともと低いのかも。Reddit(米掲示板)に、若いときから”サイボーグみたいだった”(講義が分からない)的書き込みがあった。
相手のレベルに合わせて、説明に使う用語を調節するとか、普通に普通の人がやることが面倒なのかも。)
望月氏は、数学の天才だと思う
が、常人がもっている日常生活のコミュニケーションスキルが、低いか面倒と思っているのか、どちらかか
そこは、望月氏の周りの若手(東工大も含め)が、補うしかないと思う
ブログ読んで、望月氏に期待してもダメと思うようになった
お邪魔でした。
239:132人目の素数さん
22/05/05 08:44:14.67 sooJMTbt.net
「ケーキの切れない非行少年たち」という本を知ってるかい?
少年院の子供らに質問すると、ホールケーキを3等分することができない
初手で半分にしてしまい、残った片方をさらに半分にして「あれ?大きさが同じにならない ムキー!!!」
著者はその様子を見ながら「なんでこんな簡単なことすら出来ないのだろう」と感じたそうだ
この構図とまさに同じ状況が
我々と望月の間で成立している
知能レベルに差がありすぎて話が成立しない
我々にできるのは黙って見守ることだけ
240:132人目の素数さん
22/05/05 09:01:24.36 I+aW1bjn.net
いや普通に3等分は難しいだろ。
241:132人目の素数さん
22/05/05 11:42:12.10 8iSOMDCn.net
普通の子は3等分の方法をどこかで見て暗記してそれを応用するからな。
俺も子供の時に何か別の所で見てそれを感じたと思う。
242:132人目の素数さん
22/05/05 16:47:20.90 HJ7F1FZo.net
すでに査読付き論文誌で発表されたのにまだグダグダいってるの?
243:132人目の素数さん
22/05/05 17:02:36.42 1+JD0hiY.net
Nスペのクレタ人のパラドックスか?
244:132人目の素数さん
22/05/05 17:06:21.72 j9nRa7N2.net
周囲の研究者が有能とは自分は思わないよ
デュプイ動画もあんなの星の焼き直しじゃん
IUTは例えばフロベニオイドが生きるようにある種の微分形式の一般化を試みているとも
言えるけど、�
245:サうやって他の研究者の理解に役立つ新しい説明が全くできてない スキームや正則なエタール基本群自体を経由しないで、それらを基礎体を仮定しない 絶対的設定のガロア群自体から復元するとかいうのは確かに非常に難しい話だ まあ興味があればそれについて考えても外野は損しないと思うよ。良い意味での哲学だ
246:132人目の素数さん
22/05/05 17:19:23.46 j9nRa7N2.net
こういう理論では無限小変形は構成できる代わりに普通にコホモロジーを取るような
計算はできないからな。そういう意味では、新しい代数を提唱しているショルツにすら
理解されなかったのはかなり大きい問題だよ
247:132人目の素数さん
22/05/05 21:36:40.69 RKPM4hOH.net
Dupuyさん、前に京都で話したときはちゃんと分かってなかったっぽいしな
248:132人目の素数さん
22/05/05 21:50:52.38 E8+qQuD9.net
今月のブログは珍しくまともだったな。GWで一瞬だけ正気が帰ってきたんだろうか。
特にFをド正論で殴ってるのは笑わせてもらいますた。
249:132人目の素数さん
22/05/05 23:08:06.31 l78HJJrj.net
Fって何?
250:132人目の素数さん
22/05/05 23:21:03.40 E8+qQuD9.net
>>236 ロクに理解すらしてないのにしゃしゃり出て人の仕事に唾つけとくのが欧米人の流儀だからね。
251:132人目の素数さん
22/05/05 23:34:26.81 vxREE/Aa.net
>>237
あれはド正論か?
ひどい言いがかりだと思うけど。
学生の頃から思うところがあったのだろう。
とにかく、Fが理解してくれないことに苛立っているのだろう。
理解できるように書いていないのが最大の問題だし、できる見込みもないんだろ。
252:132人目の素数さん
22/05/05 23:46:55.03 E8+qQuD9.net
>>240 Mが書いてるってことを忘れれば正論でしょ。
別に俺はMの態度がまともだと思ってないし、不誠実だとすら思ってるけど、
それはそれ、これはこれだよね。
253:132人目の素数さん
22/05/06 01:17:50.54 l3GviWrY.net
ついにファルティングスにも殴りかかってんのか
254:132人目の素数さん
22/05/06 05:36:55.31 IDyNmnMx.net
IUTの概念を新しい数学として認めるかどうか以前に証明が数学的に正しいかどうかという別の問題があるのに
両者が混同されている気がする
255:132人目の素数さん
22/05/06 06:19:11.93 HI3gGZ9s.net
実証に基づいて真偽が成立する科学の必須言語たる数学において、
このような混乱を引き起こす「生身」の部分がまだあったなんて。
ゲーデルやヒルベルトが草葉の陰から(Ry
256:132人目の素数さん
22/05/06 09:19:45.21 XHmfhlwM.net
IUTの集合はツェルメロZの時点か、修正したフレンケル Fの時点か、
(いまやwikiがZFをZ= Fの公理系とし等号を使っている始末w)。
更に選択公理Cと宇宙公理 U加えたいわゆるZFCUかな。
しかしIUTT共同建設者で盟友加藤文元氏のツィッターでは「IUTの宇宙は集合論の宇宙でもグロタンデーク宇宙でもなく望月独特」>221 と。
ならばその定義は何だろ。
この点、集合論の「クレタ人のパラドックス」のたとえを批判するなら
ブログで指導教官やNHKを批判する前に堂々とインタビューで全く新しい数学IUTを説明すべきだった。
ブログで全く新しい数学IUTの説明にたとえやCGを推奨しているがこれはさっぱりわからん。
また、デュピイへの批判は一理あるとも思うしIUTコミュニティ内部なくこれも
インタビューを受け堂々と批判すべきだった。
257:132人目の素数さん
22/05/06 09:27:58.80 8WAN716D.net
そもそもあんな“わかってなくてもわかったようになれる説明”にいいも悪いもない
所詮“どれが1番わかったような気分になれるか”でしかない、そんなもんにいいの悪いの言っても仕方ない
望月先生がまず出さないといけないのは“普通の標準的な学力を持つ数学者が読んで正しいと理解できる”文書、最低でも不足してる知識があって理解できないなら、その事に関しては××を読んでくれとrefferenceを追っていけばちゃんと理解できる文書
まずそれが数学の世界で提出された後、NHKでどう紹介すべきか云々やろ
258:132人目の素数さん
22/05/06 09:39:42.44 XHmfhlwM.net
>望月先生がまず出さないといけないのは“
本人がお断りしたんだろ、
盟友加藤文元氏がスポークスマンと
思っているかもしれない。
NHKへ聞いてみたらいかがでしょうか
259:132人目の素数さん
22/05/06 09:58:20.12 rR9/LDux.net
あのノートにアイディアが詰まってるんだろうな
種さえ分かればなんてことはないのだろうけれど
260:132人目の素数さん
22/05/06 10:25:14 P3chKgpl.net
>>245
>しかしIUTT共同建設者で盟友加藤文元氏のツィッターでは「IUTの宇宙は集合論の宇宙でもグロタンデーク宇宙でもなく望月独特」
Wikipediaの”Universe (mathematics)”では、、
Universeの概念の下に、
-Grothendieck universe
-Herbrand universe
-Russell-style universes (named after Bertrand Russell)
-Tarski-style universes (named after Alfred Tarski)
のように、いろいろな人名の付いた宇宙があり、それら宇宙はグロタンディーク宇宙でもなく各人の独特。
“named after”と後からの名づけており、望月の宇宙もその特長がまとまれば、
-Mochizuki-style universesで、定義されるのかな。
そう考えると、下記のコメントは理解できるようになる。
・加藤「IUTの宇宙は集合論の宇宙でもグロタンデーク宇宙でもなく望月独特」
・NHKナレーション「(IUTの)宇宙は望月の独自」
・望月「宇宙」という概念・用語は1960年代のグロタンディークの論文「SGA4」に遡るものであり、私が生まれる何年も前から数学者の間で用いられていた概念・用語です」
宇宙Universeは、望月以前の概念・用語は望月生前の用語で、望月の通り「望月が導入した概念・用語」ではない。
しかし、宇宙には、人名-style universesで、独自の宇宙の概念があり、IUTの宇宙は集合論の宇宙でもグロタンデーク宇宙でもなく、望月独特の-Mochizuki-style universesということで理解できる。
NHKナレーションは「(IUTの)宇宙は望月の独自」であったが、(IUTの)の言葉が足りてないので、
「IUTの宇宙は望月の独自」でなくなり、望月の言う通り「宇宙は望月の独自」になってしまっている。
テキストの省略での誤解なだけと思うが、望月氏のブログで、メールが来ていると書いているので迷惑はされたのですかね。
後から名付けられる類いでもあるから、未だ過渡期なのだろう。
261:132人目の素数さん
22/05/06 11:29:59.55 2OIVj4QS.net
>>249
望月新一氏本人がインタビューに
出て「宇宙」の定義を述べるべきでしたね。
IUTは普通の数学と異なりますし
262:132人目の素数さん
22/05/06 13:37:03.13 WO6b5CV+.net
>>241
正論ではないよ
大雑把な話だけでは数学は十分理解できないとか当たり前の話
だからって大まかな説明は必要ない、無理なんて数学者はむしろ少数派だろ
極論で武装されてもな
263:132人目の素数さん
22/05/06 17:39:44.01 IDyNmnMx.net
>>248
種やアイデアなんて現時点ではどうでもいい。まず必要なのは正確な数学的証明
独自定義や考え方を受け入れるかどうかはその次の問題。数学的に間違っている内容なら議論するだけ無駄だからな
ハイコンテキストな望月論文の補項による穴埋めをやるのは望月先生じゃなくて
IUTを理解したと言っている他のだれか一人でもやればいいだけの話なのにだれもやろうとしない。
作業するだけで研究業績になるアイテムが目の前に転がっているのにだれも手を付けようとしないなんて
IUTを理解した人たちはなんて奥ゆかしい人たちばかりなんだろう
264:132人目の素数さん
22/05/06 17:43:05.95 IDyNmnMx.net
数年前まで何度も開催されていたワークショップでも考え方の議論で終始して
証明の正しさの議論に行き着いていないんだけ�
265:黷ヌもなんで最近ワークショップやらなくなったんですかね?
266:132人目の素数さん
22/05/06 17:54:32.23 RSLmqZ9p.net
>>253 そう言うのを日本語で 匙を投げる って言います笑
267:132人目の素数さん
22/05/06 17:59:05.42 RSLmqZ9p.net
若者言葉では オワコン ともいいます笑
268:132人目の素数さん
22/05/06 19:14:40.84 WO6b5CV+.net
何度でも言うけど本当の予備知識はそんな多くないのよね
抽象的でゴチャゴチャしてはいるけど
Dupuyが言うのは多分、乗法的な構造と加法的な構造を分けながら
その関係を計算する技術が微積分やガロア理論みたいな発明ではないかってことで、
フェセンコが言うのは環構造を解体しているからその非アーベルな宇宙の拡大は
整数論として新しい、線形な表現論でない類体論の一般化だということね
しかし、若い研究者はこういう研究がIUTでなければならないのかちゃんと反省しながら
自分の身の上を定めるべきだね
269:132人目の素数さん
22/05/06 19:20:19.84 IfVUkA/D.net
どうすんだろね
望月先生はまぁ逃げ切りやろ
他の人どうすんのかな
iut以外で実績あげられるんかな?
270:132人目の素数さん
22/05/06 19:48:34.06 RSLmqZ9p.net
群がって乗っかった若手はみんな任期付きだもんね。。
期間を生かして自分の研究をちゃんとできれば結果オーライなんだけどね。
あの人のゴネ得を今後も数件が許すかどうかの問題でしょう。
271:132人目の素数さん
22/05/06 21:19:11 l7CO6HIe.net
This is my plain reading of Mochizuki's IUT
papers and his blog posts. In short, I suspect
he is disregarding the mathematical formalism.
When he talks about "separate universes" and
"interuniversal", I believe he literally means
that. As if one can simultaneously run several
computer programs and exchange their outcomes
during program executions, I believe he thinks
he can simultaneously operate several formal
deductive systems or separate universes and
has the power to interuniversally exchange
their intermediate products via a "functorial
algorithm" or "mutation", which seems to be
a procedure about set theoretic formulas.
Of course, this would be problematic when
there is no formal system that supports those
set theoretic operations and interpretation of
the formulas. The same criticism probably
applies to his maneuver of "forgetting the
history" and "re-initialisation". I suppose
by these he is actually illegally intervening
the formal deductive system.
272:132人目の素数さん
22/05/07 02:34:41.79 fnGGlcVP.net
望月氏のブログ面白いから結構楽しみにしてるんだよね
もっと更新してほしいわ
273:132人目の素数さん
22/05/07 03:43:17.14 t3fl2pz6.net
math_jin@math_jin
@kenichiromogiさん
茂木さん
今回のNスペのディレクターは京大理学のPhDをとられてますし、プロデューサーお二方とも東大でPhDとられてますよ。それでも最新の数学理論は解説が難しいのです。
274:132人目の素数さん
22/05/07 06:41:01.59 ZAkVo3/F.net
ホッシーはIUT以外で十分な実績があるから今後の人生は安泰でしょう
ゴーくんはどうすんの�
275:アれ?
276:132人目の素数さん
22/05/07 10:05:16.07 qfQEUOkZ.net
お前らどうすんのおおぉぉぉぉぉォオぉぉぉぉぉぉぉぉおぉおおぉぉぉお(´;ω;`) >IUT関係者
277:132人目の素数さん
22/05/07 10:14:00.06 nutZDbi5.net
Go氏にIUT関連で実績を残させるためにIUT関係者はみんな遠慮しているのではないかと
278:132人目の素数さん
22/05/07 13:25:15.61 x4qxpane.net
研究者として三流以下なのにテニュアにしちゃったあたり、
あの界隈の関係者は全く信頼できないんだよな。
279:132人目の素数さん
22/05/07 15:35:02.42 T4R/kVnq.net
>>260
>望月氏のブログ面白いから結構楽しみにしてるんだよね
慣れると、その境地はわかりますね w
例えは、昔の「そっくりハウス」アニメの頃より伝わる。
>「小さな家」の中を覗き込む少女の目線である。
>実際、少女の大きな目はテータ Θ のような形をしているように見えなくもない
と、前は客観的にどう受け止めるか、解読もままならない例えが、
>不思議な形で張り合わさった=繋がった状態の北半球と南半球を(同一視せずに)区別したまま、
球面全体という入れ物の中に埋め込まれたものとして扱い、その入れ物の幾何(=球面上の経線等、大円による幾何に対応するような幾何)を調べることによって
北半球と南半球の間の距離は、実はそれほど大きくなく、不等式で上から抑えることができる。
の例えまで、進んだのかな。
(もう少し「かけ算の遺伝」の例えの様に、グッとくるシンプル化が欲しい所ですが。。。)
しかし、あの凡庸でなくて、目がΘ のような形になりそうなブログを、
結構楽しめるとは、>>260氏も相当ですな w
280:132人目の素数さん
22/05/07 15:44:12.76 ukYC0EWA.net
うわきっつ
281:132人目の素数さん
22/05/07 15:44:15.37 sycuoZ1Y.net
>>261
理学といっても色々だからなあ
物理でも色々というのに。IUTを少しでも触れそうな数理物理系は基本的には
今でも数学者がほとんどだな
282:132人目の素数さん
22/05/08 08:42:51 S7Mx9C1y.net
NHKスペシャル
「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
番組は下記の重要なポイントが欠けているから
下記の文章と英訳テロップを追加修正しなさい
↓
2021年RIMS 研究会「IUTTの拡がり」のHPで推奨された本
望月新一寄稿加藤文元著
「宇宙と宇宙をつなぐ数学IUT理論
の衝撃」
「IUT語。IUT理論は一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」p51
パラダイムはトマスクーン流パラダイム。P52
283:132人目の素数さん
22/05/08 12:49:58.37 wMy9kDIa.net
>>229
ちがう。
世界中の数学者を馬鹿にしすぎてるわw
単純に望月が証明できていないという方が、科学的説明としてはるかにありうる。
証明できていないのに証明できたと言い張った数学者は歴史上いくらでもいる。
284:132人目の素数さん
22/05/08 15:19:54.61 5mMcpfsf.net
トマスクーン流パラダイムとかいう馬鹿らしい造語
「別のパラダイム」といえば済む話
285:132人目の素数さん
22/05/08 15:35:57.65 f4zdwmUn.net
加藤文元本 p59
パラダイム
「数学はどのようにして「進歩」するのでしょうか?
そこにはトマスクーンが言うように「通常科学」の中で連続的・
累積的に積み重なる新しさと、「パラダイムシフト」によって生じる
新しさの二種類があります」
「通常科学とは、トマスクーン「科学革命の構造」(中山茂訳みすず
書房1971年)における用語で、一つのパラダイム(時代や科学の各分野に
おける支配的な研究上の規範、視点、枠組みなどの意味)や様式に基づいた
科学活動のことであり、パラダイムから与えられる問題や解き方などの
指針に基づいて研究を進める状態のことをいいます。
これに対する状態は、「科学革命」期あるいは「パラダイムシフト」と
呼ばれている時期であり、この時期には既存のパラダイムが破壊されたり
劇的に変化することで新しい科学の枠組みが形成されます。」
286:132人目の素数さん
22/05/08 15:40:46.62 f4zdwmUn.net
>>269
p52→p59
287:132人目の素数さん
22/05/08 16:09:38.68 H0iUcqHZ.net
なんの意味もない無駄な流レス
難しい言葉並べて「オレかつけー」が全ての意味のクソレス
288:132人目の素数さん
22/05/08 17:20:09 WLzN7INj.net
>>270
「わからない」ことと、「証明できていない」は、イコールでないと思う。
それに、かなり「科学的」すぎる気がするが。
証明は査読されて、その後もSS文書への回答になる「∧と∨の論文」がNスぺのように論理を説明で公開されているが、反例やギャップがあったと言う者は出てきていない。
SS文書は、RIMS編集委員会は「望月回答にSS再返答が無い」認識を公式表明している。
今から「望月の論文回答に答えた上で、ギャップがある」と再返答も出来る。
また、ファルティングス博士は、望月の理論が証明できていない、と言ってない。
「だれか望月の理論を分かり易く説明」してほしいと言っている。
それは「科学的説明」と違う。「社会的な意義を目的とした行為」を求めている。
複雑な論理の体系の枝葉末節をシンプル化して、分かりやすく説明すると、シンプル化した説明は正確ではないという批判は必ず出てくる。
何故ならば、枝葉まで考慮された論理の体系ならば、その細かい点の積重ねで成立しているから、枝葉をせん定したところが「欠けた」と批判できるから。だから簡素化は科学的説明の姿勢ではない。
科学的説明は、SS文書の回答や、∧と∨の論文のように、複雑な体系を全てこと細かく説明している。
望月氏のそれら文書で議論し、科学的証明が出来てないならば、明確にできるが。
しかし「社会的な意義を目的とした行為」の説明は、細かくの説明を求めない。
複雑な論理体系の枝葉末節はカットし、論理の本質的な内容をシンプル化して、わかるようにして伝える事に意義はある。
それは数学者の科学的説明や学究とは真逆で、「社会的な配慮」に近い
。
何故ならば、相手の「わからないから簡易にしろと言う要求」に答える行為だから。
実は、科学的な説明の正確性とは方向性が真逆で、ざっくりカットする方が良い。
ユーモアで答えてもOKなのは、相手に対する社会的な意義だから、許容される。
「可愛い女の子と一時間一緒にいると、一分しか経っていないように思える。相対性とはそれである。」
289:132人目の素数さん
22/05/08 17:20:33 WLzN7INj.net
本質でわかり易い説明を考えると、正確には違うどと思いつつ、分かり易くする。
それは「社会的に意義」が共通土台にあると信じて行う行為である。
・枝葉カットの行為は、証明のギャップの観点では、説明が無くなるからギャップをつくる。(科学的説明は逆に細かく完璧にする)
・例え話のような説明は、本筋とは違う(嘘ではない程度の)ストーリーを自らが作る。
「科学的説明へのこだわり」を捨てずに、違和感を残すと、簡略化が中途半端になる
290:Nスぺは、社会的な意義がありシンプル化した。 「嘘は含まないで、時間内にして、分かるレベル」の簡素化が目標だと思う。 でもシンプル化は今の望月氏の学究ではないし、ファルティングスやキムの言う通り、 それは尊重するべきなのだろ。 現在はIUTは∧と∨の論文で、科学的説明を行う最中なのだから、その癖で、 シンプル化の社会的意義の共通土台で係っていないと、科学的説明で、但し書きを付けたくなるではw 「証明をしろ」という意見は少なく、「分かるように」という意見が多い気がするのだが。
291:132人目の素数さん
22/05/08 17:59:12.80 G4VeWCFG.net
応援派の意見は視野が狭い
数学界にとってはタオが指摘するように小さな情報で応用が利かず未だに
受容されないIUTより、非IUT真正証明のほうが遥かに望まれる
デュプイは特殊な物好きでしかない
292:132人目の素数さん
22/05/08 18:19:35.69 xlxeUu8r.net
「特殊な物好き」を馬鹿にして
「有名数学者がコレと言ったからコレ」と盲目的に従うわけか
悲しいくらいつまらん生き方だな
293:132人目の素数さん
22/05/08 18:22:30 G4VeWCFG.net
>>278
読解力がないね
タオが言ったから、ではなく言った内容が数学者にとってはリアリティがあるんだよ
少なくとも現段階で加藤の言う衝撃など与えていない時点でそれも裏付けられてる
294:132人目の素数さん
22/05/08 18:53:27.56 xlxeUu8r.net
そりゃ新規の理論の方がリアリティは低いだろ
なじみが薄いんだから
当たり前のこと書いて何がうれしいんだ
カッコ付けて頭良さそうに見せようとしてるけど
頭悪いだろw
295:132人目の素数さん
22/05/08 20:14:38.60 SPrfFCn+.net
>>280
君は愚か者だから書かない方がいいよ
296:132人目の素数さん
22/05/08 20:26:38.48 xlxeUu8r.net
君の知能じゃ反論できないもんねw
297:132人目の素数さん
22/05/08 20:47:02.01 uThGVb/E.net
テングザルが見透かされてるぞ
298:132人目の素数さん
22/05/08 20:56:56.00 Uhtwq05p.net
タオの「応用が利かず」は、個人的な見解なのでは?
Nスぺは、ABC予想の証明で多くの課題がドミノ倒しと、違う解説であった。
299:132人目の素数さん
22/05/08 20:59:34.25 uWhKMOvQ.net
つおいABCだとドミノピザだろ
300:132人目の素数さん
22/05/08 21:02:47.19 CEwkzKWg.net
弱いABCだとドミノ倒しでもドミノ倒しでもないビクともせず太刀打ち出来ずに終わるのか
301:132人目の素数さん
22/05/08 21:06:36.52 RGeadI4C.net
タオの発言の意味もわからんのか
302:132人目の素数さん
22/05/08 21:11:00.29 aGZyFf9i.net
タオは、お持ち帰り半額が\950からと、知らなかったのだろう。
303:132人目の素数さん
22/05/08 21:23:06.37 GjoStixs.net
goさんって大数学者みたいな風貌の人?
304:132人目の素数さん
22/05/08 21:33:09.88 G4VeWCFG.net
>>280
頭悪いとか完全にブーメランじゃん
abc予想を一旦認めたらドミノ倒しだからとか言う弁護もそうだが、リアリティってのは
この場合、いくらか小さい記述量で未知の小さい結果を他に出せないのか
という話だよ
新規の理論のリアリティなんて数学じゃどんなに長くても二年で受容されるわ
ショルツが典型的
文意を全く理解してないガチの馬鹿が他人を馬鹿呼ばわりしちゃいかんよ
305:132人目の素数さん
22/05/08 21:52:20.39 UPcYalp5.net
>>289
作務衣着てた人ってイメージ
306:132人目の素数さん
22/05/08 21:52:59.63 DPHyuxyH.net
>この場合、いくらか小さい記述量で未知の小さい結果を他に出せないのか
>ショルツが典型的
マージャンなら、ショルツが小技のチビチビ派で、望月が役満ドカン派ってこと ?
307:132人目の素数さん
22/05/08 22:01:17.89 xlxeUu8r.net
>>290
そんな無理矢理の言い訳は要らないから
「応用性」と書けばいいところを格好付けてリアリティなんて使うから意味不明になる
308:132人目の素数さん
22/05/08 22:52:10.77 8vhsDcF2.net
イギリス 数理科学国際センター 所長 ミンヒョン・キム 博士:
それは、どんな問題を証明すべきか。どんな問題に魅力を感じるべきかという話を、シンとしたときのことです。
シンは、問題自身はシンプルでも、その解決には非常な深さと構造が必要であるような根源的な難問を証明したい。
そう話していました。
ハーバード大学 教授 ノーム・エルキース 博士:
これで『フェルマーの最終定理』の証明は終わりです。
abc予想はとんでもなく長い証明を、黒板にも書けるほんの数行のものに置き換えてしまうほど強力だったのです
>abc予想が、もし正しいと証明できれば、まるでドミノ倒しのように数々の難問が一気に解けるという、驚くべき事実が発見されたのです。
309:132人目の素数さん
22/05/08 23:14:12.93 kHemvsoJ.net
演算空間同士の誤差を実際計算できるなら応用はかなりあるわな。
これまでの流れを見れば、そうなってないんだろうなってことくらいは想像できると思うが。
310:132人目の素数さん
22/05/09 07:31:13.60 meHE9hz1.net
abc予想が解けているかとは別にIUTTの理論(手法?)としての有益さはどうなんだろう。
Kirti Joshi氏のIUTTの標準的解釈(?)が今後どういう展開になっていくのか注目なのかしらね。
これについては望月さんは何もいっていないよね。Joshiさんとやりとりはしているようだけど。。
311:132人目の素数さん
22/05/09 09:03:14.04 mAOVeUVg.net
こんな終わった話に粘着するおまえらのねちっこさもおどろきだな
312:132人目の素数さん
22/05/09 09:04:55.29 Zgz8E6xG.net
どうせ俺の精神状態とかが書いてあんだろw
知ってるけど内緒なw
313:132人目の素数さん
22/05/09 09:12:40.08 Zgz8E6xG.net
数学を数学として観れなくなったら公からは退くべきだ
素人が遊びでやってんじゃねえ
たとえば数学の研究室で宇宙人を仮定するとか言ってしまうとかな
そういうのはもう頭脳の限界が現れている
もちろん健康という意味でね
俺は長生きした方がよいと思う
数学は余暇でやるもんだ
そこなら宇宙人を仮定した議論でも
点や直線が猫や雀でもよい
東大はそう教えてきたはずだ
314:132人目の素数さん
22/05/09 09:17:45.33 Zgz8E6xG.net
学部生の間に松村の可換環論を暗唱できるようになった人間が
路頭に迷うことがないようにして貰いたい
いやそもそもそんな可能性のない奴だけが数学ができるのか
そういう考え方もありだな
315:132人目の素数さん
22/05/09 09:19:49.64 Zgz8E6xG.net
形式主義で議論をして行くというのは
達人の世界の話だと思う
だからきっと世界はそんなことを要求していない
東大も批判している
人間には無理だと
じゃあどうするのか
316:132人目の素数さん
22/05/09 09:23:24.67 Zgz8E6xG.net
人間を記憶装置モドキにしてどうするのか
そういう議論はしているのか?
人間(性)の危機だぞ
人間の数学と人工知能の数学を分けなければならない
それとも超AIの出現で人間はすっかり数学を投げるのか
317:132人目の素数さん
22/05/09 09:25:36.80 7vibCU6V.net
いや、よくオドレが嫌う資本優位社会では職人や学者を含む従業員は負け組
経営者や株主で漸く残り組
GMと成って初めて勝ち組
国際的に独占禁止法周りの規制をより強固にして資本強者の捕食を強�
318:ュ厳しくしなければならない
319:132人目の素数さん
22/05/09 09:29:12.04 Zgz8E6xG.net
おそらく日本人でルネ・デカルトの思想を完全に理解した人間は一人もいない
最も有力な岩波文庫の翻訳文ですら誤読や理解不能がある
それは何故か?
解析幾何学を知らぬ者がデカルトの思考を読めるわけがないからだ
おなじコギトでも数学者のコギトと言語学者のコギトは違う
ましてや仏文学者のコギトなんていうものはデカルトとは別世界のものだろう
やることは無数にある
エイリアンの話がしたかった人は友達がいなかった
高校生の時に友達と映画を観に行くことができなかった
そんな奴だ
320:132人目の素数さん
22/05/09 09:35:10.60 Zgz8E6xG.net
最近ポールロワイヤル論理学という本が
法政大学出版から出た
原典はラテン語か仏文だろう
しかし私はそれを買わない
以前『無神論』というふざけた翻訳書に出会ったからだ
廃れている
頽廃だ
このままでよいのだろうか
私は考えるだけである
何もできない
321:132人目の素数さん
22/05/09 16:01:40.52 OHmBV1AO.net
>>294
だからね、「既知のドミノ倒し」じゃなくて未知の強い結果を出せるかだよね
前者は他の数学者が努力して出したもの
どうもろくにできなさそうよね
322:132人目の素数さん
22/05/09 16:12:24.23 utSRwiX8.net
この一連の「うちゅうさい理論」の狂騒は数学というものの終わりの始まりだと思うね
「うちゅうさい」は地上の俗人には理解できない、「うちゅうさい」に選ばれたものだけがその恵を受けることができるのだ
「うちゅうさい」に限らず、数学という学問自体がかつての神学のような存在になってしまっている
323:132人目の素数さん
22/05/09 18:13:04.06 Z5DCgiih.net
>>296
>Kirti Joshi氏のIUTTの標準的解釈(?)
望月ショルツェ両者に聞いてるがJoshi氏の標準的がわからない。
元々標準的数学は「IUT語」のIUTTと通約不可能でしょう
324:132人目の素数さん
22/05/09 20:14:03.28 poJkeLCn.net
>>275
いや、科学的なプロセスから逃げたがってるのがIUT
325:132人目の素数さん
22/05/09 20:36:06.53 hq5LbuVM.net
>>307 数学じゃなく数件ね.勝手に話を広げるなよ。
326:132人目の素数さん
22/05/10 09:03:12 /rZeO034.net
望月さんのブログ読んだけど、そもそも自分の業績の紹介番組なのに協力しなかったのだから
それについて合格不合格というのはあまり良い印象にはならない。
理論の正否には関係ないけど創業者の印象が悪いとお店も繁盛しなさそう。。
327:132人目の素数さん
22/05/10 09:09:00 LjG+KT1k.net
まぁ自分でもアカンのは薄々感じてるから目立ちたくないんじゃないの?
328:132人目の素数さん
22/05/10 15:02:13.46 51fRB62Y.net
シェーンの高温超伝導
小保方のSTAP細胞
望月新一のIUT
329:132人目の素数さん
22/05/10 15:15:47.82 51fRB62Y.net
››313
全部査読通過してる
査読はノーチェック
330:132人目の素数さん
22/05/10 15:23:20.56 0EdZcGwA.net
まゆゆとかいう人はIUTをどう思ってるの?
331:132人目の素数さん
22/05/10 15:26:05.36 3Ygz5EnT.net
>>313
京大のRIMSが認めてる業績が小保方と同列なわけないだろ
ちょっとは勉強してから来い
332:132人目の素数さん
22/05/10 15:35:32.07 51fRB62Y.net
>>316
ベル研のバトログ
理研の笹井
RIMSの玉川
皆騙された
333:132人目の素数さん
22/05/10 15:46:45.48 prrviwX4.net
サンデー毎日 2022.5.10
<2050年のメディア>
数学の未解決問題「abc予想」の証明をテレビ番組にする
=下山進
URLリンク(new)
334:s.yahoo.co.jp/articles/722443f14c58eca32d317f3d1397d580819ed59d
335:132人目の素数さん
22/05/10 15:50:20.01 prrviwX4.net
>今回の番組で、NHK側は望月教授自身には会えていない。
しかし、研究室の准教授と何度となくやりとりを重ね、
この証明の意味を理解しようと務めた。
そして「こういう説明でいいだろうか」と准教授に提示して、
一歩一歩進んでいったのだという。
336:132人目の素数さん
22/05/10 16:45:33.51 /rZeO034.net
望月さん、周りからどんどん人が離れていかないといいけど。。。
337:132人目の素数さん
22/05/10 18:05:41.11 5IevJZJi.net
京大が認めてるんだぞみたいな感じで来てるけど、
別に京大って研究力の高い大学ではないよね
338:132人目の素数さん
22/05/10 18:19:05 0EdZcGwA.net
まゆゆがいるのに?
339:132人目の素数さん
22/05/10 19:03:29.14 NVw33H0z.net
>>320
研究室の准教授と何度となくやりとりを重ねって、准教授はだれ?
山下剛氏なら講師だろ
340:132人目の素数さん
22/05/10 19:27:17.50 0EdZcGwA.net
☆だよもう40だぞ
341:132人目の素数さん
22/05/10 19:44:33.26 jJqplloZ.net
安倍晋三とセ○クスしたい 安倍晋三と対面座位で唾液交換しながら挿入したい 毎日安倍晋三のことを考えながらオ○ニーしている
342:132人目の素数さん
22/05/10 19:59:39.02 aTr3RkWw.net
まゆゆ、けっこうかわいいよね!
まゆまゆ!まゆゆん!⭐
343:132人目の素数さん
22/05/10 21:08:50.04 R7tL+VsD.net
麻由子セックスしたい
344:132人目の素数さん
22/05/11 08:25:03.83 F6CRmlKZ.net
・望月新一IUT論文受理の玉川柏原記者会見。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性が
ある。
この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を
張った。 (毎日2020.4.3)
・NHKスペシャル
京都大学数理解析研究所 教授
玉川安騎男 博士
「いわば現代の数学では、禁じ手になってるようなことも取り入れて、
何かできないかということを考えたということなんですね。
1+1は2でありながら、1+1は5であるとか。二つの直線が交わるという
ことが起こりながら交わらないとか。本来だったら矛盾が起こるような
ことを、活用できないかと考えた」
これは記者会見の時の「全く新しい理論」ですね。
「いわば現代の数学では、禁じ手になってるようなことも取り入れて」
「本来だったら矛盾が起こるようなことを、活用できないかと考えた」
と玉川柏原記者会見の時にはっきり述べるべきでした
345:132人目の素数さん
22/05/11 11:00:03.68 ZgSzqSOJ.net
望月さん自身のブログを読むといろいろ米国で地位形成がむずかしくて
京都が助け舟を出した感じに受け取れる。
そして京都は望月さんに気を使っている感じだから、まあ期待も大きいのだと思う。
理論の成否よりもそこらへんの関係性がお互いに荷物にならないことを祈る。
STAPの理研はちょっとそういうところがあってよくなかったよね。
346:132人目の素数さん
22/05/11 13:18:40.27 d2uFcjd+.net
最近、コンウェイ結び目の未解決問題を聞いて短期間で解いた元割と普通の院生が
MITでテニュアを
得たらしいからな。色んなキャリアがあるものだ
347:132人目の素数さん
22/05/11 13:29:46.10 rPqs7uBi.net
未解決の問題を短時間で解いた人がMITでテニュアを得るっていうのは、むしろ当然のキャリアでは?
348:132人目の素数さん
22/05/11 13:35:57.34 d2uFcjd+.net
飛び級したわけでもない割と普通の院生だったから、数学ではそういうミラクルは
あまり起こらない
349:132人目の素数さん
22/05/11 13:52:27.52 rPqs7uBi.net
単に天才エピソードがある人が目立つだけだと思うが
マルティンハイラーとかアレッシオフィガリとか院生までの凄いエピソードとか聞いたことない
350:132人目の素数さん
22/05/11 21:05:37.61 lDWw4qik.net
>>329
シャーロックホームズの冒険
はじまるよ
ワトソンくん
351:132人目の素数さん
22/05/12 00:06:34 zdCn09dJ.net
>>329
RIMSは次世代幾何学研究センターという望月ありきの組織を
作ってしまったから、望月に逃げられるわけにはいかなくなってしまった
あまり良い状況ではないね
352:132人目の素数さん
22/05/12 00:32:27 zdCn09dJ.net
望月は思想の根底に
「数学に限らず、異国人同士は絶対に分かり合えない」という
強烈なニヒリズムを持ってる
欧米人はこちらのプライバシーを平気で踏みにじって
ずかずか入り込んで、
「社交しようぜ」「オープンに付き合おうぜ」と言ってくるくせに、
日本人とタイ人を平気で見間違えるほど非欧米圏に
関心が低い、という事実に、幼少期からうんざりしていたようだ
そういう人だから、IUTに関して日本人以外と議論を重ねて
ブラッシュアップするつもりはそもそも彼にはない
Scholze-Stixについても結局、「日本人をナメてる」または
「文化的背景が違いすぎて彼らには理解できない」
という解釈に逃げ込んでしまっている節がある
なので、IUTを救うには日本の国内で揉んで何とかするしかない
だが、国内には望月と同レベルで遠アーベル幾何をやれる人間はいない
だからIUTはもう詰んでる
353:132人目の素数さん
22/05/12 03:25:17.41 NwdPXmXT.net
>>336
それはIUTが間違ってる場合ね。
あってる場合なら問題ない。
354:132人目の素数さん
22/05/12 07:07:41.64 ZKnmOFwZ.net
望月さんはハーフだけど、人種とかそういう問題よりも彼自身が「難しい」人なんではないのかな。
米国社会にそういう偏見の問題は大いにあるだろうけどそれ以前に彼自身の問題が大きいと思ってしまう。
そういう偏見の中でこそ上手に立ち回る必要があるのはわかるはずだろうし。
それでもそのことは結局理論の正否には関係ないのであって、
望月理論が広く数学界に受け入れられないのはあまりにも現行の数学とはかけ離れた様相をしているからなんだろう。
まあでもそれ以上に実は過疎化している分野なのだろうか。。
355:132人目の素数さん
22/05/12 07:57:25.37 JWN6LHWv.net
>>337
not even wrongだよ
証明が理解可能(反証可能)な形で書かれていない
このままなら今度のICMでもダメ出しされて忘れ去られるだろうね
356:132人目の素数さん
22/05/12 07:59:57.85 QdmWM3oq.net
>>337
合ってる合ってないというより埋めきれていないギャップがある
修正できれば問題ないが、まだ修正できていない
357:132人目の素数さん
22/05/12 10:10:03.30 jNskJJeq.net
>埋めきれていないギャップがある
玉川PRIM特別委員長の会見とNスペインタビューによれば、
現代数学の禁じ手と矛盾を活用する全く新しい数学IUTTと現代数学の
ギャップです。
本来両者は通約不可能で混同は危険です。
またPRIMの査読.編集及び外部評価のsaidi委員や周辺は「全く新しい数学
のIUT論文よりabc予想は正しく証明された」と認めました。
遠アーベル幾何学はIUTTの道具の遠アーベル幾何学と普通の遠アーベル
幾何学を混同しないことです。
RIMS中心のIUTコミュニティ内でもIUTT提唱者望月新一氏のブログに
よればデュピイ氏は勉強不�
358:ォとのことで、具体的にNスペインタビュー で望月氏対デュピイ氏の話を聞きたかったなあ。 なぜブログで詳しく書かないのだろう
359:132人目の素数さん
22/05/12 11:01:55.72 Rk+21pfy.net
>>341
追記
ブログ
「デュプイ氏の場合:
・番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、
まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、
自分自身の誤解を広めることにしかなりません。
詳細はここでは控えさせていただきますが、このような一般論から
考えると、上述の番組の演出にはただならぬ違和感を覚えます。」
360:132人目の素数さん
22/05/12 11:33:09.53 yCTgVkxy.net
指摘が間違ってるとは言わんが、それなら加藤のがよっぽどそうだろって話だわな。
どっちが人種に対する偏見があるんだかって話だわ。
361:132人目の素数さん
22/05/12 12:39:07.40 J9EykrCO.net
コミュニティというか教団と呼んだほうがいいんじゃないかIUTの場合
362:132人目の素数さん
22/05/12 15:30:20.71 oAazvUfR.net
ピタゴラス教団みたいな
363:132人目の素数さん
22/05/12 15:35:14.93 gkSSNV5Z.net
「番組みてなんとなくわかった」とか言ってるやつの息の根止める発言やなw
364:132人目の素数さん
22/05/12 16:09:33.55 ZKnmOFwZ.net
もう数年経てば若手がIUTTを咀嚼して、より広く受け入れられるような形で解説できるようになると思いたい。
365:132人目の素数さん
22/05/12 17:19:30.68 f/Fkfubv.net
NHKスペシャル
デュピー 博士
「望月の件に巻き込まれるなと警告してくる数学者もいます。
『お前のキャリアがむちゃくちゃになるぞ。やめておけ』と。
でも私は思うんです。
これは微分積分の発明や重力の発見にも匹敵する革命で、
私は今それに立ち会っているのだと。
100年後、いや200年後も、望月理論は数学の世界で生き続けていると思うのです」
>望月理論
全く新しい数学IUTコミュニティ内で望月新一氏本人からダメ出しを
たデュプイ氏だが、議論をふっかけ拡散した望月理論は何だったのか?
騒ぎ屋のIUT応援団にはデュプイが希望の星だったなあ
366:132人目の素数さん
22/05/12 17:21:46.73 f/Fkfubv.net
>>348
ダメ出しをた→ダメ出しをされた
367:132人目の素数さん
22/05/12 18:43:33.35 9DKQF7CP.net
ところで、数学の歴史の中で、
発表時にはボロクソに叩かれたかあるいは無視されたけど数百年後に再発見されて偉大な業績として評価されたものって何がある?
368:132人目の素数さん
22/05/12 18:47:42.14 J9EykrCO.net
それは俺が答える話ではないが、ガロアやアーベルの時代に比較すれば
数学者の数が全く違うことは重要だ
369:132人目の素数さん
22/05/12 20:52:09.67 ZfTna9dQ.net
無視はいくらでもある。
発見者が学部生、院生、アマチュア数学者である場合、まともな査読さえ受けれないこともあるし。
Karush-Kuhn-TuckerのKarushとか、有名な例は何例かある。
今回の話とはずれるかもしれんが。
370:132人目の素数さん
22/05/12 21:31:46.02 oAazvUfR.net
つまり数学界で秘密協定を結んで在野で既に解決済みの問題を認めず未解決の問題とすることで
研究費を永遠に貪り続けることが可能になるわけですな
371:132人目の素数さん
22/05/12 21:56:56.96 uk1lFCfM.net
>>353
全然ダメ。研究費を配分するのは数学者じゃない
372:132人目の素数さん
22/05/12 22:02:17.82 oAazvUfR.net
>>354
数学者が未解決の難問だと言い張れば未解決の難問になるのではないか
373:132人目の素数さん
22/05/12 22:
374:13:51.71 ID:J9EykrCO.net
375:132人目の素数さん
22/05/12 22:31:02.71 ETr7jdQh.net
解けたらフィールズ賞問題が3問解決したら困る研究者が、「顔が潰しやがって。」というような
暴言を私に聞かせているのではないのでしょうか?
376:132人目の素数さん
22/05/12 22:49:22.24 8TvxkDHJ.net
レベルは全然違うんだがある意味今回の望月先生の主張は高木の主張とおんなじなんだよな
377:132人目の素数さん
22/05/12 22:49:28.98 yCTgVkxy.net
カントールにしろ、ゲーデルにしろ、気持ちが悪いとは言われても内容が否定されたことはない。
378:132人目の素数さん
22/05/12 22:50:44.23 yCTgVkxy.net
>>352
むしろ今回は最大限受け入れてるケースだろ。望月じゃなかったらああはならん。
379:132人目の素数さん
22/05/13 01:43:00.27 MFvj/8I9.net
結局、陰謀論大好き素人しか残りませんでした、という
380:132人目の素数さん
22/05/13 03:22:23.85 3nG/Fh9J.net
IUTを認めるかどうかと言う点と、IUTを利用したABC予想の証明が正しいか、という2点はどちらも浮いたまま
IUTに価値があるかどうかは役に立つかどうかで決まるが今あるのは応用範囲が広いという信者たちの主張のみ
381:132人目の素数さん
22/05/13 07:24:23.03 inzLW3Eb.net
NHKスペシャル
「数学者は宇宙をつなげるか? abc予想証明をめぐる数奇な物語」
URLリンク(www.nhk.jp)
382:132人目の素数さん
22/05/13 07:46:22.95 ddrieQXU.net
>>356
それで研究費をとっている数学者は困るだろう
383:132人目の素数さん
22/05/13 07:52:42.02 ddrieQXU.net
これは数学で未解決の難問なんだ
それを研究している俺様は人類の進歩に貢献しているのだ
だから講義の一コマももってないけど国庫から研究費をとる権利があるのだ、と
384:132人目の素数さん
22/05/13 08:01:43.40 fbiv3OxS.net
>>358
私の論文は学部学生レベルなので、数学のレベルが違います
385:132人目の素数さん
22/05/13 08:12:52.05 qrh0fu4w.net
何百年もたってから再評価された例はないわけか
386:132人目の素数さん
22/05/13 08:17:39.69 P2SjW+n/.net
NHKスペシャル
加藤 博士「IUT(宇宙際タイヒミューラー理論)というのは、
数学の基本的なところ、深層のところを揺るがす、地殻変動から
起こっている理論ですので、現今の数学との違いをきちんと完全に
言語化する、新しい数学の言語体系を、早急に作らなければいけない
んじゃないか」
IUT共同建設者加藤文元氏
> 現今の数学との違いをきちんと完全に言語化する、新しい数学の
言語体系を、早急に作らなければいけないんじゃないか
実際はPRMSがIUT論文を受理した時も現在も「新しい数学の言語体系」
が
できていなかったし、IUTに基づく論文もIUTの応用も∧.v論も未完成
でいわば砂上の楼閣。
4編のIUT論文を直ちに取り下げ、「新しい数学の言語体系」を完成
させた後IUT論文を明確に書き直すしかない。
387:132人目の素数さん
22/05/13 18:49:51.90 376xjRFO.net
結局ABC予想は日本では正しいの?
ABC予想から導かれる系を使って別の命題を証明したらどうなるん?
海外数学コミュニティーでは日本国内に入国した瞬間から出国するまでの間は
正しくなるってジョークがあるみたいだが
議論のある竹島ではABC予想なのかそれともABC定理なのか?
388:132人目の素数さん
22/05/13 19:00:26.71 ddrieQXU.net
>>369
既にabc予想が正しいと仮定した論文がいくつも出ているので
仮定が既定になるだけで問題はない
389:132人目の素数さん
22/05/13 23:00:46.07 XTSpZYRe.net
追分大岡山ちほう+特異点のみ定理
∵) 全く新しい言語体系信仰より
他は予想
390:132人目の素数さん
22/05/13 23:13:41.49 qrh0fu4w.net
ガロアでさえ死後50年後には正当な評価を得たのに
当時とは比べ物にならない数の数学研究者が存在する現代において10年経っても駄目なんだから
これはもう見込みないんじゃないか?
391:132人目の素数さん
22/05/13 23:45:43.99 pPZMUk9R.net
全然関係ないが、今読んでた数学書の参照文献に増田哲也の論文が複数含まれてて
苦笑した
392:132人目の素数さん
22/05/14 01:08:31.07 jnI0267K.net
新しい言語体系とかカッコつけてるけど、ようは正当な数学じゃない、単なる望月予想ということだよね笑
まあ、語るに落ちるってやつだな。要するに未完の証明
393:132人目の素数さん
22/05/14 02:17:04.69 FlAANW0K.net
>>373
ここはお前の日記じゃないんだが?
394:132人目の素数さん
22/05/14 03:36:37.26 LVtnqAu/.net
痴漢行為とかにちゃんねるゴシップとかよりもっと数学界に破滅的な営為って具現化体現されてる。
395:132人目の素数さん
22/05/14 05:49:02 KoTR6wzX.net
ガロア理論の場合とは全く違うのは確かだろう。が、
IUTの場合は100年後にIUT用の完全な「新しい言語体系」が
完成しているのだろうか?
100年後は地球温暖化による気候変動で人類は滅亡の危機と預言している
人もいるから人類は滅亡しているかも、いや核戦争後の世界かもしれない。
映画続猿の惑星では核戦争後の世界で人類がミュータントとなり幻覚能力
を身につけていた、類似例か、、。
とまれ、来年のことをいえばおにが笑う
396:132人目の素数さん
22/05/14 07:33:49.52 eQGjjIj/.net
今後はコンピュータによる形式的検証を得られないものは
証明にあらずってことになっていくから、何十年もかからないよ
397:132人目の素数さん
22/05/14 07:37:34.79 5BDdyhFU.net
>>375
でも増田さんの感想を聞きたいし
398:132人目の素数さん
22/05/15 12:17:45.17 SJiWs4g5.net
まゆゆ💕のファンです❤
399:132人目の素数さん
22/05/15 12:49:25 U52LytGp.net
課長★しMATHダ!T咲ク!
のファンとまゆゆスト-カ-ですねぇ…クォレハ…
…たまげたなぁ…
400:132人目の素数さん
22/05/15 16:53:02.49 K8Vpa79M.net
なんでIUTが盛り上がってた頃じゃなくて下火になった今頃番組にしたんだろう
401:132人目の素数さん
22/05/15 17:06:59.14 J2C1EP1s.net
NHKスペシャル
アデレード大学 助教 デイビッド・ロバーツ 博士
「望月の理論で奇妙なのは、まず全く同じものだといいながら、
次に、それらを完全に異なるものとして扱う点です。
数学では同じと見なせるものは同じとするのが原理原則です。
同じでありながら同時に異なるものなんてありえるのか、真剣に考えて
みましたよ。いやいや、絶対無理ですよね」
朝日新聞2021.7.21 石倉徹也記者
・フィールズ賞受賞者 ピーターショルツ独ボン大学教授
「証明の疑問点は明らかなのに解消できていない。
納得できる説明をしてほしい」
402:132人目の素数さん
22/05/15 17:10:00.26 J2C1EP1s.net
NHKスペシャル
ファルティングス 博士
「望月は説明に力を入れるべきです。
今はなぜ彼のアイデアがうまくいくのか分かりにくいのです」
ディレクター「このままでは望月博士の証明は忘れ去られませんか?」
ファルティングス 博士「その恐れはあります。誰かが望月の理論を
分かるように説明する言葉を見つけてくれればいいのですが…」
朝日新聞2021.7.21 石倉徹也記者
望月氏の米プリンストン大時代の指導教授.
フィールズ賞受賞者 ゲルト.ファルティングス氏
「論文は理解できなかった。 自分の研究に時間を
403:割くことにした」
404:132人目の素数さん
22/05/15 18:40:03.61 +lSyHqk+.net
>>380
非可換空間の置換群を極めた増田ならまゆゆさんと話が弾むだろうな
405:132人目の素数さん
22/05/15 18:45:48.17 rJI014XS.net
>>382
制作に7年かかったとNHKの担当者がどっかで言ってたから、
2014-15年頃から作り始めたと思われる
ちょうどSSが京都に来て望月・星と決裂する前後
さくっと制作して放送するつもりが、「もめてる」って話が
入ってしまって、シナリオを変えて落とし所を決めるのに
時間がかかったんじゃないかと
あとはまあ、コロナ禍による諸々の遅延だよね
406:132人目の素数さん
22/05/15 18:55:07.14 +lSyHqk+.net
ファルティングスってウルトラマンに似てるよな
407:132人目の素数さん
22/05/15 19:44:34.28 ha5+SNG2.net
ウルトラ星人だよ
408:132人目の素数さん
22/05/15 20:05:46.42 SbeQKPYx.net
今放映したのは、インタビューしたらIUTの先がみえてきて100年先まで
待ちきれなかったからとかIUTの望月証明が忘れ去られるかもしれない
からとか、、
Twitterでデュピイやmath jinが大騒ぎし放映圧力がかかったとか
色々考えられるね
409:132人目の素数さん
22/05/15 20:20:00 s99D8m8s.net
math jinつてよく聞くけど何者?
なんか政治的な力があるん?
410:132人目の素数さん
22/05/15 20:32:24 +lSyHqk+.net
>>390
知る人ぞ知る天才だよ
411:132人目の素数さん
22/05/15 20:51:38.91 FexNRE5p.net
>>391
数学科卒なん?
数学できるの?
412:132人目の素数さん
22/05/15 21:00:58.06 +w4V+o7D.net
Fesenkoには
Fields賞を受賞した
弟子がいる。
413:132人目の素数さん
22/05/15 21:12:25.73 vDc5SfI8.net
IUTTの望月氏の指導教官はフィールズ賞のファルティングス氏だが
数学は全く別だな
414:132人目の素数さん
22/05/15 21:20:38.74 +lSyHqk+.net
ファルティングスは天才だが何だかんだ泥臭いんだよな
望月さんはファルティングス、グロタンディーク、ワイルズを超えたいという
意気込みがIUTの論文から伝わってくる
415:132人目の素数さん
22/05/15 21:33:32.63 xbMAdffW.net
>>395
「だれそれを超えたい」って動機で数学やってる人って
ほんとくだらない人間だと思う
416:132人目の素数さん
22/05/15 21:35:07.47 e31L18qi.net
天才Faltingsに対してなんちゅう評価
まさにいける歴史なのに
知らんというのは恐ろしい
望月先生も優秀かもしれんがFaltingsとは流石に比べ物にならん
417:132人目の素数さん
22/05/15 21:41:09.06 +lSyHqk+.net
>>396
実質的な探究の指標としてそういう考えを持つのは全然アリだと思うけどな
418:132人目の素数さん
22/05/15 21:45:50.84 +lSyHqk+.net
ファルティングスといえばディオファントスとp進ホッジ理論だけど、
何で後者は数論幾何学が割と盛んな日本で解説書がないんだろうね
古典的な理論で唯一の穴じゃないか?
419:132人目の素数さん
22/05/15 21:52:49.68 BpRibq92.net
何あとから取り繕っても>>395の後じゃ説得力ないわ
420:132人目の素数さん
22/05/15 22:00:36 +lSyHqk+.net
そんなのは感じ方の問題では?無駄なわかってる競争したいなら面白いレスをしなよ
実際的な問題に取り組みつつ論文自体は短いながら難しいし、アイデアの美醜とは
また別の話だと思うがな
421:132人目の素数さん
22/05/15 22:00:46 xbMAdffW.net
>>398
> 実質的な探究の指標
なんだそれ?意味不明
そんなに金と名声が欲しいのかよ
ほんとくだらない
422:132人目の素数さん
22/05/15 22:03:57 +lSyHqk+.net
>>402
解釈は自分の内面の鏡だぞ
かなり誤解してる
423:132人目の素数さん
22/05/15 23:14:19.91 F7LJBtIj.net
>>386
>2014-15年頃から作り始めたと思われる.ちょうどSSが京都に来て
望月・星と決裂する前後
2018�
424:N3月 森重文京大特別教授の提案より望月星.ショルツェスティクスが 京大RIMSにてミーティング。 ショルツェステイクスがレポートを提出した。 quanta magazine 2018.9.20 https://www.quantamagazine.org/titans-of-mathematics-clash-over-epic-proof-of-abc-conjecture-20180920/
425:132人目の素数さん
22/05/15 23:49:54.94 F7LJBtIj.net
2015- 年表
・2015年5月13日
中央教育審議会大学分科会大学院部会 日本学術振興会
グローバルCOEプログラム委員会 研究成果例
京大G08 宇宙際タイヒミュラー理論 「数論におけるブレークスルー」
・2016年6月 RIMSの現況調査表。
IUT概説論文に基づき 「IUTの構築よりabc予想が解決」
RIMSが大学改革支援学位授与機構 へ提出する。
・2017年12月1日
RIMSはIUTを中心とする次世代幾何学研究 準備センターを設置。
望月新一センター長
・2018年2月
RIMS外部評価報告書
「サイディ委員は実際に数理研を訪問することはできなかったが、
望月新一教授 の宇宙際タイヒミュラー理論に関するテクニカルレポート
を提出した。」
・2018年3月
森重文京大特別教授の提案より京大RIMSにて望月星.ショルツェスティクスがミーティング。 ショルツェステイクスレポート提出
・2019年4月
望月推薦加藤文元 「宇宙と宇宙をつなぐ数学」出版
・2019年4月1日
IUT中心の次世代幾何学研究センターを設置。
センター長 望月新一 教授 玉川安騎男 特任教授 柏原正樹 森重文
・RIMS主催2020「IUTTの拡がり」→ 2021へ延期
望月推薦加藤文元本が公式本 となる
426:132人目の素数さん
22/05/15 23:55:38.73 F7LJBtIj.net
>>405
・2020年4月3日
PRIMS 玉川安騎男.柏原正樹特別編集委員長
IUT論文受理の記者会見
毎日新聞
望月教授「ABC予想」証明 京大数理研「完全な論文」
「玉川教授は「望月教授自身が反論もしており、(ショルツ教授からの)
再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。 玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性
がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」
と胸を張った」
・zb math ショルツェレビュー
「the argument given for Corollary 3.12 is not a proof, and the theory built
in these papers is clearly insufficient to prove the ABC conjecture.」
・2022年4月10日
NHKスペシャル
「数学者は宇宙をつなげるか?abc予想証明をめぐる数奇な物語」
玉川安騎男 博士「いわば現代の数学では、禁じ手になってるようなことも取り入れて、何かできないかということを考えたということなんですね。
1+1は2でありながら、1+1は5であるとか。二つの直線が交わるという
ことが起こりながら交わらないとか。
本来だったら矛盾が起こるようなことを、活用できないかと考えた」
(IUTT共同建設者) 加藤文元氏
「IUTは、、現今の数学との違いをきちんと完全に言語化する、
新しい数学の言語体系を、早急に作らなければいけないんじゃないか」
427:132人目の素数さん
22/05/16 01:55:43.19 go3oTetu.net
天才🧐まゆゆ💕まゆゆんゆん🇷🇺💗🇺🇦
428:132人目の素数さん
22/05/16 05:32:24.17 g4NY9d3X.net
IUTは既存の数論と等価ではなく、既存の数論を包含したより広い世界の数学である
IUTは全く新しい数学なのでIUTでABC予想が解けたからと言って既存の数論の世界で解けたということを意味しない
IUTが受け入れられても既存の数論の世界でABC予想が解けるかどうかの取り組みは今後も続けられるだろう
429:132人目の素数さん
22/05/16 07:11:03.69 iFVI4sJv.net
超準解析みたいな話ではないのだろうね。。
ショルツたちの見解はIUTTは既存数学内のもので欠陥があるというものではないの?
望月さんとしてが土台から新しいからそこから議論を始めないと欠陥の指摘は見当ちがいということになる。
ショルツ側に経てばIUTTは新規論文に対して一番キツイ評価といえる、
「それの正しいところはすでに言われていたことであり、新しいところは正しくない」と言うやつだ。
望月さんが不愉快になるのはわかる。
ショルツたちは彼らなりにきちんと読んだ上で基本既知のことで肝心の箇所には飛躍があって正しいとはいえない。
ということなんだろうね。
ちょっと並行線ではある。
430:132人目の素数さん
22/05/16 17:51:59.68 PwcAp0Lw.net
>>408
IUT語のIUTは未完成だから今後は
そんなところでしょうね。
431:132人目の素数さん
22/05/16 17:54:32.86 PwcAp0Lw.net
>>410
追記
ただしIUTは全く新しい数学だから
既存の数論を包含しているかは疑問だな
432:132人目の素数さん
22/05/16 17:57:23.80 sHgB07ov.net
つまり望月先生は「望月学」を創始したわけで、
それは既存の数学とは異なるものなわけで、
数学者たちが「心霊学」を理解するために努力することがないように、
数学者たちが「望月学」を理解するために努力すること自体が不条理っていう話かな?
433:132人目の素数さん
22/05/16 18:40:11.94 PwcAp0Lw.net
オーソドックスな数学のファルティングス氏
「論文は理解できなかった。自分の研究に時間を割くことにした」
は格言だね。
434:132人目の素数さん
22/05/16 23:26:06.60 g4NY9d3X.net
>>412
数学的に価値があるかどうかは多くの数学者が価値を認めるかどうかで決まる
IUTはすでに一定数の支持を得ている
435:132人目の素数さん
22/05/17 00:30:12.12 DXZY5Mhc.net
ユークリッド幾何学上の未解決問題を非ユークリッド幾何学上で解いても意味がないのと同じく
IUT上でABC予想を解いても意味がないのでは?
436:132人目の素数さん
22/05/17 01:57:26.42 vQ6JG+UW.net
taro-nishino氏はブログの更新が去年いきなり止まったから、
コロナか何かで死んだのかと思っていた
生きてるようでよかったです
今月に入って、NHKの番組のことを過去のエントリに追記している
URLリンク(taro-nishino.blogspot.com)
437:132人目の素数さん
22/05/17 10:39:06.87 uneRBJ+/.net
>408
>IUTは既存の数論と等価ではなく、既存の数論を包含したより広い世界の
数学である
間違いです。
全く新しい数学IUTは現数学の原理原則と全く異なる点は玉川氏と
望月氏が高く評価する加藤文元氏が加藤文元本で指摘している。
更にIUTTは現数学と未完成の「新しい数学の言語体系」のIUTを
寄せ集め部品として使い分けています。
だからcor.3.12の証明は理解できないギャップがあると言われ
「言い訳」でなく説明が必要でしょ。
一般的に現数学でギャップを1箇所に集める操作が許されるなら望む
結論になるし「新しい数学の言語体系」も未完成だ。
また既存の数論を含む数学を包含したより広い世界の数学、とは
オーソドックスな数学の発展であることは常識です。
ユークリッド幾何から非ユークリッドの発展もしかりです。
438:132人目の素数さん
22/05/17 10:41:22.99 uneRBJ+/.net
>>417
非ユークリッド→非ユークリッド幾何
439:132人目の素数さん
22/05/17 10:57:09.35 mW0T2h3E.net
>>416
ありがとうございます
見ました
お元気そうですね
なお、プロファイルで、taro-nishino はペンネームと書かれていますね
440:132人目の素数さん
22/05/17 17:03:05.52 F0UFVdEd.net
そのオッサン、
iut信者はプーチン信者と書いてるけど
そこまでいくとちょっとやり過ぎだね
441:132人目の素数さん
22/05/17 17:04:23.83 F0UFVdEd.net
英語力が達者でうらやましい
数学力はどうなんだろうね
442:132人目の素数さん
22/05/17 20:27:29 5QvJ0fgF.net
何か的外れなレスが多いね
ショルツらの批判は数学的におかしいという話であって、古い価値観だから
理解できないという話ではないだろ
443:132人目の素数さん
22/05/17 21:32:08 Cs7cAN3G.net
>ショルツらの批判は数学的におかしいという話であって、
数学的におかしい=全く新しい数学を使う
444:132人目の素数さん
22/05/17 21:40:35 5QvJ0fgF.net
>>423
新しい数学というのは真理の新しい知見を与える数学のこと
そう見えないものは否定される
445:132人目の素数さん
22/05/17 22:18:39.61 Cs7cAN3G.net
別に見えなくて否定するのは自由だが、
IUT信者を現実の政治のプーチン信者とかウクライナ信者とかに
例えるのはなんか違和感があるな。
真理、真理って独特の奇妙さがある
446:132人目の素数さん
22/05/18 05:45:08.30 UE1CJmq2.net
Scholze
「Personally, he said, “I didn’t really see a key idea that would get us
closer to the proof of the abc conjecture.」
quanta magazine 2018.9.20
447:132人目の素数さん
22/05/18 09:35:47.77 vTt5xnMS.net
望月本人はオーソドックスな数学だと言ってるんだが。。
信者さん、御本尊の意見を無視しただダメだよ。
448:132人目の素数さん
22/05/18 10:12:27.83 lmkE89Ov.net
2019年4月25日
加藤文元「宇宙と宇宙をつなぐ数学IUT理論の衝撃」
望月新一と加藤文元両氏はIUT理論の主な考え方や関連する数学を
議論するため2005年7月から2011年2月15日までセミナーを行った。
最後のセミナーでIUT理論の「主定理」を議論した。p106
1刊行によせてp7-11
IUT理論提唱者望月新一京大教授
「より詳細な解説は本文に譲ります」
(望月新一は加藤文元の解説に同意)
p7
3 IUT語 p51
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されて
いる」
449:132人目の素数さん
22/05/18 13:46:58.63 fnVlcFt7.net
>>427
本当にそんなこと言ってるの?
どこで?
450:132人目の素数さん
22/05/18 13:52:35.25 vkNC506U.net
>>425
まああの人は何の分野か知らんが変わり者だよな、発音とかにこだわってるが
俺は一応TOEFL105点レベルだがロバーツ云々とか大して気にならないし
キャテゴリとかカタカナで書く神経も理解できん
451:132人目の素数さん
22/05/18 16:08:53.39 ZZbWBiHQ.net
NISHINOはスラドに書き込んでた頃は、
訳の間違いをちょくちょく指摘されていた
言うほどの語学力でもないわな
望月やRIMSに対するdisにはまあ同意だが
452:132人目の素数さん
22/05/18 16:56:40 VHOGD5s3.net
望月氏のブログを読むと(20世紀 初頭に遡る)公理的集合論の単語が
みられると同時に望月IUTT提唱者まえがき加藤文元IUT本が評価された、
デュピイの望月理論は勉強不足とのこと。
文元本は2021RIMS カンファレンス「IUTTの拡がり」のHPにも
掲載され推奨された。
英訳
望月新一まえがき加藤文元IUT本はフェセンコ氏が英訳を熱望していたし
IUTのNHKスペシャル(完全版)はサンデー毎日によればRIMS某准教授と
相談しながら制作したとのこと。
両方を英訳し海外で販売.放映すれば海外のIUTの直接的な評価が得られる
とおもわれる
453:132人目の素数さん
22/05/18 22:53:10.86 ZZbWBiHQ.net
math_jinみたいな素人ファンを望月は一番嫌ってるのに、
本人が全然分かってなくて草
454:132人目の素数さん
22/05/18 23:19:34 /YWAyu58.net
S. Mochizuki, I. Fesenko, Y. Hoshi, A. Minamide, W. Porowski, Explicit Es-
timates in Inter-universal Teichm ̈uller Theory, Kodai Math. J. 45 (2022), pp.175-236.
来月の次号のようだ。
455:132人目の素数さん
22/05/18 23:54:27.74 vyLp3QTg.net
5人組の論文は受理されたしIUT祭りさわぎの東工大だし出版するだろ。
NHKスペシャル
加藤東工大教授
「IUTというのは、、現今の数学との違いをきちんと完全に言語化する、
新しい数学の言語体系を、早急に作らなければいけないんじゃないか」
が実情でしょ、呆れた
456:132人目の素数さん
22/05/19 00:05:25.02 MXijcxYz.net
モノドロミーがまず
457:いんだったら拓郎に助けてもらえよ
458:132人目の素数さん
22/05/19 00:08:43.12 XTkYtzTb.net
「一人負けだ。」とかきもい声を聞かせるのは止めてくださいねー--
459:132人目の素数さん
22/05/19 09:06:18.80 xXkD9O3a.net
>>433
いやなぜか連動して罵倒ゴミを外野へ拡散してる
460:132人目の素数さん
22/05/19 15:55:44.84 om16oMm4.net
nishinoさんはなんでこんな攻撃的なんだろう
良いこと書いてるのに最低限の知性とか毎回しつこいしネトウヨに攻撃でもされたのか?
461:132人目の素数さん
22/05/19 19:48:44.59 +3gbrheN.net
math_jinさんは女性だよ
想像してオナニーしなさい
462:132人目の素数さん
22/05/19 19:57:40.30 8yMP4W8g.net
ああ今おまんこ想像しながらセンズリしてるよ
チンポ熱いよ気持ちいいよ、ドットピュッ!
463:132人目の素数さん
22/05/19 20:12:57.05 ebo0XPjq.net
>>439
粗暴で騒ぎやIUTファン応援団かな、
nishino氏のおっしゃることは基本的にその通りとおもいます。
京大関連にも地味でオーソドックスながら良質な数学があるのに
464:132人目の素数さん
22/05/19 20:31:06.18 +3gbrheN.net
今日もリサ・スー博士で抜いた
465:132人目の素数さん
22/05/20 00:43:21.75 3m3qg/CL.net
>Kodai Mathematical Journal is reviewed by:
>MathSciNet: Mathematical Reviews ZentralBlatt MATH
またもやZentralBlatt MATHだから、レビューはショルツに御用するのかな。
誰も書かなければ、サイディの寄稿で、
今度は共同著者になったフェセンコの口撃し、望月の論文回答になるな。
466:132人目の素数さん
22/05/20 07:42:45.14 iyMN0Ulz.net
RIMS客員教授のサィディが寄稿しRIMS客員教授のフェセンコが口撃し
RIMS教授の望月論文の回答をするのかな
つまりIUT論文は追分大岡山+特異点のみ「定理」が回答なんだ
467:132人目の素数さん
22/05/20 09:01:33.84 8k3dMMsk.net
加藤さん本とNHK番組で一般向けの紹介はマックスな気がするね。
これ以上は次の肯定的な展開が公にならないかぎり風化していきそう。
468:132人目の素数さん
22/05/20 10:27:26 tJz0V+pm.net
望月のブログ見る限り、望月は加藤にも迷惑してるだろコレ
469:132人目の素数さん
22/05/20 10:34:34 XSKSudoE.net
test
470:132人目の素数さん
22/05/20 11:40:34.26 mV57Cint.net
やっぱりパッと見怪しいものは怪しいな
当初からこんな理論あるかと思ったが
471:132人目の素数さん
22/05/20 14:37:17.50 3/Q5jkjL.net
>>447
文章の内容で考えればそうなんだが、なぜか加藤はOKみたいだぞ。
472:132人目の素数さん
22/05/20 14:52:05.67 RhFH99Ik.net
Nスペで望月新一.加藤文元勉強会
の文元氏保持のノートが映っていた。
473:132人目の素数さん
22/05/20 16:06:26.87 jbf6QvuP.net
ノートがきれいにとれている人を
うらやましく思う
474:132人目の素数さん
22/05/21 02:12:49 mxFf10Lz.net
mathjinのtwitterでまゆ博士の顔を初めて見たのだがすごいIQが高そうな顔だ
なんでIQ高い女性って全員あのような顔してるんだろう
475:132人目の素数さん
22/05/21 02:28:19 zH1f0iS7.net
けっこうかわいいよね😍 😎ま🇺🇦ゆ🇷🇺ゆ💕🌚🌝😷
476:132人目の素数さん
22/05/21 06:01:36 8sYLQfLe.net
望月ブログで「(20世紀 初頭に遡る)公理的集合論よって当たり前に
記述」とあるが、加藤文元.ファルティングス.ロバーツ.玉川各氏は
IUTが非標準的な定義(ロバーツ)を使い新しい数学言語の新しい数学に
基づいている点で一致している。
玉川氏は記者会見で、IUTの全く新しい数学は完全に完成している。
よってIUT論文を受理しabc予想が証明された、とした。
(これは望月ブログと矛盾している。)
一方、加藤文元氏とファルティングス氏はIUTの新しい数学の言語は
未完成と指摘している。
実際にはabc予想が現在の数学でもIUTの新しい言語体系でも未だに証明
されていない
NHKスペシャル
ディレクター「このままでは望月博士の証明は忘れ去られませんか?」
ファルティングス 博士「その恐れはあります。誰かが望月の理論を
分かるように説明する言葉を見つけてくれればいいのですが…」
2021.7.21.石倉徹也朝日記者
インタビュー
「(IUT)論文は理解できなかった。 自分の研究に時間を割くことにした」
追記
M.Y氏の仕事は「全く新しい数学」のIUTと全く違い、オーソドックスな
数学課題の証明.アティヤシンガー指数定理の発展と思われる。
和書に古田幹夫「指数定理」があり熱核の方法でなく特にK群の
アティヤ第2証明だね。
物理では指数定理が量子場などのアノマリー現象.トポロジーに対応して
いる。が、今後もオーソドックスな数学と物理を混同することなく、
どこまで解明できたかを明確にし、数学の証明と物理のそれぞれ両面から
の研究が望まれている
477:132人目の素数さん
22/05/21 06:06:37 8sYLQfLe.net
>>455
幹夫を幹雄へ訂正
478:132人目の素数さん
22/05/21 07:14:13 7t/5QM3A.net
>>445
編集長がIUT関連者でなければ、編集長の権限での受理とは違うことになる。
ショルツはIUTに関わらないとNスぺで宣言したが、ZentralBlatt MATHは誰に依頼するのだろう。
他に批判的な書評を書く者がないと、ショルツの批判レビューで限定になる。
今度の論文はABC予想の強い証明で、誰が書評を引き受けるのだろう。
479:132人目の素数さん
22/05/21 07:32:36 xvMm6vtD.net
>>435参照のこと
480:132人目の素数さん
22/05/21 11:18:43.21 Rj9FFR/u.net
>>458
厳正な査読後掲載と紹介されている。
Kodai Mathematical Journalは、東京工業大学大学院理工学研究科数学専攻が発行する数学雑誌です。1949 年 から1979 年まで 発 行され た 前 身 の KodaiMathematical Seminar Reportsを引き継ぎ、1978 年から現在の名称で発行されています。純粋数学の最先端の研究成果を発表する雑誌として国内外からの投稿が集まっています。投稿論文は、厳正な査読後掲載されます。
481:132人目の素数さん
22/05/21 11:28:11.53 wgKd4l3t.net
>厳正な査読後掲載
RIMSも形式上「厳正な査読」をしたのでしょう。
IUTT自体が未完成です
482:132人目の素数さん
22/05/21 12:00:05.74 d8HxbhpH.net
新しい数学とかいう頓珍漢な言葉を使わなければいいのにね
IUTは数論幾何において〇〇の流れをくんでいますとか言えばよかったのに
483:132人目の素数さん
22/05/21 12:06:48.01 g6jBLTFT.net
Scholze
「Personally, he said, “I didn’t really see a key idea that would get
us closer to the proof of the abc conjecture.」
quanta magazine 2018.9.20
IUT理論の欠点はabc予想の証明に絶対に必要な鍵となるアイデア
a key ideaがないこと。
これが全てだろう。
後は迷走しているだけ
484:132人目の素数さん
22/05/21 14:06:21.46 aYieHgKO.net
IUTでABC予想を解けることはすごいことなのか?
ABC予想が難しいのはあくまで一般的な数学のパラダイムの枠内だろ
485:132人目の素数さん
22/05/21 14:40:49.24 LhWq21w8.net
2022年度(第29回)整数論サマースクール「組み合わせ論的遠アーベル幾何学」
開催日時: 2022年9月5日(月)~9日(金)
開催場所: Zoom (完全オンライン集会)
対象者: 原則として数理科学系の大学院に所属する学生・研究員および大学・高専等の数理科学教員
講演者: 飯島優(広島大), 辻村昇太(RIMS), 星裕一郎(RIMS), 南出新(RIMS), 山下剛(RIMS)
URLリンク(sites.google.com)
486:132人目の素数さん
22/05/21 14:47:34.88 brvEv4zp
487:.net
488:132人目の素数さん
22/05/21 15:08:21.49 LhWq21w8.net
>>465
>遠アーベル幾何学をIUTへ応用した。
>一般的に遠アーベル幾何≠IUTTで望月氏が望月流
そこはフェセンコが、望月の新しい類体論で特筆して、下記資料で解説している。
URLリンク(ivanfesenko.org)
489:132人目の素数さん
22/05/21 15:12:07.46 brvEv4zp.net
>フェセンコ
構想は聞き飽きた、
いつのまにかRIMSの客員教授になった方ね、却下
490:132人目の素数さん
22/05/21 16:27:59.67 brvEv4zp.net
>>466
逆に望月氏ブログについてお聞きますので教えてください
1 デュピイ氏の場合
「同氏が行なっているような理論の普及活動に取り掛かる前に、
まず自分 自分自身、理論を適切に、きちんとした形で理解する必要
があります。」
「限定的な、中途半端な理解しかない」とまで指摘しながら
「詳細はここでは控えさせていただきます」と。
なぜ詳細を具体的にブログで説明しないのか?
デュピイ氏批判の具体的詳細を教えてください。
(デュピイ氏を擁護する気はありません)
2 NHK番組の場合
NHK番組の演出よりデュピイ氏が実際にコメントしています。
今までデュピイ氏はIUTコミュニティで「希望の星」「論客」扱いと
理解していたから批判は意外でした。
今までブログでなぜデュピイ氏を批判しなかったのですか?
今まで望月理論の変種を普及していたんですから
(一般的にはNHKを擁護する気はありません)
3 加藤文元.玉川氏の場合
デュピイ氏と指導教官ファルティングス氏の2人に言及していて、
言及のない加藤文元氏と玉川氏は望月理論の理解者と理解しました。
OKですね?
491:132人目の素数さん
22/05/21 16:28:17.32 feg62ZP9.net
IUTが本当に強力なら、フェセンコはとっくにリーマン予想を解決しているだろう
492:132人目の素数さん
22/05/21 16:35:04.64 brvEv4zp.net
>>468
なお加藤文元氏の動画と解説本は肯定的に引用されています。
493:132人目の素数さん
22/05/21 20:15:37.84 XNMyCYoK.net
>>468 貴レスで書かれていることを、そのまま解読しては。
>限定的な、中途半端な理解しかない
>理論の普及活動に取り掛かる
中途半端な理解で理論を議論できても、普及すればシワ寄せが来ます。生徒に。
また理解してない部分が指摘されれば、「虚飾」で教えていることになり、
指摘を受ければ、本人自身も危険な状態となる。
たから事前に、
>理論を適切に、きちんとした形で理解する必要があるが、
それは
>まず自分 自分自身、が理解不足と気が付かないといけないが、
自覚症状がなく気づかなければ、誰かがストップをかけなけないといけない。
だから望月は
>デュピイ氏に言及した
してコメントをした。
>遠アーベル幾何学をIUTへ応用した、
望月からすれば、遠アーベル幾何学が軸であるのに、
遠アーベルについては分からないとコメントしているデュピイ氏だから、
>きちんとした形で理解する必要 普及活動に取り掛かる
ことで危険な状態にならないよう、思いやりのアドバイスだから、批判と違う。
教員という職業の人間は、自分がよくわかっていない人も多いからね。
教本を読み自分が分かってなくても、学生が覚え、何事もなければ安泰だから。
でも議論のある理論は、理解せず中途半端であれば「虚飾」と指摘されかねない。
>今までブログでなぜデュピイ氏を批判しなかった
のは、理解が中途半端でも、デュピイ氏の専門分野で理解している部分は議論ができ、普及とは違うからでは。
494:132人目の素数さん
22/05/21 20:52:14.72 wgKd4l3t.net
>>471
1と2のご回答ありがとうございます。
3の回答�
495:烽謔�しくお願いします その上で12時頃返答します
496:468
22/05/22 01:45:38.43 /c8ZFwLw.net
まだ3の回答がありません。返答しますが3の回答をお待ちしています
1.2について
> 教員
>危険な状態にならないよう、思いやりのアドバイスだから、批判と違う。
>議論のある理論は、理解せず中途半端であれば「虚飾」と指摘されかねない
・これは指導教官ファルティングス氏と望月新一氏の関係です。
天才ファルティングス氏はよき指導教官でもありますな
・デュピイ氏は望月新一氏の生徒ではありません。
いや望月中心スクールMCS?でも設立したのでしょうか、
外野にはさっぱりわかりません。
>望月からすれば、遠アーベル幾何学が軸であるのに、
遠アーベルについては分からないとコメントしているデュピイ氏
・遠アーベル幾何学でなく(=遠アーベル幾何学≠IUTT)、IUT用の部品の
望月流「遠アーベル幾何学」です。
遠アーベル幾何学が専門のPRIMS特別編集委員長玉川氏はIUTTは
全く新しい数学とのべています。
>理解が中途半端でも、デュピイ氏の専門分野で理解している部分は
議論ができ、普及とは違うからでは
・以前海外のブログでデュピイ氏は望月理論の変種を振りかざし議論を
吹っかけ公に望月理論の変種を拡散した時、背後にRIMSか?のかきこみがありました。
まあ、変種理論の原因はIUTにabc予想を証明するa key idea がないからで
この場合は議論でなくムダ話になりませんでしょうか。
デュピイ氏とIUT応援団mがTwitterでNスペの取材を騒ぎ放映圧力を
かけていました、決して擁護できません。