Inter-universal geometry とABC 予想50

**１３２人目の素数さん** · 2022/08/06(土) 16:46:00.77

未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。

荒らしはご遠慮願います
応援スレとの棲み分けにより、懐疑的な意見も歓迎です
関係者の匿名的な論理的擁護も歓迎です

前スレ
Inter-universal geometry とABC 予想49
https://rio2016.5ch.net/test/read.cgi/math/1650714023/

**１３２人目の素数さん** · 2022/08/06(土) 16:57:31.40

なんだ、立てちゃったのか
トンデモ理論のスレなんか
荒らしの巣窟になるから
立てなきゃいいのに

**１３２人目の素数さん** · 2022/08/06(土) 17:23:52.21

むしろスレ主が荒らし

**１３２人目の素数さん** · 2022/08/06(土) 17:43:18.89

マジか・・・クソだな

**１３２人目の素数さん** · 2022/08/06(土) 18:04:59.49

自分の思い通りにならないからってギャアギャア喚くのは誰かさんと同じ

**１３２人目の素数さん** · 2022/08/06(土) 18:06:53.78

まず、未だに日本では解決したことになっている
その上、数学板には応援スレが居座っている
ここは一方的な批判スレではないが、批判をレスしやすい環境はあってよい

**１３２人目の素数さん** · 2022/08/06(土) 18:18:48.62

>>未だに日本では解決したことになっている

全然。5月にある数学者(学士院賞受賞者)が
あれでは認められないとはっきり言っていた。

**１３２人目の素数さん** · 2022/08/06(土) 18:25:59.02

個人的に認めてない数学者なんかいて当たり前じゃん
公的なレベルでは取り下げはないし、解決された前提で解説書が出てるし、
未解決だとあからさまに批判が出ることはない

**１３２人目の素数さん** · 2022/08/06(土) 18:34:16.27

>>8
>>公的なレベルでは取り下げはないし、解決された前提で解説書が出てるし、

そういうことのいきさつ全体に疑義が呈されてからの
一定以上のレベルの数学者たちの目の色を見れば
現時点で
「未だに日本では解決したことになっている」
とは言えないはずだが、おかしいな。
「日本では」が言いたいことはわかるが。

**１３２人目の素数さん** · 2022/08/06(土) 18:46:26.48

>>9
ちゃんと文章読んでる？公的なレベルで明らかにおかしいよね、という発言は
まだ出ていないし、会合でも完全に否定できる空気はない

専門家の暗黙なレベル、公的なレベル、一般の認識レベル、これら全部が問題になる
今のところ査読を通過し、出版され、RIMSでは認められ、一般的にも
まだ議論はあるが解決されたと思っている層も少なくないという状況

**１３２人目の素数さん** · 2022/08/06(土) 18:48:46.95

ていうか、名前も出せない立派な数学者がどうとかどうでもいいよ
それならまだ、俺は代数幾何学やってるがこれが理解できないという方が役立つ

**１３２人目の素数さん** · 2022/08/06(土) 19:05:58.87

これは見方を変えれば、完全に否定とまではしなくても、証明がおかしいと
手触りでわかる専門家がPRIMSを批判、少なくとも疑問を呈するくらいはあってもいい
だが、未だにそれはない

日本の中でも一応際立っているRIMSが認めている間は、海外からは一緒くたに
見られやすい状況にある

**１３２人目の素数さん** · 2022/08/06(土) 19:35:52.34

>>12
一時はそうだっただけのこと
状況は常に変化する
いつまでも「正しいと思ってもらって構わない」という
ご選択が通用しているとは
世界の数学者も
日本の数学者も
ほとんどがそう思っていないだろう。

**１３２人目の素数さん** · 2022/08/06(土) 19:57:44.55

>>6
>日本では解決したことになっている
　あれは朝日とNHKが悪い
　そういえば統一ナントカの件でもこの二社が頑なに報道しない　クソだな
>数学板には応援スレが居座っている
　あれはクソスレだから無視していいｗ　

**１３２人目の素数さん** · 2022/08/06(土) 19:59:33.98

>>7-8
「ある数学者(学士院賞受賞者)」が誰だか知らんが、その主張はまったくごもっとも
しかし名前を隠蔽するのがイカレてる　こんなことでは人類は滅びるｗ

**１３２人目の素数さん** · 2022/08/06(土) 20:45:35.63

>>9
「いいたいことわかる」ならつっこむなよｗ
>>10-12
ま、要するに「なにいってんだかわかんない」けど
具体的に文句つけんのメンドクサイからほっといてる
というのが正直なところか
ショルツは商売に差し障るから具体的にツッコんだけどな

**１３２人目の素数さん** · 2022/08/06(土) 20:47:24.67

>>13
＞「正しいと思ってもらって構わない」
それあくまで国内向け文科省向けの
ぶっちゃけ嘘トークだよなｗ

**１３２人目の素数さん** · 2022/08/06(土) 21:29:22.59

>>1
おつ

**１３２人目の素数さん** · 2022/08/06(土) 21:35:11.26

>>17
事ここに至っては
そう言われても仕方ない。
フェルマー予想でラメが誤報を発したときに
コーシーがサポートしたことに
どこか似ている

**１３２人目の素数さん** · 2022/08/07(日) 08:59:54.50

N線のときはポアンカレ(=ポワンカレ)が
サポートしたらしい

**１３２人目の素数さん** · 2022/08/07(日) 09:07:44.22

>>20
ポアンカレは「フランス大好き」な人だからね
クラインともヒルベルトともケンカしたらしいから
数学以外では●違いな人だったんだろう

**１３２人目の素数さん** · 2022/08/07(日) 09:10:40.58

でもワイエルシュトラスのことは
非常に尊敬していた

**１３２人目の素数さん** · 2022/08/07(日) 12:58:33.16

実際問題、玉川・星・加藤の三人で岩波でなくとも日本評論社や講談社から
解説書を出したっていいんだけどな
彼らは正しいと言っているし、彼らのキャリアからしたら最も重要なモーメントな
はずだから、本当に正しいならばそれくらいの労力を割けるはず

**１３２人目の素数さん** · 2022/08/07(日) 15:24:19.28

>>23
無理だろｗ
玉川は理解できてない
星はもう関わりあいたくない
加藤は例の本以上のことは書けない
これが実態よ　理論なんてない　ただの構想

**１３２人目の素数さん** · 2022/08/07(日) 15:28:51.98

ただの構想だけで学位を取った人もいたのでは？

**１３２人目の素数さん** · 2022/08/07(日) 15:42:45.70

>>25
構想ならそう白状すればいい
しかし、実際は「ABC予想が証明できた」と主張している
論理を有する理論でないなら、それは嘘ってことになるな
嘘ついたらあかんよな　人として

**１３２人目の素数さん** · 2022/08/07(日) 15:48:04.11

理論はあるが主定理が不完全な現状

**１３２人目の素数さん** · 2022/08/07(日) 15:58:31.25

>>27
系3.12が実は定理になってないんでしょ？

だったら理論としては十分ではなく
肝心のところが「構想」のままってことよ

