Inter-universal geometry とABC 予想49at MATH
Inter-universal geometry とABC 予想49 - 暇つぶし2ch250: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スペの取材を騒ぎ放映圧力を
かけていました、決して擁護できません。

497:132人目の素数さん
22/05/22 08:08:20.20 sooEsUK7.net
IUTについて、きちんとした形で理解する必要があります、ということなら
取り巻きも普及活動ができないね。
それどころか、ご本尊も普及活動する資格がないかもね。
肝心なところを説明できないのだから。
「本人自身も危険な状態となる」とは、ご本尊のことかな、と思ってしまう。

498:132人目の素数さん
22/05/22 08:28:29.57 lrYBkeXd.net
>>473
>1.2について
>・これは指導教官ファルティングス氏と望月新一氏の関係です。
>天才ファルティングス氏はよき指導教官でもありますな
>・デュピイ氏は望月新一氏の生徒ではありません
>>471レスでは分からないので、
望月ブログを探し、まず、「デュプイ氏の場合:」の文節を全文で、下記に貼ります。
――――――――――――――――――
デュプイ氏の場合:
・番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、自分自身の誤解を広めることにしかなりません。詳細はここでは控えさせていただきますが、このような一般論から考えると、上述の番組の演出にはただならぬ違和感を覚えます。
――――――――――――――――――
・要約すると、一般論になりますがとの前置きで、
>デュプイ氏の場合:、
>同氏が行なっているような理論の普及活動に取り掛かる前に、
>まず自分自身、理論を適切に、きちんとした形で理解する必要があります。
>限定的な、中途半端な理解しかないまま活動を開始してしまいますと、
>自分自身の誤解を広めることにしかなりません。
ですね。
・中途半端な理解でなく、きちんとした形で理解して、普及して欲しい旨が書かれてますね。
・「デュプイ氏の場合」題記の文節は、上記の通り、ファルティングス氏に言及は全くしてません。
・望月中心スクールMCS?など、上記文節に書かれてません。
・デュプイ氏の場合:の上記の言及では、「普及活動に取り掛かる前に」の前提で、
NHK番組の「普及」を契機と上記で書かれ、今回の普及にあたってのアドバイスですね。
・ご本人は、NHK番組の通り「論理構造を解説する論文」で、理論のFAQつくりの活動しており、同論文が否定される質問者から発表されてない。だから、いろいろな質問に対応できるだけの「理論への理解」が、足をすくわれないため、必要と考えるのでしょう。

499:132人目の素数さん
22/05/22 08:28:53.30 lrYBkeXd.net
>3 加藤文元.玉川氏の場合
>デュピイ氏と指導教官ファルティングス氏の2人に言及していて、
>言及のない加藤文元氏と玉川氏は望月理論の理解者と理解しました。
>OKですね?
「理解しました」とする理解の基準が、誤っているようですが。
まず「デュピイ氏」と「ファルティングス氏」の場合が言及しているようですが、
その上の題記は「>海外の研究者への取材について」とあるので、
日本の研究者である加藤文元氏と玉川氏の取材については、先ず、著者が書こうとした、
題記の海外の研究者の範囲外です。
次に、下記で、言及の有無が「理解者」の基準としたら、
>デュピイ氏と指導教官ファルティングス氏の2人に言及していて、
>言及のない加藤文元氏と玉川氏は望月理論の理解者と理解
望月理論が理解できないと言っていたロバーツや、ヴォイトに、言及してないことで、
ブログでの言及が「非理解者」である基準は誤りの反例があるは、よく分かりますが。
>デュピイ氏と指導教官ファルティングス氏の2人に言及していて、
か等は、望月氏自身の考えなので、そこまで知りたいなら、ツイッター先の問い合ですね。
ブログの冒頭に、
>誤解や不正確な情報の拡散に歯止めを掛けるためにも、
>また最も中核的な当事者である私自身の考えに関する明示的な記録・「証言」を残す
とあります。
週日曜の朝に、あの長いブログを読むのは面倒でしたが、以上です。
では、近しき人と良き週末を。

