18/12/26 10:52:43.57 rL7y7qtu.net
>>858
続き
>In Mochizuki’s mappings,
the measuring sticks are locally compatible
with one another.
But when you go around the circle,
Stix said, you end up with a measuring stick
that looks different from
if you had gone around the other way.
The situation, he said, is akin to Escher’s
famous winding staircase,
which climbs and climbs only to
somehow end up below where it started.
>This incompatibility in the volume
measurements means that the resulting
inequality is between the wrong quantities,
Scholze and Stix assert.
And if you adjust things so the volume
measurements are globally compatible,
then the inequality becomes meaningless,
they say
901:132人目の素数さん
18/12/26 11:10:21.65 WuV0z5bC.net
>>855
ドイツグループ. PS JSの指摘
>>858 >>859を参照してください
902:132人目の素数さん
18/12/26 11:59:18.37 w+UO6IRt.net
>>857
他人のことより自分のことを心配しょう。大丈夫か?
903:132人目の素数さん
18/12/26 12:48:10.50 e6E4VL2g.net
【火器管制レーダー模擬ロックオン】 TV局「危機感を煽てください」 JSDF「自衛隊もやってんだが」
スレリンク(liveplus板)
904:132人目の素数さん
18/12/26 13:13:37.54 iW/cza+x.net
今回ので一番感心するのは御大の手腕だね。
新進気鋭でこいつが言うなら間違いないというショルツを呼ぶ。
ショルツは遠アーベルの専門家じゃないという批判も封じるためにスティックスも呼ぶ。
反論する時間がなかったという言い訳もさせないために時間をとる。
なにがあったかをレポートのかたちで英語で周知する。
これで実質的に外部査読でリジェクトというかたちに持っていけるから、
当人たちがどんなにRIMS内部の権限を濫用しようが掲載拒否できる、と。
905:132人目の素数さん
18/12/26 16:02:52.74 lqqZmmGl.net
>>863
あなたは、森氏やRIMSが学問の自治と独立を外部の人間に委ねた
と言ってるのか。日本の政治のように、
外圧がないと森氏もRIMSも何もできないと言ってるのか。
IUTTの正否に関係なく、森氏とRIMSを侮辱し過ぎだ。
906:132人目の素数さん
18/12/26 16:17:12.63 iW/cza+x.net
>>864
誰かさんが雑誌を私物化しなければこんなことにはならなかったんだよ。
907:132人目の素数さん
18/12/26 16:22:01.88 iW/cza+x.net
1、査読が完了したのかしてないのか長期的に曖昧にする
2、普通ならしてはいけないリークがある
3、その後も頻繁に修正を認めている
こんなのが起きている状態で自治ができてると言い張る方がおかしいね。
そして擁護するときはこの3点(特に1と2)に絶対触れない。
908:132人目の素数さん
18/12/26 16:
909:30:08.72 ID:j/A0kl5n.net
910:132人目の素数さん
18/12/26 18:48:05.75 XDh938sZ.net
まだやっててワロタ
10年後もやってろよ
よろしく
911:132人目の素数さん
18/12/26 19:12:39.24 yQVEDCxH.net
>>863
選手会の金に手を出したとかで東京ドームで小川直也に橋本真也を制裁させた長州力みたいな感じがするw
912:132人目の素数さん
18/12/26 19:16:41.49 SSt2DFZn.net
望月自身がブログで言及してるよね
IUTは超数学だって
超数学では既存数学を使えない
913:132人目の素数さん
18/12/26 20:35:35.81 U4PmkSWL.net
>>870
>IUTは超数学
Mはメンタル患ってるのか?
914:132人目の素数さん
18/12/26 20:45:23.02 VNG3PbmT.net
望月さんがそんなオレオレ用語使ってるの?
超数学は普通Metamathematicsの訳語として使われてると思うんだけど
IUTはチョーすごい数学だから数学の常識が通用しないのだみたいなのはちょっと
915:132人目の素数さん
18/12/26 20:54:56.57 j/A0kl5n.net
ロムに戻ると書いたんですけど、又疑問が生じてしまったんで書きます
仮に>>855の様な事が正しいとして、>>850の手続きをちゃんと
行えば、限定された程度ではあってもABC予想が解けるということは
全く無意味ではあり得ないという事にはならないか
無意味ではないどころか、かなり凄いということにはならないか
あと今回SSがIUTを切って捨てたようなポイントを持つ数学は
これまでに一切存在していないのか
916:132人目の素数さん
18/12/26 21:28:46.37 3ya6FqCx.net
まあ超数学って言われると不完全性定理とかが思い浮かぶよな
917:132人目の素数さん
18/12/26 21:34:12.03 egsghpXg.net
超物理学とは言わずに形而上学とはこれ如何に
918:132人目の素数さん
18/12/26 21:35:55.12 ikbjjr3k.net
もうね、まともな感性してたらモッチーが正しいとか考えられない
919:132人目の素数さん
18/12/26 21:36:45.16 gbKkGmPI.net
>>864
Ann. Math. だって査読は外人に回すよ
それが普通
920:132人目の素数さん
18/12/26 22:06:36.28 yQVEDCxH.net
>>873
それは色んな見方があるだろうから、これは自分の偏見ですが
そもそも、様々な群スキームを俯瞰して計算するっていうのが理論の示している理念ですよね
題目によれば、どういう群の構成がどういうスキームのデータに対応しているのかコントロールできる
ような印象がある。ショルツらは実際、絶対遠アーベル幾何学の一番重要な第三論文を読んでるんですね
簡単に言えばIUTは、原色と配合の理論で様々な色を俯瞰できると言っているようなものです
しかし、どうもこの調合の部分がよくわからないんですよ
原色を上手く配合したら任意の色が出る、それに名前を付けたら区別ができる、というのは
具体的な色について知ることが大事な場合には情報が抜けた抽象論ですよね
だから、IUTが一体スキームの世界を具体的にどう俯瞰し革新するのかがよくわからないのです
921:132人目の素数さん
18/12/26 22:11:00.65 YMZL6bC6.net
>>872
なんか他人の論文あんま読んでないという印象を受けるんだよね。
基礎論に引っかかってると分かってるのに読んでないんじゃなかろうか。
基本的なところでダメになってる。
922:132人目の素数さん
18/12/26 22:24:47.16 j/A0kl5n.net
>>878
俺、アホなんで変な事言うかもしれないですが、
ABC予想は当然滅茶苦茶に難しいけど、不等号の式で示して締めくくるので、
数字を弾き出すわけではないので、手品のトリックみたいに、
解けたように見せかけやすいものなんでしょうか?
それとも、そうでないか、そうであるかどちらであるにしても、
IUTでのABC予想の解き方はそこまで、インチキが出来るものではない
くらいの厳密さはあるけど、具体的な数について何も示せない薄さ
みたなものがあるということなのかなぁ?
923:132人目の素数さん
18/12/26 22:33:02.95 fnqzilr3.net
英文ABC予想のwikiの文中にある不等号と数値が同じだけどどう解釈してるの
924:132人目の素数さん
18/12/26 22:38:47.22 yQVEDCxH.net
>>880
あの論争の不等式がかなり抽象的で単純なのを見てもわかるように、ABC予想で計算すべきものとか
想定される仕組み自体は抽象的なもので、IUTの、環スキームより抽象的な設定から攻める戦略自体は間違い
ではない。しかし、環を抽象化した理論は「最終的に不可欠だが抽象ナンセンスに陥りやすい」ということ
だから数体の大域なホッジ理論もまだないし、局所ホッジ理論しかない
要はABC予想はナンセンスと有意義な所のギリギリ境界の構造を攻める必要があるから失敗の危険が大きい
不等式に関わらず、数論幾何学の大きな未解決問題はそういう難しさがある
まあ、ウルトラでIUTが成功する可能性もあるがw
925:132人目の素数さん
18/12/26 22:51:33.93 j/A0kl5n.net
>>882
IUTでABC予想が解けている場合と解けていない場合を想定して、
解ける場合、例えば95%の確率で偶然ではなくABC予想を
解いているとか結果を出すような事が出来ないもんなんですかね?
926:132人目の素数さん
18/12/26 22:58:30.19 YMZL6bC6.net
>ABC予想はナンセンスと有意義な所のギリギリ境界の構造を攻める必要がある
???
927:132人目の素数さん
18/12/26 23:08:40.68 ghTlr2ms.net
遠アーベル的な群論的枠組みとか、充満多重同型、ラベルの使用が問題になっているんだけど、
結局、最大の焦点は不定性をどう扱っているかということなんだよね。望月とショルツとでは完全に平行線になっている
望月はこの不定性を最大限に利用しようとしているわけだが、ショルツは簡単に切り捨てている(p.7,脚注8)
-------------------
Choosing these “obvious” isomorphisms did not result in any problem that would be solved by
allowing some other (possibly indeterminate) isomorphism.
-------------------
これがショルツによる単純化の始まりにして最たるものだけど(特に括弧内の“possibly indeterminate”)、
この単純化を考察したのがロバーツのPDF、特に補遺の部分。彼はショルツに同意し、
ラベルについても「無害ではないが数学的には不必要」であるとしている
まあ、上のフェセンコ・レポートの和訳レス(>>841)にある、
>この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
というのは、圏論の専門家によってきっぱり否定されたわけだ
その後、ロバーツやシュライバーを遠回しにイチャモンつけたのはフェセンコらしいやり方だけど(笑)
928:885
18/12/26 23:11:46.68 ghTlr2ms.net
すまん、とんでもないミスタイプした(笑)
>>885
×「無害ではないが数学的には不必要」
○「無害だが数学的には不必要」
とんでもないミスでした orz
929:132人目の素数さん
18/12/26 23:25:32.06 yQVEDCxH.net
>>884
抽象化すると自由度が増す代わりに、簡単にアナロジーが取れない事が多い
はっきりした集合や圏すらぼやけてきて、頭を使わないと対象や論理すら掴めないってこと
>>883
理論のレベルを測るには、同じような方向の大きな抽象理論を作って対応付けをするのが一番良い
インチキとして切り捨てるのが時期尚早といいたいのだろうから、それは全く同意
930:132人目の素数さん
18/12/26 23:32:02.25 j/A0kl5n.net
>>887
レスサンクス
同感です
おちます
931:132人目の素数さん
18/12/26 23:55:06.23 yQVEDCxH.net
>>885
個人としては、少し読んだら昨日よりはアルゴリズムの部分がわかった気はするんですけどね
まあ直感的には位相群と環構造に隔たりがあって、情報を付加しないと幾何学的実現がない�
932:チて感じになる 神様が教えてくれれば色々振り切れるんだけどw
933:132人目の素数さん
18/12/26 23:57:12.23 YMZL6bC6.net
>>887
集合や圏がぼやけるって何???
934:132人目の素数さん
18/12/26 23:57:47.18 YMZL6bC6.net
数学用語を使った落書きだよね。これじゃ。
935:132人目の素数さん
18/12/26 23:58:53.23 ghTlr2ms.net
>>889
そうだよねぇ
神様でなくとも、「中身」のある「形式的に厳密な記述」ができる人を今日の夜まで待っていたんだけど、
結局現れなかったね(笑)
936:132人目の素数さん
18/12/27 00:19:35.63 3J8LMqDf.net
ずっと白夜の中にでも留まり続ければいいと思うよ。
937:132人目の素数さん
18/12/27 01:30:24.56 biUzCZwN.net
>>887
>理論のレベル
IUTには 大域的 局所的 観測者の視点
もないね、関数体と誤り符号訂正を思い出した
↓
宇宙際タイヒミュラー理論レクチャーノート
IUT 主定理 解釈: 「細いパイプ」
(すなわち、例えば宇宙船に乗った宇宙飛行士または地下鉱山で働いている鉱夫)で、
人が結ばれるだけである状況の下でさえ、
利用できる限られた情報を賢く利用すること
によって「向こう側」の状況を復元し
把握することができる。
938:132人目の素数さん
18/12/27 01:51:25.72 ESucdQ9Q.net
>>890
冷やかしかもしれないけど、もしピンとこないなら無視して欲しいな
失礼だけど、よくわからないからって絡んできてる印象しかない。これは背景知識があった上の話なんで
知ったか云々言いたいなら他人に文句言う前にまず自分で何か書いてね
939:132人目の素数さん
18/12/27 02:04:54.97 ESucdQ9Q.net
>>892
20時間の奴か。関係ないけど、PS-JSは多分参照文献もちゃんと読んでますね
つまり、やたら長く饒舌で頭の体操にはなるけど、結局必要な情報が足りない気がする
何なんだこれはって思ったんじゃないか?
自分の場合一部近い事をやってるので少しは片手間に時間割けるけど、普通は嫌だろうな
>>894
そこは不定性というノイズの中でモールス信号でやり取りするみたいな話なんだけども
話としては面白いんだがね
940:132人目の素数さん
18/12/27 02:17:07.94 biUzCZwN.net
>>896
復元だよ
941:132人目の素数さん
18/12/27 08:05:48.22 PLF5esOU.net
将来的にabcが解かれた時にIUTと実質同等な操作がなされている事が判明して和算の関孝和みたいな存在として伝説になるのが望月さん
942:132人目の素数さん
18/12/27 08:20:31.37 vGvBQNul.net
不等式の議論で 、
PS JSは元々 相対論の測定考察を深く
理解してる。>>858 >>859
ミンコフスキー時空の特殊大域的な慣性系で、特殊相対性原理と光速度一定の原理
による。
理論 物理量で普遍性の必要条件は座標系
座標変換 同値関係 順序関係と関係する。
曲がった時空の一般相対論は 局所慣性系で
等価原理が接続で表される。
IUTの復元は 単なる通信情報理論の
表面的な模倣とも思えるレベル。
英訳しても中身は同じ >>894
943:132人目の素数さん
18/12/27 08:22:37.50 vGvBQNul.net
>>898
IUTは 曖昧だから 何でもあり だな
944:132人目の素数さん
18/12/27 08:38:49.44 vGvBQNul.net
>>899
×特殊大域的→ ⚪特殊相対論は大域的
945:132人目の素数さん
18/12/27 10:12:59.47 V92JLRg8.net
>>900
このスレでぐだぐだ書いてるやつのやり方が望月と同じなんだよな。
勝手に造語して説明しない。
946:132人目の素数さん
18/12/27 10:14:56.62 V92JLRg8.net
あと公平を装ってるけど「望月は偉い」という方向�
947:ノ持って行ってるのも特徴的。 >>895で、 >やたら長く饒舌で頭の体操にはなるけど こんなことはショルツたちはまったく言ってない。 レポートの解説に見せかけて勝手に脚色してる。
948:132人目の素数さん
18/12/27 10:15:34.39 V92JLRg8.net
>>896
949:132人目の素数さん
18/12/27 11:08:53.23 bhwr4P3d.net
ああ、「中身のある、形式的に厳密な記述ができる人」の「中身」は、
「数学の価値」君or彼と6時間200レスした人、or査読の話でjinと同じことと言っているのに相手がjinと同じだ、と言っていた人
要するに、狂犬、通り魔、荒らしの類だな。不快感しか持てないわ。性質の悪さではjin以上かも知れん
無駄にレス消費するだけだからスルーするかNG入れるがよろし(IDコロコロ変えてくるからスルーしかないが・・・)
ちなみにこのスレで一番メタファーを多用しているのが物理屋さん
できるだけメタファーに頼らないようにしているのが親切な人
俺はこの2人が言っていること(言いたいこと)は大体分かるし、分からない時は調べる
950:132人目の素数さん
18/12/27 11:26:22.33 8Fk9AYZA.net
>>899
追記。
物理理論 物理量で 普遍性がある時
客観性があり 特定の観測者の視点=座標
に依存しない。
普遍性の必要条件から
物理 理論→座標の変換は群で、
群は同値関係を満たす。
例 ローレンツ変換群。
物理量→同値関係 順序関係 大小関係を満たす
時空の尺度→光速度一定から尺度を極める。
物理量の比較→二つの座標で 座標変換群を
使い一つの座標で物理量を比較する。
一つの慣性座標系内で 物理量は同値関係
順序 関係を満たす。
座標系に依存しない物理法則
→一般 相対性原理。
物理量をテンソルで記述する。
幾何は座標系に依存しない固有の性質を
対象とする。
集合論の無視 は測定の破壊に
繋がる非現実で客観性がない「理論」
と思う
951:132人目の素数さん
18/12/27 11:35:47.97 83VGoI4o.net
このやりとり面白いな
意味不明なことを言ってみせて相手が分からないと言ったら勉強不足だと返してるところが
望月たちのやり方にそっくり
学部生レベル云々はさすがに謝罪しないとね
952:132人目の素数さん
18/12/27 12:36:32.46 u+OTP1Uw.net
ど素人の愚問ですまんが
数学の「正しさ」ってのは実は一つではない可能性ってないの??
953:132人目の素数さん
18/12/27 12:48:10.98 TE7BnM5x.net
>>906
×極める ⚪決める
954:132人目の素数さん
18/12/27 14:13:33.28 lub2KoKF.net
>>906とかの片言ガイジはいつからこのスレに居ついてるんだ?
955:132人目の素数さん
18/12/27 14:43:18.64 q1hTi+v6.net
ない。あったら、もうそれはべつのゲームになる。
956:132人目の素数さん
18/12/27 14:43:56.96 5RtvxyQM.net
>>910
だいぶ前から張り付いてる
957:132人目の素数さん
18/12/27 14:58:08.14 LTkABt2f.net
>>910
常識だよ
958:132人目の素数さん
18/12/27 15:31:27.69 u+OTP1Uw.net
>ホッジ劇場での異世界間の息をのむような(メロ?)ドラマのサイエンスフィクション
なんかわろた
959:132人目の素数さん
18/12/27 16:26:19.78 BAf6JlYf.net
既存の公理系から形式的に証明を書き下せればいいんだろ?
できなければ万人が納得できる公理を追加してもいい
本人はこれ以上面倒なことはやらなさそうだから力わざの得意なやつがやればいいのに
960:132人目の素数さん
18/12/27 17:04:54.82 hJrMp
961:ZfD.net
962:132人目の素数さん
18/12/27 17:43:05.72 9weuNDnz.net
宇宙際超背理法で証明
963:132人目の素数さん
18/12/27 18:12:41.11 PdxQTTAd.net
>>907
謝罪は必要無い。感覚のズレたやつだな
964:132人目の素数さん
18/12/27 19:25:58.58 UBjeRQT1.net
>>907
ぼやけて云々っていうのは複数似たような現象があるんだけど、IUTに興味がある代数幾何学者なら
自動的に思い付ける例がある
だからいくら粘着されようが、それがわからんなら面倒だから絡まないでね、で終わり
965:132人目の素数さん
18/12/27 19:56:32.17 GSyWO/9c.net
要するに説明もできないし自明でもないってこと
小学生向けのビデオ講義が関の山
966:132人目の素数さん
18/12/27 20:30:03.07 xwcCluuE.net
IUTに興味がある代数幾何学者なんて存在しないもん出してもしょうがないだろう。
967:132人目の素数さん
18/12/27 21:14:13.51 WJdr8igo.net
あってる
968:132人目の素数さん
18/12/27 21:18:50.56 UBjeRQT1.net
>>915
というか、そもそも何がどうinter-universalなのかっていう辺りから殆どの数学者は疑問なんじゃないか
実際にそういう話が成り立っているなら集合論やモデル理論の研究者が殺到するような魅力的なものだが
969:132人目の素数さん
18/12/27 21:40:54.98 nVyRRgYG.net
話題も尽きつつあるし今年の終わりとともにこのスレも終了ですね
970:132人目の素数さん
18/12/27 22:37:15.77 bhwr4P3d.net
英語版wikiのIUTTしか読んでない横着者に1回だけ説明してやるか(笑)
・「ぼかし」というのはS・Sレポートの最終段落で書かれている。先ずそれを読め。それが理解できなければここから去れ
・親切な人が書いている通り、「ぼかし」というのは数学においては様々な場面で出てくる。代数幾何、圏論についてなら
不変量に関して問題になることがある。あと、情報処理や画像処理において数学を利用したものにもある。有名なのは
ガウス関数を用いた「ガウシアンぼかし」とかね
あと、物理屋さんがこのスレに住みついている件だが(笑)、上記の不変量という意味では対称性と並んで
現代物理学では重要だから、それと共通性のある(現代物理学等を模した?)IUTTに物理屋さんが関心を持つのは当然
怠け者かつア○ペというのはどうしようもないな。こんな基本的なことを書くのはもうやらないぞ(笑)
971:132人目の素数さん
18/12/27 22:48:48.01 ziiZsZ0o.net
>英語版wikiのIUTTしか読んでない横着者
訂正はできないほどの臆病者なんですね
972:132人目の素数さん
18/12/27 22:51:07.00 bhwr4P3d.net
望月の集合論の扱いについては、IUTT発表直後にエレンバーグのブログのコメントでUlrik Buchholtzがちょっと書いている
(Solomon Fefermanの弟子。フィールズ賞のFeffermanじゃないよw)
URLリンク(quomodocumque.wordpress.com)
ちょっと注意を喚起しただけで、IUTTの核心とは関係ないと好意的と書いていたが、
S・Sレポートのせいで(?)、俺にはやはりIU形式主義と種の言語が“potential issue”に見える
973:132人目の素数さん
18/12/27 23:06:29.48 bhwr4P3d.net
ちょっと補足しとく
IUTTが万が一w、正しい場合はIU形式主義と種の言語が“potential issue”となるだろうね
S・Sの指摘通りなら単に圏論における普遍性の問題。前にも書いたけど、
Inter-universal v.s. Universal という何とも皮肉な問題(笑)
974:132人目の素数さん
18/12/27 23:11:05.48 B5RvIAOy.net
>>147
特定されない程度でいいので、どういう話がされている
975:のか 書いてほしい
976:132人目の素数さん
18/12/27 23:22:48.20 xwcCluuE.net
>>925
こいつ他が読んでないとタカくくって適当に言ってるな。
ショルツは望月がblurringという作業を持ち出してるから言及しているだけで、
blurringという作業が数学的に有意義なんて言っていない。
望月は画像処理でblurというものがあるからそれを借用してるんだろうけど、
数学の世界そのものにblurという作業があるわけじゃないよ。
あれはあくまでも画像処理したときに人間にはぼやけてるというに見えるだけだ。
これ以外にも物理現象を好き勝手に借用しているからダメなのよ。
977:132人目の素数さん
18/12/27 23:26:32.30 xwcCluuE.net
アティヤのリーマン予想証明もどきもそうなんだが、
物理現象でなにかあるから数学に応用するという手法はストレートには成立しない。
微積の歴史からみても物理現象を解明できるから数学的に正当なんてことはなくて、
数学者の使命は物理的にうまく行くかどうかと切り離してきちんと形式的に証明することだ。
それができないなら物理の劣化版を作っているに過ぎない。
978:132人目の素数さん
18/12/27 23:55:06.87 bhwr4P3d.net
いやはや、大爆笑させてもらった
>望月は画像処理でblurというものがあるからそれを借用してるんだろうけど
あなた、もう好き勝手に書いてよ。俺はもうお腹いっぱいだ(笑)
979:132人目の素数さん
18/12/28 00:07:22.56 YOI3vu5n.net
とりあえず仕事納めなんでつらつらSSレポート読んでみた。
で、>>882>>889は変だという印象を受けた。
まず抽象化し過ぎると云々と書いてるけど、
SSレポートでは抽象代数という分野としてのabstractの意味で使われてるんじゃないかな。
抽象度を上げるとか下げるとかいう表現はどこにもなかった。
するとabstractは単に公理化のことなので、抽象度の上下は観念できないと思う。
それとも望月さんはどっかで公理化の抽象度があると言ってるのかな?
だとするとIUTT独自用語になるね。
次に>>889だが、これは末尾のページでj2スカラーを可換図式の左部に入れる作業を、
まるで数学的議論じゃないかのように曖昧に日本語訳してるだけだよね。
べつに神様持ち出さなくても純粋に数学的な議論だよ、これ。
それともこの作業に疑問があるのかな。なら示して欲しい。
980:132人目の素数さん
18/12/28 00:15:56.92 YOI3vu5n.net
ちなみに>>889が言ってる箇所は最終ページの、
>However, we saw that with these isomorphisms, the abstract
>Θ-pilot object does not encode the arithmetic degree of the Θ-divisor.
>Thus, Mochizuki wanted to introduce scalars of j2 somewhere on the left
>part of this diagram …
のところをなぜか細部の重要な部分だけ飛ばして訳してるのだと思うね。
べつに直感的に考えなくてもその前のところからきちんと流れは説明されているよ。
全体的な印象として、物理屋さん(?)たちはSSレポートの数学的議論を無視して、
適当にあれこれ言っているという感じでした。
あと上で議論になってるblurringはわざわざ二重クオテーションになっているので、
IUTT用語なんだけと思うけど、2箇所しかなくて説明がなかったので分からなかったかな。
結論としては非決定性なんか導入したらもとのabc予想のOの部分が曖昧になるから、
証明できなくなるじゃんってことっぽいのかね。
981:132人目の素数さん
18/12/28 00:35:09.18 94ToZKYo.net
は~、もうなんだかなぁ・・・
俺は物理屋さんでも親切な人でもないもう一人の方なんだが、
S・Sは最終ページでダイアグラムを書いて解説する前に、すでに充満多重同型とラベルの使用を認めていない
俺はこのことを>>761と>>777で書いた。あと“blurring”という語はIUTT主論文には出てこない
さて、「適当にあれこれ言っているという感じ」なのは誰でしょうか?(笑)
982:132人目の素数さん
18/12/28 00:37:17.
983:04 ID:zc0QFJy1.net
984:132人目の素数さん
18/12/28 01:01:43.19 QyAZaxFT.net
>>934
始めから読め
985:132人目の素数さん
18/12/28 01:02:12.26 94ToZKYo.net
本当に分かり易くてメンドクサイ煽り屋のクレクレ君だな(笑)
まず、あなたが先に書けばいいだろうに・・・
本当にメンドクサイから簡単に日本語で読める文章を教えておく
星の入門のp.11~「Diophantus幾何学的結果へのリンクによるアプローチ」と、
続入門のp.3~「初期ΘデータとHodge劇場」を読めば分かり易い
先ず自分の眼と頭と手を使って読み解き、考え、カキコしてよ
これじゃ小学生やアメリカのバカ大学の単位クレクレ学生と一緒だよ
本当にこれで最後だ。さようなら
986:132人目の素数さん
18/12/28 02:20:11.63 bMFTtxiH.net
何回も一回だけ、最後って言いながら書き込んでるよね
痴呆症なのかな?
987:132人目の素数さん
18/12/28 02:33:03.16 QyAZaxFT.net
>>936
数学の背理法からはじめよう
988:132人目の素数さん
18/12/28 09:49:05.12 ndyMfIDA.net
もうリジェクトされてるって
989:933
18/12/28 10:08:45.15 KlRY2tKA.net
あのあと寝てしまったので追記。
このスレで言われてることはほとんどでたらめで、
みんなもSSレポート読んだらいいよ。
ここで知ったかしてレポートの一部を切り取って、
自分が分かってそうな箇所だけ日本語に置き換えてるの読んでも騙されるだけ。
俺も半分騙されてたというか、IUTTってオカルト数学なんだな、
と思ってたけど、実際には普通の数学で普通に間違っているだけという感じ。
SSもIUTTを奇異な目で見てなくて、数学によくある普通の誤謬を含んだものとして、
普通に数学的に論破してるね。
例えばRemark9は単なる域値の取り間違いの指摘だし、
その他にも証明可能な範囲よりも強い命題を導出してしまっていたり、
可換性をもたせるためにパラメータを追加したら全体が動かなくなったり、
こういうよくある間違いばかりだよ。神秘的なアイデアなんてなかった。
990:132人目の素数さん
18/12/28 11:20:45.75 TS73gzRh.net
>>942
なんで山下星フェセンコはSSより前に
そこを指摘しなかったんでしょうね?
991:132人目の素数さん
18/12/28 11:31:09.10 r24YvQhy.net
ssレポートでIUTT知ったか増殖中
992:132人目の素数さん
18/12/28 11:45:08.72 KlRY2tKA.net
>>943
それは分からんね。
ただこれSSレポートも言ってるんだけど、一番エッセンシャルな概念である
Global realified Frobenioidsに関する議論はそもそもこの概念がなんなのか分かりにくく、
ショルツたちの変形をみなかったら、他の概念に帰着可能であるというのは気づかないかもしれない。
この点をうっかりすると後半の間違いには気づかないという罠があるんだよね。
ただ斜め読みしてるならともかく、何年もやってて気づかないのは変な気もするが。
まあじっさい読んでみなよ。
ここで書かれてるようなオカルトめいたことは、
SSが言っていないだけでなくそもそもIUTTの中にもないから。
993:132人目の素数さん
18/12/28 12:37:33.42 QyAZaxFT.net
>>945
数学には場合分けがあるはず。
PS JSとMHは 同型 ラベルについて
見解が分かれた。
PS JSの見解に基づくと 内部矛盾が生じる。
PS JSが普通の数学なら、
MHのIUTは全く新しい数学ですか?
994:132人目の素数さん
18/12/28 12:41:18.42 KlRY2tKA.net
>>946
ああそれは明確に
995:否定できる。 ラベルが機能しない理由をSSはIUTTが提示している式そのものから導出しているので、 このスレでぐだぐだ言っているような哲学的議論が入る込む余地はない。 IUTTは新しい数学ではなく単に既存の数学の中で間違っている。
996:132人目の素数さん
18/12/28 12:57:08.93 QyAZaxFT.net
>>947
あくまでも 既存の数学内では間違いですよね、
997:132人目の素数さん
18/12/28 13:01:52.80 KlRY2tKA.net
>>948
違うよ。
IUTTそのものが既存の数学の中で論じているってこと。
俺もこの点は騙されててこのスレで哲学みたいなことを言うから、
さぞ哲学的な議論なんだろうと思ったらまったくそんなことはなかった。
ただの推論ミスだね。
それでも既存の数学じゃないって言い張るなら論文はPRIMSから撤回して欲しいかなと思う。
998:132人目の素数さん
18/12/28 13:03:03.98 +r497Ia6.net
便所の落書きしてないで直接言えや
999:132人目の素数さん
18/12/28 13:14:40.70 AJbhrTtT.net
もう今のままPRIMSに掲載された方が「盛り上がる」しなあ
1000:132人目の素数さん
18/12/28 13:17:45.42 HC+hXqR8.net
>>947
便所の落書きの見本。
望月先生にメールなんてようできんやろ。
1001:132人目の素数さん
18/12/28 13:19:40.04 KlRY2tKA.net
>>951
事実上リジェクトなんだからそれはないだろうな。
SSレポートを読む限り、あそこを直せば解決というのが見当たらない。
特に不等式にとって必須であるはずの最後の可換図式を修正する方法はないと思う。
そのまえの段階からのミスの集大成になってるから。
1002:132人目の素数さん
18/12/28 13:20:52.40 FRjzRlVi.net
片言ガイジの筋悪レスw
1003:132人目の素数さん
18/12/28 14:13:28.89 wDsMWjBJ.net
望月の数理論理に対する理解は平凡な学部生レベルかもな。
1004:132人目の素数さん
18/12/28 14:24:27.91 gNezb3jd.net
そうなんだよね
>Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、
著者が数理論理学について理解をしていない可能性があるという意見がある。(ただし論文の構成上、
宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。)
このスレで以前貼ってあったサイトにあった
URLリンク(www40.atwiki.jp)
1005:132人目の素数さん
18/12/28 14:50:45.58 94ToZKYo.net
>>956
そのHPは今年の初めごろ俺が貼り付けたんだけどね(笑)
親切な人とレス交換した始まりだ(懐かしい・・・)
ちなみにそのHPを作った人はIUTスレの初期(たしか3~5のどれかだと思う)で、工学部出身で専門家ではないと告白し、
いろんなブログ等から収集したと書いている
最終節に関しては、俺が昨日書いた>>927のUlrik Buchholtzのほとんどコピペだよ
1006:132人目の素数さん
18/12/28 15:02:47.83 94ToZKYo.net
まあ、S・Sレポートを読んでIUTTを分かった気になるのは個人の自由だが、
少しは望月の反論レポートも読んであげればいいんだけどな
その上でロバーツの解説や山下のFAQ(望月反論の概略にすぎないが)を読めばいいと思うよ?
俺はS・Sが正しいと思っているが、望月の反論、ロバーツのコメント、
過去に書かれたMOやブログ等のコメントも読んだ方がいいと思う
何よりもIUTTを読んで結論を下した方がいいと思うがね。S・Sがそうしたようにね
1007:132人目の素数さん
18/12/28 15:09:27.90 94ToZKYo.net
あと、俺が勝手に名付けている「親切な人、詳しい人、ゼータ界隈の人」についてだが、
彼の見解も二転三転している。それは彼がちゃんと自分の頭で考え判断している証拠だ
俺は数学の正否に関しては朝令暮改は当たり前だと思っている
俺から見れば昨日今日でS・Sレポートをちょっと読んだ程度の人のレスが、親切な人の関心の対象になるとは思えないね
彼は間違いなくこのスレ住人の中では多くを読み、より深く理解しているよ
1008:132人目の素数さん
18/12/28 15:
1009:21:38.75 ID:E2d0bS1D.net
1010:132人目の素数さん
18/12/28 15:22:37.84 7rrq/N2z.net
>>947
それをそのまま望月さんに伝えたらいいよ
学部からやり直せと返されるだけだと思うがw
擁護派ではないが単純な論法ミスでリジェクトという話ではない
勿論アクセプト出来る訳でもない
なのでプロジェクト化するんだがw
1011:132人目の素数さん
18/12/28 15:23:20.88 E2d0bS1D.net
ショルツたちのレポートを読めって要求していざ読まれて言ってることがでたらめだと暴露されたら、
今度はべつのレポートに戦場を移すって恥ずかしすぎないか?
1012:132人目の素数さん
18/12/28 15:25:04.28 KlRY2tKA.net
>>961
さて、RIMSがいくら根城だとはいえ、今回の件でどこまで資金を引っ張れるのかね。
外部は総スカンな上に、内部工作も失敗ではちょっと厳しいんではないかな?
論文の掲載先もないだろうし。
1013:132人目の素数さん
18/12/28 15:43:08.54 AJbhrTtT.net
>>961
政治的な話は別にして純粋に数学的にみれば
2020のプロジェクトも取り下げて周辺グループが科研費などで
研究継続するという形が普通だと思うのだが
高橋陽一郎や斎藤恭司や柏原正樹が所長やってた時代なら
こんなバカなことにならなかったと思うんだがRIMSどうしちゃったの
1014:132人目の素数さん
18/12/28 15:51:49.92 94ToZKYo.net
>>964
俺もそう思う
この辺は物理屋さんがいろんな文書をここで晒してくれたおかげだ
上記の御三方もそうだけど、RIMSではなかったが故・永田雅宜先生のような気骨のある先生だったら
絶対に許さなかっただろうね
1015:132人目の素数さん
18/12/28 16:56:10.21 bMFTtxiH.net
最後って言いながらずっと書き込んでる痴呆症の人は物理屋さんとか親切な人をレスに盛り込まないと書き込めない病気も患ってるの?
1016:132人目の素数さん
18/12/28 17:03:08.35 KlRY2tKA.net
>>966
なんかそのひとってほんと主張に特徴があって、
・IUTTは成功してないけど望月のアイデアはすごい
→ IUTTに独創的なアイデアというほどのアイデアはない
ショルツたちがIUTTのアイデアで独創的と認めているものはない
・IUTTは現状の数学では成立しないけど数学的には意義がある
→ 意味がよく分からない
・いろいろ書いてるけど別に数学に詳しくないっぽい
のよね。古典ガロアスレ主とかと一緒のタイプなのか。
1017:132人目の素数さん
18/12/28 17:05:35.98 lPwwuR3d.net
RIMSのプロジェクト撤回撤回うるさいけど、そんなに資金投入されてないよ?科研費に産毛が生えたくらいだし。
1018:132人目の素数さん
18/12/28 17:07:27.49 KlRY2tKA.net
IUTTに独創性があるという点については俺もなんか勘違いしていたが、
思い出してみれば初期にタオが読めるけど何も出て来ない言ったことだし、
このスレ何回か読んで刷り込みになってたのかな、と今になると思う。
1019:132人目の素数さん
18/12/28 17:13:05.44 KlRY2tKA.net
現時点で今最初期のことを思い出してみると、
まず圏論の理解があやしいという批判がなされていて、
そこから一歩も動いてない(というか尾ひれがつきすぎた)という感じになるのだろうか。
ショルツとスティックスの手法も、IUTTの造語を徹底的に分析して、
そこから既存のものに変形すれば間違いが分かるというやり方なんだよね。
このときに単純化と言う表現を使っているが、これはIUTT概念を単純化してるんじゃなくて、
IUTTが言ってる○○は既存の数学だとXXのことでしょう?というのを、
直感的・哲学的にではなく式変形できちんと示す作業のこと。
両者に数理哲学的な相違があるわけでもないっていう(俺はこれも勘違いしてた)。
1020:132人目の素数さん
18/12/28 17:15:13.86 94ToZKYo.net
>>967
あなたはいまだに俺と親切な人が同一人物の自作自演だと思っているんだね
その主張は親切な人のものだよ
俺は「望月のアイデアはすごい」とか「数学的には意義がある」とは一言も書いたことがない
まあ、自作自演に見えるのはお互いさまで、
俺にはあなたがIDをコロコロ変えながら主張したり煽ったりしているように見える
jinレベルか、「数学の価値」君とくだらないことで6時間で200レスした人のようにも見える(笑)
1021:132人目の素数さん
18/12/28 17:21:56.97 KlRY2tKA.net
>>971
数学的に意義がないと思ってるなら反論文の読解を勧めないで欲しいかな、と思う。
SSレポートのコメントで尽きてるということでしょう。
そう思ってるのにさらに別の論考を読ませようとするのは時間泥棒だよ。
すくなくともIUTTはナンセンス(数学的に無意味)であり、
SSのレポートで話は終わっている了解がとれたので、俺としてはこれで十分かな。
1022:132人目の素数さん
18/12/28 17:37:47.51 94ToZKYo.net
>>972
まあ、とりあえず望月の言い分も聞いてみたら(読んでみたら)という程度だよ
あなたのレス>>970に関してはほぼ同意できるのだけど、俺と親切な人がよくレス交換していた理由は、
なぜS・Sと望月にあれほど齟齬が生じているのかというのが出発点だった
圏論の専門家であるロバーツのPDFですら最初はやや望月寄りに書いて、後日補遺を足して事実上S・Sに同意している
S・Sレポートは最初に読むととても分かり易い
しかし、望月反論レポートを読むと彼らが行った単純化の行間を埋める必要がある
(この「単純化」という語はS・S自身も使っているが、実際はあなたが書いている通りだと俺も思っている)
そこでロバーツの補遺付きのPDFを読んで俺は行間を埋めた。例えば俺が>>885で書いたようなこと
まあ、あなたもS・Sレポートを読んだから分かると思うけど、主文も重要だが脚注もとても重要だよ
1023:132人目の素数さん
18/12/28 18:07:56.43 9iWuN0wu.net
プロジェクトの強行や詭弁を繰り返しても隠せないほどあちこち敵にまわしちゃったね
1024:132人目の素数さん
18/12/28 18:12:34.28 fkehK+Gv.net
結局、自分の理論に「宇宙際」とか中二病な名前つけときながら
肝心の圏論の理解はボロボロなMは只のイタイ奴ってことでOK?
1025:132人目の素数さん
18/12/28 19:27:36.70 MJ1CnfxQ.net
現代でもへっぽこ将軍に太鼓持ちがくっつくなんていうお伽噺があるなんてユートピア
1026:132人目の素数さん
18/12/28 20:25:31.97 oFyNky6D.net
>>973
お前の言う親切な人って片言ガイジ(>>906)のことだよな?
よくあんなのと会話ができたもんだ
1027:132人目の素数さん
18/12/28 20:52:39.28 EodztmTa.net
講演中に意味不明な質問ぶっこんで迷惑かけてる奴いるじゃん
片言ガイジから奴等と同じにおいがプンプンする
1028:132人目の素数さん
18/12/28 21:11:24.75 94ToZKYo.net
>>977
違うよ
その人(>>906)は物理屋さん
物理学に結び付けて多く語る人で、IUTT関係の公文書等をこのスレに晒した人
「親切な人、詳しい人」と俺が勝手に名付けているのはもっとIUTTの内容そのものに踏み込んで書く人のことだよ
まあ、意図・意味を汲み取ってもらえないというのは悲しいよね・・・
1029:132人目の素数さん
18/12/28 22:26:21.34 TJbsXdzz.net
>>967
やたら進んでて話を見てみたけど、望月の反論込みのパッケージで全く読めてないのと
アイデアが凄いと言ってる、というのは誤解だね。アイデアが凄い、なんて誰も言ってないよ
わざわざああいう一般化をした狙いはわかるけど、と散々言ってる
少なくとも論争のパッケージで見ないで色々断言しちゃう感覚がわからない
1030:132人目の素数さん
18/12/28 22:34:20.02 TJbsXdzz.net
そもそも、こうして既成の見方に帰着できるというやり方に望月側が反論してるわけでしょう
で、結果論からしたらショルツらの指摘が尤もらしいっていうのは散々やり取りしてきたんですよ
ただ、今回読みましたって人は望月の反論込みのパッケージと、何でそれでABC予想が証明できると
思ったのかについての意図の評価が抜けてるんで、そこを飛ばしてデタラメ扱いは失礼じゃないかなとは思う
1031:132人目の素数さん
18/12/28 22:39:16.19 TJbsXdzz.net
しかし何でここはやたら攻撃的な人間が多いんだろうな
パッケージはわからないけどショルツの指摘は尤もらしいな、でよくないですかね?
ちょっと人としておかしいと言いたいレベルw
1032:132人目の素数さん
18/12/28 22:44:19.60 fkehK+Gv.net
ここにはMのイヌがいるのか?
1033:132人目の素数さん
18/12/28 22:47:02.91 fkehK+Gv.net
>>967
>古典ガロアスレ主とかと一緒のタイプなのか
古典ガロアスレ主は正真正銘の池沼だよ
数学が分かってないだけでなく
そもそも文章が読めない
だからやたらとコピペしまくる
読んで自分の言葉にすることができない
1034:132人目の素数さん
18/12/28 22:49:02.83 zatBYe52.net
他のスレッドに比べれば全然紳士的でしょう
今までの扇状的なブロパガンタや詭弁の繰り返しに対して優しいくらい
それらが崩れたら地獄の門が開くかもしれないけど
1035:132人目の素数さん
18/12/28 22:57:21.20 HC+hXqR8.net
>>983
病院へ行こう
1036:132人目の素数さん
18/12/28 22:58:48.41 TJbsXdzz.net
あの>>933とか>>934は全然違います、総じて俺のレスに関しては、最早ショルツらの話には
寄ってないです。最大限望月側に寄せてみてよくわからないと言ってるわけだが、
それも擁護とは全く違うわけです
簡単に言えば、望月のやりたかったことと現実にはギャップがあって、現実的に理論を処理すると
大体ショルツらのようになるんでしょう。しかし前者の部分にははなから何もないのかどうか、に
興味を持っていたわけです
1037:132人目の素数さん
18/12/28 22:58:52.34 fkehK+Gv.net
>>986
おまえがMのイヌか?
1038:132人目の素数さん
18/12/28 23:03:47.03 fkehK+Gv.net
>>987
>前者(Mのやりたかったこと)の部分にははなから何もないのか
なんかあったって間違ってるんなら無意味だろ
1039:132人目の素数さん
18/12/28 23:07:39.23 TJbsXdzz.net
自分の考えでは、望月のやりたかった事から一定部分を抽出すると、本来あるべき理論が垣間見える
いくらデタラメ扱いされようとそれは変わらない。要するに問題は、望月の発想は本当に無内容なのか
ABC予想の正しい理論とはどういうものでありうるのか
特に前者で重要なのは、何故エッシャー的な見方に落ち込んだのか、ですよね
正しいか間違いかを超えてこれをはっきりしたら後者が垣間見えると感じてる
1040:132人目の素数さん
18/12/28 23:08:24.96 wIVveHUx.net
望月とIUTの肯定的評価はざっと見た限り300レスまでで
>>70>>161>>>>164>>254>>263
とあるのに、誰もアイデアがすごいなんて言ってないは無理があるんじゃないの?
というかID:TJbsXdzzのレスはどれを見ても数学の話をしてないな
1041:132人目の素数さん
18/12/28 23:14:39.91 I/yEFmui.net
それ以前に望月がやりたかったモチーフなんて考える必要性が分からん
そんなのは数学を研究してるやつなら誰でも持ってるだろう
動機やコンセプトじゃ意味ないのも誰でも分かってることだよ
1042:132人目の素数さん
18/12/28 23:18:23.95 TJbsXdzz.net
>>991
アイデアが凄いというより、正しい部分を捉えてるってこと。凄い、とは違う
これは全く変わらない
あと、そういう意味で数学の話をしてないっていうなら誰もしてないじゃんw
今回読んだ人の理解も実は結構間違ってるよ
1043:132人目の素数さん
18/12/28 23:23:30.11 I/yEFmui.net
>>993
散々既出だがabc予想を解く方向性が遠アーベルってのがまず理解不能
その説明を未だに誰もしていない
1044:132人目の素数さん
18/12/28 23:23:30.27 TJbsXdzz.net
>>992
それは屁理屈。どういうモチーフがあって、実際にどういう数理に持ち込むべきかが
トータルで重要に決まってるじゃん
だがそういう中身は俺は一切したくないし、総じて細かい話ははなからする気がないと散々言ってるからな
勿体ないからよ。だからふわふわ話でも掴んでくれる人とだけ話してたわけ
1045:132人目の素数さん
18/12/28 23:25:01.21 I/yEFmui.net
>>995
ショルツたちですら掴めてない構造を自分は理解してるけど話しません
ってので誰が信じるんだよ
1046:132人目の素数さん
18/12/28 23:25:36.12 TJbsXdzz.net
>>994
それには二つあるからな
もっと大きな戦略のイデアがあって、望月はその部分に触れたんだよ
結果的に遠アーベルを持ってきたが、遠アーベルでなけりゃやれないことは無いわな
1047:132人目の素数さん
18/12/28 23:27:29.75 TJbsXdzz.net
>>996
いや、それはさすがに視野が狭い
ショルツの論文が抑えてない重要なアイデアなんかいくつもあるぞ
俺を雑魚扱いしたいならご自由に。何を知ってんだって話
1048:132人目の素数さん
18/12/28 23:28:43.02 I/yEFmui.net
>>984
古典ガロアと同様にこっちもそれっぽいじゃないか。
1049:132人目の素数さん
18/12/28 23:29:52.68 TJbsXdzz.net
アホは自分の理解できる範囲で決めつけるってことさ
1050:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 25日 19時間 6分 20秒
1051:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています