Inter-universal geometry と ABC予想 50at MATH
Inter-universal geometry と ABC予想 50 - 暇つぶし2ch166:132人目の素数さん
20/04/16 15:33:53 iTeXqtbD.net
Wenn ein Löwe sprechen könnte, wir könnten ihn nicht verstehen.

167:132人目の素数さん
20/04/16 16:07:12 Vo6mLORJ.net
>>158
聞きかじりの言葉をわけもわからず呟くのはよくないな 坊や

>チャートの例題にのってて分からないんだ

ウソはいけないな 坊や

168:132人目の素数さん
20/04/16 16:19:26 Vo6mLORJ.net
>反政府反権力がカッコいいとか思っている

そんな君の好きな歌

URLリンク(www.youtube.com)

御愁傷様

169:132人目の素数さん
20/04/16 16:40:29.71 g9l0g72J.net
>>164
そいつがきっとUFなんじゃねw

170:132人目の素数さん
20/04/16 16:40:36.88 Vo6mLORJ.net
スレリンク(math板:208番)
>あまりにもひどかった
たしかに・・・群論の初歩も知らん男が粋がって
あちこちから拾ってきたゴミをコピペしていた
あのガロアスレッド
あれは数学板の地獄だった
>バランスを取るために、(応援スレ)って命名にした
次からは「俺様応援スレ」にしたほうがいい
何を応援したいのか明確になる
>まっとうな数学スレ
>せめて、大学の学部レベルの数学の議論が進むなら
そしたら御隠居の出番は全くなくなるな
せっかくの機会だ、「自宅勤務」の間に数学書を読んだら?
どうせ買ってから一度も開いてないんだろう?
正規部分群の定義を間違えたとき、全てを悟ったよ
御隠居は数学が好きなんじゃない 
数学が好きだといってる自分が好きなんだ、と
漫然と検索した結果をコピペして貼り付けるのは
勉強が嫌いだけど、勉強しているようにみせたいから
どこかの国の首相と同じ
宿題やったかと聞かれると、やってないのにやったという
なぜそんな人が首相になれたのか?
国民に人を見る目がなかったんだろうな

171:132人目の素数さん
20/04/16 16:45:07.06 Vo6mLORJ.net
>>166


172: その言葉の真偽は分からないが、 UFはきっと以下の言葉の頭文字だろう universal falsifier



173:132人目の素数さん
20/04/16 16:46:33.21 q4igpWmJ.net
証明は、疑問視する数学者が一人でもいる限り、正しくないと異議を挟む人が
いる限り正しいと認められないでしょう
だから、まだIUTは認められないでしょう(たぶん永久に)
「ライオンが話す」とかいわれてるんだから

174:132人目の素数さん
20/04/16 17:14:03.37 Vo6mLORJ.net
御隠居が数学板から消えたら 消えるとしよう
HNを止めて、コピペを止める、でもいい
でも絶対できないだろうね
コピペで粋がるのが、御隠居の唯一の趣味でありストレス解消だからね
要するに 御隠居は正真正銘のサイコパスで荒らしなんだよ

175:132人目の素数さん
20/04/16 17:14:19.64 bZJm30cd.net
>>162
ご回答ありがとうございます。
私が疑問に思っていることは、複素数z=x+iyのxとyは実数公理系を満たしますので、
かりに複素数zに関するある定理p(z)から、実数に関する定理q(x,y)が演繹された場合、
複素数の公理系⇒p⇒q
という具合に、実数の公理系qが三段論法で複素数の公理系の
必要条件になっていた場合、qの正しさは証明されたことになるのでしょうか?
すいません数学は素人です。

176:132人目の素数さん
20/04/16 17:22:34 Vo6mLORJ.net
>>171
最強の公理系は矛盾した公理系だって知ってるかな?

つまり矛盾した公理系からは任意の命題が定理として証明される

公理を強めて定理を証明する、というのは危険が多い

177:BLACKX ◆SvoRwjQrNc
20/04/16 17:30:28 O7xpalP6.net
>>171
この擁護厨は素人やぞ
p→qが証明出来てもq→pは証明出来ない。なぜならq→pは指数関数でラグランジュの定理で容易に指数関数として解けるから

178:132人目の素数さん
20/04/16 17:37:43 bZJm30cd.net
>>172
>公理を強めて定理を証明する、というのは危険が多い
実数xは、複素数z=x+iyのy=0になるときの特殊な複素数とみれば、複素数全体は
実数全体を包含すると思うのですが、もし複素数の公理系が実数の公理系を「強めた」
公理系と考えられるのでしょうか?
数学は素人なのですが、複素数は数学者に認められてますよね。
複素数は「危険」ではない公理系なのでしょうか?
任意の命題を証明する公理系は、応用の観点から考えると、自然法則やアルゴリズムの多く
あるいはほとんどすべて?をモデル化するのに使えないはずなので、仮にあったとしても、
応用屋のわたしには興味が無いし使いたいと思いません。
IUT理論は、「危険」な公理系なのでしょうか?言い換えると、未来の応用屋が使ってみた
ところで未来の自然法則やアルゴリズムの記述をする上で役に立ちうる理論なのでしょうか?

179:132人目の素数さん
20/04/16 17:41:29 bZJm30cd.net
>>173
コメントありがとうございます。
p⇒qが証明できれば、pが真ならばqも自動的に真になる関係を解明する操作ですよね?
qがpの必要条件であることをしめせれば、qとpが同値であることまで示す必要は
あるのでしょうか?
高校レベルの知識だけで考えています。素人ですいません。

180:132人目の素数さん
20/04/16 17:41:50 Vo6mLORJ.net
>>174
実数と複素数の喩えは不適切なので無視した
あなたも一切忘れなさい

181:132人目の素数さん
20/04/16 17:42:49 q4igpWmJ.net
>>171
たぶん共役の世界をつくって足し合わせれば
瞬間的に実数になるけど、そもそも共役をつくる
直前に実数の鏡を定義しなくてはいけないので
結局ダメということでは?

182:132人目の素数さん
20/04/16 17:44:07 Vo6mLORJ.net
>>174
>任意の命題を証明する公理系は・・・

・・・命題Pと命題¬Pの両方を証明する

この瞬間、役に立たないことがわかる

183:132人目の素数さん
20/04/16 17:54:31 bZJm30cd.net
私の経験では数学の応用は2種類で、自然法則の模擬とアルゴリズムの記述
という理解なのですが(上記以外の応用を私が見たことないので)
仮に、数学の用途を乱暴にも、自然法則かアルゴリズムの記述と考えると、
これらのいずれにも利用不可能な数学は用途がない数学ということになるのでは
ないでしょうか?
用途がない数学や危険な数学とは「可能な数学公理系」であっても、何か特別な
区別が必要だと想像します。工学部の関数論でも習う複素数公理系は実際に工学の
応用でも利用されているので用途がある危険な数学ではないということになるので
しょうか?
用途のある数学と用途がない数学(≒危険な数学?)を明確に仕分けする尺度は
あるのでしょうか? IUTは用途がある数学の側に属していると証明できるのでしょうか?
素人すぎてすみません。

184:BLACKX ◆SvoRwjQrNc
20/04/16 17:54:40 O7xpalP6.net
>>177
あぁそうだ。俺の変わりにありがとう

185:132人目の素数さん
20/04/16 18:03:35 Vo6mLORJ.net
>>179
「p進数は役に立たない!」というのは勝手だけど
そう思う人はこのスレッドに来ないほうがいいと思う

186:132人目の素数さん
20/04/16 18:04:15 5dEhIZCF.net
>>158
PSL_2(R)

※あなたがここで懐疑や否定的な人たちに対してすべきことはそんなことではないでしょう?
他のIUTスレでもこういう程度の質問がありましたが、これは望月氏の和文の講演等にすべて書かれているレベルのことです。
IUTが正しいことを支持し擁護したいなら、下記の用語を絡めて納得できるような説明を試みるべきではないでしょうか?

・IUTにおける単遠アーベル的復元によって生じるTeichmuller dilation
・基点を持たない古典的な位相空間とslim Anabelioid、slim categories
・j^2を組み込むことについての納得できるような説明

私がIUT成立派だったらDupuyやUF氏みたいにショルツが分かり切ってウンザリするような反論をぶつけるより、
望月氏本人が書いていた”general nonsense techniques”から説明を始めますけどね。
遠回りになりますがこのnonsenseが如何にして役立つかを説明する必要がある。
急がば回れ、ということです。

勇気をもって、誤解を恐れず、IUTについて解説してみてください。

187:132人目の素数さん
20/04/16 18:04:40 ApRVp5sy.net
ニュース読んで来た素人ですけど

結局証明されたんですか?されてないんですか?
掲載されてからが本番ですか?

188:132人目の素数さん
20/04/16 18:06:08 ApRVp5sy.net
査読してる人が全員日本人なのはどうしてですか?
読み解ける人が10数人しかいないという内の殆どが日本人という事ですか?

189:132人目の素数さん
20/04/16 18:12:48 6cgHi0aG.net
望月さんの形勢はいまどんな状況ですか?

発表のときを望月とすると今は半月くらいですか?

190:132人目の素数さん
20/04/16 18:14:35 q4igpWmJ.net
>>179
工学の用途のあるなし、とか全く関係なし

191:132人目の素数さん
20/04/16 18:19:58 bZJm30cd.net
>>181
p 進量子力学として自然法則の模擬に使われているのなら役に立っていると思います。
新しい数学がずっと先の未来になってはじめてつかわれる場合でも役に立つ数学の方に
属すると思います。
つまり、新しい公理系でもトートロジーにならないようにだけ注意が払われていれば、
役に立つ数学の方に属するという理解でよろしいのですね。
それならばIUTにトートロジーさえ見つからなければ、奇妙であっても役に立つ数学の
方に属していると期待していいのですね。

192:132人目の素数さん
20/04/16 18:22:15 bZJm30cd.net
>>186
工学には限定してません。理論物理学や経済学や会計学やポーカーゲームなど全部ひっくる
めて考えてます。
それで、アルゴリズムまたは自然法則の記述とくくってます。

193:132人目の素数さん
20/04/16 18:36:02.64 q4igpWmJ.net
それなら逆に用途のない数学はおそらくないでしょうね
未知の物理とかのメカニズムを考えるとき、わからない自然現象を理解しようとするとき
結局人間は数学的に考えていくでしょうから
わからないそのメカニズムを理解しようとつきつめて考えていけば、どんな数学であれ
将来に出番がくることもありえるでしょう

194:132人目の素数さん
20/04/16 18:37:34.10 Yy602haq.net
>>179
「純」数学と数理 物理 工学は
目的が違いそれぞれ体系が


195:あります。 例えば物理数学は「汚い」数学で しょうが物理現象を表し厳密な 証明は不要です。 また数学の本を読んでも相対性理論 は理解できません。 物理にヒントを得て数学として 取り組んでいる人もいます 例 公理的場の理論 ナビエストークスの方程式、 IUTはabc予想の証明がしたくて 今に至っていますから、 数論の話に限るとおもっています。



196:132人目の素数さん
20/04/16 18:41:16.83 Vo6mLORJ.net
>>182
>PSL_2(R)
ほほう
ところでIUTには"離散群"にあたるものは出てくるのかね?

197:132人目の素数さん
20/04/16 18:44:12.61 crvGkVLQ.net
>>183
証明は成立しています
ただし、海外で懐疑的な人が多いのも事実
数学オセロで、黒の人を白に変えていくのはこれからです(^_^)

198:132人目の素数さん
20/04/16 18:44:19.59 bZJm30cd.net
>>178
のおっしゃる爆発則っていうんですか?も仮に「数学」の仲間に入れたとしたら、
その数学は役に立たない数学のグループに属する数学と言えるということをいいたかった
んです。
役に立つ数学は、トートロジーを含まない公理系だけなんでしょうか?
これも形而上学的で証明できないと思うんですよね。
役立つ数学と役立たない数学の仕分けは、
それなら結局、自然法則かアルゴリズムの記述に役立ち得るかどうかという
経験則で語るしかなくて、具体的にはトートロジーを内部に含まない数学
と役に立つ数学は一致するということを公理にしちゃえばいいのでしょうか?
実際、トートロジーがない数学=正しい数学=役立つ数学
というのは誰も証明できないけどだれもが直感してることなんですよね。
哲学的も数学も素人なのでよくわからないのですが。
ちなみにいま「意中と宇宙をつなぐ数学」読んでる最中です。