500:132人目の素数さん
22/05/22 14:17:40.89 g/lsaW8C.net
>>450
これがほんとよく分からんよね
「一般大衆にトンデモ本/番組を見せて信者を増やすより、専門家相手のセミナーで理論の理解者を増やしたい」
というのは至極もっともなこと
だったら真っ先に批判の矛先が向くのは、NHKじゃなくて文元の方だろう

501:132人目の素数さん
22/05/22 14:26:56.70 b7Ey/EsL.net
素人向けの啓蒙番組作ってる暇あるなら専門家向けの解説論文かけ
ごもっとも
おまゆうですが

502:132人目の素数さん
22/05/22 14:40:32.25 +PGxnZmc.net
文元の本はトンデモ度がまだ許容範囲内なのだろう
NHKみたいに
・IUT理論は矛盾を許容する理論
・同型な対象を異なるとみなすのが画期的
みたいな、明らかな誤りは含んでいないと思うし

503:132人目の素数さん
22/05/22 14:49:15.67 CAEybTlG.net
ポアンカレは異なる対象を同一視した
望月は同型な対象を異なると見なした
こんなんあまりにも出鱈目で、数学者が監修しているとは思えない
たとえば、平面上の曲線同士の交点を考えるなら、ふたつの曲線が同型でも区別しなきゃならない
Z/4ZとZ/2Z×Z/2Zは、どちらもZ/2Zを部分群として含むが後者は2つ含むし、この2つを区別しなきゃ意味無い
望月が言ってるように、同型な対象を区別しなきゃ、xy平面すらまともに考えられない

504:132人目の素数さん
22/05/22 15:15:37.56 b7Ey/EsL.net
まぁ同型な物を同じとみなすと言うのが無理ではないし実際圏論の基本でもある
ある圏Cが与えられてそこに“同型ではあるが同じではない対象”があってそれが後の議論の妨げになる場合とか出てくる、別の圏Dに対して関手の圏Fun(C,D)とか作るときCが小さい圏でないと定義できないが、その“圏の巨大さ”が“同型だが等しない対象”が存在する事に起因する場合などがそれ
例えばそんな場合ならCの同型類から一つずつ代表元を選んでおいてそれら代表元から構成される充満部分圏C₀をとってくればCとC₀は圏として“同型”でFun(C₀,D)はちゃんと定義できてこのFun(C₀,D)で代用して議論進めるというのは基本中の基本テク
”Qの代数拡大全体の圏”とか取り扱う時は必ず使うテクのひとつ、なんせZariski Siteとかが既にある意味Functor categoryだしな
しかしこの“同型だが違う物(楕円曲線?の同型類?)をきちんと区別する”としたら何故か新理論が誕生したとかちょっと有り得んわな

505:132人目の素数さん
22/05/22 15:32:14 b7Ey/EsL.net
イヤ、siteは別に大丈夫だった
まぁでもFunctor Category考えたい時とかはよく使うのはホント
Poincareが“同型な物を同一視して取り扱った”と言う話はなんの話指してるんやろ?
楕円曲線のisogenyの話かな?

506:132人目の素数さん
22/05/22 16:04:25.55 G7Dh8Hnb.net
> ポアンカレは異なる対象を同一視した
> 望月は同型な対象を異なると見なした
↑の文が出鱈目だと言っているのではなくて「だから望月の理論は画期的だ


507:」というのが出鱈目だと言っているのだが・・・



508:132人目の素数さん
22/05/22 16:39:22.96 kdaJYvtf.net
>>483
うん、それは意味とれてるよ
単にその文章補強したつもり
オレもそこに望月先生が何か見直した話が画期的な発見につながったととれる説明はマユツバだと思う
残念ながらオレは望月論文1ミリも読んでないのでマユツバとしか言えないけど

