20/05/18 21:54:30 vXEwffiD.net
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板)
2:１３２人目の素数さん
20/05/18 21:55:17 vXEwffiD.net
>>1 前スレ一覧
ABC予想が解かれたかもしれんぞ！
ｽﾚﾘﾝｸ(math板)
ABC予想が解かれたかもしれんぞ！ Part2
ｽﾚﾘﾝｸ(math板)
ABC予想が解かれたかもしれんぞ！ Part3
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想
URLﾘﾝｸ(uni.2ch.net)
Inter-universal geometry と ABC予想 2
URLﾘﾝｸ(uni.2ch.net)
Inter-universal geometry と ABC予想 3
URLﾘﾝｸ(wc2014.2ch.net)
Inter-universal geometry と ABC予想 4
URLﾘﾝｸ(wc2014.2ch.net)
Inter-universal geometry と ABC予想 5
URLﾘﾝｸ(wc2014.2ch.net)
Inter-universal geometry と ABC予想 6
URLﾘﾝｸ(wc2014.2ch.net)
Inter-universal geometry と ABC予想 7
URLﾘﾝｸ(wc2014.2ch.net)
URLﾘﾝｸ(wc2014.2ch.net)
3:１３２人目の素数さん
20/05/18 21:55:57 vXEwffiD.net
>>2 の続き
Inter-universal geometry と ABC予想 8
URLﾘﾝｸ(wc2014.2ch.net)
Inter-universal geometry と ABC予想 9
URLﾘﾝｸ(wc2014.2ch.net)
Inter-universal geometry と ABC予想 10
URLﾘﾝｸ(wc2014.2ch.net)
Inter-universal geometry と ABC予想 11
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 12
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 13
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 14
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 15
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 16
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 17
ｽﾚﾘﾝｸ(math板)
4:１３２人目の素数さん
20/05/18 21:56:22 vXEwffiD.net
>>3 の続き
Inter-universal geometry と ABC予想 18
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 19
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 20
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 21
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 22
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 23
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 24
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 25
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 26
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 27
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 28
ｽﾚﾘﾝｸ(math板)
5:１３２人目の素数さん
20/05/18 21:56:46 vXEwffiD.net
>>4 の続き
Inter-universal geometry と ABC予想 29
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 30
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 31
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 32
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 33
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 34
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 35
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 36
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 37
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 38
URLﾘﾝｸ(rio2016.2ch.net)
Inter-universal geometry と ABC予想 39
ｽﾚﾘﾝｸ(math板)
6:１３２人目の素数さん
20/05/18 21:57:56 vXEwffiD.net
>>5 の続き
Inter-universal geometry と ABC予想 40
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 41
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 42
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 43
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 44
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 45
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC 予想 46
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC 予想 47
ｽﾚﾘﾝｸ(math板)
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC 予想 48
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 49
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 50
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 51
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 52
ｽﾚﾘﾝｸ(math板)
7:１３２人目の素数さん
20/05/18 21:58:56 vXEwffiD.net
>>1 分派スレ一覧
Inter-universal geometry と ABC予想 否定派
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 否定派2
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 44
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 45
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 46
ｽﾚﾘﾝｸ(math板)
8:１３２人目の素数さん
20/05/18 22:55:56.12 b04VT8qc.net
スレ立て乙
前スレの終盤に、望月らの初期の遠アーベル幾何の論文に関する興味深い指摘があったので、再掲しておく
892１３２人目の素数さん2020/05/16(土) 17:05:26.47ID:pfRK/KOl
だれか1996年の論文を再検証してくれんかな。
あの論文に対するIの評論とかを今読み返すとなんか思うところがあったのかな、
という感じで、当時あれがほんとうに受け入れられていたのかわからないところがある。
ｽﾚﾘﾝｸ(math板:892番)
9:１３２人目の素数さん
20/05/19 02:45:11 JWC2MH5G.net
>>1
すれたて乙
10:１３２人目の素数さん
20/05/19 04:58:23 Gi2J4Ntu.net
スレ立て乙！
11:１３２人目の素数さん
20/05/19 06:33:19 6J5B37r3.net
スレ立てて話すほどネタあるの？
12:１３２人目の素数さん
20/05/19 07:22:46.52 JWC2MH5G.net
woit ブログ Not Even Wrong
URLﾘﾝｸ(www.math.columbia.edu)
13:１３２人目の素数さん
20/05/19 08:16:11 w2HrUza4.net
>>11
もうなにもない。終わった
14:１３２人目の素数さん
20/05/19 08:56:52 gWIfcQNa.net
決着が着くまでは見守りたい
このまま空気にされて60年後とかにそういえば、って引っ張り出されることもあるのかな
15:１３２人目の素数さん
20/05/19 09:12:32.26 Q1dr83on.net
DOIとかいつになったらつくの？
16:１３２人目の素数さん
20/05/19 17:42:58 VCc8UXBO.net
喋り下手に決定的に足りないものは？喋り上手になる最強方法！
URLﾘﾝｸ(www.youtube.com)
大したことない話を「面白い」に変える3つの方法
URLﾘﾝｸ(www.youtube.com)
コミュニケーション能力がない人の特徴 会話上手になれる話し方のコツ
URLﾘﾝｸ(www.youtube.com)
プロが教える『面白い話し方・つまらない話し方』
URLﾘﾝｸ(www.youtube.com)
苦手意識をぶっとばせ！目上の人の前で100％の力を発揮する方法
URLﾘﾝｸ(www.youtube.com)
17:１３２人目の素数さん
20/05/19 17:54:45 MLV/0/zR.net
出す・・・・・・！出すが・・・・・・今回 まだその時と場所の指定まではしていない そのことをどうか諸君らも思い出していただきたい つまり・・・・我々がその気になれば実際の出版は１０年２０年後ということも可能だろう・・・・・・・・・・ということ・・・・！
18:１３２人目の素数さん
20/05/19 18:04:25 H
19:nyGTIPw.net
20:１３２人目の素数さん
20/05/20 04:27:58 WI2Gzxp/.net
IUTは多少の誤差を監視しながら許容する新しい数学だから、
そもそもそれが既存の数学者から見ると理詰めでギャップがあるように見え美しくないように見える
だから数百ページに及ぶ基礎を理解せずに話しするとそもそも説明しても理解してもらえないし、
過去の数学の概念の話を持ち出されて堂々巡りになるのが問題の本質ってさ
21:１３２人目の素数さん
20/05/20 05:48:31.71 sDAnyfXt.net
M=「誤差を監視しながら許容する」
ZFCM
22:１３２人目の素数さん
20/05/20 06:38:42.29 AhySrj2c.net
しかし諸法無我氏って
何者なんだろうな
IUT理解者が周りにいるようだが
23:１３２人目の素数さん
20/05/20 08:48:05 YWqolfYo.net
数学者にしては言葉のチョイスがヘンなんだよね
KSFとかインセンティブとか
24:１３２人目の素数さん
20/05/20 10:58:47 h9W6iNrz.net
望月んとこの院生じゃねえの？
25:１３２人目の素数さん
20/05/20 11:19:45 zzlqVCk7.net
あー、指導教員の理論がボツになったら、自分の将来もまずいもんな
そりゃ擁護したくもなるわ
26:１３２人目の素数さん
20/05/20 11:53:07 YWqolfYo.net
Twitterで暴れても意味ないだろ
そんな暇あったら論文書けよ
27:１３２人目の素数さん
20/05/20 12:48:38 d1ewn9vA.net
IUTではサーベイは書けてもオリジナル論文は書けないんだよなあ・・・
28:１３２人目の素数さん
20/05/20 13:40:18.50 YWqolfYo.net
結局、IUTって、Cor 3.12の不等式を導く式に
j^2を入れるための膨大な口実に過ぎない感じ
しかも実は口実にもなってなくて
それをショルツに見抜かれた感じ
デュピュイがIUTではなくCor 3.12に目を付けたのも
望月のアイデアで、有用なのはそこだけって気づいたから
29:１３２人目の素数さん
20/05/20 14:09:49 ec2gYBPh.net
名探偵コナンくんみたい
S.Sレポート
The conclusion of this discussion is that
with consistent identifications of copies
of real numbers,
one must in (1.5) omit the scalars j2 that
appear, which leads to an empty
inequality.
We voiced these concerns in this form
at the end of the fourth day of discussions. On the fifth and final day, Mochizuki
tried to explain to us why this is not a
problem after all.
In particular, he claimed that up to
the “blurring” given by certain indeterminacies the diagram does commute;
it seems to us that this statement means
that the blurring must be by a factor of
at least O(l2) rendering the inequality
thus obtained useless.
30:１３２人目の素数さん
20/05/20 19:14:43 vmvc38c7.net
トリビアルな理論からマネーを生み出す男
それがBG
31:１３２人目の素数さん
20/05/20 22:50:05 AhySrj2c.net
でも確かに
IUTから抽出したいくつかの諸概念から
仮に「矛盾」が生じたというならば望月outだが、
実際には1+1＜3みたいな「(ほぼ)無内容」な式が帰結しただけというんだから、これじゃIUTはまったく無傷だよな
望月じゃなくても「端折らないで他の箇所も読めよ」と言いたくなるのは分かる
32:１３２人目の素数さん
20/05/21 00:13:05 yX4pR2Z3.net
>>30
確かに。
33:１３２人目の素数さん
20/05/21 00:18:25 havyN3AZ.net
必死で説明したんだねw
On the fifth and final day,
Mochizuki tried to explain to us why this is not a problem after all.
34:１３２人目の素数さん
20/05/21 00:33:13 M/CLABml.net
>>17
元がなんだったか忘れるくらいフィットしてるなw
35:１３２人目の素数さん
20/05/21 06:12:02.14 MrMDabso.net
>>30
>「無内容」な式が帰結しただけというんだから、
>これじゃIUTはまったく無傷だよな
IUTを守ると、ABC予想が証明できない
ABC予想を証明した、と言い張ると、IUTが崩壊する
どっちにしても望月惨敗か
36:１３２人目の素数さん
20/05/21 22:04:15 qRhd1mNM.net
東大王の河野とか水上とかの神脳がやれば、すぐ結論が出るのに、
そういうのは、医学部に行ってるから、困ったもんだな。
人材が数学に流れるような社会システムを作る方が、
IUTより一億倍重要と思う。
37:１３２人目の素数さん
20/05/22 00:55:06 Jde2EFnN.net
>>35
そういうパズル的な頭の良さが必ずしも数学の才能と一致しない事は、
数学科で多少なりともお勉強をしていれば、簡単に判る事だと思うけれどね。
38:１３２人目の素数さん
20/05/22 01:09:13 x6WU4Fb/.net
数学科って進振りで人気ないだろう。
灯台しか知らんが、
39:１３２人目の素数さん
20/05/22 01:21:03 Jde2EFnN.net
>>37
俺は東大じゃないから詳しい事は知らないけれど、1, 2年の数学の授業で自信を失うのが大きいのでは？
理科I類は皆、微積はイプシロンデルタでやるんでしょ？
40:１３２人目の素数さん
20/05/22 01:27:15 13an7kUC.net
普通に工学科に行って普通に就職するのが普通だから
マジだぞ
41:１３２人目の素数さん
20/05/22 01:37:25 T3jZkptd.net
数学への興味よりも普通に就職することを優先する人なら大したことないんじゃね
42:１３２人目の素数さん
20/05/22 01:56:56 t7KjD/DR.net
>>37
単に色々しんどいから人気がないんだが。現に半端な才能の墓場だしな
数学科のレベルを舐めてる理系東大生なんかほとんどいない
43:１３２人目の素数さん
20/05/22 04:12:42 4AfNGrm5.net
>>35
そこまでファンなら
鶴崎君が数学科なことも思い出してくれい
彼がTVカメラにチラ見せした本は
リー代数の洋書だったかな
44:１３２人目の素数さん
20/05/22 06:52:00.19 QaFEzNvI.net
ま、でもほんとに賢い人だったら、数学やらないかな
だって、今の数学で成果を上げるのは難しいからね
もっと成果があげられそうなことほかにいくらもあるし
＃別に数学科に進む人はDISってない
＃数学しか興味ないし取柄もない人っているからさ
45:１３２人目の素数さん
20/05/22 09:36:46 laKZPzR1.net
昔の東大はε-δ論法を取らなくても良かったために、逆にε-δ論法やらずに数学科を出るなんて者もいたものだから、結構非難されたんだよな
その結果理1は皆やることに
46:１３２人目の素数さん
20/05/22 09:46:49 YkhC1MW8.net
就職活動が大変そうとか小難しそうというイメージがあるのが大きい気がする
すると数学科は数学がやりたい人しか集まらなくなるけど
工学系などは工学をやりたい人だけでなく
特にやりたいことのない人や就職活動を重視する人も志望することになる
47:１３２人目の素数さん
20/05/22 09:52:07 QaFEzNvI.net
>>45
就職第一で考えたら数学科進学はまずないな
数学科のカリキュラム見たら明らか
百歩譲って、確率論とか解析とかなら仕事にも役立つかもしれんけど
代数とか幾何ならまず仕事とは無縁
ま、でも就職のことだけ考えて専攻選ぶってのも
つまんないっていえばつまんないけどな
48:１３２人目の素数さん
20/05/22 11:47:06 T3jZkptd.net
そもそも東大って数学科の学生を増やす気がないよな
>数学科に進学することは人生の多くのものを諦めるということである。
URLﾘﾝｸ(pbs.twimg.com)
49:１３２人目の素数さん
20/05/22 12:17:42 QaFEzNvI.net
>>47
東大の数学科に行くというのは、
数学者を目指すということだからな
中学・高校の先生になりたいんなら、他の大学で十分
ぶっちゃけ確率関係を別学科にしたらもっと定員を減らせる
さすがにそこまではやらないんだろうけど
50:１３２人目の素数さん
20/05/22 12:24:39.90 6aaFDf1y.net
>>43
なんで「ほんとに賢い人」の考えを言えるんだ？
51:１３２人目の素数さん
20/05/22 12:49:13.56 QaFEzNvI.net
>>49
さぁ・・・
52:１３２人目の素数さん
20/05/22 13:22:41.06 NZWyIrC2.net
>>44
なるほど
εδ論法は近代数学の基礎だろう。
運動を図示してもゼノンのパラドックスが示すように極限や連続をとらえて
いない、
結局 任意として静止状態で定式化
した。
また近似 誤差 近さは物理や工学の
実験データ分析や推定にもつながる。
53:１３２人目の素数さん
20/05/22 13:29:06.58 C4IhsX3F.net
数学科は77点か
あまり高くないんだな
54:１３２人目の素数さん
20/05/22 13:47:11.02 NZWyIrC2.net
病気を診断するとは観察測定データ
から原因を解明する逆の問題だ
誤診の医者をやぶという
55:１３２人目の素数さん
20/05/22 13:55:11.40 C4IhsX3F.net
ちなみに菊川怜は確か90点以上だった
56:１３２人目の素数さん
20/05/22 14:50:42 CzUJ9CRV.net
>>43
いや、フィールズ賞とか関係なく数学を進められる人間もなかにはいるんだから
普通に前向きにそうなる人間もいる。しかも、数学からでないとなかなか目論めないプロジェクトもありうる
それを無視した破綻したレスをする人間が「本当の賢さ」を∀で語っても性格の悪い馬鹿にしか見えないな
世間的なずる賢さの話ならわかるが
57:１３２人目の素数さん
20/05/22 15:43:54 QaFEzNvI.net
>>55
「数学からでないと目論めないプロジェクト」って具体的に何？
君が性格のいいお利口さんなら速攻で答えられる筈
58:１３２人目の素数さん
20/05/22 19:11:49 DaE8Nb9i.net
ID:QaFEzNvIはYouTuberスレで簡単なことを間違えたのに引き下がらない質の悪い馬鹿です。
59:１３２人目の素数さん
20/05/22 19:15:22 QaFEzNvI.net
s0+s0=ss0を証明するだけなのに
「+の存在ガー、一意性ガー」
と全く無関係なことを喚く
完全な●違いには困ったものだ
60:１３２人目の素数さん
20/05/22 19:49:42 CzUJ9CRV.net
>>56
それを言っても言わなくても貶せるわけで、性格の悪い人には具体的に言わないが吉だろう
単純に数学的な負荷が高くて重要な理論がありえたらどうなるかって事だよ
あと、才能がある人ってのはある程度直感的な必然性があって自分の理論に導かれるわけ
こういう理論はあるのかな、ない、或いはあるが不満。だから自分がやるしかない。そういう感じ
その内的必然性を無視して分野の決定の効率を論じちゃう時点で、自分には才能がありませんでしたという自白
にしかならないのよ
61:１３２人目の素数さん
20/05/22 20:48:47.08 QaFEzNvI.net
>>59
いや、そもそも何の考えもなく口からデマカセで言ったんだろう？
白状しなよ 何も考えてませんでした ボクはお馬鹿ちゃんですって
馬鹿を認めないヤツって最も大馬鹿なんだよ 覚えときな
馬鹿を認めることでしか人はリコウになれないんだ
62:１３２人目の素数さん
20/05/22 20:53:02.58 QaFEzNvI.net
＞自分には才能がありませんでしたという自白
今や数学者になる才能のない人なんて大多数だよ
だから数学を学ぶ目的を一から考え直したほうがいいね
数学を研究するため、ではなく、すでにある数学を利用するため、とか
63:１３２人目の素数さん
20/05/23 18:33:03 PowF6H77.net
>>57
馬鹿にもほどがあるね、
諸法無我の化身かな
64:１３２人目の素数さん
20/05/25 14:29:26 m2e1PsZn.net
先日やや望月下げした朝日新聞の記者が
今度はまた上げ(中立か)で記事書いてる。
共同通信も書いてるし、何か動きあったか？
65:１３２人目の素数さん
20/05/25 14:59:58 6dw38P94.net
コロナ終わったら、abc周辺の事情が一気に報道されるんだろ
66:１３２人目の素数さん
20/05/25 15:15:01 JiGMFsw9.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
学術の巨大掲示板群 - アルファ・ラボ URLﾘﾝｸ(x0000.net)<)
67:１３２人目の素数さん
20/05/25 15:18:10 LVm/CtRv.net
>>63
相場の値動きみたいに下げ止まってちょっと上げたと思ったら急落するんじゃないかと心配
68:１３２人目の素数さん
20/05/25 15:27:50 dE6ck3kC.net
>>64
だろうね
落とす前に上げておこうって感じかな
69:１３２人目の素数さん
20/05/25 15:48:43 l4hIWZVD.net
オボって、他のスキャンダルも出てくるとか…
70:１３２人目の素数さん
20/05/25 19:26:16.36 ccIe5b47.net
朝日の記事有料が多いし
再開した図書館で明後日あたりバックナンバー漁るかな
71:１３２人目の素数さん
20/05/25 19:31:05.23 0vFgS1CK.net
風俗三昧なことスクープされたりして？
72:１３２人目の素数さん
20/05/25 19:50:33.70 JvBscoxu.net
谷山とかフレアーが若くして自死しているけど、リーマンも40にならなかったんだよなあ。若い
全然関係ないけど。ガロア、アーベル、ラマヌジャンなど
73:やっぱり皆早いな
74:１３２人目の素数さん
20/05/25 19:50:57.04 J7epk1Lb.net
風俗狂いが記事になるのは大物の証
75:１３２人目の素数さん
20/05/25 19:52:00.01 J7epk1Lb.net
>>71
若くして死んでこその天才ってあるよね
76:１３２人目の素数さん
20/05/25 19:52:56.03 QPDjKQNn.net
モッチー、ピンチ！
77:１３２人目の素数さん
20/05/25 20:30:06.79 LVm/CtRv.net
>>73
早逝したほうが話題にしやすいってだけでは
常時脳汁全開状態で不摂生が祟ったのかも
78:１３２人目の素数さん
20/05/25 20:37:29.44 0vFgS1CK.net
ニュートン、オイラー、ガウスとかは時代のわりに長生きしてるよね
79:１３２人目の素数さん
20/05/25 21:02:55.45 vR/rj2EN.net
もっちーも105才くらいまで生きそう
なんか頑強ってかんじ
骨太だし
80:１３２人目の素数さん
20/05/25 21:59:52.15 cMeMcf40.net
朝日の記事、黒川さんとか森重文さんが、IUT理論が新たな数学の発展につながるとか言ってるね。
リップサービスかもしれんけど。
ショルツを納得させなければ査読は通せないという断固とした態度はどこへ行ったか。
数学の真理が証明ではなく、ただの強弁でその正しさを押し通そうとした点で、望月とRIMSは日本の恥だとう自覚が足りないと思う。
81:１３２人目の素数さん
20/05/25 22:09:41.08 6dw38P94.net
一般論だが正しくないものを言い張ったら、今は名声を得られたとしても、記録に残って後々まで汚名を残すことになる。数学者って視野が狭い人多そうだからね〜
82:１３２人目の素数さん
20/05/25 22:14:51.15 dE6ck3kC.net
>>78
>森重文さんが、IUT理論が新たな数学の発展につながるとか言ってるね。
マジ？
その記事は読んでいないが、わざわざショルツたち呼んで物別れに終わったことは忘れてしまったんだろうか
83:１３２人目の素数さん
20/05/25 22:17:23.35 m2e1PsZn.net
黒川さんは野次馬気分だろうが、
森さんは当事者だから一応それなりの根拠あるんでしよ
特に玉川さんの世代にとって、森さんは直近のスーパースターだから、森さんの顔に泥を塗る訳にはいかないと
とりわけ念入りに精査したと思うけどね
84:１３２人目の素数さん
20/05/25 22:22:27 dE6ck3kC.net
フィールズ賞受賞者も寄る年波には勝てなかったか…
85:１３２人目の素数さん
20/05/25 22:52:49.38 6dw38P94.net
>>82
誰だって取材されたら悪くは言わないよ
86:１３２人目の素数さん
20/05/25 23:15:55.18 62suc8c7.net
IUT理論が新たな数学の発展につながるっていうのはかなりお茶を濁してるんだよね。
IUTもCor3.11までは大きな間違いはないから「将来発展するかも」
と言ってもそれだけでは嘘にはならない。
消防署のほうから来ました、みたいな言い方だが。
87:１３２人目の素数さん
20/05/25 23:34:35.63 4C/kBXuK.net
それ言ったら黒川さんなんか絶対数学に関係あるからで片付くからなw
便利なポジションだわ
88:１３２人目の素数さん
20/05/25 23:42:09.84 eKE29GRO.net
そういえば、絶対数学ってあったな。
最近、名前負けする数学が多いような。
89:１３２人目の素数さん
20/05/25 23:46:05.28 m2e1PsZn.net
森さんの下で通したんだからそんな言い逃れは出来ないよ
90:１３２人目の素数さん
20/05/25 23:48:27.03 m2e1PsZn.net
森さんの下で通したんだからそんな言い逃れは出来ないよ
91:１３２人目の素数さん
20/05/26 00:14:13.18 EmdY77Bj.net
そういう力学は、他の学術分野比較して少ない方だとは思う
92:１３２人目の素数さん
20/05/26 00:31:54.03 h7q7viIH.net
Cor3.11までを玉川は「頭が疲れる。精密機械のよう」といい、方やショルツは「まったく自明。ほとんど何も言ってないに等しい」と言う
すごく面白いねw
こんなことってよくあることなんだろうか
93:１３２人目の素数さん
20/05/26 00:36:22.95 tZAgiR8E
94:.net
95:１３２人目の素数さん
20/05/26 01:32:00.39 EglUQmt2.net
いや、それは別にいいんじゃないか
グロタンディークの理想は抽象化から問題が溶解することだろ
一見自明に見えても丁寧に抽象の世界に入り込んでいつの間にか不等式が従うように構成したかったんだろう
だから系までが自明というのは多分悪口にならない
96:１３２人目の素数さん
20/05/26 01:55:47.29 yjy3nSpM.net
ショルツとタオってどっちが逸材？
97:１３２人目の素数さん
20/05/26 04:14:02.39 BfJarj3m.net
ショルツ
98:１３２人目の素数さん
20/05/26 08:25:04 fFRmxmJI.net
>>78
>ショルツを納得させなければ査読は通せないという
>断固とした態度はどこへ行ったか。
そんなこと何処かで言っていたのか？
99:１３２人目の素数さん
20/05/26 09:03:14.04 csSjB5DM.net
ここに巣食っているアンチが言ってたね
100:１３２人目の素数さん
20/05/26 10:17:15 3hXN5DCg.net
数学に力はいらない。誤りがあれば時間の中で自然と風化するだけ。
101:粋蕎 ◆C2UdlLHDRI
20/05/26 10:41:04 assh5D2W.net
誤りが無くても失伝し再発見された事例も数学史に有るじゃろ
102:１３２人目の素数さん
20/05/26 13:49:48.37 K20WlDza.net
朝日新聞
URLﾘﾝｸ(digital.asahi.com)
「「数学のノーベル賞」と言われるフィールズ賞受賞者の森重文・京大高等研究院長も
「既存の数学とは違う全く新しい概念で基礎が築かれて理論がある。
多くの未解決問題への道が開くだろう」と期待する。」
これどういうこと？認められてんの？
103:１３２人目の素数さん
20/05/26 14:11:53.19 epuMy11v.net
未解決問題への道が開く(未解決問題が解決したとはいってない)
104:１３２人目の素数さん
20/05/26 14:34:43 tZAgiR8E.net
好意的なコメントに見えるが、現時点での解決については触れていない巧妙な言い回し
まるで政治家だな
105:１３２人目の素数さん
20/05/26 14:46:48 L6K3YC5B.net
もう解決したという認識なんじゃねーの
106:１３２人目の素数さん
20/05/26 16:09:41 KzrUfmF0.net
解決したという認識ならそう言うと思うけどね。現時点で一番強い結果なんだし。
あと、よく分かったっていうひとが依然としてひとりも出てこないという。
107:１３２人目の素数さん
20/05/26 18:19:40 xzukjyqh.net
>>99
総合して考えると、
タオのいう通り、
たいした結果でないから、だれも真剣に読もうとしない
だろうね。
森氏が言うことより、多くの優秀な若者の動きの方が説得力がある。
108:１３２人目の素数さん
20/05/26 20:04:03 IQhjH5j3.net
既に2015年の時点で冷え切ってしまったからな
望月本人はラベルのトリックで解決したと思ってるみたいだが
海外の人達はそこが胡散臭いから実は全然解決できてないと思ってる
京大数理解析研の人達はなんか望月を敬遠してる感じだな
109:１３２人目の素数さん
20/05/26 20:18:38 GbjFFRjT.net
結局身内の評価はあまりアテにならない
黒○は数論代数幾何の人間ではないからやはりアテにならない
110:１３２人目の素数さん
20/05/26 20:28:19 88I5zhW5.net
>>90
玉川正直だね。今現在は当然ことながらショルツのほうがはるかにさえた頭脳を持っていることもわかる。
3.11までの論説まででもオーバーヒート状態じゃ
玉川はほんとのところ、望月とショルツの応酬合戦もついてけないんじゃないかなｗ
文系の学問と違って、玉川・柏原・森などの�
111:A往年の権威者をもちだしても正しさの証拠にはならない。
112:１３２人目の素数さん
20/05/26 20:49:55.94 jJarcwDv.net
モノドロミー持ち出して、因子が付くかどうかでempty かnon empty はっきりさせたのはさすが
113:１３２人目の素数さん
20/05/26 20:52:40.86 IQhjH5j3.net
柏原はもちろん全然分かってないし分かる気もない
森は分かってないがなんかこのままじゃヤバイと思ってショルツを呼んだ
玉川も分かってないが望月がしつこいので根負けした
こんな感じか RIMS終わったな
114:１３２人目の素数さん
20/05/26 20:55:00.70 IQhjH5j3.net
結局ラベルのトリックが問題みたいだな
望月は言を左右にして言い抜けようとしてるが
そんなの数学者に通用するわけないだろ
115:１３２人目の素数さん
20/05/26 21:00:01.50 0Koz98Ab.net
もっちさんは間違ってたら間違ってましたってホームページで謝罪するからね？
116:１３２人目の素数さん
20/05/26 21:17:13.64 jJarcwDv.net
そんな度量のある男なのかな？
117:１３２人目の素数さん
20/05/26 21:20:40 tZAgiR8E.net
数学者に対して公に「学部レベルの間違い」とか書いちゃう男だぞ
118:１３２人目の素数さん
20/05/26 21:35:45 GbjFFRjT.net
柏原先生は多少近いようで遠いからな
複素ホッジ理論や量子群なら守備範囲だろうけど、p進や代数体の幾何は基本関係ないからね
119:１３２人目の素数さん
20/05/26 21:44:19 Fj93Hw+D.net
>>85
元々、望月はF1上の幾何を考えてたしね。絶対数学ど真ん中か。
120:１３２人目の素数さん
20/05/26 21:52:18 yjy3nSpM.net
>>112
実際にホームページで間違ってたときはそう書いてるからじゃね？
右上のとこ
121:１３２人目の素数さん
20/05/26 22:03:38 0Koz98Ab.net
そう、もっちさんは逐一着想や進捗をホームページに残している
「早とちり」で間違ってたこともあるけどちゃんとごめんなさいしてるし、「できそうだ」と自信満々に言ってたこともギャップがあると判明してちょっと無理みたいと認めている
あれから10年以上たって老後が見えてきた今だって、根本的な姿勢は変わらないと思うね
つまりもっちさんはIUTが間違ってるなんて全く考えていないのだよ！
逆に言うと、これで間違ってたら引退レベルのダメージおっちゃうよね
122:１３２人目の素数さん
20/05/26 22:08:32 tZAgiR8E.net
いよいよ引退か…
123:１３２人目の素数さん
20/05/26 22:13:21 0Koz98Ab.net
万一定年前に引退することになったら何するんだろうな
まじで山奥でトマトつくるのかな
金は研究費に自腹切りまくってなければ相当たまってるだろうけど
124:１３２人目の素数さん
20/05/26 23:11:04.37 lPEVuhJe.net
>>116
それは失礼しました
125:１３２人目の素数さん
20/05/27 01:19:15 aXsp8sKU.net
>>107
まあ同様にシュルツの権威もそうなんだがな。
126:１３２人目の素数さん
20/05/27 01:19:53 aXsp8sKU.net
3.11まで自明と書いてる人他にもいた気がするけどそこは怪しい気がするなー
127:１３２人目の素数さん
20/05/27 01:32:37 Z/iKZSD0.net
そりゃショルツは3.11まではしょりながら読んでるんだから
疲れないだろうよw
128:１３２人目の素数さん
20/05/27 01:36:06 TDXB/nlS.net
望月が反論すれば全て解決なんだよな
129:１３２人目の素数さん
20/05/27 01:51:45 eFyBtwIh.net
>>121
ただのプロエタールパーフェクトイド野郎だしな
130:１３２人目の素数さん
20/05/27 07:19:25 Sid82R03.net
今の数学の仕組みを多少かえてでも証明を自動処理できる計算環境を整備したほうがいい
それでも根の深いところでは完全解決はしないが 少なくともこういうことは起こらなさそう
131:１３２人目の素数さん
20/05/27 07:25:14 RLvS9m2i.net
人間が完全に正しい数学論文の正誤判定ができないのに、AIにできるはずがない
132:１３２人目の素数さん
20/05/27 10:24:18.47 embvHqgA.net
URLﾘﾝｸ(twitter.com)
1-圏と2-圏の違いが幾何的議論から通じ�
133:� だから代数的空間とドリーニュ-マンフォード代数的スタックの両方に同じ用語を使うというあらゆる試みは極めて奇妙で不自然だ というこの望月氏の主張だが、抽象的な考えが得意ではないのではないだろうか まず幾何的議論に左右されるのであれば、そもそも抽象化する意味がない 対象を直接調べれば良い そもそもグロタンディークがスキームによって幾何的イメージを抽象化して作ったことを忘れたのだろうか？ 数論幾何という分野が存在すること自体、それまでの幾何的な対象と整数に同じ用語を使うことに成功したから誕生したんだろう (deleted an unsolicited ad)
134:１３２人目の素数さん
20/05/27 10:48:56.51 WzdesDdx.net
同意
135:１３２人目の素数さん
20/05/27 11:18:32 q6rkcejZ.net
>>128
それTwitterで突っ込んでる数学者がいたな。
そんなに違いがあるならスタックプロジェクトがうまくいってる説明がつかないって。
136:１３２人目の素数さん
20/05/27 11:25:26 FR6aIDW8.net
スタックと聞くとこれが思い浮かぶ
URLﾘﾝｸ(ja.wikipedia.org)
あ、いま、鼻で笑ったでしょ？
137:１３２人目の素数さん
20/05/27 11:31:51 FR6aIDW8.net
URLﾘﾝｸ(en.wikipedia.org)(mathematics)
正直にいいましょう
ぜんっぜん、わかりません！！！
138:１３２人目の素数さん
20/05/27 11:51:56 kHPwVxp7.net
URLﾘﾝｸ(youtu.be)
初めて喋ってるところ見た
英語だけど
139:１３２人目の素数さん
20/05/27 12:45:15 +panK6vA.net
>>124
反論というか、ショルツに理解してもらって、代わりに解説してもらうのが手っ取り早いよな
まあ直接会って話し合っても理解させることができず、それどころか、
理解できないのはわざわざ京都に来てもらった相手の理解度が低いせいだとか言っちゃう人には無理だろうけど
140:１３２人目の素数さん
20/05/27 12:58:22 q6rkcejZ.net
>>134
森が狙ったのもたぶんそこなんだろうけどね。
望月は2012年以降これ以上簡単に説明する気はないと言い張ってて、
それでだれも理解できないから、
飛び抜けてるやつに理解してもらって解説してもらったほうが早い。
だがショルツは逆に穴を見つけてしまった、と。
141:１３２人目の素数さん
20/05/27 13:06:26 +panK6vA.net
「これ以上簡単に説明できない」って、
数学板にいる自称未解決問題の解決者と言っていることが同じなんだよね
「これ以上簡単に説明する気はない」でも、自分の研究を理解してもらう気がないということだから、
そんなことを言う人はプロ失格だと思うね
そんな発言をして許されるのはアマチュア数学者だけでしょう
142:１３２人目の素数さん
20/05/27 13:24:44 o6iiNlvS.net
>>133
最初に笑うとこ見たらとても悪人には見えないな
143:１３２人目の素数さん
20/05/27 13:47:31 RLvS9m2i.net
>>136
完全数等の証明は高校数学＋Π記号＋モジュロ演算だけなので、ABC予想とはレベルが違う。
まともな数学力をもっている人間であれば、誰が見ても正しいものだ
144:１３２人目の素数さん
20/05/27 13:59:03 +panK6vA.net
>>138
ここはあなたが来るようなスレではありませんよ
あと、どうせ書き込むならちゃんとトリップを付けてくださいね
「◆pObFevaelafK」さん
145:１３２人目の素数さん
20/05/27 17:09:33.92 uIn1HdnI.net
>>133
これ生でみたわww 英語流暢すぎて笑った。当たり前だけど。
146:１３２人目の素数さん
20/05/27 17:54:18.24 rIA2EeFS.net
>>135
京大のホームページにプレスリリースがないのは森重文がやめとけって言ったのかな？
147:１３２人目の素数さん
20/05/27 18:08:22 RLvS9m2i.net
>>139
>>136
＞数学板にいる自称未解決問題の解決者と言っていることが同じ
148:１３２人目の素数さん
20/05/27 19:19:54 o6iiNlvS.net
>>140
生すごい
生もっちーってどんな感じ？
怖いの？
でかいの？
149:１３２人目の素数さん
20/05/27 19:32:23 kHPwVxp7.net
>>133
このときだとまだ若く見えるし�
150:註l感強めだね 思ってたよりも身体が大きい 声というか話し方もイメージと違う
151:１３２人目の素数さん
20/05/27 19:40:37 m7z8WwfM.net
P＝NPのスレ主がメールでご本尊に接触したことは知られてないな
意外と際どいラインにも対応する事もあるんだなと
152:１３２人目の素数さん
20/05/27 19:51:06 Sxi7Fa2s.net
>>123
それはないな。
端折りながら読んでたら、3.11までは正しいとさえ断言できない。
おそらく望月論文を世界で最もしっかり読んでいるのはショルツやスティックスら。
で、ショルツは望月自身もより望月論文を理解しているから、正しくないとわかるのである。
望月は認めたくないだけ。
30歳の世界第一級の頭脳にはかなわないよ。
50歳の玉川は理解できないし、ブンゲンも理解できない。
153:１３２人目の素数さん
20/05/27 19:53:57 o6iiNlvS.net
>>144
ホームページにのってる集合写真では一番でかいからな
190越えのラオウみたいなかんじかもな
154:１３２人目の素数さん
20/05/27 19:58:25 QJd7UFU0.net
これがショルツの成績
URLﾘﾝｸ(imo-official.org)
上に張り付いてる
藤井総太の詰め将棋よりもずっと早く数学のロジックが読めるんだろうな
155:１３２人目の素数さん
20/05/27 20:16:34.01 YbFgDl5x.net
加藤和也先生と齊藤両先生を拝見出来ただけで感無量。涙が出てきた。
156:１３２人目の素数さん
20/05/27 20:21:28.47 kHPwVxp7.net
>>147
集合写真どこにある？
157:１３２人目の素数さん
20/05/27 20:40:08.27 o6iiNlvS.net
>>150
過去と現在の研究
158:１３２人目の素数さん
20/05/27 20:48:15.31 uIn1HdnI.net
>>143
でかくて姿勢悪い。でも挨拶すると返してくれる。
159:１３２人目の素数さん
20/05/27 20:48:45.38 kHPwVxp7.net
>>151
見つけたけど一番大きくないしw
大きいほうではあるけど178くらいかな
160:１３２人目の素数さん
20/05/27 20:52:42.01 kHPwVxp7.net
12年間で白髪が増えて中年太りが進行してるな
161:１３２人目の素数さん
20/05/27 20:52:46.92 zHadJ8N1.net
>>152
HELLOって言ったらガン無視されそうw
162:１３２人目の素数さん
20/05/27 20:55:48.68 Z/iKZSD0.net
ショルツが天才なのは分かるが、
玉川たちをディスりたがるそのロジックが分からん
50歳前後だとヒラメキや記憶力は衰えるけど
じっくり時間をかけて
査読して正誤を判断するのに必要な能力までが
特に致命的に衰える訳ではない
163:１３２人目の素数さん
20/05/27 20:56:01.57 kHPwVxp7.net
>>151
にある写真だと2016年でまだ髪は真っ黒だな
白髪が4年で急速に出てきたのか白髪染めをやめたのか
164:１３２人目の素数さん
20/05/27 20:58:41.41 zHadJ8N1.net
>>157
ショルツェが噛みついてきたせいでストレス過多になったんじゃないか？
本来なら３年前くらいにはアクセプトされてしかるべきだったんでしょ
しかし数学者ってなんで大したことないネタで笑いするんだろう
165:１３２人目の素数さん
20/05/27 21:11:44 oxLSfFo9.net
180cmあると思う
ショルツも180cm以上あるし、二人共スタイルはいい
166:１３２人目の素数さん
20/05/27 21:18:00 KVMGKU5M.net
ショルツェは天才数学者のくせにさわやかすぎだな
しゃべり方もあったまいい～切れ者～ってかんじ
167:１３２人目の素数さん
20/05/27 21:25:40.24 oxLSfFo9.net
実質博士号の理論でフィールズ賞って史上初だろうな
コスパが凄すぎ
168:１３２人目の素数さん
20/05/27 21:29:04.85 kHPwVxp7.net
>>158
勉強以外何もないような人たちの集団だし
169:１３２人目の素数さん
20/05/27 21:42:33.56 +jGIJ1Y5.net
>>158
？
社会でもいくらでも上司が言った面白くないことで笑うことがあるだろ
170:１３２人目の素数さん
20/05/27 21:48:11.99 qrpnKcTE.net
Mがじつは抽象的な思考が苦手なのでは、というの、
基礎
171:論がはちゃめちゃなこと考えると案外そうなのかも、と思えてしまう。
172:１３２人目の素数さん
20/05/27 21:51:51.26 +jGIJ1Y5.net
会社のプレゼンとかでも発表者が面白くない笑いポイントを用意してくることとかいくらでもある
社会人としての予定調和だよ
173:１３２人目の素数さん
20/05/27 22:02:30 YbFgDl5x.net
プレゼンのタイトルを言い始めたんだけど全然違うってどう言うことよ（笑）俺は面白いと思うけど。
174:１３２人目の素数さん
20/05/27 22:06:13 QJd7UFU0.net
昔数学科の人達が笑っているときは
そこにだいたい数学の話題があったな
175:１３２人目の素数さん
20/05/27 22:26:30 bEpbZmDH.net
もう一人のMがアジア会議かなんかで発表した動画があるが、スライド間違えて大笑いが起こってた
しかしどういう間違いだったのかはうつってないのでとても気になる
176:１３２人目の素数さん
20/05/28 02:28:11.41 d9OXD5iy.net
数学の超難問「ＡＢＣ予想」は証明されたか
京大・望月教授の論文掲載へ、理解できるのは世界で１０人？
2020/5/25 07:00 (JST)
URLﾘﾝｸ(this.kiji.is)
177:１３２人目の素数さん
20/05/28 06:52:52 agqEcM4d.net
>>156
玉川が理解できていないのは、
「ショルツが再反論しないので、IUT理論は正しいと判断した」という告白から明らかｗ
ブンゲンが理解できていないのは、あの本を読めばわかるｗ
178:１３２人目の素数さん
20/05/28 07:07:16.76 z1j5y/zh.net
玉川みたいなロートルや加藤みたいな専門外が理解できるなら端から問題じゃないだろ
フィセンコや山下が確かに確信持ててるか証明追えてるか否かだけだろ
179:１３２人目の素数さん
20/05/28 09:01:37 y2BJKevG.net
本当にわかっているのは、星だけだろう。
180:１３２人目の素数さん
20/05/28 09:25:03.12 kmo0h1l/.net
宇宙の間を通信とかって一般向け解説だとよく見るが、宇宙が出てくる4章は本筋に関係がないって言われてるよな
181:１３２人目の素数さん
20/05/28 09:33:37.21 HJmCPiag.net
ラベル・トリックのからくりを知ってるのは☆だけか
182:１３２人目の素数さん
20/05/28 11:00:04.17 /aJY4Bcm.net
それなら星のだんまりは酷くないか。
良くも悪くも、何かしらコメントして状況を打開すべき。
183:１３２人目の素数さん
20/05/28 11:41:32.77 v5jtdr6e.net
>>152
生餅ってやっぱりピリピリしたキレ者ってかんじなの？
それとも数学以外はのんびりしてぼーっとしてるかんじ？
184:１３２人目の素数さん
20/05/28 11:53:12.58 HJmCPiag.net
>>175
ラベル・トリックが所詮手品であって
数学でないことに☆は気づいたのかも
185:１３２人目の素数さん
20/05/28 13:36:27 tnqayGml.net
必殺！ラベル☆トリック！
186:１３２人目の素数さん
20/05/28 13:46:38 ztaRLJPz.net
完全理解は星
玉川は理解してないが、ショルツが理解不足で指摘が変なのはわかる
Gはほぼ理解してるが遠アーベルはまだ理解しきってない
サイディは不明 たぶん査読者だろうし理解してるがあまり公に出ない
あとはお笑い担当
187:１３２人目の素数さん
20/05/28 13:51:00 maKuGXXp.net
完全理解はショルツの方なのでは？
188:１３２人目の素数さん
20/05/28 14:10:11.53 FIXHB3Vi.net
マスマジックリン
189:１３２人目の素数さん
20/05/28 15:47:20 qkQYhTr9.net
>>166
俺も動画見て笑っちゃったから同類だわ。
190:１３２人目の素数さん
20/05/28 16:38:32.30 oox21Z72.net
うーん
もっちーが間違えて二次元けものっ娘とか出しちゃったんならクスリと笑うかもしれないが、
タイトル間違ったくらいでは地蔵の我がココロはピクリとも動かないな
191:１３２人目の素数さん
20/05/28 17:00:00 9xto6Gqj.net
俺もそれで面白いという感覚が出てくる心情が1ミリもわからない
192:１３２人目の素数さん
20/05/28 17:22:26.
193:87 ID:27suja5h.net
194:１３２人目の素数さん
20/05/28 17:37:41.64 8P3ViSb4.net
質問ゼロを回避するための座長の温情質問にしか見えなかった
他の人、ぽかーんとして眠そうだし
195:１３２人目の素数さん
20/05/28 17:43:51.42 HJmCPiag.net
2020年はIUT壊滅の年かもしれんね
平手友梨奈も欅坂脱退したし
URLﾘﾝｸ(www.youtube.com)
196:１３２人目の素数さん
20/05/28 17:49:56.58 HJmCPiag.net
IUTTがこれだとすると
URLﾘﾝｸ(www.bilibili.com)
Perfectoidってこれだよな
URLﾘﾝｸ(www.bilibili.com)
2016/4/22って、SUは高校卒業直後だから
ちょうと今の平手と同じくらいの齢だな
197:１３２人目の素数さん
20/05/28 18:13:28 qrKlgwUX.net
仮に誰かがABC予想の解決論文をリムスに出したら、どうなるんかな？
198:１３２人目の素数さん
20/05/28 18:33:46.46 HJmCPiag.net
平手デビュー時と同じ齢の頃のSU
URLﾘﾝｸ(www.youtube.com)
この頃から既にカリスマだった
ちなみに2012年7月だから
乃木坂はすでにデビューしてたが
まだぜんぜんブレイクする前
199:１３２人目の素数さん
20/05/28 18:49:35.98 HJmCPiag.net
欅坂のサイレントマジョリティの原型は
乃木坂の制服のマネキンといわれている
URLﾘﾝｸ(www.youtube.com)
同時期に出たBABYMETALのイジメ・ダメ・ゼッタイ
URLﾘﾝｸ(www.youtube.com)
※ただし曲は相当前からライブでやってたが・・・
ぶっちゃけ、迫力が全然違う
200:１３２人目の素数さん
20/05/28 19:10:11.63 bxjwpUV4.net
>>173
いや、無限のスキーム理論ってのは宇宙のことだからそれは間違ってない
非正則なスキーム宇宙をアルゴリズムによって丁寧にリンクさせるというのがIUTの主張
で、ショルツはどうせ全部リンクさせるなら初めから同じ構造で良いだろ具体的に根拠あるのかと批判している
201:１３２人目の素数さん
20/05/28 19:17:53.51 bxjwpUV4.net
「上手く抽象化してからその特殊な仕組みで元々の対象を位置付ける」というのはそれこそ
モチーフやガロア表現でも同じなので、その意味ではIUTもスキームより深い場所を目指すという形で
一つの考え方と言える。もちろんその「上手いやり方」を間違えると上手くいかない。当たり前の話だ
202:１３２人目の素数さん
20/05/28 19:29:56 HJmCPiag.net
>>192
＞宇宙をアルゴリズムによって丁寧にリンクさせる
で、その正当性はいかなる方法で示されるんでしょうか？
203:１３２人目の素数さん
20/05/28 19:52:47.12 sw4Y2FGu.net
>>192
無限のスキーム理論ってIUTのどの辺りの話だ？
204:１３２人目の素数さん
20/05/28 19:59:02.11 YqZ92GpT.net
>>194
群とは異なるものを同一の構造に収める構造だから、それを利用するんだよ
IUTの一次的な群構造と二次的な環の自己同型にはギャップがあるので、その隙間を活用したいわけだ
ただ、IUTが失敗したとして失敗した理由を一般的に言うなら、整数環は元々一般性が高いというのが
それになる。一般性が高いために自明でない仕組みを割り当てるのが難しい
Hasse-Weil予想や代数体のディオファントス幾何が単純な割に難しいのもそのせいだよね
205:１３２人目の素数さん
20/05/28 20:00:39.94 YqZ92GpT.net
>>195
単純にlatticeの個々のobjectsは宇宙だよ。
206:あれが宇宙
207:１３２人目の素数さん
20/05/28 20:03:33 0g3rqPTj.net
ABC予想からかけ離れてるような（笑）それこそあと何ステップで解けるんだ？😁
208:１３２人目の素数さん
20/05/28 20:13:08 xfkUsa55.net
IUTを読むのに必要な予備知識って具体的に何？
209:１３２人目の素数さん
20/05/28 20:50:06.21 sw4Y2FGu.net
>>197
対数テータ格子の個々の対象こそホッジ劇場じゃないの？
210:１３２人目の素数さん
20/05/28 20:57:41.92 HJmCPiag.net
>>196
気分ではなく具体的な正当性の提示方法を尋ねているのですが答えられませんか？
211:１３２人目の素数さん
20/05/28 21:57:04 u/LQ1WGS.net
>>201
どういう意味で言ってるのか？IUT側で一応正当化されているという意味なのか、
SSの批判に対し正当化されるという意味なのかを区別しないとさっぱりわからないんですが
IUT側の理屈の話を具体的に言えという要求は明らかにおかしいでしょ
何で膨大な論文の正当化の論理をこんなとこで要約する必要があるのか？
212:１３２人目の素数さん
20/05/28 21:58:31 u/LQ1WGS.net
>>200
いや単にHTこそIUTにおける宇宙ですよ。アルゴリズムとリンクでできてるからそういう呼び方なわけで
213:１３２人目の素数さん
20/05/28 22:02:14 u/LQ1WGS.net
>>201
ショルツに対する正当化の「可能性」ならIUT側の論理とショルツの話を合わせれば自動的にわかります
もちろん>>196のあなたが言う気分の話の上でね
214:１３２人目の素数さん
20/05/28 22:13:14 g5e9N2do.net
ちなみに、望月レポートにどういう理屈で正当化したかったのかは書いてあるわけだし
たった50ページなんだから知りたきゃ読むのが筋だわな
で、その上で何故ショルツが納得しなかったのかはブログのコメントから容易にわかる
星さんがそれ以上の情報を持っている？個人的にはそう思わないが知らないな
215:１３２人目の素数さん
20/05/28 22:14:46 sw4Y2FGu.net
>>203
グロタンディーク宇宙とは言葉の意味がリンクしてないから何かややこしいな
216:１３２人目の素数さん
20/05/28 22:15:18 agqEcM4d.net
>>179
それも違うな。
よく擁護派が、ショルツが間違った理解の仕方で批判しているとか言っているが、
そんな言い分は世界は認めていない。
擁護派は破廉恥なことに、越永も、ショルツの批判はおかしいと言ってたとかまことしやかに言うが、
越永が本当にそういったという、第三者が確認できる証拠は全くない。
擁護派としては、越永がそのようなことを言ったと吹聴しておけば、
身内の越永ですら望月の3.12の正しさを認めていないという現実をごまかすことができると踏んでるんだろう。
まして玉川が「ショルツの批判がおかしいことは理解している」って100％ないよｗ
もし玉川が、ショルツの批判の数学的内容が分かり、それがおかしいと理解しているのなら、
先日の会見で「ショルツの批判は誤解に基づくものである」とはっきりいうはず。
実際は、ショルツの批判の内容にはいっさいふれることはなく、
ただ「ショルツの再反論がなかったので、IUTは正しいと判断した」と言っただけ。
あきらかに、玉川は批判の数学的内容が理解できてないことがわかる。
よって、その批判の内容がおかしいなどと判断できるはずがないｗ
217:１３２人目の素数さん
20/05/28 22:16:56 pPywnz4b.net
>>161
フィールズ賞ができる以前なら、
ガウスは学位論文で代数学の基本定理を証明してみせたらしい（後世の観点からは不十分な証明だったが）
218:69
20/05/28 22:19:58 pPywnz4b.net
図書館、新聞の閲覧は再開してなかった
47NEWS様々ですわ
219:１３２人目の素数さん
20/05/28 22:41:47.93 4ykrz1HH.net
>>205 ☆がサーベイを日本語でしか書かない理由を察してやらんとな
220:１３２人目の素数さん
20/05/28 22:44:40.45 Tcy2578x.net
望月氏はショルツの言っていることが、本当に理解できていないのであろうか
あるいは、理解できているがしらばっくれているのだろうか
理解できていないのであればもう一度聞き直せばいいのではないだろうか
221:１３２人目の素数さん
20/05/28 22:49:51.57 tnqayGml.net
>>211
個人的には、
望月はショルツの
222:指摘を理解できていて、 あえてショルツが理解できないように反論したんじゃないかと思っている だから、しらばっくれているというのは近いと思う
223:１３２人目の素数さん
20/05/28 22:59:32.96 sw4Y2FGu.net
遠アーベル幾何的再構成アルゴリズムが何なのか正直よく分かってないけど、4章の宇宙間通信があまり意味をなしていない以上、
劇場際タイヒミュラー理論の方がしっくり来る
224:１３２人目の素数さん
20/05/28 23:03:01.87 BaTMXHiF.net
>>212
それは同意しないなw
「ショルツの指摘を理解しつつ、その指摘に対して弁護可能な範囲で反論した」のほうがしっくりくる
で、その部分については単純化していると本気で思う部分もあるのかもしれない
「二つの宇宙をリンクさせても異なるアルゴリズムで区別される」という言い方を望月は突き通せるしね
関係ないがHTの「ホッジ」の意味を理解している人は少ないだろうなと感じる
たからあの第四論文の話と無関係だと思っちゃう人が少なくないわけだ
もちろん、別にIUT自体はあの第四論文に依存してはいないんだけど
225:１３２人目の素数さん
20/05/28 23:07:13.37 BaTMXHiF.net
ID変わったが205＝214。変な細工ではないので一応書くだけ
勿論ホッジというのはホッジ構造に由来するわけね
元々ホッジ理論は解析的な文脈で、最近リンクされたつべの動画でF1を出したのもその関係
ただし、解析的なホッジ理論をそのまま考えるわけではなく、モチーフの文脈を利用して代数的な
遠アーベル型でそういう構造を作ろうとしたわけだ
226:１３２人目の素数さん
20/05/28 23:07:39.20 OqRc95HC.net
ホッジ(hodge)の意味を調べたら田吾作だった
227:１３２人目の素数さん
20/05/28 23:08:49.28 BaTMXHiF.net
訂正
「リンクさせても、各々の宇宙というより各々のΘリンクは異なるアルゴリズムで区別される」
228:１３２人目の素数さん
20/05/28 23:19:31.86 tnqayGml.net
>>214
あなたの視点によると、望月は弁護可能な範囲外の指摘は無視しているってこと？
また、そのようなアルゴリズムは誰が理解している？
望月だけ？
229:１３２人目の素数さん
20/05/28 23:24:27.58 agqEcM4d.net
>>211
望月は強情張ってるだけだよ。で、RIMSがその強情を甘やかしてる。
まさに日本的な「甘えの構造」そのものだよな。
世界では、比較的好意的なDuppyですら、証明ができていないことを認めている。なんとか救う部分があるのではないかと希望的観測をしているだけで。
もう世界では「証明はできていない」で決着がついている。
星は、あからさまに明言はしないけど、すでにIUT理論に距離を置いているよね。
南出もどうだか。
230:１３２人目の素数さん
20/05/28 23:25:21.52 OqRc95HC.net
IUT I 33ページ
もしC,D が圏であれば、我々は同型C→Dを任意の圏同値C→Dの同型類として参照するだろう
こういうので正直わけわからなくなってくるよね
圏同値は関手の話で本来の同型は射の話なんだが
231:１３２人目の素数さん
20/05/28 23:49:19 Tcy2578x.net
あるいは認知症みたいなものか
進行すると自分が認知症であるという自覚がなく
しかし周りからは明らかにおかしく認知症と認定される
で、それを本人に指摘しても本人は認知症であることがわからない
自分がおかしいのではなく周りがおかしいという主張をくりかえす
232:１３２人目の素数さん
20/05/29 08:19:32.81 rUkVH4EB.net
>>202
>IUT側で一応正当化されているという意味なのか、
>SSの批判に対し正当化されるという意味なのか
前者は意味ないね IUT側の自己満足だから
後者の意味に決まってる、というのが数学の常識
>IUT側の理屈の話を具体的に言え
>という要求は明らかにおかしい
何が？どう？
数学界に理解されないまま成果だけ認めろ
という要求こそ明らかにおかしい
>膨大な論文の正当化の論理をこんなとこで要約する必要があるのか？
そもそも膨大な記述が必要か？という疑問があるが
それをいったん置いたとしても、成果として認めてもらいたいなら
いかなる努力を払っても他者に理解してもらう必要があると考えるのが
正常な精神を有する人だが？
233:１３２人目の素数さん
2020/05/2
234:9(金) 08:22:23.33 ID:rUkVH4EB.net
235:１３２人目の素数さん
20/05/29 08:26:47 rUkVH4EB.net
>>205
＞望月レポートにどういう理屈で正当化したかったのかは書いてある
「正当化したかった」気持ちだけ５０ページも書かれてもね
「何故ショルツが納得しなかったのか」
が分かっているというならそこを説明しましょうね
やる気、あるの？
236:１３２人目の素数さん
20/05/29 08:29:42 rUkVH4EB.net
>>210
＞☆がサーベイを日本語でしか書かない理由を察してやらんとな
arXivって匿名でのupって出来るの？
☆がもし、望月論文の穴に気づいてるとして
自分が☆なら、匿名でIUTの矛盾を指摘する論文書いてupするけどな
237:１３２人目の素数さん
20/05/29 08:32:14 rUkVH4EB.net
>>212
＞（望月は）あえてショルツが理解できないように反論したんじゃないか
それは自分の論文の穴を隠蔽するため？
238:１３２人目の素数さん
20/05/29 08:42:39.05 rUkVH4EB.net
>>214
>「ショルツの指摘を理解しつつ、その指摘に対して弁護可能な範囲で反論した」
>「二つの宇宙をリンクさせても異なるアルゴリズムで区別される」
要するにポイントは、リンクとマルチラジアルアルゴリズムの正当性だよね？
239:１３２人目の素数さん
20/05/29 08:44:42.44 EhetxOiR.net
今年のスペシャルウィーク、☆がガンガンやるはずだったのに距離置いてるとかw
240:１３２人目の素数さん
20/05/29 08:51:20 rUkVH4EB.net
>>219
RIMSは
「望月の反論に対して、Scholzeが再反論しなかったから受け入れられたと考える」
としたいようだけど それは無理筋だね
そもそも査読→アクセプトの過程に疑惑がある
１．査読したのは誰なのか？
２．査読者はいかなる理由でアクセプトしたのか？
３．Scholzeの指摘を査読者はどう考えているのか？
以上3点について答えない限り
「勝手に”都合のいい人”に査読をお願いして
査読者はロクに読みもせずアクセプトした
だからScholzeの指摘について査読者は何も反論できない」
と思われても仕方ない
これ、STAPより質が悪いよ
STAPは、査読者を騙したわけだけど、
上記の推測が当たっているなら、
査読者もグルだってことだからね
241:１３２人目の素数さん
20/05/29 08:54:40 rUkVH4EB.net
>>221
もう望月一人のせいでおさめられないけど
PRIMSでアクセプトした、と言い切ったわけだから
「RIMSは第二の理研になった」と思われても仕方ない
242:１３２人目の素数さん
20/05/29 09:39:15 ILd5rpzK.net
本当にRIMS内で議論してるなら、Cor 3.12は置いておいても「4章よく分かんないですね、これABC予想の証明に至るまでの中で必要ですか？」って検証が始まって4章は改善されてるはずなんだよね
だから周囲は(尊敬の念なのかお金儲けなのか分からんが)イエスマンなんじゃないかと思いたくなる
243:１３２人目の素数さん
20/05/29 09:43:21 ILd5rpzK.net
自称理解者の皆さんも4章は理解できないはずなのに、そこには全く触れずにIUTが全面的に正しいとでも言わんばかりの態度なのが怪しすぎる
他の数学者が4章に口を出さないのはCor 3.12には関係がないと見られてるからだが、当事者のRIMSが無視するべきではないでしょ
244:１３２人目の素数さん
20/05/29 10:26:31.62 u1sCRSma.net
論文の成否についてあれこれ言っている人が多いけど、これらを
「ショルツが言っているから」「海外で認められていないから」「望月先生は凄いから」「アクセプトされたから」
等以外の理由、つまり数学的な議論に基づいて言っている人は、ここにはどれくらいいるの？
例のSSレポートを読んでいると思しき人は何人かいるみたいだけど、それだって望月先生の論文とは違う
言葉遣いをしている訳だから、そのギャップをちゃんと論文と照らし合わせて埋めた上で意見を言っているの？
245:１３２人目の素数さん
20/05/29 10:44:33.75 rUkVH4EB.net
>>233
そもそも望月自身、Scholzeの指摘に対して数学的な議論が全くできてない
論文の著者自身がそうなんだから、誰も数学的な議論ができるわけがない
IUTは"Not Even Wrong"ってこと
246:１３２人目の素数さん
20/05/29 10:53:54.36 rUkVH4EB.net
>>231-232 RIMSは組織防衛に走ってるね STAPのときの理研と同じ
248:１３２人目の素数さん
20/05/29 11:03:13.74 u1sCRSma.net
>>234
なるほど。
参考までにお聞きしたいのだけど、あなたが「望月自身、Scholzeの指摘に対して
数学的な議論が全くできてない」と言うのは、例えば
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
のような望月氏の反論をご自身で読んで「これは数学の文章ではない」と判断した上でですか？
僕も全然専門ではないので、愚かな事を言っていたら申し訳ないのだけど、少なくとも僕には、
上の文章には専門的な数学に関する議論がいくつか含まれているように見えます。
249:１３２人目の素数さん
20/05/29 11:03:32.91 UAcJW1OX.net
>>233
ギャップを埋めるのは望月の仕事。
外野がギャップを埋めてから意見しろっていうのは詭弁。
このスレで何回も言われている。
250:１３２人目の素数さん
20/05/29 11:07:05.82 DyZkStHz.net
んー、というか、例えば
代数的空間と代数スタックとで同じ用語を使うのが不自然なほどの
構造の違いがあるなら、なんでStack Projectがうまくいくんですか？
みたいなのはもう数学の反論としては完全に有効だよね。
ゼミナールで質問されたら発表者のほうが答えないといけないような話だし。
で、望月はこれに対する回答を持ってないようにみえるし。
251:１３２人目の素数さん
20/05/29 11:34:30 rUkVH4EB.net
>>236
望月レポートは、Scholzeのいうモノドロミーの問題に
答えていない点で数学的ではないですね
＞上の文章には専門的な数学に関する議論が
＞いくつか含まれているように見えます。
では、具体的に、あなたが見つけた議論を全部上げてください
小出しにするのは絶対にやめて下さい
ところで、あなたの専門は何ですか？
252:１３２人目の素数さん
20/05/29 11:43:43 C6J581Nw.net
歴史的にみても、生前にあまり注目されなかった理論はあっても、そもそも間違ってると指摘された現代では支持されてる理論があっただろうか？
253:１３２人目の素数さん
20/05/29 11:52:15 rUkVH4EB.net
>>240
「間違ってる」と云えるレベルなら、この問題はとうに決着がついてる
そもそも肝心なところが全く述べられてないから、
そこに何かあるのかそれとも何もないのかで
グダグダ蒟蒻問答が続いている
ScholzeとStixは、上記の状況を打開するためにモノドロミーの問題を指摘したが、
望月は結局そこに入って来ず、相変わらず肝心なことは何も述べない
おそらく何もないのだろうが、当人はその自覚もないらしい
京大は、望月を雇った手前、望月をかばっているようだが、
そういう行為が日本の数学研究を貶めていることに気づけ
254:１３２人目の素数さん
20/05/29 12:20:18 u1sCRSma.net
>>239
例えばp22以降の議論なんかは、よく言われる``id -version''に対して例をあげて
反論しているように見えるのですが、僕の能力的にこれが有効な反論になっているのか
田舎の判断はできません。
「いくつか含まれているように見える」と言ったのは、この程度の意味です。
>>ところで、あなたの専門は何ですか？
特定されるのが嫌なのでかなり濁しますが、最近は関数体上の曲線とかを気にしています。
255:１３２人目の素数さん
20/05/29 12:38:16 aSe+Q9dt.net
まず望月レポートは数学的ではない、は言い過ぎ
どうやって宇宙を区別しているつもりなのかは書いてある
他方、結局は論文とSSと望月レポート全部読まないと判断できないってのは全くその通りだと思う
それでもショルツと似たような意見になるのが普通だと思うけど
志○さんみたいに非常に近い分野の人が論文を書いたら雰囲気は変わるだろうけど、多分書かないだろうね
まあこのレスも似たような事をまた言ってるだけなんだけど
256:１３２人目の素数さん
20/05/29 12:45:31 W9RUe1PH.net
>>242
＞よく言われる``id -version''に対して例をあげて
この部分は何を言いたいかよくわからんけど、
22頁以降の議論はlabelを使ったら区別できるんだってのを繰り返し言ってるだけで、
なんでlabelを使ったら区別できるのかの説明になってないんだよね。
問題になってるのは最初からずっと後者。
257:１３２人目の素数さん
20/05/29 13:33:02 rUkVH4EB.net
>>244
>22頁以降の議論はlabelを使ったら区別できるんだってのを繰り返し言ってるだけで、
>なんでlabelを使ったら区別できるのかの説明になってない
>問題になってるのは最初からずっと後者。
肝心なことに答えない だから数学的でない
258:１３２人目の素数さん
20/05/29 13:38:27 YlHry6Ec.net
誰かアブストラクトだけでいいから翻訳してくれないか？
259:１３２人目の素数さん
20/05/29 14:52:54 LVMlt/Qe.net
「今、新しい嘘を考えるんだから、少し黙っててくれない！」
260:１３２人目の素数さん
20/05/29 15:48:39.12 8WTnS7Mi.net
>>225
そんなめんどくさいことするわけない。
師が間違っていたときに、弟子が間違いを指摘することは最高の恩返しだろう。
261:１３２人目の素数さん
20/05/29 16:22:21 rUkVH4EB.net
>>248
＞師が間違っていたときに、弟子が間違いを指摘することは最高の恩返しだろう。
わかる。普通ならそうするだろう。
し・か・し、聞く耳を持たぬなら・・・
262:１３２人目の素数さん
20/05/29 16:28:24 4dcS3ONY.net
ブログに張り付けるのはやめなよ
言いたいことがあるならせめて自分の言葉で堂々と主張するべきだ
263:１３２人目の素数さん
20/05/29 16:32:03 GwqAfi8N.net
>>250
悪意の異民族に何言っても無駄。
相手にしなきゃいい。
264:１３２人目の素数さん
20/05/29 16:59:55 7oYOrbSK.net
望月さんがかわいそう
バカにおちょくられて白髪が増えるだろ！
265:１３２人目の素数さん
20/05/29 17:19:43 C6J581Nw.net
丁寧な口調で書き込むのはいいけど
ショルツに反論しなくていいのか？みたいな書き込みはイライラしないのかなって思ってる
266:１３２人目の素数さん
20/05/29 17:21:51 gle8IriP.net
プロブレムソルバーではあったが、グロタンディークのようなセオリーメイカーではなかったんだろう
これにめげずに数学は続けてほしい
267:１３２人目の素数さん
20/05/29 17:35:07 C6J581Nw.net
アメーバあたりの有名人ブログはコメントに検閲入るじゃなかったっけ？
楽天で始めちゃったのが間違いだった
268:１３２人目の素数さん
20/05/29 17:52:52 sOO8b2CP.net
ミスター維新が暴れてるのか
269:１３２人目の素数さん
20/05/29 17:53:43 sOO8b2CP.net
中途半端な数学への知識がアカポス持ち研究者への嫉妬を増大してるな。
270:１３２人目の素数さん
20/05/29 17:54:05 whmymnsw.net
査読システムの問題を提起
271:１３２人目の素数さん
20/05/29 18:00:30.28 rUkVH4EB.net
>>259
RIMSが望月をかばったせいで望月への疑惑が増大
まさに贔屓の引き倒し
272:１３２人目の素数さん
20/05/29 18:06:29 rUkVH4EB.net
数学を知らぬ人でも正常な精神の持ち主なら
他の数学者が理解できないといっている論文が
査読を通るのはおかしなことだと分かるけどな
273:粋蕎 ◆C2UdlLHDRI
20/05/29 18:10:05 yY1wMQhP.net
数学は信仰に対しても疑心に対しても皆殺しであるべきである｡
274:１３２人目の素数さん
20/05/29 18:15:12 i7FnIOEJ.net
ごちゃんのノリで国内最高峰の数学者にタメグチでコメントするなんて頭おかしい
さすがにおこだよ
275:１３２人目の素数さん
20/05/29 18:19:28 rUkVH4EB.net
>>261
快楽殺人鬼？
276:１３２人目の素数さん
20/05/29 18:43:16 whmymnsw.net
査読でレフリーが嘘ついてるのがバレたらどうなるんだろうか？
277:１３２人目の素数さん
20/05/29 20:00:10 ngyEKeql.net
嘘だったからって生命身体財産に危害が及ぶわけじゃない
違法性はないのに大げさなんだよ
278:１３２人目の素数さん
20/05/29 20:11:03.72 ubllKNtX.net
些細は及んだけどな
どこで生きてるか、なんだよ
279:１３２人目の素数さん
20/05/29 20:42:46.24 xocfVLU0.net
>>262
でも初歩的な事わかってなかったらタメ口にもなるでしょ
280:１３２人目の素数さん
20/05/29 20:55:16.84 rUkVH4EB.net
>>265
数学に興味ない馬鹿の発言
281:１３２人目の素数さん
20/05/29 20:56:01.18 ajvdWhTY.net
>>267
それほどに自信があるならブログコメントや五ちゃんでシコシコやってないで
自己紹介付きメールでも送って議論してきてください。
282:１３２人目の素数さん
20/05/29 21:00:19.61 xocfVLU0.net
>>269
本人が経歴フィルタでしか話さないから無理じゃない？
283:１３２人目の素数さん
20/05/29 21:08:06.77 EhetxOiR.net
そもそもちゃんとした数学者じゃなくて、ちゃんとした数学者以上の知識の持ち主っているん？
284:１３２人目の素数さん
20/05/29 21:15:07 ngyEKeql.net
>>268
これが医学だと興味がなくても嘘があったら命に関わるんだから怒るでしょ
でも数学だと嘘があっても当面誰も何も困らない
困らないから数学者はその気になれば嘘つき放題
285:１３２人目の素数さん
20/05/29 21:56:34.27 LVMlt/Qe.net
レフリーが数学者のプライドを捨てて嘘をつくのは悪い！とも言いきれない〜
286:１３２人目の素数さん
20/05/29 21:57:45.75 mQz7w0ut.net
研究費を騙し取った事にならないの？
刑事告訴されないのが不思議だ。
287:１３２人目の素数さん
20/05/29 22:04:12.18 C6J581Nw.net
さすがにブログもっと更新してほしいわあ
一つ記事書くのって1時間くらい？
何カ月もの間その時間捻出できないほど激務なの？
288:１３２人目の素数さん
20/05/29 22:07:25.83 EhetxOiR.net
>>275
たぶんあの記事をあげるのに五時間～10時間はかけてるとおもう
289:１３２人目の素数さん
20/05/29 22:08:41.97 EhetxOiR.net
そして書き始める前の思考の整理で２週間～1ヶ月以上かけてるな
290:１３２人目の素数さん
20/05/29 22:10:15.20 C6J581Nw.net
>>276
IUTに関する記事ならそうだけどもっと日常のことならそこまでかからないでしょ
それに1日で書かなくてもいいし
291:１３２人目の素数さん
20/05/29 22:22:03.38 EhetxOiR.net
甘いな
日常にもまるっきり妥協できないから京都ひきこもりのプロ独身なんやろ
性格的に仮にも公に出す文章なんだから、たとえガッキー論であってもBがTwitterでつぶやくみたいにはいかない
絶対クソ長いこと時間かけてると思うね
292:１３２人目の素数さん
20/05/29 23:33:26 cYtGv8+O.net
ここの有象無象の連中が思いつきそうなことくらい
京大のしかもrimsの人が8年かけたらとっくに
気がついてるとは思わんのか
293:１３２人目の素数さん
20/05/29 23:38:57 cYtGv8+O.net
おまいらはトップの人間は
むやみやたらと絶対化し神格化するが、
二番手以下の人間は必要以上にこき下ろし
馬鹿にする傾向がある
悪い点やで
294:１３２人目の素数さん
20/05/29 23:39:12 UYPFsT7r.net
思わない
なぜなら自分だけが真実に気づいてると思ってるから
295:１３２人目の素数さん
20/05/30 00:45:14.96 88D//c19.net
>>思わない
>>なぜなら自分だけが真実に気づいてると思ってるから
処方されたお薬あってないみたいですね
先生かえたほうがいいんじゃない
296:１３２人目の素数さん
20/05/30 07:51:31.42 03gXVx3f.net
>>281
トップ ：Scholze
二番手以下：望月
という意味？
そりゃ誤解
望月が批判されているのは誠実でないから
297:１３２人目の素数さん
20/05/30 08:59:38.83 J/OqvOjn.net
むしろﾌﾞﾝさんの貶めがひどいとおもう
298:１３２人目の素数さん
20/05/30 09:05:58.07 ieyNuqFv.net
誰を貶めたの？
299:１３２人目の素数さん
20/05/30 09:08:24.01 uk8lPrUL.net
>>280
ショルツだってブログでやりとりしてたし
サルと人間ほどの違いがあるわけじゃないんだから
300:１３２人目の素数さん
20/05/30 09:22:20.97 1HWD8DON.net
>>287
いえ、ショルツェさんとこのスレの人では、猿と人間ほどの差があると思います。少なくとも数学において。
301:１３２人目の素数さん
20/05/30 09:45:10.95 85335uPX.net
302:ブンゲンだって専門書出してる立派な専門家だよね？ https://bookstore.ams.org/emsmono-7/
303:１３２人目の素数さん
20/05/30 11:41:20.80 fM1347ZP.net
望月先生のブログに5chからの引用で形で書き込み貼り付けてるやつダサすぎて草
イチャモンつけたいけど、僕の意見じゃありませんて逃げを用意してるじゃん
304:１３２人目の素数さん
20/05/30 19:45:07.54 ajMvj8Tt.net
>>288
そりゃ自分が基準だからそう感じるだけ
君のレスを見るとよくわかる
305:１３２人目の素数さん
20/05/30 19:53:30 ajMvj8Tt.net
>>280
実際誰でも突っ込める問題ではないよ
P＝NPに似ている部分があるが、ショルツのわかりやすい指摘を受けてその問題を理解するのと
IUTの理論内部の論理から同じ問題を見出だすのは違うからな
だから逆にIUT側の数学者が迷うのもおかしくはない
そのように難しいからSSが実名で5年経って指摘できたわけだし
306:１３２人目の素数さん
20/05/30 21:34:43 88D//c19.net
精神科いきのキチガイゴミの吹き溜まり
ブリブリブリ
307:１３２人目の素数さん
20/05/30 23:40:23.30 y1oT4TaI.net
2020/5/28
数理解析研究所ではZoomによるオンライン共同研究の開催も可能となるよう現在準備中です。希望される研究代表者は共同利用掛までお問い合わせください。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
始まったな
308:１３２人目の素数さん
20/05/31 00:31:45.01 UFIV7unF.net
良かったね
これでますます電波の交信が捗る
309:１３２人目の素数さん
20/05/31 00:37:45.94 PLDYWZX9.net
アマチュア無線が流行った世代なんだな
310:１３２人目の素数さん
20/05/31 00:56:35 TpGwc7Wg.net
そろそろ
ここら辺でビシッと
モッチー最愛の星しゃんあたりに
IUT神拳の最終奥義を窮めた
正統継承者としてのアクションを期待したいよね
311:１３２人目の素数さん
20/05/31 01:48:00.69 /RIjsHzS.net
>>297
ファルテイングスに
お前はもう死んでいる。
をかますのか。
312:１３２人目の素数さん
20/05/31 03:19:32.37 RrSlBKVh.net
なんで論文出しただけで叩かれるんだろ
ゴミ論文しか出してない教授山ほどいるのに
313:１３２人目の素数さん
20/05/31 04:20:09.63 O3OEEw8b.net
鳴り物入りだったからなぁ
314:１３２人目の素数さん
20/05/31 05:37:02.36 8L1UUInK.net
そろそろIUTを用いた「既知の定理の導出」とか、そういう発展的な成果が出ても良さそうなもんだけど
315:１３２人目の素数さん
20/05/31 06:04:11.02 KlCzb2+2.net
>>299
こうならないように初歩的に注意してるのにぶっ壊して来てるのだから(それも言い訳)
316:１３２人目の素数さん
20/05/31 07:34:52.25 yCYNdocE.net
ABC解決しました。ってぶっこいたからじゃない？
317:１３２人目の素数さん
20/05/31 07:42:08.33 /howdGzN.net
論文出しただけなら、ギャップだらけでも叩かれない
ギャップがある論文をアクセプトさせたから叩かれてる
318:１３２人目の素数さん
20/05/31 08:22:43 n5C0MsRa.net
健全な学問の発展とか言いながら、自分に都合のいいように、ゴールポストを動かしてるから
319:１３２人目の素数さん
20/05/31 10:33:37.71 V9gS1otX.net
>>294
RIMSから電波理論が拡散されるのか、
新しいウィルスだ
320:１３２人目の素数さん
20/05/31 11:14:21.92 /RIjsHzS.net
>>301
FLTは出たらしい。
321:１３２人目の素数さん
20/05/31 11:17:08.03 NesR8X1l.net
>>307
らしいとは
322:１３２人目の素数さん
20/05/31 12:11:34.25 Eu/IpZG7.net
今年のワークショップで発表予定だったのにコロナでぽしゃった。
323:１３２人目の素数さん
20/05/31 12:29:15.46 NesR8X1l.net
真実は闇の中�
324:ｩ
325:１３２人目の素数さん
20/05/31 15:31:01.28 /RIjsHzS.net
Fesenkoのところにいる南出さんが証明作ったらしいよ。
326:１３２人目の素数さん
20/05/31 15:41:56 XKBjsvOf.net
そりゃIUTが全く新しい言語の「理論」
だから なんでもできるんだろう
FLTもRHも
327:１３２人目の素数さん
20/05/31 16:59:04.52 CSQH3/k8.net
矛盾からは何でも導ける
328:１３２人目の素数さん
20/05/31 17:08:52.44 8L1UUInK.net
>>312
もしよければ、「全く新しいこと」と「なんでもできること」を同一視してしまった理由について詳しく教えてほしい
329:１３２人目の素数さん
20/05/31 17:42:58 XKBjsvOf.net
>>314
パラダイムが異なるIUT語による全く新しい数学だから普通の数学からは
無縁の世界で完結するのだろう
Dupuyも補題3.12の証明をしめしていないし
330:１３２人目の素数さん
20/05/31 17:50:49 8L1UUInK.net
>>315
自分がキミに聞きたいのは、「全く新しいこと」と「なんでもできること」を同一視してしまった理由についてなんだが...
331:１３２人目の素数さん
20/05/31 18:19:33 flj1fCWN.net
説明できなかったら確り詫びる事
332:１３２人目の素数さん
20/05/31 18:35:15 /0yxjvkB.net
>全く新しい言語の「理論」
「理論」って皮肉ってるだけだろ
333:１３２人目の素数さん
20/05/31 18:49:25.94 XKBjsvOf.net
>>316
「全く新しいこと」の世界と
普通の数学は断絶している。
普通の数学でギャップと思われても
「全く新しい」世界では
完結しているのだろ 以上
334:１３２人目の素数さん
20/05/31 18:54:52.03 XKBjsvOf.net
>Fesenkoのところにいる南出さん
expect expectの南出さんですか
335:１３２人目の素数さん
20/05/31 22:58:58.56 ssp879EG.net
真と偽を同一視できれば何でもできることに気付いたのさ
336:粋蕎 ◆C2UdlLHDRI
20/06/01 01:35:19 8U6VUaDi.net
「偽の仮定からは全て真が導かれる」の意味
めーくんとやらは何で此の事実を理解するのに15年も掛かったん？
337:１３２人目の素数さん
20/06/01 05:31:58.48 OrA3z+bn.net
命題pがx＝2、命題qがｘ^2＝4である時
非p→非q
の真理値を答えなさい＾＾
338:１３２人目の素数さん
20/06/01 06:33:57.72 Ca+paVMA.net
RIMSって凄いらしいね
駒場の数理科学研究所に行った友人が「RIMSのほうがうちより上」と言ってて、へえと思ったよ
339:１３２人目の素数さん
20/06/01 07:00:25 KLo+fX5g.net
だから(ｸﾞｷﾞｷﾞｷﾞｷﾞｲｲｲｨｨｨｯ…!)
が沸いて来ちゃってるのかな。。。?
340:１３２人目の素数さん
20/06/01 07:02:52.99 KLo+fX5g.net
🔥ﾒﾗﾒﾗﾒﾗ~ｯ!🔥
🔥🔥🔥🔥🔥🔥
341:粋蕎
20/06/01 07:04:12.85 8U6VUaDi.net
歯軋り勢が居るとは思えん
342:１３２人目の素数さん
20/06/01 08:00:05 u89O7EhN.net
>>324
何をどう比較してそういうんだろうな？
そこだけが興味がある
343:１３２人目の素数さん
20/06/01 09:40:49.21 OrA3z+bn.net
「偽の仮定からは全て真が導かれる」の意味
などと言う言説は古典論理学の意味論上の誤謬＾＾
344:１３２人目の素数さん
20/06/01 09:51:53.04 swPDUDHo.net
タブロー法だと
(1) P→Q
(1)の分岐
(2) ￢P
(3) Q
という形式を持つだけだけどな
それだからPから何でも導出できるわけではない
という解釈だ
345:１３２人目の素数さん
20/06/01 09:59:26 6Ceokjp0.net
|- P→Q ⇔ P |- Qだから、
偽の仮定から何でも導出できると言える気がするが
346:１３２人目の素数さん
20/06/01 10:09:19 u89O7EhN.net
>>330
タブロー法の場合、結論の否定から始める筈
この場合 P∧￢Q
で、Pのみから矛盾が導ければ、Qはなんでもいい
347:１３２人目の素数さん
20/06/01 10:48:54.55 swPDUDHo.net
>>332
P→Q |- P→Q を示す
(1) ￢((P→Q)→(P→Q))
(2) P→Q (1)
(3) ￢(P→Q) (1)
(4) P (3)
(5) ￢Q (3)
(2)の分岐
(6) ￢P (2)
×
(4),(6)
(7) Q (2)
×
(5),(7)
ゆえに
P→Q |- P→Q
これを省略して書いただけだが
Qがなんでもよいなんてありえないし
この場合PとQにそれぞれ矛盾がなければ
タブローは閉じず命題は不成立である
348:１３２人目の素数さん
20/06/01 10:54:54.30 u89O7EhN.net
>>333
P,￢P |- Q
これでやってみて
Qがどんな式でもタブローが閉じるから
349:１３２人目の素数さん
20/06/01 10:55:29.54 swPDUDHo.net
もちろん
P→Q |- P→Q
を言う場合に
(1) P→Q
(2) ￢(P→Q)
(3) P
(4) ￢Q
(1)の分岐
(5) ￢P
×
(6) Q
×
でもよい
タブローの最初が必ず否定だとか何言ってんだろ
350:１３２人目の素数さん
20/06/01 10:58:12.99 u89O7EhN.net
>>335
＞タブローの最初が必ず否定だとか何言ってんだろ
↓
＞P→Q |- P→Q
＞(2) ￢(P→Q)
351:１３２人目の素数さん
20/06/01 11:04:55.97 swPDUDHo.net
>>336
じゃあ訂正する必要なかったね
おれはその意味で書いた
脊髄反射をやめろ
352:１３２人目の素数さん
20/06/01 11:19:25.09 u89O7EhN.net
>>337
>>334をタブロー法で証明してごらん
そうすれば「偽の仮定からは全て真が導かれる」という言葉で
何をいいたかったのかが、あなたにも分からざるを得なくなる筈だから
353:１３２人目の素数さん
20/06/01 11:22:29.07 swPDUDHo.net
>>338
P∧￢Pって恒偽命題だよな？
恒偽命題の仮定と偽の仮定は違うと思うよ
354:１３２人目の素数さん
20/06/01 11:48:00 u89O7EhN.net
>>339
＞恒偽命題の仮定と偽の仮定は違うと思うよ
では恒偽命題でない偽（の命題）の例を具体的に一つ挙げてみてくれ
いかに苦しい言い訳をしてるか、あなたにも分からざるを得なくなる筈だから
355:１３２人目の素数さん
20/06/01 12:11:34.79 swPDUDHo.net
>>340
P∨Q：真
とする
このとき
￢(P∨Q)：偽
￢(P∨Q) |- P∨Q
を示す
(1) ￢(￢(P∨Q)→(P∨Q))
(2) ￢(P∨Q)
(3) ￢P
(4) ￢Q
(5) ￢(P∨Q)
(6) ￢P
(7) ￢Q
ゆえにタブローが閉じないので
命題は不成立である
356:１３２人目の素数さん
20/06/01 12:20:34 qo3IiLZW.net
>>324
たしかに
RIMSは凄い方向へ突っ走っているね。
新型コロナ感染症数理モデルへ
口を出せない、口を出していないだけ
救いか
357:１３２人目の素数さん
20/06/01 12:40:56.14 iiGWAqOL.net
IUTに関する一連の会議が予定されてて、星は代表者をやってるから沈黙してたのは忙しいせいだな
彼にはIUTには疑念がないということだな
358:１３２人目の素数さん
20/06/01 12:59:57.67 qo3IiLZW.net
RIMSはIUTクラスターですね
予算も人事もあるし大人の都合でしょう
359:１３２人目の素数さん
20/06/01 14:42:33.89 1AEVfaSA.net
>>323
∀x(￢p(x)→￢q(x))↔∀x(q(x)→p(x))↔∀x((x=2∨x=-2)→x=2)
→{(-2=2∨-2=-2)→-2=2}↔-2=2より偽
>>333
一行目のP∨Qが真であるという前提と矛盾するので閉じている
>>339
同じだよ
>>330の例なら、pが偽のときP→Qが成り立つことは、￢P→(P→Q)と書ける
しかしこれは、(￢P∧P)→Qと同値だから、>>334と同じだよ
360:１３２人目の素数さん
20/06/01 14:45:09.11 1AEVfaSA.net
訂正
>>341
一行目のP∨Qが真であるという前提と矛盾するので閉じている
361:１３２人目の素数さん
20/06/01 15:07:14.08 1AEVfaSA.net
１、A∧B→C ・・・仮定
２、A ・・・仮定
３、B ・・・仮定
４、A∧B ・・・２と３より∧導入
５、C ・・・１と４より→除去
６、B→C ・・・３と５より→導入
７、A→(B→C) ・・・２と６より→導入
８、{A∧B→C}→{A→(B→C)} ・・・１と７より→導入
１、A→(B→C) ・・・仮定
２、A∧B ・・・仮定
３、A ・・・２より∧除去
４、B→C ・・・１と３より→除去
５、B ・・・２より∧除去
６、C ・・・４と５より→除去
７、A∧B→C ・・・２と６より→導入
８、{A→(B→C)}→{A∧B→C} ・・・１と７より→導入
９、{A→(B→C)}↔{A∧B→C} ・・・８と先の段落の８より↔導入
Aに￢Pを、BにPを、CにQを置けば、￢P→(P→Q)と￢P∧P→Qが同値と分かる
362:１３２人目の素数さん
20/06/01 15:57:37.14 iiGWAqOL.net
星が何で沈黙してんだと思ってだが
IUTの元締めになってんじゃない
これじゃ言い逃れはできない
一蓮托生
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
363:１３２人目の素数さん
20/06/01 16:38:16.93 l9ZMq+Ev.net
今や�
364:Fんな意味で上になった 話題性とか話題性とか
365:１３２人目の素数さん
20/06/01 18:03:09 uspAbaFY.net
>>324
研究環境の話だろ。IPMUとRIMSは国内では飛び抜けてる
凄い曖昧に組織として上か下かを言ってるならそいつはヤバい
366:１３２人目の素数さん
20/06/01 19:12:06.62 4wZFfQzd.net
餅がネットの一部で自分がトンデモなどと言われていることについてブログでコメントしてたような記憶があるんだけどブログ振り返っても見つからない
これも脳内の不具合なのだろうか？
367:１３２人目の素数さん
20/06/01 19:27:19.33 TSy5zEAp.net
>>351
2017.01.04の記事じゃない？
下の方にネットでいろいろ書かれてうざい的な文がある
368:１３２人目の素数さん
20/06/01 19:45:54.10 4wZFfQzd.net
>>352
いや、「トンデモ」という単語を見た気がしたんだが とんでもない出鱈目～ という文字列はあってもトンデモという単語は見つからなかったわ…
369:１３２人目の素数さん
20/06/01 20:17:33 me72DPjh.net
もっちーの言語にこだわる性質的に「トンデモ」は使わない気がするな
「ゴミ」を「ごみ」とは書かないように
370:１３２人目の素数さん
20/06/01 20:36:38 me72DPjh.net
>>353
あった
最新の記事の下の方
・正常な、建設的な数学的な議論を
行なっている研究者をトンデモ系
の「狂った異端者」として描き、