199:132人目の素数さん
20/04/16 18:46:50.20 Vo6mLORJ.net
もし、IUTが任意のpに関する”p進タイヒミュラー理論”全体を統制する理論
ということならそれはそれで着想としては興味深い

200:193
20/04/16 18:50:31.37 bZJm30cd.net
自分は誤字脱字が多くかつ論理的でないのでもう消えます。
レス下さった皆様本当にありがとうございました。
宇宙と宇宙をつなぐ数学に戻ります。
失礼しました。

201:132人目の素数さん
20/04/16 18:58:13.78 Vo6mLORJ.net
>>193
数学の3分類
自明な数学  :トートロジーでない公理がない
意味のある数学:トートロジーでもアンチトートロジーでもない公理がある
無意味な数学 :アンチトートロジーとなる公理がある
意味のある数学は無数にあると考えられる
ただしそのすべてが人間にとって興味深いかどうかが疑問がある

202:132人目の素数さん
20/04/16 19:16:25.25 Vo6mLORJ.net
自明な数学であることを示すのは可能だ
公理が全てトートロジーだと示せばいい
無意味な数学であることを示すのも可能だ
アンチトートロジーとなる公理を示せばいい
しかし意味のある数学であることを示すのは本質的に不可能だ
自明でも無意味でもないということだから

203:132人目の素数さん
20/04/16 19:24:57.30 gghpezGA.net
>>144
BABYMETAL好きなキムチなんていない
むしろ対抗意識丸出しで荒らしてきたのがキムチだ
韓国の誇るBTSとBLACKPINKを破った唯一のアーティストだからな

204:132人目の素数さん
20/04/16 19:31:21 q4igpWmJ.net
トートロジーのないところに進歩があると思うが
矛盾してはいけないんだ なんでも許される訳ではない

205:132人目の素数さん
20/04/16 19:39:11 LgSMpCQv.net
>>198
メイト→¬キムチ
キムチ→¬メイト

そんな証明は成立しないよ

206:132人目の素数さん
20/04/16 19:40:15 LgSMpCQv.net
実に汚い数学だ
不純数学かい?

207:132人目の素数さん
20/04/16 19:40:46 +yI/N6hn.net
>>185
まずこの状態なら、正しくてもコミュニティで受容されるのは五年以上先なんじゃないですか
自分も含め、数学関係者のほとんどは別にこの理論が成り立たなくても困らないので擁護する必要もない
ですし

208:132人目の素数さん
20/04/16 19:42:04 LgSMpCQv.net
アンチトートロジーとなる
公理なをか示せなくたって

そんなものは無意味な数学に



209:仕分けしてやりたいな



210:132人目の素数さん
20/04/16 19:42:45 6dAzqos5.net
Bさんは自身でiutをきちんと正しく理解してるんですかね?
してないであんな本出してたら相当不誠実だと思いますね。

211:132人目の素数さん
20/04/16 19:43:38 LgSMpCQv.net
>>203
訂正
>なをか 誤
なんか 正

212:132人目の素数さん
20/04/16 19:55:57 Vo6mLORJ.net
>>198
K-POP 悪くはないけど・・・なんかヌルイ

J-POPっていい意味でトンデモナイよな
URLリンク(www.youtube.com)

213:132人目の素数さん
20/04/16 20:00:10 Vo6mLORJ.net
>>202
発表されたのは2012年

正しければとっくに受容されてるな

いまだに受容されてないのは、肝心なところが
「ちょっと何言ってるかわからない」(冨澤たけし)
から

214:132人目の素数さん
20/04/16 20:15:06 oXxKQ/3d.net
そんな激しい敵意とこれからやりあうブラックホール好きの望月氏にお勧めする本はブラックホール戦争ホーキングとの20年越しの闘い

215:132人目の素数さん
20/04/16 20:16:08 6r81/lk1.net
意味があれば文句ねえだろ

216:132人目の素数さん
20/04/16 20:16:58 6r81/lk1.net
解らないのは解らない方の問題もあるよ

217:132人目の素数さん
20/04/16 20:18:56 6r81/lk1.net
モレに解るように教えろよおぉォォ
(´・@・)バブ~(・@・)🍼~
んぷ~

218:132人目の素数さん
20/04/16 20:28:14 Vo6mLORJ.net
もし、望月がarXivにプレプリントを上げただけなら
他の専門家から理解されなかったとしても
残念でしたの一言ですんだ

そうならなかったのは彼が京大数理解析研の雑誌に投稿し
京大数理解析研もアクセプトしてしまったから

捏造疑惑が噴出するのは当然

219:132人目の素数さん
20/04/16 20:29:19 n5ivxgr3.net
>発表されたのは2012年

ずっと「習熟者」と
「バーブー(・ε・` )」でもいいだろ

パラレルワールド展開してけばいいさ

何か問題でも?

220:132人目の素数さん
20/04/16 20:32:23 OjGN+Ds9.net
>>182

その解答だと相当誤解している

Vo6mLORJの書き込みは全てゴミ過ぎて略

221:132人目の素数さん
20/04/16 20:33:08 n5ivxgr3.net
>捏造疑惑

強いワード選択でつねw

捏造とまで断ずるなら断じた側に疑惑を証明する必要があるよ

222:132人目の素数さん
20/04/16 20:34:12 n5ivxgr3.net
白の証明は無理が有りすぎw

223:132人目の素数さん
20/04/16 20:37:47 Vo6mLORJ.net
スレリンク(math板)
>アンチの数学レベルって中学レベルでね

御隠居 自分が大学数学を全く理解できなかったことを棚に上げる

ほんと自分がかわいくてしかたないんだねえ

>セイロン(いまスリランカ)

典型的な老人のダジャレ

今の人はスリランカが「セイロン」といわれてたことなんて知らない

何篇繰り返してもつまらんことを受け入れよう

御隠居は、ジャカルタもバタヴィアとかいいそうで怖い

>理系大卒に「IUTの数学における革新性」について、納得できる解説

大学数学で挫折した工学部卒には到底無理だから諦めような

224:132人目の素数さん
20/04/16 20:40:46 Yy602haq.net
>>204
望月加藤文元セミナー絡みもあり
IUTが生まれ、成果がB本レベルだw

本を読むなら
ガロアの原論文 
アインシュタインの特殊相対論 原論文
和訳がある。

225:132人目の素数さん
20/04/16 20:40:51 Vo6mLORJ.net
>>214
浪人生 自分の必死の演技の遥か上をいかれて逆上

だから見栄張るなっていってるのに馬鹿だねぇ

226:132人目の素数さん
20/04/16 20:42:45 6cgHi0aG.net
>>217

>今の人はスリランカが「セイロン」といわれてたことなんて知らない

セイロンティーは有名ですよね。

227:132人目の素数さん
20/04/16 20:45:15 Vo6mLORJ.net
>>220
女子はセイロンがどこにあるか知らない

「アフリカの国を一つ挙げて」という問いに
間髪いれずにこう答えた女子がいた

「インド!」

228:132人目の素数さん
20/04/16 20:51:13 /Kv5CEdr.net
IUT絡みでオススメの本があれば教えてください
下記レベルのどれに相当するのかを付記していただけるとありがたいです

1) 一般向け解説本(IUTのエッセンスをわかった気にさせてくれる本)
2) 学生向け解説本(既存の数学体系をベースにIUT詳解を試みる本)
3) 論文解読本(IUT論文そのものの解読本/専門書)

229:132人目の素数さん
20/04/16 20:53:19.83 Uhz3XkQt.net
>>146
そういえばエタール基本群って何でπ1(X,x)で1が付くんだろう
2や3があるのか

230:132人目の素数さん
20/04/16 20:57:34.11 n5ivxgr3.net
>>221
知ってまつw
インドの東横の島でつよねw
台湾やマダガスカルみたいな大陸の東側にプレートテクトニクスの影響で形成される💩うんこ💩みたいなアイランドでつねw

231:132人目の素数さん
20/04/16 20:59:10.09 n5ivxgr3.net
セイロンティーより
ちなみにウバティーの方がお得感がありまつw

232:132人目の素数さん
20/04/16 21:00:33.43 n5ivxgr3.net
バー(・◎・)ブー(・ε・`)ちゃんずも飲んでみてくれまつか?
w

233:132人目の素数さん
20/04/16 21:07:51.75 Vo6mLORJ.net
>>223
エタールじゃなくても基本群はπ1
URLリンク(ja.wikipedia.org)
なぜ1かといえば、1次ホモトピー群だから
URLリンク(ja.wikipedia.org)

234:132人目の素数さん
20/04/16 21:12:15.95 iJVVaxs4.net
>>81


235:132人目の素数さん
20/04/16 21:20:50.95 0OVlLIDM.net
>>222
プロの数学者にも理解できないんだからそんな本あるわけないだろ

236:132人目の素数さん
20/04/16 21:57:07.17 F+ej2FDh.net
>>192
それはあまりに数学者を(あえて言うが)馬鹿にしすぎる。
8年にもわたって、複数の(しかも一線級の)数学者に同じ個所で、「証明がなっていない」といわれるのは、
事実証明がなっていないと考えるべき。

237:132人目の素数さん
20/04/16 22:06:26.67 q4igpWmJ.net
ケースA
2012年はなんとなく証明できたと思った その後間違いを指摘され
後に引けなくなった
ケースB
なんでもいいから、だれにもわからない「理論」をつくればいいんだ 
だれにもわからないから、間違いとかどうにでも説明できるんだ と思いついた
2012年に実行した

238:132人目の素数さん
20/04/16 22:09:14.47 fcVhtc5x.net
下手したら理解者が全員胡散臭いのがきつい

239:132人目の素数さん
20/04/16 22:15:14.05 Uhz3XkQt.net
>>227
なるほど、知らなかったわサンクス
>>146はホモトピー群の話だったか

240:132人目の素数さん
20/04/16 22:17:36.74 A0nOhiPR.net
ケースC 絶対に絶対に間違いないと思い込んでいる

241:132人目の素数さん
20/04/16 22:20:34.45 /pqYz39+.net
>>222
小山先生の本がお勧め。

242:132人目の素数さん
20/04/16 22:24:11.07 fcVhtc5x.net
>>234
全体で見たらナンセンスだが一見メイクセンスできてしまう可能性を考えてみよう
全体では矛盾する公理系も真部分的には整合する命題を含んでしまう可能性があるとして

243:132人目の素数さん
20/04/16 22:29:42.48 OzfnPKCH.net
>>224
地質学勉強しなおしてきて

244:132人目の素数さん
20/04/16 22:41:26.06 q4igpWmJ.net
これは相当に長引きそう
URLリンク(plaza.rakuten.co.jp)


245: Woitはこれを機械翻訳でよんだとブログにかいてあった



246:132人目の素数さん
20/04/16 22:45:39.42 OjGN+Ds9.net
おまえたちが外国のサイトをコピペして
自動翻訳するくらい意味ないから

247:132人目の素数さん
20/04/16 22:47:20.27 wI2Ut9Eb.net
数学が20世紀の哲学の構造主義と独我論に追いついた

248:132人目の素数さん
20/04/16 22:51:51 b3NrUG+c.net
だからショルツにレフェリーやらせるべきだった
それしかこの問題を正常に解決するすべはなかったんだよ

249:132人目の素数さん
20/04/16 22:55:08 Y7rD0eqn.net
>>241
再反論もせずに査読完了のニュース後にブログでシコシコwコメントしてるだけじゃんwww

250:132人目の素数さん
20/04/16 22:57:27 b3NrUG+c.net
レフェリーにすればレフェリーレポートの形で互いに相手せざるを得ないよ
ショルツはレフェリーじゃないんだからどういう対応とろうと自由

251:132人目の素数さん
20/04/16 22:57:58 OjGN+Ds9.net
5chIUTアンチはレベル低すぎていじっても面白くない件
池沼のおじいさんとかまで集めてしまっていたことが発覚

252:132人目の素数さん
20/04/16 22:58:40 n5ivxgr3.net
>>237
どこか間違ってましたか?

253:132人目の素数さん
20/04/16 23:02:41 6khqWanl.net
>>241
レフリーに必要な誠実せいがショルツには欠けてる。
再反論を一年も放置するような奴には無理。

254:132人目の素数さん
20/04/16 23:09:43 QyrzOwDK.net
正しいかどうかは知らんが8年間もあって状況が全く変わってないのは著者側の努力不足だ

255:132人目の素数さん
20/04/16 23:20:25 q4igpWmJ.net
>>238
「Θリンクの定義に対応するものは

        (N=-2B) ∧ (N=-A)
「マルチラディアル表示」の構成は「∧」性を引き継ぐ

例えば、元々のΘリンクが、何かの理由によって

      (N=-2B) ∨ (N=-A)

として認識(=誤認!)されたとします。

まず、整数 A と B が、一致するとは限らないものであることを仮定することには全く意味がない、」

(なんで?普通は、「 A と B が、一致するとは限らない」と仮定するのでは?)

「最初から「A=B」ということにしても、整合性(=「無矛盾性」)の問題は全く発生しないのではないかと考えてしまいます。」
(それはそんな気がする)

「最初から「A=B」ということにして、Θリンクの定義も
         (N=-2A) ∨ (N=-A)

ということにすると、「マルチラディアル表示」に移行する際、(「∧」ではなく!!)「∨」を引き継ぐことになり、つまり、
      (N=-2A+ε) ∨ (N=-A)

という恰好の「∨版マルチラディアル表示」しか従わないことになってしまいます。」

(または、の左右両方はなんでもいいんだから、これでよさそう)


「IUTeichの連続論文では、「P ∧ Q」のような形の内容の「∧」性に対応する部分は、

  「PとQを同時的に」、「Qを固定
   した上でPを」、あるいは「Pと
   Qを、その共通部分に沿って貼り
   合わせる」

といったような表現で記述していますが、これらの表現はどう考えても、通常の数学的な(「デフォルト」の)解釈ですと、「∧」という捉え方しかあり得ないと思います。」

(え?そうなのかな?やっぱりよくわからないや)

しかし、ご本人の書かれたものなので、これはIUTの誤解されている部分の解説を、かなりわかりやすくされていると思うので、
ショルツ本人に説明して議論すれば、いいのでは?

もしここで、ショルツが納得しなければ、終わりの気がする

256:132人目の素数さん
20/04/16 23:28:12 wI2Ut9Eb.net
通常AとBと書けばそれはA≠Bを意味する
ゆえに対(a,b)と(b,a)は一致しない
そのもとで
可換群を定める

257:132人目の素数さん
20/04/16 23:47:40 cG2oYdqZ.net
>>248
この件でコミットする気は全くないので何とも言えないが、むしろ今や、ショルツはそれを
無駄だと言ってるんだよ。理解してないわけじゃない。で、それをきっちりどう説得するかが難しい
勿論弁護可能な答えはないのかもしれないし

258:132人目の素数さん
20/04/16 23:52:21 cG2oYdqZ.net
別にショルツがそう言ってるからそうだよねって言うほど他の数学者も馬鹿じゃない
説得力のある反論はあるのかってのが問題

259:132人目の素数さん
20/04/16 23:56:52 WvAolheP.net
PRIMSに出版されたら論文て全文公開されるの?
ショルツの正式な反論はそれからだろうか

260:132人目の素数さん
20/04/17 00:04:31 7c9dYggs.net
>>252
こんなのが議論に参加してんのが5ch

261:132人目の素数さん
20/04/17 00:11:48.42 nTy0J804.net
>>190
>IUTはabc予想の証明がしたくて
>今に至っていますから、
>数論の話に限るとおもっています。
宇宙と宇宙をつなぐ数学を読んでるんですが、
そのなかで、IUTの考え方のひとつとして
「足し算と掛け算を分離して、互いに独立のものして別々に扱う」
と書かれているのですが、
足し算と掛け算は、整数だけに限らず、実数、複素数、ベクトル、行列など、
ありとあらゆる数学上の演算子として登場する概念なのに、
IUTの上記の考え方は、数ある数学の中の整数に限定してしか
足し算と掛け算を分離して互いに別々に扱うことができないと考えるのは
直感的に不自然ではないでしょうか?
もしかして、IUTの考え方は数学のありとあらゆる公理系の根本的な考え方
に波及しうる可能性は考えられないでしょうか?
すいません素人な質問で

262:132人目の素数さん
20/04/17 00:22:38.50 B1HB16cj.net
自称素人の公理君はこのスレに何しに来てんだ?
半分オカルトの一般書でわかったつもりになって満足するタイプかな

263:132人目の素数さん
20/04/17 00:36:15.81 v4S6ljfi.net
自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ
理解するぞ、理解するぞ、理解するぞ、理解するぞ、理解するぞ

264:132人目の素数さん
20/04/17 01:10:29 DnGLarB9.net
>>253
議論じゃなくて望月人形とショルツ人形でお人形遊びしてるだけだからねw
議論なんて高級な言葉はもったいない

265:132人目の素数さん
20/04/17 01:15:22 0xDnnfsi.net
>>253
ごめんちゃい

266:132人目の素数さん
20/04/17 01:56:19 sZCD+iqx.net
>>258
いいんだよ、気にすんな!
俺なんか、「ABC予想」とか「リーマン予想」とかの単語にひかれてココにきただけの高卒の詩人だからなw
にも拘わらず、罵倒しまくって遊んでるんだわw

267:132人目の素数さん
20/04/17 02:56:26.61 nTy0J804.net
>>255
IUT理論がすごいなら是非つかってみることはできないかと期待してます。
京大や日本の数学者以外が無関心なら、いっそのこと日本の数学者や応用技術者だけでIUTを
どんどん活用してしまえるアドバンテージがあるとも考えられませんかね
大学入試の整数問題は主に発見的解法に頼ってた記憶があるのですが、
デカルトの座標幾何学がユークリッドの古典幾何学を、
発見的解法から系統的解法に変えたように、整数問題を発見的解法から
系統的解法に変えるポテンシャルをIUTが持ってないか知りたいと思っております。
さらに、今まで発見的解法に頼っていた数学分野を系統的解法に変える
ポテンシャルをIUTが持っていたとしたなら、
系統的解法は即ちシンプルなアルゴリズムに実装可能となるので、
IUTを認めた人たちがこのアドバンテージを生かして革新的なソフトウェアを
つくりだせないか期待してます。
ごく一部の日本人数学者にしか関心を持たれていないパラダイムがもし本当に
あったのだとしたら、そしてごく一部の関心を持った人にとってはすごい
アドバンテージだと思いませんか?
もしかしたら日本人にとって1000年に一回しかないチャンスかもしれない。

268:132人目の素数さん
20/04/17 03:27:54.08 3LxgcMAS.net
日本は伝統的に応用数学のレベル低いからね
昔、確率微分方程式というのを日本人が開発したけど、
その最大の応用であるブラックショールズモデルに興味なしどころか否定したくらいだし

269:132人目の素数さん
20/04/17 04:31:41 rhfFY7Ks.net
3Dポアンカレ予想解決時以来の寄生受賞工作もしくは受賞横取り工作の疑惑の線も有るぅ言うんか?
若しくはあれか?黄色人種嫌いユダヤ血脈嫌いによる成果非毀工作か?
いい加減に望月新一氏は「自明です自明です、論文を読んで下さい」じゃと

「定説です定説です、信仰が必要です」言うとったライフスペース高橋弘二みたいな
御高説語りを止めてくれんかのう。

270:132人目の素数さん
20/04/17 05:23:27.10 pxy/Gr4R.net
>>223
あるよ
Artinのétale homotopyとか読めばいいと思う

271:132人目の素数さん
20/04/17 05:32:01.14 pxy/Gr4R.net
Joshiの論文って修正可能だと思うか?
「rimsの人は誰でも知ってる」定理の証明に対して、ショルツェが本質的な(それこそ大学院レベルの)間違いを指摘したけど、玉川、望月があんな間違いを犯してるとは思えない

272:132人目の素数さん
20/04/17 05:48:09.68 f2SMq3uh.net
将棋の棋士とかでも2歩とか王手玉逃げずとか角ワープとかいろいろあるぞ

273:132人目の素数さん
20/04/17 05:56:19.08 pxy/Gr4R.net
anabelomorphicから来るベースチェンジで基本群が不変か否かって、ショルツェの得意分野に近いよな
その彼が否定的だとかなり心配になるね

274:132人目の素数さん
20/04/17 06:00:37.59 b4r/e+rz.net
あれどんな定理だっけ?

275:132人目の素数さん
20/04/17 06:01:29.93 pxy/Gr4R.net
URLリンク(arxiv.org)
定理21.1の使わずに系21.2を示せるなら、状況ひっくり返りそうだよね
ショルツェも「もし正しいなら、iutを使ったabc攻略も理解できる」と書いてるし

276:132人目の素数さん
20/04/17 06:03:39.83 pxy/Gr4R.net
>>264
訂正します
「rimsの人なら誰でも知ってる」は系21.2で、ショルツェがミスを指摘したのは定理21.1です
Joshiの書き方からすると、定理21.1以前から系21.2は知られてるような感じはしますが

277:132人目の素数さん
20/04/17 06:12:29.61 SLqyJAGE.net
それは、 D さんの脳内の不具合による全く
無意味な錯覚以外の何ものでもありません。
(2020.04.16 21:51:24)
脳内の不具合w
モチーはブログのコメを全て読んではいるようだな

278:132人目の素数さん
20/04/17 06:17:34.15 VgcLvKlr.net
>>270
だから変なコメ書き込むクソはタヒね!っての。
日本語書くな!なの。

279:132人目の素数さん
20/04/17 06:18:27.80 pxy/Gr4R.net
望月ブログのコメント欄は流石に酷すぎるなw
なんでコメント欄閉じないんだw

280:132人目の素数さん
20/04/17 06:22:15.76 3yaKNaCZ.net
Dupuyもコロナですぐには対応てきないらしい
In case people are wondering, I’m working on a response to that thread but it is a pandemic and we have a toddler and Christelle is an ANTS editor with deadlines. I hope to clear up the loose ends. Sorry I am so slow.

281:132人目の素数さん
20/04/17 07:30:49 VgcLvKlr.net
>>272
もっちはオープンマインドだからだよ
正々堂々としてるよ
「来るもの拒まず去るもの追わず」だよ
もっちに“背を向けられた”ってのは、よっぽどアンフェアで
(改善の見込みは期待出来ないだろう)って幻�


282:ナされたって事なんだろう



283:132人目の素数さん
20/04/17 07:33:58 VgcLvKlr.net
ちょっとデリケートなとこがあるんだろうとは思うけど。
くたらない事に無駄に神経使って気力をすり減らさずに、自分の思考に集中したいんじゃないかな?

284:132人目の素数さん
20/04/17 07:37:10 VgcLvKlr.net
コメ欄に数学的に無意味な事∧見ても気分悪いだけの悪意しかないキモコメ

書き込むクソはタヒね。

285:132人目の素数さん
20/04/17 08:01:09 VgcLvKlr.net
>>68-69 >>231
この書き込み見て、なんとなく(この人ら本当に日本人かな?)って思った

(いや、生粋のテヨソならハングル書き込むだろ?)
ってご指摘には先取りして...
「やっぱりZか」
って答えときますw

286:132人目の素数さん
20/04/17 08:03:24 VgcLvKlr.net
>231←バカかよw
もっち&RIMSを匿名掲示板で誹謗中傷するしか能が無い奴の思考力w
お里も知れたなw

287:132人目の素数さん
20/04/17 08:23:27.43 MY6zgzBF.net
議論も落ち着いたし、Dupuyのまとめはまだだけど、
woit blogの戦いはScholze勝利にて一件落着ってか
やっぱ京都限定のポストモダン的言説として世界的に
黙殺されることになるんだろうな
それにしてもScholzeのクリアカットぶりが清々しいな
論文でもそうだけど、falsifiableなスタイルで発信してて
数学の議論とは斯くあるべしという強い意志を感じたヨ
それに比べて「ライオン」やその言葉を理解したって
言ってた奴らの体たらくは何なんだろうね