509:132人目の素数さん
22/05/22 17:31:55.30 4xnDynXi.net
望月が強調しているのは、ΘリンクにつきHAは実際同型でないということ
問題は格子の全体において復元されたスキームを何で測りその差をどの程度抑えるか
この微妙なリンクを捉えてると主張してるわけだろ
局所的な図式に問題はないという望月の論拠は、不定性が軽微な範囲ということか

510:132人目の素数さん
22/05/22 17:49:05.75 4xnDynXi.net
どうも不評だった山下らも含めて、不定性を管理して不等式を構成するというのが
IUT側の核心らしいな
異なる宇宙間を区別しながら比較する全体を捉える妙技があるんだと

511:132人目の素数さん
22/05/22 19:22:38.62 HGn2Q43t.net
でも肝心のその部分はself-evidence で、誰も説明できないんだよね笑

512:132人目の素数さん
22/05/22 20:46:45.57 HGn2Q43t.net
肝心の集合論的に際どい部分を、私(たち)の直感に合うから、って理由でブラックボックスにしてたら、そらアカンよね。
矛盾からはどんな命題も証明できる。学部生でも知ってることです。

513:468
22/05/23 07:27:10 G0sYkUiA.net
>>476
468

ご回答ありがとうございます。

NHKスペシャルのインタビューと望月氏のブログとこのスレの過去
のレスを踏まえ>464 >466の整数論セミナーとフェセンコ資料を
貼った理由を質問しました。
誰が望月理論の理解者か不明で異論も多く変種まである望月理論を
宣伝するためでしょうか?
また、理論を理解すると信仰するとは異なるし理論の本質をよく理解
しているから理論をアドバイス.批判できる場合もあると思われます。
(個人的には指導教官ファルティングス氏はさすがディオファントス
問題で指導的な方と感心しました、当たり前でしょうがw)

ブログの冒頭に、
>誤解や不正確な情報の拡散に歯止めを掛けるためにも、
>また最も中核的な当事者である私自身の考えに関する明示的な記録・
「証言」を残す とあります。

ならば、なぜ望月氏はNHKスペシャルのインタビューではっきり説明と
意見をのべないのか?に尽きます。
東工大で受理された5人論文について石倉朝日記者のインタビューを
受けていますね。
望月氏本人がIUTTとcor.3.12を明確に説明すれば「明示的な記録」が
残りましたのに。
(cor.3.12はself.evidentでしょうか)

石倉朝日記者2021.11.24

URLリンク(www.asahi.com)

514:132人目の素数さん
22/05/24 06:21:59.21 GC7F4D6Q.net
zb math review G .ファルティングス
Topics in absolute anabelian geometry. III: Global reconstruction algorithms
URLリンク(zbmath.org)

515:132人目の素数さん
22/05/24 06:26:32.97 GC7F4D6Q.net
>>490
The paper under review is the third part of a series (for part I, II,
see [S. Mochizuki, ibid. 19, No. 2, 139–242 (2012; Zbl 1267.14039);
ibid. 20, No. 2, 171–269 (2013; Zbl 1367.14011)]).
It is not easy to read because much of it consists of remarks,
and there are many definitions which introduce new terminology.
Its general topic are attempts to recover a scheme from its (profinite)
fundamental group.
The theorem of Neukirch-Uchida states that two number fields are
isomorphic if their absolute Galois-groups are. The proof is indirect and
shows that they cannot be different.
However, for the fundamental group of a hyperbolic curve over a number
field (which is an extension of the absolute Galois-group of the number
field by the geometric fundamental group) the author shows how to
recover more information about the field.
The proof uses fully faithfulness of the fundamental group functor
as well as Belyi’s theorem.

516:132人目の素数さん
22/05/24 13:33:00 sEuEBOy1.net
math_jin はこれ何者なの?
URLリンク(twitter.com)

正直、無歓迎なアマチュアが数理研の広報まがいのことまでやってるとしたら、かなりイタいやつだと思う
(deleted an unsolicited ad)

517:132人目の素数さん
22/05/24 16:20:44.69 2zHgQ9tV.net
基本的にプロだったらSNSでは名前出すべきだし、普通はそうする
たまにTwitterで自称博士の癖に匿名でやってる気持ち悪い奴いるけど
院生までだろうそんなセコいのは