**１３２人目の素数さん** · 2022/08/07(日) 16:00:27.38

10年以上に渡る研究で１０００ページの論文を書いてそれが完全な誤りだったならば、
何もせずにずっと寝ていた方がよかったのではないか？

**１３２人目の素数さん** · 2022/08/07(日) 16:00:36.95

10年以上に渡る研究で１０００ページの論文を書いてそれが完全な誤りだったならば、
何もせずにずっと寝ていた方がよかったのではないか？

**１３２人目の素数さん** · 2022/08/07(日) 17:00:17.96

そんなことはないだろう
結果より過程が重要

**１３２人目の素数さん** · 2022/08/07(日) 17:03:58.17

研究レベルだと副産物があったかどうかにもよる
学生レベルや勉強レベルだと、完全に正しくなくてもあれこれ考えるのは有意義
そこで修正、自己批判できないのが駄目なのよ、応援スレの人みたいに

**１３２人目の素数さん** · 2022/08/07(日) 17:08:58.26

>>そこで修正、自己批判できないのが駄目なのよ、応援スレの人みたいに

著者本人はどうなんだ？

**１３２人目の素数さん** · 2022/08/07(日) 18:27:45.88

>>29-30
失敗は重要　失敗の積み重ねで成功への道が開かれる

**１３２人目の素数さん** · 2022/08/07(日) 20:22:55.20

＞応援スレの人
なんかまた性懲りもなく「箱入り無数目」のスレに
「箱入り無数目は間違ってる！」って書きこんでるけど
中卒って哀れだね

**１３２人目の素数さん** · 2022/08/08(月) 08:34:56.58

中卒は時枝みたいのに弱い

**１３２人目の素数さん** · 2022/08/08(月) 08:43:42.21

>>36
彼は確率０に拘ってる時点で誤り
「箱入り無数目」の確率計算は「箱の中身を入れ替えない」場合であって
毎回の試行で箱の中身を入れ替える場合は確率計算できないことを
指摘するのが正解

**１３２人目の素数さん** · 2022/08/08(月) 08:45:36.34

>>36
確率０に拘ってる時点で誤りだよな
「箱入り無数目」の確率計算は「箱の中身を入れ替えない」場合であって
毎回の試行で箱の中身を入れ替える場合は確率計算できないことを
指摘するのが正解

**１３２人目の素数さん** · 2022/08/09(火) 07:59:13.65

>>38
>「箱入り無数目」の確率計算は「箱の中身を入れ替えない」場合であって
>毎回の試行で箱の中身を入れ替える場合は確率計算できないことを
>指摘するのが正解

数学的に厳密に書いてみなよ
出来ないんだろ？ｗ

**１３２人目の素数さん** · 2022/08/09(火) 08:15:15.63

>>39
数学的には非可測性から示せる
測度論知ってれば誰でもわかる
ま測度論どころかリーマン積分すら理解してない
中卒には死んでも無理だけどな

**１３２人目の素数さん** · 2022/08/09(火) 08:20:46.71

非可測＝測度論では決定不能、という意味

**１３２人目の素数さん** · 2022/08/10(水) 10:18:54.76

IUT死んだ

**１３２人目の素数さん** · 2022/08/10(水) 15:35:42.06

あと十年くらいで機械学習がabc解きそうな気がする

**１３２人目の素数さん** · 2022/08/10(水) 16:41:17.09

AIがあと5年くらいでIUTの評価を
してくれそうな気がする

**１３２人目の素数さん** · 2022/08/10(水) 16:59:09.78

裁判やな

**１３２人目の素数さん** · 2022/08/11(木) 10:50:07.11

裁判ならもうAIに任せればよい

**１３２人目の素数さん** · 2022/08/15(月) 19:35:31.81

wikipediaのABC予想のノートでバトルやってるねｗ

BSscddとかいうヤツ、何がしたいのかね？
●●の一つ覚えのように
『「Wikipedia:信頼できる情報源」で、
　査読済み論文を「もっとも信頼できる」としています』（キリッ）
と吠えてるけどさ、Diagonalに
「英語版だって、証明が受け入れられてないって書いてあるけど、何か？」
と返されて、沈黙　ああ、みっともねぇｗｗｗ

挙句のはてに、改良論文について書いた文章のあとに
「論文中に系３．１２を前提するって書いてあるから
　系３．１２の証明の疑義に答えてない」って
追記されたのが気に入らなくてｍリンク先に書いてないとか
ギャアギャアわめくBSscddを、Diagonalが
「ん、論文中にあるよ。ほれプレプリントにも書いてあるけど、何か」
って斬首で瞬殺しててマジワロスｗｗｗｗｗｗｗ

**１３２人目の素数さん** · 2022/08/15(月) 20:01:10.32

BSDを文字ってるな

**１３２人目の素数さん** · 2022/08/15(月) 21:10:18.57

数学界におけるabc予想の状態については数論幾何及び形式的証明の
専門家であるBuzzard（全体講演）のICM proceedingsにある通りです
arXiv:2112.11598v2
>A great example is Mochizuki’s claimed proof of the ABC
>conjecture [Moc21]. This proof has now been published
>in a serious research journal, however it is clear that it is
>not accepted by the mathematical community in general.
deelLによる翻訳
>その好例が、望月が主張したABC予想の証明[Moc21]である。
>この証明は、現在、まともな研究誌に掲載されているが、
>数学界一般には受け入れられていないことは明らかである。

**１３２人目の素数さん** · 2022/08/15(月) 21:17:39.64

>>47
色々と追い詰められてるらしいから本人では？

**１３２人目の素数さん** · 2022/08/16(火) 02:50:54.75

😘ま🏩ゆ💒ゆ🥰

**１３２人目の素数さん** · 2022/08/16(火) 09:17:22.66

天網恢恢疎にして漏らさず

**１３２人目の素数さん** · 2022/08/16(火) 09:36:39.12

漏れて崩れる

**１３２人目の素数さん** · 2022/08/16(火) 16:29:05.77

>>47

どっかで見たような文体(笑)

>「検証可能であることと真実であることの違い」について、次のような例が挙げられています。
>あなた（ウィキペディア編集者）が、ある著名な学者の「X理論」についてウィキペディア記事を
>書いているとします。X理論は査読審査を経て学術誌に掲載されているため、記事として適切です。
>しかしその学者があなたに「今ではX理論は完全に誤り」だという考えを伝えました。その学者の
>発言は（学術的真実であると言えますが、）学術誌にもマスメディアにも掲載されていないため、
>ウィキペディアに書いてはいけません。

**１３２人目の素数さん** · 2022/08/17(水) 19:21:52.59

>>54
なんかBSscddって馬鹿だな
Diagonalに
「おめぇ、モーダスポネンスも知らねぇの？」
ってつっこまれてるし

**１３２人目の素数さん** · 2022/08/19(金) 13:43:30.00

裁判で決着って言っても
裁判所に鑑定人として数学の権威を
呼ばれるだけで結局、数学村での合意が
裁判の結果になるわけで
トートロジーになっちゃうよね

**１３２人目の素数さん** · 2022/08/19(金) 15:00:31.68

だとして国の地頭を視られて世界中からまた新たに白い目で見られる理由が増える

**１３２人目の素数さん** · 2022/08/19(金) 17:10:48.74

モッチー(´；ω；`)ｳｯ…

**１３２人目の素数さん** · 2022/08/19(金) 20:16:05.25

RIMSではゲージ場の量子論のBRS対称性とBRSコホモロジーが議論されていた。
「BRSコホモロジーへの調和積分論的アプローチ」
今のRIMSは現代数学の禁じ手を使う全く新しい数学IUTなる奇異な世界へいってしまった。

**１３２人目の素数さん** · 2022/08/19(金) 21:35:31.22

>>59
BRSコホモロジーは奇異？

**１３２人目の素数さん** · 2022/08/19(金) 21:49:19.86

当然、IUTが奇異

**１３２人目の素数さん** · 2022/08/19(金) 22:02:02.67

そして裁判へ

**１３２人目の素数さん** · 2022/08/19(金) 22:23:25.72

かわいいすぎる

まゆゆ🌚🌝

**１３２人目の素数さん** · 2022/08/19(金) 22:59:33.20

>>61
BRSは今のRIMSの話じゃないわけね

**１３２人目の素数さん** · 2022/08/20(土) 00:12:45.82

BRS量子化BRS対称性は素粒子物理で発見された。
九後「ゲージ場の量子論」では素粒子標準モデルがBRS量子化の視点より
明確な物理体系となった。
科研費 1995年 RIMSの「BRSコホモロジーへの調和積分論的アプローチ」は
小嶋泉代表中西㐮共同研究者。
2019年4月RIMSは量子幾何学研究センターを廃止し、IUTTの研究を中心とする
次世代幾何学研究センターを設置した。 

**１３２人目の素数さん** · 2022/08/20(土) 00:20:46.14

はあ？数理物理学者がBRSコホモロジー使って何が悪いんだ？

**１３２人目の素数さん** · 2022/08/20(土) 00:59:42.75

お見送られ芸人しんいち

**１３２人目の素数さん** · 2022/08/20(土) 20:36:19.13

202X年X月RIMSはIUTTの研究を中心とする次世代幾何学研究センターを廃止し、
●●幾何学研究センターを設置した。

早けりゃ今年、遅くても来年には実現せんと、RIMSそのものが解体･･･

**１３２人目の素数さん** · 2022/08/21(日) 08:51:01.10

もはやABCアノンだよね

**１３２人目の素数さん** · 2022/08/21(日) 16:53:31.77

すでにRIMS以外の大学で数理解析が研究されているしzoomで会議の時代。
現代数学の禁じ手を使い全く新しい未完の「数学」IUTが特徴では、
RIMSは存在意義があるのかしら

**１３２人目の素数さん** · 2022/08/21(日) 16:59:55.96

PRIMSは
編集長の筆になる
RIMSの存在意義に関する
1000ページの論文を掲載すべきかもしれない

**１３２人目の素数さん** · 2022/08/21(日) 17:23:48.75

まああんな奴一人の暴走止められなかった時点で
数研の連中は無駄飯食う資格なし
はよ解体しろ

**１３２人目の素数さん** · 2022/08/21(日) 17:37:42.99

まぁ無理やね
個人的には今回の件は京大の偉大な歴史に泥を塗った案件だと思うけど、その評価が確定していくには下手すると半世紀くらいかかるかもしれん
そもそも数学者自身が自分から身内の不祥事騒ぎ立てることもないし、外部の人がなんかきな臭い事起こってると思って調査しようと思っても事態の解明に協力する数学者も出てこない
他の科学のジャンルと違って不正を証明するなんてほとんど不可能だからな
このまま逃げ切りでしょ

**１３２人目の素数さん** · 2022/08/21(日) 17:52:48.96

解らないんですね

**１３２人目の素数さん** · 2022/08/21(日) 18:02:45.07

要するに数学者としての魂をカネに変えたんだよな、あそこの連中

**１３２人目の素数さん** · 2022/08/21(日) 18:05:34.75

いや金は主題ではないだろ
あれくらい学力ありゃ勉強して外資くらい行けるし

**１３２人目の素数さん** · 2022/08/21(日) 18:57:45.04

スキャンダル発覚で終わるかもねw

**１３２人目の素数さん** · 2022/08/21(日) 19:06:34.67

>>73
>このまま逃げ切りでしょ

たしかにそういう願望はありますね。
しかしNスペで玉川氏.加藤文元氏.ファルティングス氏デュピイ氏のコメントは
IUTには致命傷だった。
海外の数学者もNスペを見ていたんだよね。

**１３２人目の素数さん** · 2022/08/21(日) 20:12:53.76

図形(文字及び記号)Aについて
A≠A
これを認めるって凄いな
論理学の第一原理同一性規則を破るとはｗ

**１３２人目の素数さん** · 2022/08/21(日) 20:15:44.34

俺も整数の0についてもし
0≠0だったらということを考えたことはある
そうするとたとえばy=x^2は関数ではなくなる
どうやら現状よりも数学が縮小する傾向がみられたので
0≠0を考えることは止めたけど

**１３２人目の素数さん** · 2022/08/21(日) 22:38:11.79

ナッシュも症状がひどかった頃はわけわからん「リーマン予想の証明」
発表したり、色々あったみたいだけど、
偉い人だから、で放任したり変な取り巻きが湧いてこなかったのが
国力や文明度の差だな、って思うわ

**１３２人目の素数さん** · 2022/08/21(日) 23:59:42.02

とかくstap細胞の話と比較されるけどあの世界と決定的に違うのは不正を証明する手段なんかないという事
いくら「stapはありまーす」と叫んだところでも再現実験を要求されてできなければ終わり、実際小保方女史も再現を要求されてできなかった事で完全に詰んだ
しかし数学の世界はそうなってない
基本数学の論文は誰がどう読んでも一意にしか意味が取れず、行間なんかないというのが建前ではあるけど、実際の論文には中々どうしてその道の専門家でなければ埋められない行間というのはある
望月論文がこれだけ認められてない事からして“行間だらけ”なんだろ
査読者は業界で認められてる範囲内の行間で自分でそれが埋められれば“問題なし”とするしそれはそれでいいやろ、ある程度は認めるのが普通
今回の件は「ホントに査読者は論文の行間をキッチリ埋めて読んだのか、読めた気になっただけ、あるいは埋められなかった行間もあったけどガン無視したのではないか」という疑惑
しかしそんなの証明しようもない、「行間埋められるなら埋めて見せろ」と強制するような制度など存在しない、数学者はそんな不正しないしそんな普通の数学者が埋められないような「行間だらけ」の文章を論文査読者が認めることなどあり得ないという“性善説”で制度作ってきたからな
そしてやはり数学村では今回のは特例中の特例、こんな事態は二度と起こらんでしょと今までの路線貫いて終わりでしょ

**１３２人目の素数さん** · 2022/08/22(月) 01:44:20.11

>>58
泣くな、、

**１３２人目の素数さん** · 2022/08/22(月) 07:31:14.43

>>79
それは大雑把に見た時の主張であって、実際には変形について「一応考えている」のは
事実。簡単に言うとまさに古典的な幾何学像通り群と各々の空間をセットで考えつつも
それを更にモノイドを経由して俯瞰的に一般化しようとしたのだが

どちらかといえば不正云々というより、一応考えた結果正しい描像だと信じてしまった
点が問題かなと。それがあまりに受け入れられなければ反省する必要があるのだが、
引くに引けないのかまだ信じているのか外野にはわからない

**１３２人目の素数さん** · 2022/08/22(月) 08:31:11.59

結局1000ページもあるが過去の認められた業績に基づく「見通し」にすぎないのだな。
で「見通しにすぎない、埋めるべきところがある」という指摘に万人に納得できるパフォーマンスができないでいる。
忘れられていくのかな。これで多くに認められるABC予想の解決が他で出てしまうと決定的だろうね。
それで逆にIUTTに見えてくるものがあるかもしれないけど。

**１３２人目の素数さん** · 2022/08/23(火) 09:07:49.80

IUTの構想はディオファントス問題.abc予想の解決に向けた基本的な
アイデアに欠けているから表面的で部品の寄せ集めになっていて、
全体が現数学と異なる言語.IUT語に依拠している。
NスペでIUT共同構築者加藤文元氏は言語(IUT語)が未完成とコメントした、
つまりPRIMSが受理したIUT論文はIUT語の論文としても
未完成でabc予想は証明されていなかった。

**１３２人目の素数さん** · 2022/08/23(火) 09:41:05.50

そんな論文を通すなど以ての外とは
誰も思わなかったのかな

**１３２人目の素数さん** · 2022/08/23(火) 12:11:15.77

本人なりの論理的なアイデアはあるんだよ
正しい論理的アイデアがなさそうだというだけで
実力がそれなりにある人が強力な難問の魔力に呑まれたケースかなと

**１３２人目の素数さん** · 2022/08/23(火) 12:39:29.97

吞まれるのは当人の勝手だが
周りまで吞まれちゃいかんね

**１３２人目の素数さん** · 2022/08/23(火) 13:24:29.11

2018年3月　望月新一星.ショルツェスティクス会議後、
ショルツェ氏の発言
「I didn’t really see a key idea that would get us closer to the proof of
the abc conjecture.」　quanta.pmagazine.2018.09.20

「abc予想の証明に近づける鍵となるアイデアを実際には
見当たりませんでした」google 翻訳

**１３２人目の素数さん** · 2022/08/23(火) 14:03:39.32

人心離れてる

**１３２人目の素数さん** · 2022/08/23(火) 15:14:07.61

>>88 いっちゃなんだが、重篤な糖質でしょ
　ナッシュと同じ
　変な取り巻きに籠絡されて、お山の大将、裸の王様状態。
　本人もその生ぬるい居心地の良さに満足してしまっている。
　回復は無理そうだね。

**１３２人目の素数さん** · 2022/08/23(火) 20:09:57.79

糖質＝統失

**１３２人目の素数さん** · 2022/08/23(火) 23:02:19.91

IUT=錬金術か？

**１３２人目の素数さん** · 2022/08/24(水) 05:53:33.84

ハイルヒトラー、ジークドイツ
↓
ハイルモッチー、ジークRIMS

IUTは宗教

**１３２人目の素数さん** · 2022/08/24(水) 19:37:00.93

今更で恐縮だけど、multiradialって何？

**１３２人目の素数さん** · 2022/08/25(木) 09:02:25.44

main construction of IUT is the multiradial representation U of P, an orbit under the indeterminacies (Ind1, 2, 3), which (roughly) concern the automorphisms of local Galois groups; automorphisms of local unit groups;

**１３２人目の素数さん** · 2022/08/25(木) 09:34:55.68

>>97
何処からの引用ですか？

**１３２人目の素数さん** · 2022/08/25(木) 10:45:14.21

>>98
multiradial IUT でググったら出てきた

**１３２人目の素数さん** · 2022/08/25(木) 11:23:38.68

>>99
サンクス

**１３２人目の素数さん** · 2022/08/25(木) 20:36:04.59

>>96
政治家と同じでご都合主義で何かを忘れたり覚えていたりする時に使う言い訳

**１３２人目の素数さん** · 2022/08/25(木) 21:42:28.44

星裕一郎　宇宙際 Teichmu ̈ller 理論入門
§0 序
§7 多輻的アルゴリズム

多輻的アルゴリズム
(multiradially defined algorithm/multiradial algorithm)

・「単輻的アルゴリズムとは, (“多” 数の上部 “輻” 的データに同時に
適用できない) 各々 “単” 一の特定の “輻” 的データのもとでのみ意味を
持つアルゴリズム」
・「多輻的アルゴリズムとは, “コア的データの同一視/共有” と両立する
形で “同時実行可能” なアルゴリズム」
「多輻的アルゴリズムとは, “多” 数の上部 “輻” 的データに同時に適用可能
な, “多” 数の上部 “輻” 的データに対して同時に意味を持つアルゴリズム」

注意
「本稿には, 説明のための不正確な記述が多数存在します. また, 当然の
ことですが, 何か物事を説明する際, その説明の方法は一意的ではなく,
そして, “最善なもの” というものも通常は存在しないと思います.
本稿で行われている解説は, あくまで, “ある時点での筆者が選択した
方法” による 1 つの解説に過ぎません. 別の方が本稿のような解説を
行えば, まったく別の方法による解説が得られるでしょう.
あるいは, 筆者が数年後に再びこの理論の解説を試みれば,
また別の方法による解説が得られるかもしれません.
宇宙際 Teichmu ̈ller 理論の本格的な理解を目指すならば,
どうしても原論文の精読が不可欠である, という当たり前な事実を,
ここに指摘します」

望月新一星ショルツェスティクス会議の星氏によれば、
著者本人の望月新一IUTT論文特にⅣ(4)を読めとのこと。

**１３２人目の素数さん** · 2022/08/25(木) 23:18:17.96

誰にも読めない「原論文」丸投げするしかできない「理解者」
笑

**１３２人目の素数さん** · 2022/08/26(金) 03:48:28.17

本当に理解しているなら論文を精読しろなんて要求する必要はないんだ
系3.12のギャップを埋める証明をしてみせればいいだけの話なんだ

**１３２人目の素数さん** · 2022/08/26(金) 08:15:50.55

＞今更で恐縮だけど、multiradialって何？

イタリア学派の「連続の原理」みたいなもん
明確に記述できる類のものではないが
IUTTの秘伝を伝授されれば操ることができるようになる

**１３２人目の素数さん** · 2022/08/26(金) 11:31:09.95

星のそれすらややこしい表現
大まかにはガロア群とモノ環境を共有した各宇宙の因子を繋げる仕組みだろ
つまりΘとqの結びつけだが、それが自明だと指摘された当のものだな

**１３２人目の素数さん** · 2022/08/26(金) 14:36:53.29

>>102
コア的アルゴリズムと多輻的アルゴリズムの違いが分からん
コア的でない多輻的アルゴリズムの例ってある？

**１３２人目の素数さん** · 2022/08/26(金) 14:49:36.80

>>106
ところで、系3.12の不等式の導出って
望月とショルツェのどっちに分がある？

**１３２人目の素数さん** · 2022/08/26(金) 15:09:18.54

>>107
RIMS星氏のコメントによれば
(IUT論文は2012年8月にPRIMSへ提出されているにも関わらず)、
時間によっても読者によってもIUT論文の解釈が異なるだろうと。
だから星氏のIUTT入門を読み更にIUT論文を読んで判断してください。

**１３２人目の素数さん** · 2022/08/26(金) 15:27:11.82

>>109
なんか星氏も自信ないんかな？

**１３２人目の素数さん** · 2022/08/26(金) 15:31:16.08

>>108
よくある勘違いだがRIMS vs SSでは全くない
ScholzeはCor 3.12のギャップから更に、同型の部分である意味単純化してギャップを埋めることでモノドロミーを示し、RIMSはそれに反論しているが、
そもそもそれ以前に、Cor 3.12の証明にギャップがあって理解できない数論屋が何人もいる(https://www.wired.com/story/math-titans-clash-over-epic-proof-of-the-abc-conjecture/)
SSがどうの言ったところでCor 3.12の証明が勝手に埋まるなんてことはないので、これらの数論屋は結局Cor 3.12には証明がまだないと判断するしかない
だから実際はRIMS vs 全世界の数論屋で、後者にしか分はない

**１３２人目の素数さん** · 2022/08/26(金) 17:25:31.59

>>111 本当に汚い連中だよね。
　本来はそんな安易な二項対立じゃないのに、
　メディア駆使していつのまにかそんな対立に認識をすり替えてる。
　重要なポイントの証明が存在せず、自称理解者の誰もがその点は言及せずはぐらかしているのが一番の要点。
　現状に不満があるならここを説明すればいいのに、なぜかそれは誰もやらず
　掲載受理や権益獲得を一方的に急かすばかり

**１３２人目の素数さん** · 2022/08/26(金) 17:54:10.39

自分に甘く、他人に厳しくして信頼がなくなったのかな～

**１３２人目の素数さん** · 2022/08/26(金) 18:00:57.91

少しでも数論幾何の知り合いがいたらわかるが、誰も本当の意味では読めてないからな
多くの人がDL、印刷して読んでるんだけど

**１３２人目の素数さん** · 2022/08/26(金) 18:03:17.08

>>107
コア的とunradialを混同してない？多幅アルゴリズムは基本的にコア的だったと
思うけど

**１３２人目の素数さん** · 2022/08/26(金) 18:03:40.29

uniradialね

**１３２人目の素数さん** · 2022/08/26(金) 20:41:59.15

>>111
＞RIMS vs SSでは全くない
　そこはわかってるつもり
　SSはギャップを「単純化」という形で埋めると
　モノドロミーで上手くいかないし
　他のいい方法があるとは思えないといった
　望月は専ら「単純化」が間違ってるというだけで
　上手くいく方法は示し得なかった
　結局不等式の導出は望月の思い込みによるだけみたい
　望月以外の誰も、代わりに説明できないから
＞実際はRIMS vs 全世界の数論屋で、後者にしか分はない
　やっぱり望月に分は全くないんですね

**１３２人目の素数さん** · 2022/08/26(金) 20:44:00.84

>>115
＞多輻アルゴリズムは基本的にコア的だったと思うけど
　じゃ、もう一つ質問
　多輻的じゃないコア的アルゴリズムはあるんですか？

**１３２人目の素数さん** · 2022/08/27(土) 01:39:46.01

Cor 3.12の証明ギャップって
もう少し具体的に書くとどういうことなのですか？
高校生で分かる感じで説明して頂けるとありがたいです

**１３２人目の素数さん** · 2022/08/27(土) 11:17:16.57

> 多輻的アルゴリズム　>コア的アルゴリズム
星IUTT入門　§7 多輻的アルゴリズムでは

2 種類の数学的対象と, それらを結ぶアルゴリズム) に対して,
輻的データをその “入力” とするあるアルゴリズム Ψ が与えられたと
しましょう.
「そのアルゴリズム Ψ がコア的データにのみ依存するとき,
アルゴリズム Ψ はコア的アルゴリズム (corically defined algorithm/coric
algorithm — cf. [12], Example 1.7, (iv)) 」
「そのアルゴリズム Ψ が “(輻ほデータと何らかの関連性があった
としても) コア的データの観点から記述可能” であるとき, アルゴリズム
Ψ は多輻的アルゴリズム (multiradially defined algorithm/multiradial
algorithm — cf. [12], Example 1.7, (iv)) 」
「そうでないとき, アルゴリズム Ψ は単輻的アルゴリズム (uniradially
defined algorithm/uniradial algorithm — cf. [12], Example 1.7, (iv)) 」

とも「定義」されています。

**１３２人目の素数さん** · 2022/08/27(土) 17:36:50.13

>>112
> 　重要なポイントの証明が存在せず、自称理解者の誰もがその点は言及せずはぐらかしているのが一番の要点｡
> 　現状に不満があるならここを説明すればいいのに、なぜかそれは誰もやらず

そうだな。それに対する回答が望月新一は「読めば分かる」だし加藤文元は「墓場まで持っていく」だからな｡

**１３２人目の素数さん** · 2022/08/27(土) 21:38:16.13

BSscddはホッシーか？

**１３２人目の素数さん** · 2022/08/28(日) 15:34:02.22

星IUTTサーベイ.続.宇宙際 Teichmu ̈ller 理論入門は
「§25 Θ×μ リンクと両立的な多輻的表示とその帰結」で
それまでの各部品を集め主要定理th.3.11とcor.3.12 を解説している。
一方、
玉川氏「(IUTは)現代数学の禁じ手を使った」「全く新しい理論」で
「IUT論文は完璧」。
加藤文元氏「IUTTと現今の数学との違いをきちんと完全に言語化する、
新しい数学の言語体系を、早急に作らなければいけないんじゃないか」
玉川氏と加藤文元氏のコメントは特にcor.3.12も該当しますね。

**１３２人目の素数さん** · 2022/08/28(日) 22:15:25.26

IUT4の最後でMzkがやってること誰か教えて

身内にさえこう言われるIUTってだめぽ

**１３２人目の素数さん** · 2022/08/29(月) 06:50:28.38

>>122　Math_Jinじゃね？
>>123　
星はホンネを書かないからわからないが
玉川と加藤文元は、望月の方法が（今の数学では）「邪道」だと思ってる
望月の方法でいかなる結果も出せてしまうと「矛盾」
望月の方法が（数論では決定不能な）「新しい公理」に基づくものなら
・・・それが認められるかどうかは、新しい公理から導ける結果次第だな

**１３２人目の素数さん** · 2022/08/29(月) 06:52:31.90

望月は肝心の不等式の導出でかなりムチャやらかしてる
このムチャが相対無矛盾だと証明できる見通しはない
（相対無矛盾：たとえばZFが無矛盾ならZFCも無矛盾みたいなこと）

**１３２人目の素数さん** · 2022/08/29(月) 10:12:34.49

・FLTの「別証明」を主張する、星氏を含む5人論文
「Explicit Estimates in IUT Theory」Kodai Math. J. は4部のIUT論文による。
IUT論文はth.3.11とcor.3.12に集約される。
・主要定理th.3.11までIUTTを望月新一氏と共同構築した
加藤文元東工大教授によれば、
「ａｂｃ予想が解けるんじゃないかと気がつかれたのは、彼が、
ホッジ･アラケロフ理論というのを構築されたころなんですね」
「徹底的に考えた結論として、無理であるという、非常にそういう
意味では大きな結論に至ったんだと。
だから新しい数学を作らなければいけないと感じたとおっしゃってました」
で、
「IUTTと現今の数学との違いをきちんと完全に言語化する、
新しい数学の言語体系を、早急に作らなければいけない」
=(未だにIUTTは未完成)。
Nスペより
・
星氏と加藤文元氏から、5人論文は未完成のIUTTに基づき
FLTの「別証明」も未だに未完成だ。

**１３２人目の素数さん** · 2022/08/29(月) 12:24:31.99

変なの

**１３２人目の素数さん** · 2022/08/29(月) 12:56:52.74

そのHA理論というのがまたあまり受容されていないんだよな
そもそも複素幾何学的な文脈では今のアラケロフ理論にホッジ理論は付き物だが
望月のそれは遠アーベル幾何学の文脈も含まれるためか、楕円曲線に特化しているためか
ほとんど言及されない

**１３２人目の素数さん** · 2022/08/29(月) 13:04:03.20

好き勝手やりすぎて、命運尽きたってとこだろ。もう浮上することはないな

**１３２人目の素数さん** · 2022/08/29(月) 16:13:39.77

>>126 結局crucialな不等式でチョンボしてるってオチなのね。
　それを「具体的な間違いは誰も指摘できていない」だの「全く新しい数学」
　だの詭弁と美辞麗句でごまかしゴリ押ししているわけだ。
　暴挙を止めるどころか便乗してしまった
　日本数学界はプーチンロシアと同じくひとときの虚栄を味わった後緩慢な死を迎えるだろう

**１３２人目の素数さん** · 2022/08/29(月) 16:56:02.86

>プーチンロシアと同じくひとときの虚栄

実際はフェセンコ.現RIMS客員教授がキエフの国立科学アカデミー
数学研究所で望月新一教授のIUT理論などを学ぶオンライン勉強会を
開いた。
RIMSのIUT宣伝活動のひとつだろう。

**１３２人目の素数さん** · 2022/08/29(月) 17:04:33.48

能弁なウクライナ人

**１３２人目の素数さん** · 2022/08/30(火) 07:57:08.18

なるほど。

「雄弁・能弁」は弁護士や政治家を思い起こします。
言葉が上手くなければ務まらない職業だからですが、
「言葉巧み」の裏には人の心を誘導し、欺くことや本音を隠すこと論点を
はぐらかすことに手長けてしまうこともよくあります。
詐欺師と言われる人も同様で、言葉巧みに人を騙すことは非常に
長けているのです。
むしろ、「朴訥」な人の方が信頼感を持てるものです。

**１３２人目の素数さん** · 2022/08/30(火) 09:20:45.79

雄弁は銀
沈黙は金

**１３２人目の素数さん** · 2022/08/30(火) 22:06:32.49

黙殺揉み消しは日本のマスコミ様の常套手段

**１３２人目の素数さん** · 2022/08/30(火) 22:09:17.94

朝日新聞は謝罪したが

**１３２人目の素数さん** · 2022/08/31(水) 05:49:42.72

>>137
え、石倉、解雇されたんか？ｗ

**１３２人目の素数さん** · 2022/08/31(水) 08:00:21.55

読者のみなさまへ
　吉田氏が済州島で慰安婦を強制連行したとする証言は虚偽だと判断し、記事を取り消します。当時、虚偽の証言を見抜けませんでした。済州島を再取材しましたが、証言を裏付ける話は得られませんでした。研究者への取材でも証言の核心部分についての矛盾がいくつも明らかになりました。

**１３２人目の素数さん** · 2022/08/31(水) 08:07:56.67

全く新しい数学ではなくて既存の手法の応用でABC予想の取り組みはどこまでいっているのかしらね。
それともいまところ全然歯が立たなくて誰もやってないのかな。
こういう予想ってある意味は出題されたものを解いている試験と変わりなくて
あんまり面白くないようにも思う。命題自体を自分で考え出すほうが楽しそう。

**１３２人目の素数さん** · 2022/08/31(水) 08:30:55.37

とんでもない
これくらいの難問になると数学の意味で哲学的なブレークスルーが必要になる

**１３２人目の素数さん** · 2022/08/31(水) 09:00:16.80

>>141
>>数学の意味で哲学的なブレークスルー

昔、Kummerによる理想数の導入がそれだった。
整数論の可能性を大きく広げた。
そのもとになったのはフェルマーが考え出した多くの難問。

**１３２人目の素数さん** · 2022/08/31(水) 09:20:46.86

確かにフェルマー予想はその挑戦の歴史があるのはわかる。
ただクンマーはまさにそれに一生を捧げた感じだろうけどその後そういう人いないよね。
代数的整数論は大いに発展したようだけど。。
ABCはまだ歴史が浅いのかしらね。望月さんが最初の挑戦って感じなのかな。
哲学的なブレークスルーっていうけど望月さんは結局超絶技巧的計算だったりして。。

**１３２人目の素数さん** · 2022/08/31(水) 09:28:26.22

>>143
>>その後そういう人いないよね。

軽く言い切るけど、それは以下の人たちに対して非常に失礼かもしれない。
Kronecher, Dedekind, Hilbert, Furtw\"angler, 高木貞治, E.Artin
そして志村、谷山、Wiles.

整数論の枠を超えて岡潔の不定域イデアルにつながっている。

**１３２人目の素数さん** · 2022/08/31(水) 10:15:59.28

>>144
いやそういう意味じゃなくて「わしはフェルマー予想挑戦者だ！」っていう感じの人は
クンマー以降の有名数学者にはいないよねという話。ワイルズはそうだったのだろうけど。

**１３２人目の素数さん** · 2022/08/31(水) 10:26:44.70

>>145
クンマーはフェルマー予想の物語を語るときには
そういう役をやらされるけど
フェルマー予想挑戦者だったのはディリクレの方で
クンマーが熱心だったのは素因数分解定理。
投稿した論文の誤りをヤコービに指摘されてから熱が入ったが
正則素数の話は円分体論のおまけのようなもの。

**１３２人目の素数さん** · 2022/08/31(水) 10:32:33.08

理想数のアイディアの影響は大きい

**１３２人目の素数さん** · 2022/08/31(水) 12:17:02.47

>>146
ご教示ありがとうです。
いずれにせよABCにはそういう歴史が始まったばかりという感じはする。
望月さんは登頂は成功していないかもしれないが、いきなり独創的なルートでトライしたといえるのだろうか。。
次は誰じゃ！

**１３２人目の素数さん** · 2022/08/31(水) 13:42:53.27

ABCの解決のためにまったく新しい視点が必要ということは
整数論の展開を知る専門家たちは皆
認識しているのではないか。
期待が大きかっただけに失望も大きい。

**１３２人目の素数さん** · 2022/08/31(水) 15:17:38.51

abc予想の解決について
望月新一氏の方向

⑴ abc予想はHA理論の構築より解決できるのではないか
↓
⑵ HT理論の方向でも無理だった
↓
⑶ 新しい数学をつくらなければabc予想は解決しない

⑵ →⑶

HA理論によりabc予想が解決できないからといって
新しい数学を作らなければ解決しない
、とは論理の飛躍である。
単にHA理論の方向で失敗しただけなのに

**１３２人目の素数さん** · 2022/08/31(水) 15:35:51.19

ショルツェ氏の失望
>>90

**１３２人目の素数さん** · 2022/08/31(水) 17:00:13.71

>>150
×HT理論 ○ HA理論

**１３２人目の素数さん** · 2022/08/31(水) 18:11:18.78

新しい数学は必要にしても、それを捉え損なったというのが実際のとこでしょう
どう見てもやり過ぎでしょ無限の宇宙がどうとか
遠アーベルを適切に一般化したら解けるのかもしれないが

**１３２人目の素数さん** · 2022/08/31(水) 18:34:09.51

wishful thinking

**１３２人目の素数さん** · 2022/08/31(水) 19:39:24.27

望月は「望月の不等式」（系3.12）を定理にしようとして散々考えたが
実際にできたのは、膨大な量の紙屑だったｗ

**１３２人目の素数さん** · 2022/08/31(水) 20:07:50.14

>>153
>遠アーベルを適切に一般化したら解けるのかもしれない

適切、一般化を念仏のように唱えてもなあ
むなしい

**１３２人目の素数さん** · 2022/08/31(水) 20:32:34.42

念仏も何も適切な一般化の意義はキレンやグロタンディークも強調するところだからね
それを受けてイメージやアイデアが浮かぶかはその人次第だよ

**１３２人目の素数さん** · 2022/08/31(水) 21:56:44.63

イメージやアイディアのままで
公表できる数学の論文はまれ

**１３２人目の素数さん** · 2022/08/31(水) 23:58:29.87

もう無理だって…

**１３２人目の素数さん** · 2022/09/01(木) 06:22:01.30

望月は「望月の不等式」を思い付いたところまではよかったが
それを正当化する方法が強引すぎた
今後、望月の名前は「望月の不等式」という形でしか残らないだろう
宇宙際タイヒミュラー理論は数学界の黒歴史として葬り去られる・・・

**１３２人目の素数さん** · 2022/09/01(木) 09:08:12.98

>>160
>>望月の名前は「望月の不等式」という形でしか残らないだろう
>>宇宙際タイヒミュラー理論は数学界の黒歴史として葬り去られる
つまり「望月の不等式」はフェルマー予想みたいものであるということ？

**１３２人目の素数さん** · 2022/09/01(木) 11:51:22.78

>>160
その「望月の不等式」なるものは本当にちゃんと定式化されてるの？
ショルツによると望月論文はそもそも証明本体以前にいろんな用語の定義をしている時点で曖昧な部分が多くて「こういう意味かな？」と行間を埋めないといけないと言ってたらしい
その“望月の不等式”なるものは行間なしに万人が一意に意味がとれる形で定式化されてるん？

**１３２人目の素数さん** · 2022/09/01(木) 14:55:03.88

🥰ま❤ゆ💗ゆ🤗

**１３２人目の素数さん** · 2022/09/01(木) 15:44:21.63

しかし今更ながら、五人論文にせよJoshiにせよあれを肯定している数学者が
複数いるわけで、黒歴史といっても単純な話にはならない
Kodaiとか文元がいたから通せたものの、これからどうなるのかも見ものだな

**１３２人目の素数さん** · 2022/09/01(木) 15:53:33.97

計算機では現在どこまで？

**１３２人目の素数さん** · 2022/09/01(木) 20:01:47.23

>>162
https://ncatlab.org/nlab/show/Mochizuki%27s+corollary+3.12

**１３２人目の素数さん** · 2022/09/01(木) 21:53:36.83

>>168
その記号の中に溢れてる普通の数学論文では見たことない記号はちゃんと定義されてるのか、まずそこから怪しい

**１３２人目の素数さん** · 2022/09/02(金) 06:48:15.46

>>167
アンカー、間違ってない？　>>166だろ？
系3.12の不等式自体は、今の数学でも表現可能だと思うが、何か？
その上、その不等式が成立するとする証明が怪しい、というのが
ショルツェの指摘じゃね？

**１３２人目の素数さん** · 2022/09/02(金) 07:00:27.89

ところで、ウィキペディアが、俺たちに意見求めてるぞ！

「プロジェクト‐ノート:数学」のページの最後の
「ABC予想の証明の試みについて」とかいうセクション見てみ
（リンクは長くなるから貼らない　ご容赦）

ウィキのアカウント持ってるなら書き込んでみ？
ない奴はこの際だから作っとけば？
アカウントないままでも書き込めるけど、IP出ちゃうからおすすめはしない

以上　４６４９

**１３２人目の素数さん** · 2022/09/02(金) 07:13:40.07

arxivに行って最近出たabc予想関連の論文を見てみな
予想が解決したことになんかなってないから
ここ数か月のうちに投稿された４本の論文のうち３本では言及なし、
かろうじて１本でモチヅキが解決を主張している旨が懐疑的に書かれている

**１３２人目の素数さん** · 2022/09/02(金) 09:16:44.54

ABCは普通にみんないろいろやっているのだな。そういう数学界の動きが素人にも見えるとよいね。
今だと望月さんばかりがABCで突出しているようにみえてしまってよくないな。
事実はわからないけど、みんなこの超難関を地道に努力して進めているのに
突然「こっちに新ルート発見！！！」っていう人がでてきた感じなら「この人ちょっと危ない？」ってわかるのにね。

**１３２人目の素数さん** · 2022/09/02(金) 09:16:52.13

朝日やNHKはそれも報じるべき

**１３２人目の素数さん** · 2022/09/02(金) 09:22:01.36

クランブルｲﾋまだ？
ス　09/02 09時22壺

**１３２人目の素数さん** · 2022/09/02(金) 09:45:10.25

>>171
> 突然「こっちに新ルート発見！！！」っていう人がでてきた感じなら

革新的思考があるはずなので
その思考を特定かな？
まずは

**１３２人目の素数さん** · 2022/09/02(金) 12:48:58.97

>>174
それを鵜の目鷹の目で何年探したと思う？

**１３２人目の素数さん** · 2022/09/02(金) 12:59:11.77

>>175
でも、「平行線公準」は2000年以上、「フェルマーの最終定理」は300年以上探した。

**１３２人目の素数さん** · 2022/09/02(金) 13:01:27.93

それらと同等以上の価値がある理由を
納税者が納得できる形で説明せよ

**１３２人目の素数さん** · 2022/09/02(金) 13:21:23.43

>>168
やってみせて

**１３２人目の素数さん** · 2022/09/02(金) 15:19:02.72

>>176
フェルマーってあれはフカシで結論だろ
見つけてねーよ

**１３２人目の素数さん** · 2022/09/02(金) 15:58:58.79

>>176
こういうとんちんかんな擁護見ると、
やっぱ擁護してるやつってそもそも数学分かってないよね、と思う

**１３２人目の素数さん** · 2022/09/02(金) 16:01:40.29

数学が分かっていれば
あてずっぽうは恥ずかしくて書けない

**１３２人目の素数さん** · 2022/09/02(金) 16:18:16.81

abc予想は当てずっぽうで立てたけどな

**１３２人目の素数さん** · 2022/09/02(金) 16:52:26.35

というか、abc予想に関するコミュニケーションがあっても受容されないのと
何の発見に長い時間かかったのは話が全く違うのだが、そこの読解力よね

そらディオファントスに遡りデカルト、グロタンディークらを超えた着想は必要だけど

**１３２人目の素数さん** · 2022/09/02(金) 17:34:15.35

>>183
>>ディオファントスに遡りデカルト、グロタンディークらを超えた着想

それが現在存在しているという主張に大きな疑義がもたれている
ここの読解力に問題はありますか？

**１３２人目の素数さん** · 2022/09/02(金) 17:40:40.62

>>184
あんたに、そういう話をしているとはっきり認識する読解力がないのはわかったが

**１３２人目の素数さん** · 2022/09/02(金) 18:47:14.72

一般的にはそんなこと言わなくてもわかんだろ、という時もあるが
他方で理論の核心を聞かれて自明と答えるのはよろしくないわけだ

**１３２人目の素数さん** · 2022/09/02(金) 19:41:44.50

>>そういう話をしているとはっきり認識する読解力
これが核心でないことだけははっきりわかるのだが

**１３２人目の素数さん** · 2022/09/03(土) 07:16:37.85

>>176
>>179
フェルマーの最終定理は、数学書(デイオファントスの算術)の余白への書き込みであって、正式発表(どんなモノかは解らないが)ではない。

**１３２人目の素数さん** · 2022/09/03(土) 12:13:04.17

>>187
噛み合ってないから説明しとくが、186の二行目はself-evidentだの初歩的な間違いだの
仰る大先生の話だ

**１３２人目の素数さん** · 2022/09/03(土) 16:45:22.34

もっちーの件について
・京都以外の数学界の大勢の見方
　「もっちーは例の不等式（系3.12）からABC予想が導けると
　　気づいたまではよかったが、不等式の導出は正直無理矢理すぎたな」
・数解研の専門外の人の考え
　「なんか無理矢理査読者決めて通したっぽいけど、
　　今そんなことが露見すると確実に数解研潰されるから黙っとこ」
・同じ専門のFe氏とSa氏
　「俺たち仕事してないと思われてもヤだし、一応応援しとこ」
・もっちーの弟子たちと、もっちーのおかげで数学界に戻れたGo氏
　「師匠（もっちー）のいうことは絶対です・・・」
・啓蒙（？）書書いた某氏
　「ビジネスチャンス、ｷﾀ――(ﾟ∀ﾟ)――!!」（で、大学辞めるｗ）

**１３２人目の素数さん** · 2022/09/03(土) 17:08:35.99

ろくな奴がいねーな
この業界

**１３２人目の素数さん** · 2022/09/03(土) 17:22:54.12

望月は不等式を生み出した、というのは片手落ちの認識で、もちろん本人は
IUTを使えばそれを証明できると考えたわけだが
要するに整数環の変形を計算する仕組みとセットの不等式であって、
それ以外ではあまり意味をなさない。だからIUTに欠陥があると考える数学者は
論文自体にほとんど意味を見いだせないというのが実際の状況だ

**１３２人目の素数さん** · 2022/09/03(土) 17:31:34.95

>>192
>>望月は不等式を生み出した、というのは片手落ちの認識で
>>IUTに欠陥があると考える数学者は論文自体にほとんど意味を見いだせない

こういうコメントには頷ける。

**１３２人目の素数さん** · 2022/09/03(土) 18:44:29.88

> IUTに欠陥がある

RIMS.玉川氏のコメントはIUT論文が全く新しい理論として
完璧な論文でabc予想が証明された。
東工大教授.加藤文元氏のコメントはIUTTが言語から未だに未完成。
玉川RIMS教授と加藤文元東工大教授のコメントを合わせると、
IUT論文が完璧かつ未完成で、現代数学では矛盾している。
しかしIUTは全く新しい理論で完璧かつ未完成のIUT論文がPRIMSで
(ご都合より) 受理された。

Nスペを見てもIUT望月理論を信じるデュピイタイプの信奉者は
未だに存在するのだろうが、、。

**１３２人目の素数さん** · 2022/09/03(土) 18:51:48.11

研究結果を出すでもなく黙ったままでは
信奉者とは呼べまい

**１３２人目の素数さん** · 2022/09/03(土) 18:59:11.55

IUT系の研究結果は別に教会を作って
そちらでどうぞ

**１３２人目の素数さん** · 2022/09/03(土) 19:00:38.93

>>192
＞整数環の変形を計算する仕組みとセットの不等式
　具体的な計算が可能だからその点では意味がある
　ただ不等式自体から矛盾が示されたら終わりだが

>>194
デュピュイは望月の不等式を信じてるだけで、IUTは実は全く信じてないｗ
だから望月が目の敵にするｗ
ショルツェは望月の不等式すら信じてないようだ　矛盾が導かれると思ってる
その予見が正しいかどうかはともかく、今の時点ではそれが見当違いともいえない

**１３２人目の素数さん** · 2022/09/03(土) 19:04:51.98

具体性が感じられるコメントだな

**１３２人目の素数さん** · 2022/09/03(土) 19:48:03.78

>具体的な計算が可能だから
その点では意味がある

ファルティングス氏いわく、
(整数環の変形だの計算だの、)
IUTを理解できないから具体的に
根拠から説明しろと。

計算方法なら星占いでも具体的な計算方法がある。

>ただ不等式自体から矛盾が示されたら
終わりだが

IUT論文は全く新しい理論IUTとして矛盾を回避しようとしたが、
加藤文元氏がIUTTは言語から未完成と発言した、、おわり

**１３２人目の素数さん** · 2022/09/03(土) 19:52:11.56

IUTを経由せずに、一般化されたテータ関数により変形を計算する可能性は
あるにはある。それで例の不等式か、その類似を出せる可能性もある
だが、それはもはや望月理論の話ではない。彼はあくまでIUTでそれをやろうとしたから