288:132人目の素数さん
20/04/17 08:26:21.34 VgcLvKlr.net
>>232
ウンコ※アン臭い連中の誹謗中傷のおかげで批判者がウンコリ●ン臭いんですが、それは?
既に日本の一般人には、IUTTに関する一部日本語書き込みの不毛かつ、不健全で悪意に満ちた誹謗中傷の酷さから、数学から離れた不毛なジャパンディスカウント臭で、潜伏ウンコリアンによる嫌がらせに過ぎないと看做されつつありますw

289:132人目の素数さん
20/04/17 08:29:18.35 VgcLvKlr.net
もっちやRIMS陣に比べたコイツらウ■コリア容疑者どもの穢らしさ卑劣さよ
屑だね

290:132人目の素数さん
20/04/17 08:31:11.51 VgcLvKlr.net
やればやるだけ軽蔑嫌悪されるだけなのに
とっくに正体バレてんに。
天に唾吐くバカかよ

291:132人目の素数さん
20/04/17 08:36:38.61 VgcLvKlr.net
またまたウンコリア▲のせいで一般人に純粋に数学的な議論としては
懐疑派の指摘が省みられ無くなっちゃうんだよね...
(ああ、またウンコリアンが嫌がらせしてんだな?チッ!糞共がッ!)
ってアレルギー反応出だすから。

292:132人目の素数さん
20/04/17 08:43:01 Tw2aaCiT.net
>>274
もっちーかっこいい

動かざること山のごとしだけど

293:132人目の素数さん
20/04/17 08:47:07 VgcLvKlr.net
数学的に妥当な議論が拡がり難くなっちゃって、国内の日本人研究者まで一般人から(色眼鏡で見られちゃかなわないから…)ってIUTT批判しづらくなっちゃうんじゃないかな

結果として国内で研究者が
(IUTTに疑義を表明したら“ウ💩コリアン嫌疑”を掛けられて“嫌悪感”を催した一般人から批判を受ける…)
のを懸念してIUT批判を敬遠するムードに傾いてくと、
国内での懐疑派の健全な研究土壌が失われてく事が憂慮されるわ。

294:132人目の素数さん
20/04/17 08:51:48 VgcLvKlr.net
IUTTを検証する言辞を書き込むなら「数学的真」を追求する以外の、如何なる不純な他の動機も持ち込まないで欲しい

295:132人目の素数さん
20/04/17 08:53:43 VgcLvKlr.net
特に日本語書き込みで
日本や日本人に対する悪意ある思


296:惑が隠しきれないコメントなんて「バカが墓穴掘ってる」としか。



297:BLACKX
20/04/17 11:14:12.35 YPPhmImN.net
>>285
数学的真を追求しろよ

298:132人目の素数さん
20/04/17 12:28:08.22 615HxAUz.net
モッチーの数学力はわからないが、
政治力はフィールズ賞級だな。

299:132人目の素数さん
20/04/17 12:58:03 H2+tNnwZ.net
スレリンク(math板:98番)
>数学科学部4年前期か通年かで使うことを想定した
>「IUTの数学における革新性」を説明した
>解説テキストがあれば良いと思う

でもそれじゃ
「群論の初歩も誤解する素人」
には到底理解不能じゃない?

300:132人目の素数さん
20/04/17 13:10:17 uc+pAU0w.net
>>290
嫌われあほサルか

1.現状は、海外の数論専門家(プロ数学者)が、IUTが読めないという(8年前から継続中)
2.その理由は、一つには、21世紀の現代数学が、あまりにも巨大化専門化してしまったことにある
3.また、IUTのI~IVの4編の論文+専門的な準備論文が複数(数え方によっては10以上だろうか)
 それでは、例えば、解析の専門とか、トポロジーの専門とかだと、富士の樹海状態で、IUTを読もうとして 西も東もわからない
4.なので、”数学科学部4年前期か通年か”(3年までの知識で頑張れば理解できる)解説書が要るってことだ

それが出れば、その解説書をもう少しやさしくした解説書が出るから、おれはそれを読むさ(^^;

ちなみに、解析の専門とか、トポロジーの専門とかに「なるほど」と分かってもらうってことも、数学業界に身をおく者としては
重要だよね。望月研の若手が、どこかのポストに応募しても、「IUT? あれわけわからん!」とか言われないようにね(^^

301:R-U106
20/04/17 13:14:09 H2+tNnwZ.net
>>262
>黄色人種嫌い

Y-DNA haplogroups in populations of East and Southeast Asia

Japanese
C 8.5
D 34.7
N 1.6
O1b 31.7
O2  20.1
Q 0.4

Korean
C 9.1
N 4.1
O1b 30.3
O2 44.5
Q 0.6

Chinese
C 6.0
D 0.6
K 1.2
N 9.0
O1a 9.6
O1b 16.3
O2 55.4
Q 0.6

302:132人目の素数さん
20/04/17 13:20:16 B1HB16cj.net
別のスレの書き込みを持ち込むな
何のためにスレ分けてんだよ

303:R-U106
20/04/17 13:24:48 H2+tNnwZ.net
>>262
>ユダヤ血脈嫌い

Ashkenazi Jews
I 4.1
E 19.7
J 38.01
G 9.7
N 0.2
R 28.29

Germans
Germans
R1b 44
R1a 12
I  20
E  5
J  6
G  5
N  1

304:R-U106
20/04/17 13:25:52 H2+tNnwZ.net
⬜⬜⬜⬜⬛⬜⬜⬜⬜⬜⬜⬜⬛⬜⬜⬜⬜
⬜⬜⬜⬛⬜⬜⬜⬜⬜⬜⬜⬛⬜⬜⬜⬜⬜
⬜⬜⬛⬜⬜⬜⬛⬜⬜⬜⬛⬜⬜⬜⬛⬜⬜
⬜⬜⬜⬛⬜⬛⬜⬛⬜⬜⬜⬛⬜⬛⬜⬛⬜
⬛⬜⬜⬜⬛⬜⬜⬜⬛⬜⬜⬜⬛⬜⬜⬜⬛
⬜⬛⬜⬛⬜⬛⬜⬜⬜⬛⬜⬛⬜⬛⬜⬜⬜
⬜⬜⬛⬜⬜⬜⬛⬜⬜⬜⬛⬜⬜⬜⬛⬜⬜
⬜⬜⬜⬜⬜⬛⬜⬜⬜⬜⬜⬜⬜⬛⬜⬜⬜
⬜⬜⬜⬜⬛⬜⬜⬜⬜⬜⬜⬜⬛⬜⬜⬜⬜

305:132人目の素数さん
20/04/17 13:34:02 H2+tNnwZ.net
>>291
>”数学科学部4年前期か通年か”(3年までの知識で頑張れば理解できる)解説書が要る
>それが出れば、その解説書をもう少しやさしくした解説書が出るから、
>おれはそれを読むさ

学部3年の知識が全く理解できない素人には到底無理じゃね?

URLリンク(www.ms.u-tokyo.ac.jp)

3年生Sセメスター(=前期)

必修科目「代数学 I 」、「代数学特別演習 I 」
内容:群論と環論の入門

3年生Aセメスター(=後期)

選択必修「代数学 II 」、「代数学特別演習 II 」
内容:環と加群、つまり基礎的な環論.主イデアル環上の有限生成加群など.
選択必修「代数学 III 」
内容:ガロア理論とそれに関連する主


306:題



307:132人目の素数さん
20/04/17 13:36:31 H2+tNnwZ.net
>>296の続き

URLリンク(www.ms.u-tokyo.ac.jp)

3年生Sセメスター(=前期)

必修科目「幾何学 I 」、「幾何学特別演習 I 」
内容:多様体論の入門

3年生Aセメスター(=後期)

選択必修「幾何学 II 」、「幾何学特別演習 II 」
内容:位相幾何学の初歩(ホモロジー群、コホモロジー群、ホモトピー群)
選択必修「幾何学 III 」
内容:ベクトル場と微分形式

308:132人目の素数さん
20/04/17 13:40:12 H2+tNnwZ.net
>>297の続き

URLリンク(www.ms.u-tokyo.ac.jp)

2年生Aセメスター(=後期)

必修科目「複素解析学 I ]、「同演習」
内容:一変数複素関数論の入門的な部分、コーシーの諸定理など。

3年生Sセメスター(=前期)

必修科目「解析学 IV 」、「解析学特別演習 I 」
内容:ルベーグ測度と積分
必修科目「複素解析学 II 」、「複素解析学特別演習」
内容:第4学期の「I」に引き続きより進んだ内容を扱う

3年生Aセメスター(=後期)

選択必修「解析学 V 」
内容:微分方程式論の初歩
選択必修「解析学 VI 」
内容:フーリエ変換、超関数
選択必修「解析学特別演習 II 」
内容:書類上は、上記の「解析学」の「V」または「VI」のどちらかに付帯することになっているが、事実上は共通の演習として運用されている.
選択必修「現象数理I」
内容:数理解析学概論
選択必修「確率統計学I」
内容:確率論の基礎

309:132人目の素数さん
20/04/17 13:42:29 v4S6ljfi.net
数学の論争で、論を認めないのは人種差別だなていうのは、どうかね。

310:132人目の素数さん
20/04/17 13:44:13 H2+tNnwZ.net
>>296-298
ぶっちゃけていえば、数論幾何を学ぶには学部レベルでは全然足らない

URLリンク(www.ms.u-tokyo.ac.jp)

代数学XA(数学科4年)・代数構造論(大学院):
代数学IIで学んだ可換環と加群の理論をふまえ、
可換環論の基礎事項についてより深く学習する。
可換環の理論は整数論・代数幾何学・表現論等においては必要不可欠なものである。

代数学XB(数学科4年)・数理代数学概論(大学院):
代数学I, II, IIIで学んだ代数学の基礎をふまえ、
より進んだ数論・数論幾何学の基礎となる代数的整数論の基礎事項について学習する。

代数学XC(数学科4年)・代数構造論(大学院):
整数論・代数幾何学・幾何学等において基本的な対象であるとともに, 
より進んだ代数幾何学・複素幾何学のプロトタイプでもある
リーマン面・代数曲線の基礎事項について学習する.

代数学XD(数学科4年)・数理代数学概論(大学院):
代数学I, II, IIIで学んだ代数学の基礎をふまえ、
ホモロジー代数の基礎事項について学習する.
ホモロジー代数の手法は, 整数論・代数幾何学・表現論・幾何学はもとより、
近年では数理物理においても使われ、その重要性が増している。

311:132人目の素数さん
20/04/17 13:48:27 H2+tNnwZ.net
>>300の続き

URLリンク(www.ms.u-tokyo.ac.jp)

幾何学 XA(数学科4年)・位相幾何学(大学院):
基本群とファイバー束。
ホモトピー、被覆変換と基本群、普遍被覆空間、高次ホモトピー群、
ファイバー束(構造群、主束、切断)などの位相幾何学に関する基礎講義。

幾何学 XB(数学科4年)・微分幾何学(大学院):
リー群論。
リー群とリー環の対応、指数写像、随伴表現, 閉部分群と等質空間、
古典群の諸例と構造、リー群の有限次元表現などのリー群論における基礎概念を学ぶ。

幾何学 XC(数学科4年)・位相幾何学(大学院):
特性類。
ファイバー束、主束や構造群、分類空間、
ベクトル束の特性類(Euler類、Chern類、Pontrjagin類など)、平坦束の分類
などの項目から、いくつか選択して講義する.

幾何学XD(数学科4年)・微分幾何学(大学院):
リーマン幾何。
多様体上のリーマン計量、接続、曲率テンソル、測地線と距離、ヤコビ場など、
リーマン幾何における基礎的な概念を学ぶ。

312:132人目の素数さん
20/04/17 13:52:17 H2+tNnwZ.net
>>301の続き

URLリンク(www.ms.u-tokyo.ac.jp)

解析学?(数学科4年)・線形微分方程式論(大学院):
線形微分方程式、
具体的には楕円型方程式、熱方程式、波動方程式、
複素領域の常微分方程式など方程式について、
例えば解の存在、一意性、アプリオリ評価などの適切な話題を、
担当教員が選んで講義する。
関数解析、フーリエ解析の基礎的知識が必要。

解析学?(数学科4年)・関数解析学(大学院):
関数解析学の基礎、
特にバナッハ空間、ヒルベルト空間、開写像定理、双対空間、線形作用素など
の話題について講義を行う。
予備知識としては、ルベーグ積分論、測度論が必要。

解析学XB(数学科4年)・基礎解析学概論(大学院):
実解析学に関する


313:入門的な講義を行う。 内容としては、L^p空間、ソボレフの埋め込み定理、レリッヒの定理、補間定理、など を中心に解説する。 測度論、フーリエ解析の基礎的な知識が必要。 確率統計学II(数学科4年)・数理統計学(大学院): 統計推測の漸近理論について講義する。 推定量の一致性、漸近正規性、尤度比検定、多項分布の検定、 モデル選択のための情報量規準を解説する。 確率統計学?(数学科4年)・確率過程論(大学院): 確率過程、特にその重要なクラスであるマルチンゲールについて講義する。 主に離散時間の場合を論ずるが連続時間マルチンゲールにも簡単に触れ、 ブラウン運動などについても解説する。 確率統計学XA(数学科4年)・確率解析学(大学院): 「確率過程論」に引き続き、確率積分、確率微分方程式、伊藤の公式などについての講義を行う。



314:132人目の素数さん
20/04/17 13:55:12 9ydo80dl.net
望月やショルツが学部レベルと言っている内容を学部でこなせるのは人握りだわな……

315:132人目の素数さん
20/04/17 13:57:44 H2+tNnwZ.net
仮にIUTに関する解説書が書かれた場合
岩波講座 現代数学の展開 のレベル
(つまり大学院修士課程以上)

(Weil予想とエタールコホモロジー)
Fermat予想1:斎藤毅
Fermat予想2:斎藤毅
モジュライ理論1:向井茂
モジュライ理論2:向井茂
モジュライ理論3:上野健爾・清水勇二
双有理幾何学:Janos Kollar・森重文

「Weil予想とエタールコホモロジー」は
誰が書くつもりだったか知らん

316:132人目の素数さん
20/04/17 14:11:01 H2+tNnwZ.net
数論幾何 特に遠アーベル幾何は、山でいえばカラコルムのK2

URLリンク(ja.wikipedia.org)

(K2は)登頂の難しさでは世界最高峰のエベレスト(標高8,848m)よりも上で、
世界一登ることが難しい山とも言われる。
その理由として、人が住む集落から遠く離れた奥地に存在する
(最も近い村でさえ直線距離で約80kmも離れている)ことによる
アプローチの困難さ、エベレストよりも厳しい気候条件、
急峻な山容による雪崩、滑落の危険性などが挙げられる。
K2登山に関しては一般的なルートでさえ、
エベレストのバリエーションルートに匹敵するといわれる。
これらの困難さから、冬季における登頂が未だ達成されていない
唯一の8,000メートル峰となっている。
遭難者の数も多く、2012年3月までの時点で登頂者数306人に対し、
死亡者数は81人に達する(その時点でのエベレスト登頂者数は5,656人)。
チャールズ・ハウストン、ロバート・ベイツ共著の書籍のタイトルから
「非情の山」とも呼ばれる。

317:132人目の素数さん
20/04/17 14:23:40 s3SXhTr8.net
2012年に公表されてから
今までに麓にも辿り着けずに
ネットサーフィンでMパーティを冷やかすしかないんだったら・・・

(*・@・)バブ~バー(・◎・)ブー(・ε・。)ばぶちゃんずは
アブイからおんもは出ちゃダメダメだ~

赤ちゃんルームでハイハイかぐんぐん飲んで大きく育ってw

え?セイロンティー?

と・ん・で・も・ご・ざ・ら・ん!w

ノンカフェインで♪
ばぶちゃんずだもん♪

318:132人目の素数さん
20/04/17 14:28:51.58 s3SXhTr8.net
ヌルイとこで(口だけ?w)大きく育ってママを安心させてあげてください
非情の山頂にアタックなんて
りびんおんざえっじは
もっちパーリィーにお任せで♪
ひたすら名無しでヲチャ濁しててくださ~い♪



319:<<⸜(@ ॑꒳ ॑ @)⸝🍼)) バブ~最強wwww



320:132人目の素数さん
20/04/17 14:31:33.78 s3SXhTr8.net
バブ~ちゃんずの姉歯鶴みたいな飛翔を見よwwww
カラコルムちょっれー!!
チョモランマちょっれー!
wwww

321:132人目の素数さん
20/04/17 14:33:26.83 s3SXhTr8.net
滅茶苦茶なこと書き散らしてても叱らないであげてくらさいw
バブ~ちゃんずの喃語は聞き流してあげてw

322:132人目の素数さん
20/04/17 14:36:29.87 H2+tNnwZ.net
>>306
>ばぶちゃんず
数学板でいえば
乳児:算数しか分からん
幼児:高校レベルの数学しか分からん
児童:数学科卒だが代数は専門外
生徒:代数が専門だが、数論幾何は専門外
学生:数論幾何が専門
(学校教育法では、児童は小学生、生徒は中学・高校生、学生は大学生)
スレの現状
クソガキ(児童)がばぶちゃんず(乳幼児)に
「おまえらジャリは他所で遊んでろ」と
云ってるがいうこと聞かない状態
それを見てる中坊(生徒)曰く
「おまえもジャリだろが」

323:132人目の素数さん
20/04/17 14:36:30.75 s3SXhTr8.net
>>306
~ノンカフェインで~
ばぶちゃんずに覚醒なんか
期待しちゃだめだもんw
カフェイン必要無いw

324:132人目の素数さん
20/04/17 14:41:35 H2+tNnwZ.net
>>311
アンフェタミンで(ポール・エルデスか)
URLリンク(ja.wikipedia.org)

325:132人目の素数さん
20/04/17 14:42:01 s3SXhTr8.net
>>310
現代数学、純粋数学未修者として数学科以外で26才を過ぎたなら~
数学人としては一生オタマジャクシ。
存在して無いも同然だよ

326:132人目の素数さん
20/04/17 14:44:27 s3SXhTr8.net
>>312
才能への渇望に追い詰められても・・・薬物に逃げたら・・・

もっと悲惨な泥沼にハマりそうでつねw

327:132人目の素数さん
20/04/17 14:51:25 s3SXhTr8.net
>>310
(・@・)🍼バブちゃんず
(数学科卒・代数未満&
代数履修済・数論幾何未修)が・・・

∈(^×^)オタマジャクシ
(現代数学・純粋数学未満)
にイキってるのw

328:132人目の素数さん
20/04/17 14:51:39 H2+tNnwZ.net
>>313
ダメだよ、そんなホントのこといっちゃw

数学科から見た世界

動物:数学科以外の出身者(大学に行こうが理系学部だろうが同じ)
子供:数学科出身だが数学者以外の職についたもの
独身:一応数学者だがまだ結果を残せてない人
大人:数学者として結果を残し弟子を持ってる人
老人:伝説の数学者

329:132人目の素数さん
20/04/17 14:55:06 s3SXhTr8.net
どんどん自虐めいて来ましたw

これ以上は自制してw

みんなタヒにたくなっちゃうよw

330:132人目の素数さん
20/04/17 15:14:50 615HxAUz.net
>>313
数年前の囲碁・将棋のプロもそう言っていたよ。
今ではAIから見れば、名人も赤子のようなもん。

331:132人目の素数さん
20/04/17 15:47:19 uc+pAU0w.net
>>316

未成年:一応数学者だがまだ結果を残せてない人
成人:数学者として結果を残し弟子を持ってる人
大老:伝説の数学者

かな?w(^^;

332:132人目の素数さん
20/04/17 15:59:15 yAQ320vB.net
>>318
コンピュータの前では無力ってことか
それでなんだかんだと口実を作っては対局を回避していると

333:132人目の素数さん
20/04/17 16:01:41 uc+pAU0w.net
>>304-305

正直、それ同意だけれど(^^;

だから
Woit氏や
David Roberts氏の
研究歴をみれば
IUTを理解するには
基礎になるべき数学の教養が決定的に不足していることはあきらか
なのです!

が、それはおそらくは
”遠アーベル幾何”にからんでない
一般の数論屋さんも同じことだろう
だから、>>291に話が戻るんだなw(^^;

334:132人目の素数さん
20/04/17 16:10:36 H2+tNnwZ.net
>>321
同意するなら 登山電車でアルプス上るしか能ない観光客は黙りな

K2に登山電車なんかできないから

335:132人目の素数さん
20/04/17 16:21:42 H2+tNnwZ.net
今調べたら「Weil予想とエタールコホモロジー」を書く予定だったのは
加藤和也氏らしい

そもそもエタールコホモロジーの邦書も出てないのに
遠アーベル幾何の邦書なんて期待するほうが無理筋

336:132人目の素数さん
20/04/17 16:28:23 H2+tNnwZ.net
>>323
>そもそもエタールコホモロジーの邦書も出てないのに

今調べたら「代数的サイクルとエタールコホモロジー」という本が出てた

しかしすでにこのレベルで酸欠状態で高山病・・・OTL

337:132人目の素数さん
20/04/17 16:49:01 b4r/e+rz.net
>>321
それはどうかね
数論幾何の分野次第では遠アーベル幾何の話は理解できないってことはないよ。特にガロア表現周りは

338:132人目の素数さん
20/04/17 17:12:20 +v9p5plD.net
中高生にもわかるIUT理論 2018年ニコ生
URLリンク(www.youtube.com)

339:132人目の素数さん
20/04/17 17:17:10 uc+pAU0w.net
>>325
>数論幾何の分野次第では遠アーベル幾何の話は理解できないってことはないよ。特にガロア表現周りは

「理解できないってことはないよ」という二重否定表現には同意するが
現実に、Woit氏や
David Roberts氏が
IUTを理解しているかどうか?
Woitブログのやり取りみれば分かるでしょ(^^;

と、同時に
あれが、欧米の一般の平均的な数学者の理解かも知れないという気がするってこと
だからの、繰り返すが、>>291ってこと

あと、本の目的は、全員K2登山者対象ではなく
まあ、ドローン飛ばして
K2の山頂付近はこうなっていて
登山するから、このルートで
こことここが難所

ちなみに、SS先生が遭難したのはここ
みたいな観光ガイド風で良いと思う
ビジュアルな図とか絵があると、分かった気になるから、GJだと思う

あとは、意欲と時間と体力のある若者は、本論文読んでください
で良いと思う

あと、よくあるのが、それ読んで
換骨奪胎して、別の分野で似たことをやってみるなんてのも
数学では けっこうよくあるよね
IUTでそれができるかどうかしらないけど

あと、証明がもっと簡単になるってことも結構ある
望月先生は否定しているが
可能性としては否定すべきでないのは、歴史の示す通り

340:132人目の素数さん
20/04/17 17:19:54 H2+tNnwZ.net
>>326
BG 商売に走ってますね

341:132人目の素数さん
20/04/17 17:25:06 H2+tNnwZ.net
>>327
円分体の自己同型も誤解したのにガロア理論を語ろうとする
「不埒な一般観光客」は論外だけどな

342:132人目の素数さん
20/04/17 17:32:29 BSKkRba+.net
秀頼公はなぜ御出陣なさらぬのだ

343:132人目の素数さん
20/04/17 17:33:03 b4r/e+rz.net
>>327
IUTが正しいのかSSなのかを見極めること自体が至難の技であって、あんたにもわからんだろ
それが最大の問題なんだが

344:132人目の素数さん
20/04/17 17:38:40 H2+tNnwZ.net
>>327
>ドローン飛ばして・・・

こういう不遜な素人をドローンで釣り上げて
K2の山頂の真上から落っことして
そのまま置いてきぼりにしたい気分
になってる人は少なくないだろう

345:132人目の素数さん
20/04/17 17:45:16 H2+tNnwZ.net
>>327
>SS先生が遭難

そもそもここが事実誤認

実態

M月  「K2登頂に成功した!」
Sョルツ「いやいや上ってないでしょ
     だいたいこんな装備で登れるわけないじゃん」
M月  「なんだと、お前みたいな若造が俺様に説教するとか百年早いわ!」
Sョルツ「なんだ●違いか 触らぬ神に祟りなし」

346:132人目の素数さん
20/04/17 18:16:43 ZQ+rFSeZ.net
Anabelian geometry with étale homotopy
types

ALEXANDER SCHMIDT AND
JAKOB STIX

Abstract ― Anabelian geometry with
étale homotopy types generalizes
in a natural way


347: classical anabelian geometry with étale fundamental groups. We show that, both in the classical and the generalized sense, any point of a smooth variety over a field k which is finitely generated over Q has a fundamental system of (affine) anabelian Zariski-neighbourhoods. This was predicted by Grothendieck in his letter to Faltings https://arxiv.org/pdf/1504.01068.pdf



348:132人目の素数さん
20/04/17 18:17:11 H2+tNnwZ.net
類似の展開

●● 「数セミ記事”箱入り無数目”はマチガッテル」
Mara「いやいや正しいでしょ
   だいたいあんたの主張の根拠、どれもこれもおかしいし」
●● 「確率過程論も知らぬ落ちこぼれが俺様に説教するとか百年早いわ」
Mara「正規部分群の定義も間違えた落ちこぼれがなにいってんの」

349:132人目の素数さん
20/04/17 18:28:50 b4r/e+rz.net
でも数学の才能があるかどうかと、単純ミスや知ったかをするかどうかってまた別の話だからね
才能と実力や理解も実は別の話だし
ホモロジー代数とかむしろ難しく考えすぎて理解できなかった人も多いんじゃないかな
数学教育にもまだまだフロンティアがあると思うわ

350:132人目の素数さん
20/04/17 18:43:04.77 Y7mHebV4.net
秀頼公ってだれ?
Goさん?

351:132人目の素数さん
20/04/17 18:53:04.15 H2+tNnwZ.net
>>336
「数学教育」についてはもちろん改善の余地は沢山ある
ホモロジー代数は、位相と同じく、関門の一つ
ああいうのは、基本的に「言葉」
物事を理解する能力と、新しい物事を発見する能力は違う
前者が瞬発力なら、後者は持久力
はっきりいって一瞬で物事を見抜く、というのは妄想
いろいろ試行錯誤した結果見えてくるものがある
試行錯誤は他人からは見えないから
一瞬で見抜いたように見えるだけ
新しいことを見つけるための試行錯誤の時間は短縮化できない
怠惰な人は物事を見つけられない
能力というのはつまるところどれだけサボらずにやり続けられるか
他人の成果をコピペするだけのアサハカな人は何もなし得ない
そもそもコピペした文章すら読んでないとかサボりの極致

352:132人目の素数さん
20/04/17 19:35:32 PX2MzRmz.net
でも残念ながらコピペ脳になるくらい写経をしなければ
定期試験に受からないくらい難しい
この写経を否定すると留年する

結局後から自分で一つ一つを考えていくしかない
学部2年までほとんど教養科目をやっている人間が
3年から突然専門科目ができるわけがない
みんな誤魔化している

よく勉強してそうな人でも
任意の元は任意だから任意に変形できるなんて平気で言ってる
これじゃあお終いだよ

353:132人目の素数さん
20/04/17 20:25:34.91 PJFvwFBv.net
>>339
>学部2年までほとんど教養科目をやっている人間が
東大?(^^;
> 3年から突然専門科目ができるわけがない
>みんな誤魔化している
数学は、数学科の専門科目と教養科目とのギャップ大きいよね、きっと
そして、東大クラスになると、定期試験も難しそうだな~
小島寛之氏も、そんなことを書いていたな~(^^;
URLリンク(ja.wikipedia.org)
小島寛之(こじま ひろゆき、1958年 - )
東京大学理学部数学科卒業。中学生のときから数学者になることを夢見ていたが、東京大学大学院理学系研究科数学専攻(現数理科学研究科)の大学院


354:入試に3度落第したため、数学者への道を諦め、塾講師となり、中学生に数学を教えた[2]。市民講座で宇沢弘文の講演を聴いたことを契機に東京大学大学院経済学研究科へ進学。



355:現代数学の系譜 雑談
20/04/17 20:28:32.74 PJFvwFBv.net
>>336
>でも数学の才能があるかどうかと、単純ミスや知ったかをするかどうかってまた別の話だからね
>才能と実力や理解も実は別の話だし
同意
だから、ショルツ先生、頭良すぎて
IUTについては、何かに嵌まって抜けられないんだろうね(^^;
>ホモロジー代数とかむしろ難しく考えすぎて理解できなかった人も多いんじゃないかな
>数学教育にもまだまだフロンティアがあると思うわ
同意

356:現代数学の系譜 雑談
20/04/17 20:39:13.32 PJFvwFBv.net
>>334
JAKOB STIX さんの方が
IUTについては、ショルツ氏より知識は上でしょうね
しかし、JAKOB STIX氏の声が聞こえてこない
いま、どう思っているのかな?
なお、References [Ho14] Y. Hoshi,、[Mo99] S. Mochizuki, が上がっているね(^^
[SGA4] M. Artin,; A. Grothendieck and J. L. Verdier,が導来圏の論文? 良く知らないのだが(^^;
(参考)
URLリンク(arxiv.org)
Anabelian geometry with etale homotopy types
ALEXANDER SCHMIDT AND JAKOB STIX Date: July 14, 2016.
(抜粋)
References
[Ho14] Y. Hoshi, The Grothendieck conjecture for hyperbolic polycurves of lower dimension. J. Math. Sci. Univ. Tokyo
21 (2014), no. 2, 153?219.
[Mo99] S. Mochizuki, The local pro-p anabelian geometry of curves. Invent. Math. 138 (1999), no. 2, 319?423.
[SGA4] M. Artin,; A. Grothendieck and J. L. Verdier,Theorie des topos et cohomologie etale des schemas (SGA 4).
Lecture Notes in Mathematics 269, 270 and 305, 1972/3.

357:132人目の素数さん
20/04/17 20:42:17.12 H2+tNnwZ.net
>>341
◆e.a0E5TtKE へのおススメ
まず全裸になり
             (  : )
        ( ゜∀゜)ノ彡
        <(   )
        ノωヽ
 自分の尻を両手でバンバン叩きながら白目をむき
           从
       Д゚  )  て
        ( ヾ) )ヾ て
           < <
      人__人__人__人__人__人__人__人__人__人__人
    Σ                           て
    Σ  びっくりするほどホモロジー!        て人__人_
    Σ         びっくりするほどホモロジー!      て
     ⌒Y⌒Y⌒Y)                          て
             Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒Y⌒
 _______
 |__       ヽ(゜∀゜)ノ
 |\_〃´ ̄ ̄ ヽ..ヘ(   )ミ
 | |\,.-~´ ̄ ̄   ω > (∀゜ )ノ
 \|∫\   _,. - 、_,. - 、 \ (  ヘ)
   \   \______ _\<
    \  || ̄ ̄ ̄ ̄ ̄ ̄ ̄ |
      \||_______ |
これを10分程続けると妙な脱力感に襲われ、解脱気分に浸れる

358:現代数学の系譜 雑談
20/04/17 20:46:39.02 PJFvwFBv.net
>>331-332
>IUTが正しいのかSSなのかを見極めること自体が至難の技であって、あんたにもわからんだろ
>それが最大の問題なんだが
そっくり、その言葉お返しする
”あんたにもわからんだろ”!
「IUTが正しいのかSSなのかを見極めること自体が至難の技であった」
だから、RIMSから依頼を受けた査読者(複数)が、2年間追加の検討をしてOKを出した
そして、柏原先生と玉川先生とが記者会見をした
「証明は、正しい」と、記者会見で述べた
あなたに、それを覆す能力があるとでも?
ショルツ先生の”シリウマ”に乗っているだけじゃないですか?w(^^
>K2の山頂の真上から落っことして
そのことば、”自分がK2の山頂から生還できる能力を示してこそ”
それに意味があると
みな思っているだろうぜ(^^
(そこの保証が無いのに
 


359:胸をそらすかね~? 笑えるな~~w)



360:現代数学の系譜 雑談
20/04/17 20:50:15.17 PJFvwFBv.net
>>335
(引用開始)
●● 「数セミ記事”箱入り無数目”はマチガッテル」
Mara「いやいや正しいでしょ
   だいたいあんたの主張の根拠、どれもこれもおかしいし」
●● 「確率過程論も知らぬ落ちこぼれが俺様に説教するとか百年早いわ」
Mara「正規部分群の定義も間違えた落ちこぼれがなにいってんの」
(引用終り)
おサルさ~、「数セミ記事”箱入り無数目”はマチガッテル」って、まだ自得できないのか?
その発言逆効果だよ
自分の恥さらしだよ
スレ違いだから、深入りはしないけど
なお、私の隔離スレの発言を
このスレに転写しないようにね
基本
棲み分けしましょうね(^^;

361:132人目の素数さん
20/04/17 20:59:42.85 H2+tNnwZ.net
勉強もせずに突っ込まれると
ムキになって言い訳ばかりの
◆e.a0E5TtKE へ贈る歌
♪読めといわれて 素直に読んだ
 図式眺めて その気になった
 馬鹿な出会いが 利口に化けて
 よせばいいのに 一目惚れ
 ホモロジーだよ 現代 現代~ 数学は
♪理論は誰かが 教えてくれる
 定理も誰かが 見つけてくれる
 そんな誰かに 振り回されて
 消えた学生 また一人
 ホモロジーだよ 現代 現代~ 数学は

362:132人目の素数さん
20/04/17 21:06:01 v4S6ljfi.net
自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ。
自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ。
自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ、自明だぞ。
自明だぞ、自明だぞ、自明だぞ、不明だぞ、自明だぞ、自明だぞ。

363:132人目の素数さん
20/04/17 21:13:18.35 phBJWSmK.net
Mo99] S. Mochizuki,
The local pro-p anabelian geometry of curves. Invent. Math. 138 (1999), no. 2, 319?423.
1999年ですね。
その後IUTへ突っ走った

364:132人目の素数さん
20/04/17 21:16:20.67 PX2MzRmz.net
A.D 1999 世界崩壊の日

365:132人目の素数さん
20/04/17 21:20:55.15 b4r/e+rz.net
>>344
そういう話じゃない
アクセプトされてすら全面的には信用できないって事
基本的にIUTの場合は特に結果を信用してそのまま使う事は考えにくいから、どのみち査読者以外の
数学者は理解しないと言及できないわけ
そして、そのための透明な整理はまだされてない

366:132人目の素数さん
20/04/17 21:28:51.47 H2+tNnwZ.net
>>350
◆e.a0E5TtKEは、論理じゃなく
自分の好き嫌いの感情だけで
真偽を判断する「動物」
「望月はオレと同じ日本人だから絶対正しい!!!」
「ショルツは毛唐だからマチガッテル!!!」
これが◆e.a0E5TtKEのホンネ

367:132人目の素数さん
20/04/17 21:33:35.45 H2+tNnwZ.net
A.D 1999/7/4 「アンゴルモアの大王」こと菊地最愛 誕生日
URLリンク(www.youtube.com)
「最も愛を大切に」
誰だ✨ネームとかいってる奴ぁ!w

368:132人目の素数さん
20/04/17 22:09:47.61 H2+tNnwZ.net
>>350
スレリンク(math板:107番)
>こっちでやろうか
客引き行為禁止
↓以下◆e.a0E5TtKEの書き込みコピペ
1.全く同感で、同意見
2.そもそもが、数学って他人が「査読」しましたっていうけれども、それで終りじゃないよね
3.例えば、IUTのある定理があるとする
 1)その定理を使って、なにか新しい対象に適用して、新しい結果が出ないか?
 2)その定理を拡張できないか?
 3)その定理と別の定理の組合わせで、面白いことができないか?
 4)上記1)~3)の過程で、証明にギャップが見つからないか?w(^^;
  (あるいは、証明や定理に修正が必要な場合ではないか?)
4.まあ、数学は生き物です
 一つの論文、定理が発表された。みな、それを乗り越えていこうとするものです
 そういう意味では、その過程で間違っていれば、いずれそれは露呈するのです
まあ、そういうことが、どんな大論文、大定理でもあった
IUTも同じことですよ(^^;

369:132人目の素数さん
20/04/17 22:20:13.25 H2+tNnwZ.net
スレリンク(math板:216番)
>おサルの書いていることは、数学的に無内容だ!
おサル=◆e.a0E5TtKE

370:132人目の素数さん
20/04/17 22:21:00.48 czFfGXC1.net
>>349
ラヴォスかな?

371:132人目の素数さん
20/04/17 23:57:30.10 6Nofi7Y0.net
>>342
hoshiさんもstixにreferされるようになったんだね

372:132人目の素数さん
20/04/18 00:22:37.76 NiTDVd3d.net
hoshiさん 沈黙&無関係な論文を量産
stix 社交辞令的な御祝いコメントすら完全拒否
Dupuy ショルツと議論した結果、全然理解してなかったと判明

理解度が深くなるほど遠ざかる不思議な理論ですね。

373:132人目の素数さん
20/04/18 00:45:29.93 DeUwUKKM.net
Dupuyはむしろ一歩も引かなかったって感じだったけど

374:132人目の素数さん
20/04/18 00:52:36.78 LBy94yeT.net
一歩も引いていないのと理解していないというのは別だから。

375:132人目の素数さん
20/04/18 00:55:49.34 jTbxNEwA.net
ここほんまゴミのふきだまりやな

376:132人目の素数さん
20/04/18 01:03:33 jTbxNEwA.net
Woitやあきらかにその方面素人で理解できるはずのない人のあつまるblogコメ欄に
だけあらわれてどや顔で書き込むフィールズ賞w数学者という違和感から
そろそろお察ししよう

といっても空気もよめない君ら特にH2+tNnwZには無理そう

377:132人目の素数さん
20/04/18 01:26:49 q2bns6IV.net
>>361


378:132人目の素数さん
20/04/18 01:33:22 qWyRSVSX.net
>>361
焦りから精神安定のため罵倒に来た擁護派さんお疲れ様です

379:132人目の素数さん
20/04/18 02:08:39 T5+BSLjn.net
Dupuyがさっき渾身の長文回答コメントしたね
ざっくりまとめると、やっぱり肯定的な印象
ただし、彼も完全には理解してないことは認めてる
けど、Scholzeの指摘もおかしい、とも
完全理解者は論文の著者と星のみのようだ

380:132人目の素数さん
20/04/18 02:09:37 NiTDVd3d.net
>>361
abc予想の証明(と主張する文章)を
ホームページ(笑)で公開したモッチーの悪口は止めろ!!

381:132人目の素数さん
20/04/18 02:21:03 VWppejkN.net
デュプイのコメント気合入りすぎでワロタ
ヒラドちゃんの博士が白紙になりかねんから必死なのかなw

にしてもヲイトブログでも白黒付かずまた物別れに終わってしまったな
擁護派否定派双方が己の信仰に基づいて暴れるこのスレの日常は当分続きそうだな

382:BLACKX ◆SvoRwjQrNc
20/04/18 02:25:12 uPNn1bCn.net
空中分解だけはしてほしくない
どっちかで反例みたいなのが求まれば良いのだが

383:132人目の素数さん
20/04/18 02:33:04 qWyRSVSX.net
Dupuyのコメントは逆に混乱するから見たくないが、個人的に考えた結果、SSの少なくとも(3)は多分間違い

384:132人目の素数さん
20/04/18 02:45:21 NwXVjwfi.net
フィールズ賞ゲットの天才が間違えるわけねーべ
アホか

ショルツ教授が知らねー事なんかねンだわ
ダボ

凡夫マンは3回タヒんで反省して?

385:132人目の素数さん
20/04/18 03:06:04 lZT6JCg2.net
絶対に正しいと分かっている事なら借金上限借入状態借金抜き全財産を賭ける事が出来る
借金上限借入状態借金抜き全財産を賭ける事が出来ないなら出鱈目出任せ張ったり大法螺吹きである

>>369
それ絶対に正しい?借金上限借入状態借金抜き全財産を寄付できる?

386:132人目の素数さん
20/04/18 03:06:05 tDCm0T/E.net
Fun lockdown reading #IUTABC URLリンク(t.co) (if tl;dr: focus o


387:n the Scholze-Dupuy exchange). The latest of TD: "as it stands, the Stix-Scholze manuscript should not be held up as a reason to reject Mochizuki’s proof." https://t.co/To8U3aHUrj



388:132人目の素数さん
20/04/18 03:10:50 lZT6JCg2.net
>>370を完全アンチだけではなく完全信者にも言いたいんだが最近、完全信者が居ないな

389:132人目の素数さん
20/04/18 03:21:11 qWyRSVSX.net
ショルツが理解不可能と言ってる論点自体は数学的にはっきりしてるから、ショルツは別に不誠実ではない
非常に強い一般化だからStixが理解できなくても不思議ではないしね
しかしやっぱり皆似たようなところがわからなかったんだと安心したし、星さんもIUTから離れてるわけじゃない
むしろIUTのテクニックをより専門的に磨こうとしてる
かといって思考停止擁護ポジションは取らないけどね

390:132人目の素数さん
20/04/18 04:54:52 JCTMXaxo.net
>>368 確認したいのですが、「SSの少なくとも(3)は多分間違い」とは、
?S・Sの主張が間違っている。
?S・Sの指摘通り望月氏が間違っている。
このどちらを指しているのですか?

たぶんあなたからのレスがあっても今日は返信することができないと思うので、私の見解を先に書いておきます。
?ならば、ショルツの言う(2)のnon-necessityはnecessityとなり(1)もnecessityとなります。したがって、
多輻的アルゴリズム表現と不等式の評価は正しいということになります。

?ならば、ショルツの言う通り(2)もnon-necessityのままで(1)もnon-necessityのままとなります。したがって、
多輻的アルゴリズム表現はトートロジーとなり不等式の評価はできなくなります。

S・Sレポートは後ろから読んで初めて彼らの主張が理解できるようになっています。
今回のブログでのやり取りは結局(S・Sレポの読み方を解説しただけのものにしか私には読めませんでした。
S・Sに同意しているLittがベールイ・タイプの議論の後は一切コメントしなかったのはそういうことです。

391:132人目の素数さん
20/04/18 05:04:44 nPrAOygt.net
望月教授と滝浦真人(放送大学教授、法政大学講師)の類似点

望月教授のABS予想の証明:自身が編集長を務める学術誌PRIMSに掲載予定(2012年に予稿をPRIMSのwebに掲載)
望月の同僚、数理解析研究所の教授(柏原正樹、玉川安騎男)の発言:「証明したことに間違いがないと言ってかまわない。
『ABC予想』は根本的な問題で、証明できたことは非常に大きなインパクトがある」「証明に根本的な変更はない」

ネイチャー:The latest announcement seems unlikely to move many researchers over to Mochizuki’s camp.
In the world of mathematics, a journal’s seal of approval is often not the end of the peer-review process. An important
result only truly becomes an accepted theorem after the community has reached a consensus that it is correct
フィールズ賞をとった数学者:望月の証明には欠陥がある
ヨーロッパ数学協会会長:批判を拒否し、大幅な改訂がないなら、望月に悪い評価が返される
望月を博士課程で指導した教授: 考えを明確に伝えようとしていない
URLリンク(www.nature.com)

滝浦真人の博士号に関する学位審


392:査(公正な審査では不合格?) 学術誌の同僚、滝浦と共同で運営する学会の同僚が審査の主査 主査は『語用論研究法ガイドブック』の共著者でもある(日本語用論学会会長:加藤重広 、日本語用論学会編集委員長:滝浦真人) 副査は、論文の内容が専門外 学位請求論文:日本語敬語および関連現象の社会語用論的研究 論文の内容:既刊の本を無理やりつなげただけ 審査結果:大賛辞による乙種の学位授与 論文の二重投稿の論理的構造 別の論文と内容、結論が同一(酷似,類似)である 先行論文と比較して、内容と結論に新規性がない 既存の(実験)データを利用し、既存の知見をなぞるだけで新たな事実の確認に乏しい 適切な引用処理がなされておらず、他者の業績にただ乗りするところが大きい 学術雑誌資源の無駄遣いであり、原著性を尊重する学術文化への背信行為ということから、 二重投稿は反社会的性質をもつ https://ja.wikipedia.org/wiki/二重投稿



393:132人目の素数さん
20/04/18 05:04:59 nPrAOygt.net
日本言語学会 倫理問題相談窓口
URLリンク(www.ls-japan.org)

滝浦真人のツイッター(非公開) (URLリンク(twitter.com) URLリンク(twitter.com))
別アカ → URLリンク(twitter.com) URLリンク(twitter.com)
ブログで公開された連絡先
takiuramasato@gmail.com
放送大学
soumu-ka@ouj.ac.jp(総務課)
北大
URLリンク(www.hokudai.ac.jp)
(deleted an unsolicited ad)

394:132人目の素数さん
20/04/18 05:07:42 JCTMXaxo.net
それと “However, (1) and (2) mean that quite the opposite, all machinery that is in place seems to have no power.”
という文は「望月氏の(1)と(2)に関する主張には説得力がない」という意味ですね。
Dupuyがどうでもいいことやショルツの誤字を訂正したりと、本当にどうでもいいことをいくつか書いていたので。

395:132人目の素数さん
20/04/18 05:52:47.84 6icBx5k9.net
Joshiの論文の訂正を待つ以外、もうあのブログのコメント欄でやる事ないはと思うが

396:132人目の素数さん
20/04/18 06:02:11.64 AZCqx/+H.net
あんなくそブログでやらないで、せめてmathoverflowでやってほしかったな。

397:132人目の素数さん
20/04/18 08:07:40.23 lQKSp/GA.net
>>361
>特にH2+tNnwZには無理そう
H2+tNnwZは「俺は数論幾何が分かる」とは一言も云ってないけどね
むしろK2がどうとかいってる時点で
「カラコラムみたいなところにはとてもじゃないが行けない」
と認めてるようなもんだけどな
少なくとも、正規部分群も誤解したくせに
「IUTが正しい!!!」とわめきちらす
◆e.a0E5TtKEとかいう身の程知らずよりも
全然まともだと思うがね
数学はオリンピックじゃないんだよ
日本人だから日本人を応援する?
馬鹿か?大馬鹿か?
正しいかどうかが大事 国籍は二の次
そんなことも分からん馬鹿は数学板から失せろ!

398:132人目の素数さん
20/04/18 08:19:04.86 lQKSp/GA.net
デュピュイ曰く
「私は望月の証明が正しい、または正しいと判明するという立場をとっていませんが、
 現状ではスティクス・ショルツェの原稿を望月の証明を拒否する理由として
 取り上げるべきではありません。


399:」 意訳 「俺は望月もスティクス・ショルツェも支持しねぇよ」 中立じゃん



400:132人目の素数さん
20/04/18 08:26:24.20 lQKSp/GA.net
デュピュイ曰く
「証明が完全で正しいと理解している国際レフリーが
 一流の5人になる可能性があるのは、現実の領域の外ではありません。」
ショルツェ曰く
「本当に?その場合、少なくとも1人は、レフェリーとしてではなく、
 単に洞察を共有したい数学者として登場し、
 理解できる方法で主要なアイデアを説明してくれることを
 期待していました。」
(意訳)
「レフェリーが”証明を理解した!望月は正しい!”というんなら
 別にレフェリーだって白状しなくたっていいから
 自分が理解したことを説明するだろ?
 なんで説明しねぇんだよ?オカシイだろ」
ショルツェが不信感を抱いてるのは望月だけでなく
その取り巻きの京都の連中(特に数解研で要職についてる玉川)だと分かる

401:現代数学の系譜 雑談
20/04/18 08:31:11.24 FUrf+qJl.net
>>380
>>特にH2+tNnwZには無理そう
>H2+tNnwZは「俺は数論幾何が分かる」とは一言も云ってないけどね
おサル
同一人物 H2+tNnwZ=ID:lQKSp/GA
って”バレバ”レじゃんか
シラバクレテよ
すぐ後から、馬脚が見えているじゃんw(^^
「私は~」って、ちゃんと一人称使え

402:132人目の素数さん
20/04/18 08:33:43.23 lQKSp/GA.net
ぶっちゃけ、望月論文の不明瞭な点について
デュピュイとショルツェの認識は一致してるが
それに対する望月論文の対応が異なるだけ
ショルツェ「俺が理解できない論文なんか認めねぇぇぇぇぇ」
デュピュイ「そこまで言ってええんかい!
      理解できないだけじゃ否定できないだろ」

403:132人目の素数さん
20/04/18 08:37:30.87 lQKSp/GA.net
>>383
◆e.a0E5TtKEはここからやり直してね
URLリンク(www.ms.u-tokyo.ac.jp)
3年生Sセメスター(=前期)
必修科目「代数学 I 」、「代数学特別演習 I 」
内容:群論と環論の入門
え?そもそも線形代数が分かってない?
そりゃ論外ですな

404:132人目の素数さん
20/04/18 08:45:45.30 lQKSp/GA.net
URLリンク(www.c.u-tokyo.ac.jp)
線形代数学
線型代数学の萌芽である行列は多変数の連立一次方程式を効率的,統一的に扱う手法として発明された.
また,行列式は方程式の解がただ一つ存在するための条件として発見された.
ベクトルの概念の起こりは古典力学にあり,その意味で線型代数学の歴史は古い.
しかし行列の本質である線型性概念の真の威力が認識され,
数学の一分野として線型代数学が確立したのは新しく,
20 世紀にはいってのことであった.
自然界や社会科学における現象は一般には複雑で一次方程式で表せることはまれだが,
一次近似によりその本質的な部分をとらえることは常套手段であり,
線型代数学の考え方は非常に有効である.
また,量子力学や,フーリエ解析などに現れる無限次元のベクトル空間を扱うための基礎ともなっており,
線型代数学の応用については枚挙にいとまがない.
このように,線型代数学の考え方は現代数学や理論物理学においてはもちろんのこと,
工学,農学,医学,経済学などにおいても基本的な考え方として浸透しており,応用範囲も広い.
線型代数学は理論的には単純で明快であるが,
その反面,抽象的な概念操作にある程度慣れないと理解しにくい面もある.
線型代数学を身につけるには,演習などのさまざまな問題にあたり,理解を深めることが必要である.
「数理科学基礎」において学んだ線型代数に関する知識を前提とする.
S2 タームの「線型代数学①」で以下の項目 1, 2 を扱い,
A セメスターの「線形代数学②」で項目 3~6 を扱うことを目安とするが,
担当教員によって,順序や内容に一部変更が加えられる場合がある.
1. ベクトル空間,線型写像
2. 生成系,一次独立性,基底
3. 内積
4. 行列式
5. 固有値,固有ベクトル
6. 対称行列の対角化と二次形式

405:132人目の素数さん
20/04/18 08:54:11.24 lQKSp/GA.net
URLリンク(www.ms.u-tokyo.ac.jp)
2年生Aセメスター
必修科目「代数と幾何」、「同演習」
内容:線型代数学のより進んだ理論、例えばジョルダン標準形、多重線型代数など

406:132人目の素数さん
20/04/18 08:57:13 56Ukyje/.net
カリキュラム貼るのは応援スレでやれ

407:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/18 09:08:59 FUrf+qJl.net
ついでに書いておく

>>353
>客引き行為禁止
>↓以下◆e.a0E5TtKEの書き込みコピペ

別に客は不要だ
あのスレは、私一人で動く(ガロアスレと同じだ)
但し、ここの本スレで、面白い話は使わせて貰う
また、アンチのトンデモ発言も勝手に叩くよ
それ以外に、5ch以外の面白そうな情報をアップする

繰返すが、あのスレは客は不要
私一人で動く(ガロアスレと同じだ)

408:132人目の素数さん
20/04/18 09:09:09 lQKSp/GA.net
>>388
◆e.a0E5TtKEを応援する気はないので書かない

409:132人目の素数さん
20/04/18 09:15:46 lQKSp/GA.net
>>389
>ガロアスレ

そんなスレ、もうないな

だいたい、スレ立てた本人がガロア理論どころか
群論も理解できないんじゃ ただの荒らしスレだよな

>>385の続き

URLリンク(www.ms.u-tokyo.ac.jp)

3年生Aセメスター(=後期)

選択必修「代数学 III 」
内容:ガロア理論とそれに関連する主題

要するに工学部卒の◆e.a0E5TtKEには
数学科の3年生が学ぶことがごっそり抜け落ちてる

まず群論を学べ
その上でガロア理論を学べ

この板に書くのはそれからだ

410:132人目の素数さん
20/04/18 09:22:07 lQKSp/GA.net
>>389
>アンチのトンデモ発言

そもそも何も理解してないくせに
「日本人だから日本人を応援する!」
とかいう馬鹿丸出しな動機で「応援」する
応援団どもこそトンデモ

そんな馬鹿を嘲笑するのは当然のこと

やれアンチだ反日だ国賊だという貴様は正真正銘のキチガイ!

411:132人目の素数さん
20/04/18 09:27:39 lQKSp/GA.net
>>381で明らかなように、デュピュイは中立を宣言した
>>382で明らかなように、ショルツェが求めているのは
レフェリーが望月論文を認めた理由の(非公式な)説明だ

望月とその取り巻きが、IUTの正当性に関して
「同業者」が容認する説明ができないかぎり
PRIMSでアクセプトしようが掲載しようが
数学界では認めらない

412:132人目の素数さん
20/04/18 09:34:17 lQKSp/GA.net
>>393で、「(非公式な)」と書いたのは
レフェリーだと名乗る必要はないということ

しかし、レフェリーは現に存在するのだから
なぜあの論文をアクセプトしたのか
その理由を公にするのは当然のこと

誰も説明できないのに論文がアクセプトされる
これは詐欺であり数学に対する最大の冒涜

413:132人目の素数さん
20/04/18 09:39:35 lQKSp/GA.net
もし、望月がarXivに論文を上げただけなら
ショルツや他の人の疑問に答えるのは望月一人の責務
そして彼がその責務を負わなくとも、自分の論文が認められないだけ

ここまで大騒ぎになることはなかった

なぜ大騒ぎになったかといえば、望月が京大数解研を「利用」し、
京大数解研(具体的にいえば玉川)も望月を「利用」する
「共犯関係」によって、望月論文が理由が全く不明確なまま
アクセプトされたから

これはもはや「犯罪」だ

414:132人目の素数さん
20/04/18 09:45:34 lQKSp/GA.net
日本人として真っ先になすべきは
同じ日本人による「犯罪」の隠蔽ではない

徹底的に疑惑を追及・解明し



415:正義を全世界に示せ!



416:粋蕎 ◆C2UdlLHDRI
20/04/18 09:49:31 lZT6JCg2.net
君子は人を過信せず、また過疑せず。

>>389
アンチの盲疑過疑を叩くだけでなく信者の盲信過信も叩くべし。盲信過信も盲疑過疑も皆殺しの数学。

ほう言やぁ皆殺しの數学と言やぁ秋山仁の著作。其の中で言及しとったAT&Tベル研究所の懸賞問題
2*1000長方形内の半径1コイン敷き詰め可能上限枚数問題は解決したんかのう?出版当時、
2011個か2012個か迄は絞れたが、どちらかはまだ求められとらんかったって話じゃったが、果て今は?

417:132人目の素数さん
20/04/18 09:59:14 lQKSp/GA.net
>>397
数学と無関係の中国哲学の話は別の板でやってくれ

418:132人目の素数さん
20/04/18 10:02:49 lQKSp/GA.net
犯罪の構図

望月 「論文を書いたのは自分だが、アクセプトしたのは自分じゃない」
玉川 「誰がアクセプトしたかは言えない」

そして誰からも論文の正当性の説明がない
(つまり、アクセプトした人も正当性を説明できない)

419:132人目の素数さん
20/04/18 10:06:35 lQKSp/GA.net
可能性1 実は「実質上の」レフェリーは望月本人だった
     (名目上は弟子をレフェリーとしているが、有形無形の圧力があった) 
可能性2 レフェリーの頭は玉川で、彼が京大数解研の業績アピールのため
     望月の論文をメクラ判でアクセプトした

どちらにしても実に質が悪い

420:BLACKX ◆SvoRwjQrNc
20/04/18 10:17:13 uPNn1bCn.net
もうNGの人が多すぎてここに住み着くのやめた。一言だけ、RBAの形式で反論する場合慎重にならないと0推移の扱いがかなり厳しい。GCDだと非不整数に限った話になってしまうがPMCなら問題ないと思う。以上お疲れ

421:132人目の素数さん
20/04/18 10:28:32 lQKSp/GA.net
スレリンク(math板:109番)
>「RIMSのやっていること、わけわからん、ごらぁ~、ちゃんと説明しろ~!」



スレリンク(math板:113番)
>「今年の国際会議ネタなので、議論したい人来て下さい。
> また、そこに分り易い説明の文書出すから期待してね」

NG 2015でダメだったことが、2020に成功するわけない

いい加減目を覚ませ

422:132人目の素数さん
20/04/18 10:32:21 lQKSp/GA.net
スレリンク(math板:113番)
>京大M1(玉川研)の理解できる文書たのんます!

こいつ、数論幾何舐めてるな

それはともかくM1で分かるレベルの説明じゃ
数学科B3のレベルにも達してない
工学部卒には到底理解不能だろw

だからいってるだろ 群論の初歩から勉強しろって
群論とガロア理論分かってから出直せ!!!

423:132人目の素数さん
20/04/18 10:41:15 lQKSp/GA.net
スレリンク(math板:114番)

説明がヘタクソな数学者はザラにいるので
望月だけが特別ということではない

ただし、全く新しいアイデアに関して
他人を理解させられないなら致命的

ちなみにガウスがアーベルの有名な論文を無視した理由は

可能性1 
そもそも代数的な不可解性をただの不可解性(つまり解の非存在)と誤解し
「私の”代数学の基本定理”を否定するのか?!」と激怒した

可能性2
一般の代数方程式についての代数的不可解性は自明であると考え
わざわざ証明する意義を感じなかった

前者は只の誤解だが、後者だとしたらガウスの限界を感じる

424:132人目の素数さん
20/04/18 11:00:52 cxHNOq


425:YO.net



426:132人目の素数さん
20/04/18 11:45:47 lQKSp/GA.net
スレリンク(math板:116番)-117
ホモロジーも理解できん素人が「革命」とか何寝言ほざいてんだ?

URLリンク(ja.wikipedia.org)

427:粋蕎 ◆C2UdlLHDRI
20/04/18 11:45:48 lZT6JCg2.net
>>396
オドレ完全にアンチ?人を犯罪呼ばわりしといて自首する気は有るんか?

>>398
其う言えば過信も過疑も許されると勘違いしとる?

428:132人目の素数さん
20/04/18 11:47:16 lQKSp/GA.net
>>407
数学と無関係の幼稚な正義はニュー速板あたりで唱えてくれる?

429:粋蕎 ◆C2UdlLHDRI
20/04/18 11:54:00 lZT6JCg2.net
絶対に正しいと分かっている事なら借金上限借入状態借金抜き全財産を賭ける事が出来る
借金上限借入状態借金抜き全財産を賭ける事が出来ないなら出鱈目出任せ張ったり大法螺吹きである

>>408
逃げるな。逃げるなら即、其の時点で妄想出鱈目出任せ大法螺吹き。
本当に望月親一氏は詐欺犯罪者か?
借金上限借入状態借金抜き全財産を賭けて主張できるか?
出来ないならオドレは妄想出鱈目出任せ大法螺吹きの大嘘吐き、風説の流布、名誉毀損。

430:132人目の素数さん
20/04/18 11:54:20 eoF1suUU.net
過度な信者も過度なアンチもダメという話なんだが、過度なアンチの方が暴れがちだよな
これは否定する方が簡単だからなのかもしれないが

431:132人目の素数さん
20/04/18 11:54:44 lQKSp/GA.net
スレリンク(math板:119番)
今更、スティクスがどうとか見当違いの寝言

「RIMSのやっていること、わけわからん、ごらぁ~、ちゃんと説明しろ~!」
といったのは、ありゃ嘘ですか

なんで望月や玉川を責めないのかね 
日本人じゃないのかな?

432:132人目の素数さん
20/04/18 11:55:52 lQKSp/GA.net
>>410
既に「犯罪」が行なわれている現状で看過するのは「共犯者」

433:132人目の素数さん
20/04/18 11:59:03 lQKSp/GA.net
>>409
君にふさわしい板を見つけたよ

アウトロー板
URLリンク(medaka.5ch.net)

さ、存分に暴れておいで

多分、三分後には切り刻まれて海に捨てられサメの餌になってると思うけど

弱いイヌほど、よく吠える


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