518:132人目の素数さん
22/05/24 16:45:44.81 9jGreL20.net
そもそももちろんコイツも望月論文理解なんぞしてないやろ
してるんなら自分で解説論文でもなんでも書けばいい
まがりなりにも数学の教育受けた人間が「なんかわからんけどとりあえず宣伝だけしてみよう」とかあり得ない、わからんなら「わかりません、わかるように書いて下さい」かそれが無理ならわかる資料が出てくるまで黙っとくのが当たり前
わからんもの宣伝するとか完全に理系の人間が学んでなければいけなかった一番大切なものを学べてない

519:132人目の素数さん
22/05/24 16:54:03.37 2zHgQ9tV.net
2012年にはこれは読めばチャンスと皆思っていて、こぞってダウンロードしたんだよな
ショルツはたまたまその中の一人に過ぎない
結果どうなったかは一目瞭然。身内とロートルだけ

520:132人目の素数さん
22/05/24 16:59:35.91 /E95aFP+.net
わからんものを宣伝するのはよくないね

521:132人目の素数さん
22/05/24 21:13:56.12 N/8QjdY9.net
>>489 その通り!
要するに望月さんは、真っ当な批判者に対して、悪魔の証明を要求して逃げているだけですよね。
明示的な記録を残しておくのは重要と仰るのに、
再三指摘されている集合論レベルの疑義について
明示的な記録を残さないのはなんでですか?
Self=evidentの一言で突っぱねるんじゃ、明示的な記録とは言えないですよね。

522:132人目の素数さん
22/05/25 11:17:50.14 uXAou1vN.net
望月新一氏の「Topics in absolute anabelian geometry. III:
Global reconstruction algorithms 」。
ショルツェ.スティクスレポートでokayama と共に参考文献にあり
cor.3.12に関し議論されている。
ファルティングス氏はレビュー>491の冒頭で
「It is not easy to read because much of it consists of remarks, and
there are many definitions which introduce new terminology.」と
アドバイス.指摘している。
この場合素朴に証明が「The proof is indirect」なら背理法は成り立つの?
「復元」もrestoration or reconstraction?望月新一氏独特の「遠アーベル
幾何学」用語でIUTコミュニティ(仮称望月中心スクールMCS)の用語だから
RIMS内の他分野の方も含め使うべき用語でないね。
cor.3.12はself evident?に対してまずIUT論文の後ろの4部から


523:読め、 遠アーベル幾何学の準備論文を読め、だのRIMS関係と思われる 望月理論信奉者のアドバイスのレスは実際に論文を読んで眺めて 時間のムダになった。 まずファルティングス氏のレビューを読むべきだった。 なぜ上記論文も特にIUT論文も取り下げすっきり集合論と証明形式を ふまえ明確に書き直さなかったのか。 望月氏がNスペのインタビューを受けないのに混乱するから、 更なるremarkもFAQも解説文も必要ないです



524:132人目の素数さん
22/05/25 15:34:34 QA2IV53O.net
あの絶対遠アーベルの論文やフロベニオイドをの構造ファルティングスは当然かなり
理解しただろうが、ショルツと同じように局所ホッジ理論を抽象位相群を経由して
一般化するという
アイデア自体を認識していないことになる

525:132人目の素数さん
22/05/25 15:45:42 dcP/6yab.net
アイデアはどこまで証明されました?

526:132人目の素数さん
22/05/25 17:45:25.48 COIU4YQP.net
NHKに対してははっきり答えてるじゃん。素人向けに説明するのは無理だって。

527:132人目の素数さん
22/05/25 17:52:51.33 dR65f7jp.net
素人向けに説明したら玄人にはもちろん理解できてしまうので研究で先を越されてしまうかもしれないからな
自分たちだけでじっくり時間をかけて研究費を貪ろうという魂胆なのではないか?

528:132人目の素数さん
22/05/25 18:49:18.35 QA2IV53O.net
ムーでも読んどけよお前は

529:132人目の素数さん
22/05/25 21:05:58.07 BQ5mBgPh.net
>>501
石倉朝日記者には説明しているね

530:132人目の素数さん
22/05/25 23:57:56.75 6px5C8bF.net
結局トンデモ理論なの?

531:132人目の素数さん
22/05/26 01:09:25.52 yFmd+I9H.net
あんまり関係ないが、軽くIUTの中身を見ていたらちょっと前に5chで直感ベースで
言った話が見事に当たっていたんだが、それも昔デタラメ書いてるとか言われていたな
5chでは適当な突っ込みもあんまりアテにならない、自分を信じたほうがいいと思った
>>505
例えば捏造かと言われるとそうではないな。ちゃんと本人なりに真面目に作った理論
なのは確か
少数だけど正しいと思って調べる仲間もいるにはいるわけだし

532:132人目の素数さん
22/05/26 02:40:43.20 NscnqDSw.net
>>497
Self evidentは、IUT理論の構造じゃ∧で集合系を定義されており、反例で∨を使ったら誤りとのこと?
もしそれならばSelf evidentで放置はせずに論文で解説してるかな。
そもそも「∧で定義した集合系」であるならば、それを∨で扱えば「定義の前提で誤り」で、集合演算の基本の法則の理由となる。

533:132人目の素数さん
22/05/26 02:45:37.73 QYOyrG2r.net
IUTで公費が着いてんだよな
いつに成ったら説明するんだ?公の金が発生していて説明渋るゴロ団体を許すとか日本ぐらいだぞ

534:132人目の素数さん
22/05/26 08:55:30.87 GXbtr0KF.net
>軽くIUTの中身を見ていたらちょっと前に5chで直感ベースで 言った話が
見事に当たっていた
論文が、リマークだらけ、新しい用語や非標準的定義の使用、のIUTに
直感ベースなら何でも言えそう

535:132人目の素数さん
22/05/26 09:56:58.86 BpnP2KZp.net
>>506
嘘くさい

536:132人目の素数さん
22/05/26 11:34:28.01 SXfYvN5s.net
>>510
みんなそう思っているので
指摘するには及ばない。

537:132人目の素数さん
22/05/26 22:50:39.98 4WPnXJB6.net
>>506
軽く発狂
軽く痴呆

538:132人目の素数さん
22/05/26 23:16:44.48 obUFGJrE.net
>>510
信じる信じないはどうでもいいけど、わざわざ嘘でそんなレスする価値はないと俺は
思うが。心から思ったからな。勿論単なる定義の話じゃないが
それより、君みたいな反応があるってことがこの板にコンプで荒んだ人間がいる
何よりの証明でもあると思う

539:132人目の素数さん
22/05/26 23:29:01.39 obUFGJrE.net
>>507についても見当違いというか、もっと具体的な計算の話であることを
誰も指摘しない時点で、こういう悪口しか言えない連中は高が知れてるんだよなあ
どのみち自分でよ~く実感したよ、数年越しだけど
尤も、そのことと100%理論が正しいかどうかはまた別の話だがね

540:132人目の素数さん
22/05/27 08:21:05 AXlldAtx.net
「Self evident」の経緯はRIMSの方が望月氏へ皆行き詰まったcor.3.12
を問うたら後に「self evident(自明)」と回答があった話でk講義録と
quanta magazine 2018.9.20が触れている。
以後、cor.3.12がselfevidentの理由を説明しろと言われてきた。
系だから当たり前のつまらん過去レスまであったが、、
(2017年12月石倉朝日記者「IUT論文を受理予定」のソース不明記事
以降の過去レスを読んだらjinが内外とこのスレで大暴れし害と批判されて
いる。)
現状は、IUT論文や解説論文や準備論文が∧v論以前にリマークだらけや
望月氏独特の非標準的な定義や新用語だらけ。
ロバーツのブログでは結論が逆になる場合まであると指摘している。


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch