Inter-universal geom ..
528:１３２人目の素数さん
19/06/15 16:36:04.93 4aAevCwk.net
もちろんそのつもりでしょう
潔さとはそういうものです
Bやk上が責任持って面倒をみるでしょう
529:１３２人目の素数さん
19/06/15 18:32:01.78 MjYOJXZf.net
擁護側の連中は見ての通り論理的におかしな連中が多い
失敗しても自己責任だから相手にしないのを推奨する
また同じことを繰り返すから
ついでにてん●るたんとかいうクサレまんこを葬ってくれ
530:１３２人目の素数さん
19/06/15 19:20:02.51 3Uclbc2C.net
>>488
そんなの関係ない
531:１３２人目の素数さん
19/06/15 22:09:41.81 KYc/Ed5K.net
>>495
論理というか性格悪いでしょ単純にw
532:１３２人目の素数さん
19/06/16 08:32:35.78 07pNmK0N.net
宇宙祭幾何と揶揄されてしまう
533:１３２人目の素数さん
19/06/16 09:19:25.44 n/br/8O6.net
宇宙祭期間
534:１３２人目の素数さん
19/06/16 10:03:40.84 TzQtuc7i.net
>>497
頭が悪く性悪で偽装 罵倒までかな
535:１３２人目の素数さん
19/06/16 15:55:14.48 b7aX2JUA.net
どうでもいいが自分で>>452見たらちょっと嘘になっちゃうと思ったので補足。自己満として補足
ここでいう作用素代数とは基本的にC*代数の事。リーマン予想はそれで書ける可能性はあるが、
量子論は解明できないと思っている
また、正準量子化ないしは交換関係が基本的なのか、それを含んだより一般的な原理を考えるべきかは
全く断言できるわけもない
ただヒルベルト空間の作用素代数を基準に幾何学的な概念を構成するだけでは多分不十分だろう
そういうすっきりした空間で量子論のよくわからない性質たちを説明できるとは思えないからね
536:１３２人目の素数さん
19/06/16 16:58:49.00 c+a91Z+E.net
アクセプトまだー？
Nスペまだー？
537:１３２人目の素数さん
19/06/16 21:19:01.15 f18yG0sP.net
ついに流れは数学から性格へと
538:１３２人目の素数さん
19/06/16 22:17:38.95 bW1X195j.net
ネットでは「人格攻撃するようになったら議論は負け」とはいうけれど
539:１３２人目の素数さん
19/06/16 22:40:23.29 Rj57AGeK.net
うだつのあがらない連中が格好の標的みつけて攻撃して悦に入っているだけ
NGTだのAKSだのを攻撃しているニートと同レベル
540:１３２人目の素数さん
19/06/16 23:09:13.79 7+eD5e6b.net
デター伝家の宝刀論点のすり替え
541:１３２人目の素数さん
19/06/16 23:29:11.94 c5Cepol0.net
>>505
末期の大日本帝国みたいな危うい認識だなあ
542:１３２人目の素数さん
19/06/16 23:32:11.03 PLqPePe9.net
鮮人の僻みだろ
543:１３２人目の素数さん
19/06/16 23:46:44.54 PLqPePe9.net
シナ人のIUT理解者、研究者はどんどん増えているが、鮮人は一人もいない。
544:１３２人目の素数さん
19/06/17 00:14:09.00 T9E7uysT.net
>>503
このスレで数学が議論されたことは一度もない
>>505の認識が正しい
545:１３２人目の素数さん
19/06/17 00:34:55.44 IfysTG44.net
>>510
そういう言い方をするからには判断力があるんだろうから、論点と弁護を書かないと
デタラメと見なしますね
546:１３２人目の素数さん
19/06/17 00:53:19.78 yRWcYjKx.net
擁護派の太鼓持ち連中は論理的な根拠なんかないのさ
単なるサポーターやフーリガン
547:１３２人目の素数さん
19/06/17 00:53:49.60 9csqCJXa.net
(�ω)
548:１３２人目の素数さん
19/06/17 03:18:39.66 UA3Gm5iA.net
大域的に近似でしかない宇宙と、IUTによる不定性を内包した宇宙は相性が良すぎる
549:１３２人目の素数さん
19/06/17 04:46:09.86 +25o2rsr.net
擁護派ですらない狂信者でしょ
擁護する理屈、屁理屈すらないんだから
数学の話はない、とか言ってるのも冷静にみたら
↑ここまでは素人の妄想
みたいな事言って逃げてるだけw
550:１３２人目の素数さん
19/06/17 07:21:13.90 1qYUn5hK.net
>>504
Fだろ
551:１３２人目の素数さん
19/06/17 10:10:51.23 9JA83AtC.net
・今後もreviseが続くのか
・IUTを使った新しい結果が周囲から出るのか
時間が経つにつれて擁護者というか自称「理解者」の立場が悪くなるだけなんだけどね
過去何度も「acceptが決まった」「理解者が増えた」「新結果がセミナーで発表された」
と書かれた割に結局は進展の続報がない
ああB本だけは本当に出てきた「進展」だなw
仮にやっぱり正しかったとしても今のままでは孤立した理論で消えるでしょ
B本褒めてる素粒子の人も後になってしまったと思わないのだろうか
分野外とはいえその分野のリーダーだから見識が問われる
彼は数物部門全体で大きな予算を決める委員になる可能性が高い人です
一般向け数学書として面白く書けている点は認めるが
Bの立ち位置でIUTの真偽には触れておらずIUTの現状をみると危うい本ですよ
552:１３２人目の素数さん
19/06/17 11:32:06.36 6WD5+teX.net
>>517
だからリーダーたる立場にいることを重々自覚した上での見解だよ
おまえのは余計なお世話であり失礼とも言えるものだ
ちなみに立場が悪くなるとか書いてるが立場なんてものは刹那的にコロコロ変わるもの
気にしてる時点で俗物すぎる
553:１３２人目の素数さん
19/06/17 11:36:45.71 9JA83AtC.net
>>518
＞おまえのは余計なお世話であり失礼とも言えるものだ
これはお見事なブーメランw
554:１３２人目の素数さん
19/06/17 12:41:36.72 0TQAyLDM.net
正しいとも間違いとも言ってない おもろい本でっせ 専門外の人々はそんなスタンスだよ
555:１３２人目の素数さん
19/06/17 12:57:26.14 sH95B/6o.net
お前らイカれてる
ＳＴＡＰ宣伝本が出たらどう思うのか
556:１３２人目の素数さん
19/06/17 13:09:47.88 wjFB2p/3.net
水から石油を作る
京大 今中教授
URLﾘﾝｸ(sensekyoto.com)
これの賞賛本も書かなきゃ不公平
557:１３２人目の素数さん
19/06/17 14:22:27.81 UA3Gm5iA.net
おっすおらオカルトマニア！
前に書いた無限の入れ子構造を抱える場合の空間の性質
あれを計量テンソルとして考えれば、リッチフロー方程式が使えそうだということに今更気付いたぜ
んで思ったわけだけど、ペレルマンおめぇ実はABC予想も解けてるだろ？
558:１３２人目の素数さん
19/06/17 14:30:28.36 8mqUQVJ9.net
ここは知的な良識派の皆さんに任せて君はリーマン地獄でもやってなさい
559:１３２人目の素数さん
19/06/17 15:15:27.74 9JA83AtC.net
>>521
2014年1月末にSTAP細胞が理研で発表され4月には本が出ていたな
『小保方晴子さん守護霊インタビュー それでも「STAP細胞」は存在する』
科学者の世界のしがらみや嫉妬を超えて。
夢の万能細胞研究をすすめる
環境と時間を彼女に与えるべき!
大川隆法もIUT本書くべき！
560:１３２人目の素数さん
19/06/17 22:14:44.18 6WD5+teX.net
>>522
書かれてしかるべきだがな
20世紀は石油の世紀で石油資源の争奪が戦争原因となった
そんなナンバーワンの戦略物質だから無限に生成できるとなったら大きな戦争誘発事由が消えることになる
ノーベル化学賞とノーベル平和賞のダブル受賞を受けるべき人物だね
561:１３２人目の素数さん
19/06/17 22:17:14.97 6WD5+teX.net
>>521
それは中身次第になる
アメリカで追試が成功したとこに深い突っ込みを入れた中身なら旋風を起こすだろうね
ちゃんと現地取材をできるやつじゃないと無意味だが
562:１３２人目の素数さん
19/06/17 23:10:07.59 vtPcMxjY.net
＞このスレで数学が議論されたことは一度もない
と書いている人がいるのだけど、良いネタを提供してあげます
Automorphisms of categories of schemes
URLﾘﾝｸ(arxiv.org)
望月のIUT構想初期に書かれたスキーム論と圏論についての論文を意識しながら書かれたものですが、
現行のIUTにも通用する議論です
さて、IUT擁護者なら簡単に論点を整理し、IUTの戦略を述べて擁護することができるはずです
ぜひ書いてみて下さい。フェセンコの「シークレット」なセミナーに参加した人もいるのでしょう？簡単ですよ
ところで、「シークレット」なセミナーって何なんですかね。プライベートなセミナーとか自主セミナーならまだ分かりますが
弟子のものにしてもスライドだけアップされても詳しく分からないし、論文の形にしてしかるべきジャーナルに
投稿してるのですかね？せめてどこかのHPにUPするとか、arXivなどに投稿すれば良いのにね
563:１３２人目の素数さん
19/06/17 23:14:14.83 rTfZDZFM.net
論文紹介が議論ならjinでもできるんだが
564:１３２人目の素数さん
19/06/17 23:19:59.34 vtPcMxjY.net
できればですが、私とよく長文のレス交換をされている方は、しばらく上記の論文についてコメントを避けてほしいです
読めばすぐに分かると思うし、IUT側からどういう弁解・擁護ができるかはすぐ分かるはずですから
jin-pilot objectたちがどの程度IUTを知っているのか判断したいのです
565:１３２人目の素数さん
19/06/17 23:48:56.13 NP+mZt+M.net
>>530
承知しました
にしても一般に、数学とか数学者っていうのをやたら大きく見せようとか見ようとする連中は基本的には
色々な意味で信用できないな、とは思う。もちろん誰もがプロになれるわけではないが、単純な抽象関係の
積み重ねから形式的真理を見いだすのが数学なので、いくらでも素人が考えてみる余地もあるのにな
566:１３２人目の素数さん
19/06/17 23:51:06.28 yU3NMpay.net
レミファンドッベンドゥブリュイン、って読むのかな？
567:１３２人目の素数さん
19/06/18 03:32:35.52 61QXuQO7.net
宇宙際幾何学
京都際幾何学
左京区際幾何学
百万遍際幾何学
568:１３２人目の素数さん
19/06/18 06:29:48.31 C51rVDME.net
>>531
> 単純な抽象関係の
> 積み重ねから形式的真理を見いだすのが数学なので、
いい加減な把握
569:１３２人目の素数さん
19/06/18 06:48:41.99 TGYt81xh.net
後追いのフェーズについては正しいだろ
つまりは「査読」
570:１３２人目の素数さん
19/06/18 07:16:58.68 khkN9IwA.net
>>534
全然いい加減じゃないでしょ
なら自分でもっと良い言い方してみなよ。できないのはわかってるけど
571:１３２人目の素数さん
19/06/18 07:24:54.13 khkN9IwA.net
>>535
というか、「書かれた数学」ね。グロタンディークも実は全然ブルバキタイプではなかったと
言われているし。形式主義と直観主義や帰納の関係とか言い出したらキリがないし、
572: 辞書にあるような数や空間の学問である、というより構造主義的に抽象関係と言ってしまったほうがいい
573:１３２人目の素数さん
19/06/18 11:34:29.49 C51rVDME.net
>>536
低次元トポロジーとかそんな風に概括したら間違いだろ？
上っ面だけ見ても駄目
574:１３２人目の素数さん
19/06/18 12:44:47.51 yMXzlVht.net
>>525
その本は本物だな、英知に満ち満ちてる。
IUTは、アンチがしょぼいから、社会的に取り上げても
それ何？状態で、守護霊本は出ないだろ
575:１３２人目の素数さん
19/06/18 12:48:37.90 TGYt81xh.net
マジな話、隆法さんクラスだと同時に二人召喚して脳内討論とかできないものか
M v. SS みたいな感じで
いや、マジじゃないな。ごめん。
576:１３２人目の素数さん
19/06/18 12:52:02.92 QmGUFnGQ.net
勝った
577:１３２人目の素数さん
19/06/18 13:01:06.23 yMXzlVht.net
IUTについては、霊言はB本程度でも無理だな。
スピリットは、霊媒の言語空間使うから
霊媒自身が現代数学の概要をざっと知ってないと、
守護霊が言葉を選べずいらついて帰ってしまうｗ
578:１３２人目の素数さん
19/06/18 17:07:23.83 P7ovWR5v.net
サポーターもアントニオとか高校の元教師だとか判断能力のい学生連中とか末期症状だな
579:１３２人目の素数さん
19/06/18 22:42:34.51 l1/JRHli.net
>>538
低次元トポロジーなんてピンポイントで言われてもなあw 具体的に何が言いたいのか
形式主義でひとまず括るのは今は普通だし、細かい物理や他分野のネットワーク的な関係とかそんなもん
全然別の話だろう、百科辞書的な括りとは
マクレーンなんかだったら解析以外はひとまず構造主義で括っちゃうんじゃないかと思うけど
580:１３２人目の素数さん
19/06/18 22:56:48.31 1yOuTwt6.net
解析系こそ何らかの分野での数理モデルから乖離しちゃったら何の意味もない分野筆頭だと思うんだけどねえ。
581:１３２人目の素数さん
19/06/18 23:05:06.42 xmD46zPN.net
>>501
URLﾘﾝｸ(arxiv.org)
582:１３２人目の素数さん
19/06/18 23:28:13.91 C51rVDME.net
>>544
>>531の私が引用した部分が見当外れだと言っている。
583:１３２人目の素数さん
19/06/19 00:34:05.12 YN0jjtcW.net
今時ブルバキの形式主義の信奉者なんてまともな数学者にはいない
いるとしたら科学哲学とかの落ちこぼれあたり
584:１３２人目の素数さん
19/06/19 03:30:06.76 jH2bI4VW.net
B本を立ち読みしたけど、オボのあの日みたいな位置付けかと思った。
Bのもっちーとの友達自慢という印象だった。
Bはもっちーとたくさんセミナーをしたから理解者だという印象を与えるが、実際に「理解者」かどうかは明言しないという卑怯っぷり。
もっちーの寄稿は、理解できない数学者たちは天動説の学者のようだと断じる傲慢さ。正直に疑問をぶつける欧米は嫌で、イエスマンの理解者が善みたいだね。
立ち読みして気分が悪くなって、今日は仕事にならなかったよ。
585:１３２人目の素数さん
19/06/19 07:23:30.42 43xdZCaN.net
>>547
ならば具体例と修正案を挙げないと何の役にも立たない
例えば物理的な発見法を指しているのか、複雑さを持った対象の調べ方（試行錯誤）を指しているのか
単純化やモジュール性は書かれた数学ないしは理論の基本的な特徴だと思うが
586:１３２人目の素数さん
19/06/19 07:35:31.51 43xdZCaN.net
そもそも本来の論点は基本的な対象やその理論的なモジュール性関係の単純性の話であって
個別の方法論の複雑さではないんだけどな
佐藤テイト予想とかやたら複雑だけど、まず説明するなら非可換類体論や志村多様体から話すしかない
大枠について述べていかないと効率が悪い
IUTの場合も、哲学や技術細部よりもまず遠アーベル幾何、タイヒミュラー理論の持ち上げ、Hodge filtration、
テータ関数の代数幾何学的枠組みから説明したほうが良い
見当外れとか批判はいいから何が547の主旨、主張なのか言わないとさっぱりわからん
587:１３２人目の素数さん
19/06/19 08:15:08.47 4vEu4hgZ.net
>>550
望月の論文は間違っている、という指摘に対して「じゃあABC予想を証明しろよ」と返すようなもの
588:１３２人目の素数さん
19/06/19 08:57:33.14 0v6Gh88S.net
>>550
加群やモジュライいいよね・・・。
589:１３２人目の素数さん
19/06/19 18:21:26.90 43xdZCaN.net
>>552
別に構わないけど、さすがにそれは無理があるなー
ABC予想なんかとは全く違う一般論の話だもん
訂正案もないのなら、ケチつけたいだけって風にしか見えない
590:１３２人目の素数さん
19/06/19 22:15:52.67 4vEu4hgZ.net
>>554
浅はかな単純化であるという指摘をしたわけで、それに対する答えは「簡単には言えない」としか言いようがない。
591:１３２人目の素数さん
19/06/19 23:27:54.76 eZBy4LhS.net
浅はかな返答
592:１３２人目の素数さん
19/06/19 23:37:53.14 WONwwQ3g.net
北白川大辞典 浅はかな指摘 = 反論できませーん
どんだけ手間でもやるよねー
593:１３２人目の素数さん
19/06/20 02:08:16.18 PizmXzVF.net
Kirti Joshi がなんか書いた、だと。
594:１３２人目の素数さん
19/06/20 03:53:50.05 X8V/Ik4Y.net
本年度最大の成果だから招聘セミナーやるんだろ藁
595:１３２人目の素数さん
19/06/20 04:10:42.15 W5GJaY0X.net
浅はかな存在
596:１３２人目の素数さん
19/06/20 04:34:13.92 1x5q0U7u.net
ゴーがサーベイ書けばもう完璧
597:１３２人目の素数さん
19/06/20 05:41:09.96 KlzXE5Eq.net
Mochizuki's anabelian variation of ring structures and formal groups
URLﾘﾝｸ(arxiv.org)
これ、2日前にロバーツのツイートにあってすぐ読んだのだけど、IUTを利用したというより、
絶対遠アーベルを形式群に適用したというだけの話なんだよね。それはそれで無価値ではないけど・・・
望月やその圧倒的な影響下にある星がやっているのは数体に関することで、数論的基本群を扱っているのであって、
難易度から言えば比較にならない。はっきり言って、星の劣化版(彼らに教えてもらったのだから無理もないか・・・)
ロバーツが“Fun stuff in Mochizuki-land”(モッチー・ランドの娯楽)と書くのも無理もない（笑）
もうロバーツは完全に望月やIUT、IUTコミュニティを見限った感じだね
ところで、>>528の論文の件はいつまで待とうかな。>>531氏にもコメントを控えてもらっているし・・・
ひょっとしてこのスレのIUT擁護者たちはスキーム、カテゴリー、自己同型という言葉の意味すら分からずIUT礼賛しているのだろうか？
598:１３２人目の素数さん
19/06/20 05:52:29.01 KlzXE5Eq.net
上の方のレスで、このスレのIUT擁護者たちのことを「サポーターやフーリガン」と書かれてたけど、
サポーターならルール（最低限の数学の知識）や戦略・戦術（IUTの狙い・方法）を知っているはずだし、
各選手の名前や特徴（IUTのジャーゴンや奇妙なテクニック）を知っているはずだよね
そんなことも知らずに擁護したり、セミナーに顔を出したり、批判的な指摘に対して根拠のない罵倒をするのはフーリガンと同じ
>>528の論文を読んでIUT擁護者として異論を述べられないようならフーリガン、つまり数学板では荒らしと同じ
599:１３２人目の素数さん
19/06/20 05:53:35.18 OAD6Xo4i.net
> このスレのIUT擁護者たち
こんな存在もしない敵を虚構して、それにむかって何かを言う様は、滑稽を通り越して物悲しいものがある
600:１３２人目の素数さん
19/06/20 06:13:08.34 KlzXE5Eq.net
あれっ？IUT擁護者（擁護派）っていなかったことにしたいんだ？
これまでのクダラナイ擁護の書き込みもなかったことにしたいんだ（爆笑）
そりゃそうだろうなあ、「多輻性がキー・ポイント」ぐらいしか書けなかったし、たんなるパパラッチ、フーリガンしかいなかったしね
ま、もう二度と数学板には顔を出さないことだ
「IUTは超一流の数学者でも理解できない」というマスゴミの誤解を真に受けて、だったら数学と無関係な者でも
何でも言っていいと勘違いして数学板で暴れていただけだからなあ。要するにゴミ、荒らし
601:１３２人目の素数さん
19/06/20 08:12:22.05 UpNPfIvm.net
>>565
こんこん こんこん 釘を打つ
藁の人形 釘を打つ
602:１３２人目の素数さん
19/06/20 11:34:11.61 LDW2GQDi.net
17ページと分量的にも良心的で面白そうな話なのに無反応なのかw
603:１３２人目の素数さん
19/06/20 12:07:45.89 cwVBI5yf.net
ディズニーシーにいかない人は悪人なのか
604:１３２人目の素数さん
19/06/20 18:39:04.78 IX6k2MjH.net
【実体験】ブログを1,000記事ほど書いたら、月300万くらい稼げた話
URLﾘﾝｸ(www.youtube.com)
【報告】ブログで「月収1,000万」を達成できました【方法を解説する】
URLﾘﾝｸ(www.youtube.com)
5年間ほど努力したら「年収3,000万」になったので、経験談を語る
URLﾘﾝｸ(www.youtube.com)
期間工ブログの収入は１５００万円でした。【フリーランスの現実&底辺からの復活編】
URLﾘﾝｸ(www.youtube.com)
年商1300万のプロブロガーの初心者時代から今までの軌跡
URLﾘﾝｸ(www.youtube.com)
【収益報告】実働月10hでも大金稼ぐ方法を解説【年収6,000万】
URLﾘﾝｸ(www.youtube.com)
無料ブログは稼げない。稼ぐならオススメはWordPress一択の理由
URLﾘﾝｸ(www.youtube.com)
605:１３２人目の素数さん
19/06/20 22:13:51.47 OAD6Xo4i.net
Joshiの新作のイントロ、jinの好きそうなゴシップに溢れててワラ
606:１３２人目の素数さん
19/06/21 12:42:12.44 l8+m4Qqw.net
>>564
563ではないが、なら何と言えばいいんだ
「物知り顔で他人のレスにケチつける癖に何も内容を発言しない知ったか卑怯者野郎」？
607:１３２人目の素数さん
19/06/21 12:56:54.64 l8+m4Qqw.net
>>528
What is the generalized counterpart logic of the case of equivalence between mono-anakytic approximated schemes?
これに回答するだけの簡単なお仕事だよ、上から目線の方々は
608:１３２人目の素数さん
19/06/21 19:08:36.83 FDWo8Z6f.net
>>572 = >>531氏ですよね？
「論文紹介が議論ならjinでもできるんだが」とか「IUT擁護者（擁護派）は存在しない」ということで逃げ恥晒してくれたので、
もう我々でRemy論文とIUTとの関係について書いちゃいましょうか（笑）
実はこれって我々がSSレポート、望月反論レポート公開直後から延々と「ああでもない、こうでもない」と書いていた話なんですよね
要するに、単遠アーベル的復元/再構成や充満多重同型をどうとらえるかという問題です（もう飽きてきましたが orz）
簡単そうに見えて突っ込めばややこしい話にもなるので、分けて考えてみましょう（IUTの
609:主張とRemy論文から読み取れるもの） まず、簡単にIUT側からの異論としては(Remy論文では直接IUTについては書かれていないので)、 Remy論文で書かれているのはGabriel?Rosenbergの復元定理やBondal?Orlovの復元定理など、(準)連接層の圏から スキームを復元する話であり、これは環構造を放棄しない、言わば「普通の」数論幾何の研究です また、ノイキルヒ・内田の定理などは遠アーベルだけども、望月流に言えば双遠アーベル、つまり2つのスキームの比較です IUTでやっているのは単遠アーベル的復元/再構成です。これは２つのスキームを比較して同型を論じる話ではありません つまり、単なる自然同型や、スキームの圏が（自然な）同型になるという話ではありません 忘却関手の強調や体としては非同型など、充満多重同型というのはある意味で情報に欠損があり、 部分的に壊れているスキーム、つまり部分的に壊れた局所環付き空間なのです 要約すると、Remy論文はSSレポートやロバーツのPDFと同じく、絶対遠アーベルを知らない者たちの論文ということになります これがIUT支持者（擁護者、擁護派）からできる異論となります
610:１３２人目の素数さん
19/06/21 19:14:59.71 FDWo8Z6f.net
長文失礼しました。以後はRemy論文はIUTに言及していないものの、実はSSレポートやロバーツPDFの見解を裏付けるもの
であるという視点で書くことになります。また、絶対遠アーベルとはどういうものか、という視点で書くことになります
まあ、ゆっくり、なるべく短く書くつもりです（笑）
611:１３２人目の素数さん
19/06/21 19:41:44.28 l8+m4Qqw.net
レスの前に>>572についてつまらない訂正なんだけども、普通はin the case～だがofでも良いだろうと
感覚的に書いたら、of the caseだと事件の話になってしまうw
安易に聞き慣れない言い方をするもんじゃない
あと、equivalence（or distinction） of mono-analytic schemesとしたほうが良い
まあ自分はグダグダとケチ言ってる人は擁護というかただの意地汚いひねくれ者だと思うんだけどもw
612:１３２人目の素数さん
19/06/21 19:45:46.64 tdghRNHD.net
まあ時折「M周辺の人」がここに書いてるけどね
その人が擁護派かどうか知らないw
613:１３２人目の素数さん
19/06/21 20:31:23.98 +Y2oWyx/.net
頑張って擁護しても匿名でビビリながら書いてるチキン野郎が妙にワロす
614:１３２人目の素数さん
19/06/21 20:38:39.79 x0HehHIS.net
またこういう香ばしいのがいたよ
どこで「証明された」のかはっきり書けよ
URLﾘﾝｸ(twitter.com)
見てて恥ずかしいわ
(deleted an unsolicited ad)
615:１３２人目の素数さん
19/06/21 20:44:39.36 l8+m4Qqw.net
抽象化と情報の欠損という点については一般論だけども、幾何学ないしは論理学的には
「ストーン双対性」の観点で、抽象化によって具体性が失われるという当然の事実がわかる
しかし他方で、確かに抽象化することである意味では情報量は増える。正確に言えば、ある集合をより
抽象的な設定で考えると、普通は元が増える。これは数学に限定せずとも単純な直感でわかる
つまり、抽象化するということはその上の対象の情報量自体は増えるが、具体的な情報は失われるのを意味する
また、具体性が失われる代わりに記述上の自由度は増えるというトレードオフがある
数学の理論は、とにかく何かを調べる、このスレで挙がった言い方なら一種の「土方作業」に、
それらを抽象化して自由度を得る代わりに、具体性が一旦忘れられるので、
新たに対象を上手く記述する概念や表現を再開発するという過程で発展する傾向にある
少なくとも狙いとしてはIUTも同じ流れにあるというわけだ
616:
617:１３２人目の素数さん
19/06/21 20:48:19.93 l8+m4Qqw.net
>>574
長さについては自分は前科だらけの極悪犯なので気にはしませんがw
ひとまず「スキーム論を一般化」するという文脈で余計な抽象論かもしれませんが579を書きました
618:１３２人目の素数さん
19/06/21 20:53:56.24 FDWo8Z6f.net
>>575
えっ？ひょっとして私が書くのを待っているのですか？他の人のレスを待ちながらゆっくり書こうと思っていたのですが（笑）
まあ、言いだしっぺなので私から書かなきゃいけませんね。メンドクサイですが誤解を恐れずできるだけ手短に書いていきます
【絶対遠アーベルについて】
まず分かり易い所で星のレポートから引用します
「絶対Galois群による数体の復元」
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
p.4の脚注3
-----------------
単遠アーベル的復元は、"所望の手続きの存在を証明する"ことが目的なのではなく、"所望の手続きを与える"ことが目的である。
特に、主張の中にその手続きを書くべきとされる。この考えから、ここを"関数体の単遠アーベル的復元"ではなく
"関数体の単遠アーベル的復元可能性"としている。例えば, [8],Corollary 1.10,は,その主張を述べるためにおよそ3ページが費やされ、
しかし、証明がたったの2行で終わってしまうという、従来の数学では比較的珍しい構成になっている。
このような状況が生じる背景には、この"主張の中にその手続きを書くべき"という考えがある。
-----------------
つまり、単遠アーベル的復元は存在定理ですらない、それどころか「手続きを与える」と言っているに過ぎません
エイリアン論文で書いているような唯一無二でも不可避な方法でもありません。その手に乗る必要はないのです
ここでSSレポート脚注8になるのですが、IUTで扱っている曲線は全て同型として扱える。したがって、単遠アーベルは必要なく、
充満多重同型も必要ない、当然ラベルも無意味ということになります
619:１３２人目の素数さん
19/06/21 21:08:02.17 tdghRNHD.net
>>578
ニュートン編集部だもの 質が悪いに決まってるさw
620:１３２人目の素数さん
19/06/21 21:08:54.99 FDWo8Z6f.net
あ、エイリアン論文ではありませんでしたね。>>440で書いたように、そのまんま第4論文(p.62～63)に書かれています（笑）
621:１３２人目の素数さん
19/06/21 21:11:55.51 l8+m4Qqw.net
>>581
いえ、行き違いですがさじ加減は勿論お任せしますよw 強いるつもりも裁量もありません
ただこれまでのデータからすると、上から目線の人（達）がある程度突っ込んだ話をする確率は0に近いとは
思いますがね。凄いレスが来たら確かに怖さを感じるでしょうが、今のところ無いですからね
大分前に有理ホッジ構造とかブローアップの話をしてきた人がいたが、あれは何の関係もないですからね
ブローアップなどは基本的に線形理論であり、望月さんの理論とは直接関係ないがディオファントス幾何学
には一つのアプローチに使われていますけどね
622:１３２人目の素数さん
19/06/21 21:23:26.71 iJOD4sC9.net
>>579
SSレポとRemy論文は普通の同型 圏 スキーム
からの結論ですね。
双対も 極限 余極限、接空間余接空間、
普通の数理構造です。
IUTは 普通の 局所環付き空間のスキーム論
や圏論の議論から逃れるため環構造を
部分的に解体した。
で 舞台を別々に置いたり
623:遠アーベル幾何を 用いている。 たしかに spiro予想に向けた「壮大な」 試論の計算でしょうが、仮説に仮説を 加えた計算に思います。 (「位相的場の理論」のAモデルとBモデル の双対性も 数学では 構造を抜き出して 圏同値となりますね。 IUTは「no go theorem」から逃れるに してもSUSYのような アイデア スマート さがないからガッカリしました)
624:１３２人目の素数さん
19/06/21 21:28:22.38 J8nOSyIs.net
>>585
落書き帳はこっち
URLﾘﾝｸ(itest.5ch.net)
625:１３２人目の素数さん
19/06/21 21:48:11.04 iJOD4sC9.net
>>586
>>528さんの問いに貴方の解答をどうぞよろしくお願いします
626:１３２人目の素数さん
19/06/21 21:53:03.86 l8+m4Qqw.net
ちょっと記憶が曖昧なんだけど、有理ホッジ構造じゃなくて混合ホッジ構造の方だった気もしてきたな
有理じゃなくて有理多様体か。どのみち大した話ではないけど
627:１３２人目の素数さん
19/06/21 22:02:51.15 eaMqVao1.net
擁護派革命防衛太鼓持ちにも一厘の理あり
628:１３２人目の素数さん
19/06/21 22:11:08.41 t52QXPsp.net
勿論カス金魚のフンのマッドサイエンティストは正式文書でショルツらに撤回と謝罪を要求するよな
629:１３２人目の素数さん
19/06/21 22:15:49.00 iJOD4sC9.net
>>582
>>11を見てください
既にRIMSがIUTの構築よりabc予想が解決
と公式にのべています。
630:１３２人目の素数さん
19/06/21 22:20:49.57 bfmdAqnT.net
アクセプトも掲載もされてないのに解決したっていうのはどんな解釈なの
631:１３２人目の素数さん
19/06/21 22:30:08.68 +515gfeg.net
>>591
公的な予算申請とか報告書の類だからむやみに撤回できないんだろうね
誤りであった場合にはだれかが告発すれば有印公文書偽造になるんだろうか
632:１３２人目の素数さん
19/06/21 22:52:51.33 +QtSrAAK.net
えっ犯罪者がいるの？
633:１３２人目の素数さん
19/06/21 23:12:41.52 MLEfliUb.net
>>593
駄目だったらそんなことだけでは済まないだろうが関係責任者は論旨免職とか退官はあるかもね
国際的な紛糾問題とかになると看過されないだろうから気をつけたほうがいいね
税金の無駄遣いを追及する市民団体「全国市民オンブズマン連絡会議」
URLﾘﾝｸ(www.ombudsman.jp)
634:１３２人目の素数さん
19/06/21 23:21:52.72 GvBuMQgU.net
数学をやる上で必要なのは、ID:l8+m4Qqwのような人間から「この質問に答えろ」と言われても逆らうこと。
635:１３２人目の素数さん
19/06/21 23:25:47.32 GvBuMQgU.net
>>579
抽象化と情報の欠損ってまだそんな阿呆なことを言っているのか。
何が「「ストーン双対性」の観点で、抽象化によって具体性が失われるという当然の事実がわかる 」だ
具体的な説明など出来やしないだろう。
636:１３２人目の素数さん
19/06/21 23:39:46.61 FDWo8Z6f.net
さて、Remy論文をダシにしてIUT側からどんな異論が出せるのか、絶対遠アーベルとは何なのかと述べてきましたが、
最後にRemy論文が暗に言わんとしているところを述べてみたいと思います（また長文になると思いますが）
Remy論文は一見、スキームの同型に関する解説書のようにしか見えませんが、実はロバーツのPDFを補強し
（ロバーツの充満多重同型に対する戸惑いを断ち切り）、SSレポートを支持する論文のように個人的には思えます
Remy論文 p.1より
------------------
A similar result for the category of locally Noetherian schemes with finite type morphisms was proven by Mochizuki [Moc04, Thm. 1.7].
Our result completely eliminates all Noetherian and finite type hypotheses.
Because
637: we do not have access to the same finite type techniques, the proof is almost entirely independent from Mochizuki’s. ------------------ 一見、望月の過去の論文による証明とは無関係だと謙虚なフリをしていますが、問題なのは、 “Our result completely eliminates all Noetherian and finite type hypotheses.”という文と、 “we do not have access to the same finite type techniques”という文です つまり、一般化してスキームの同型を論じることができるということと、望月の使った（後に絶対遠アーベルでも使った）テクニックは 必要ないし、そのようなもので一般的に同型を論じることはできない。また、充満多重同型というものは成立しないし、 それは単なる（自然）同型にしかならないということです 以上はRemy論文をダシにした私の個人的見解なので異論・反論はご自由にお願いします（めんどくさければスルーしますが） IUTスレなので、大雑把でもIUTの数学的内容に即した活発な議論を期待しています（私もかなり大雑把に書いていますw）
638:１３２人目の素数さん
19/06/21 23:51:41.38 FDWo8Z6f.net
IUTに関して言えば、実は私も抽象化による情報の欠損とは思えないんですよね
正確に言えば、forgetting“histories of operations”をしたいがために、
ゴリ押しで忘却関手による情報の欠損を強調しているだけのように見えます
だから、自己同型や充満、極限、余極限のIUTでの扱いが問題視されているわけで、
望月は圏論に詳しくない、或いは恣意的に使っているだけだと思われているわけです
IUTコミュニティからすれば、「新しい圏の幾何学」を創造したということになっているのでしょうけど・・・
639:１３２人目の素数さん
19/06/22 10:10:36.13 ZTY1E/5h.net
>>597
あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
レスの全体で話をしてるのに一部だけ抜き出して、しかも全体を全く理解していないよな
情報量は増えもするし具体性も無くなる、という意味が理解できないわけでしょ
具体例？自分がわからないだけだろ。代数幾何にすら典型例があるのに思いつけないからイライラとはw
とにかく馬鹿なのはわかったから話しかけないでくれ
640:１３２人目の素数さん
19/06/22 10:13:54.96 ZTY1E/5h.net
抽象化とは何かじゃあ説明してみろ、と言ったら>>596みたいな予防線張って逃げるしねw
粘着しないかちゃんと反論するかどっちかにしろよ
641:１３２人目の素数さん
19/06/22 10:22:39.08 gp4l6jKK.net
＞あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
そんなの当たり前じゃん何を今更
642:１３２人目の素数さん
19/06/22 10:26:11.09 pfGjiMe9.net
>>601
だから数学は論争には向いてない。
他人の出した問題を解くな、が正しい姿勢なのだから。
643:１３２人目の素数さん
19/06/22 10:37:02.01 tEi3uyRE.net
数学そのものの議論でも「分かりやすさのために厳密さは捨てました」「世間は知りませんが私はこう定義します」で大体回避できるからな
644:１３２人目の素数さん
19/06/22 10:54:49.08 oupCEudc.net
ストーン双対性は一般的な話だが、ある種の抽象と具象のトレードオフ関係は
幾何学のみならず論理学や他にも当然見いだせるよ
比較的新しい理論でも、対象の抽象化によってある構造や性質が消える、という典型例が複数ある
勿論だからといって適切な抽象化の価値が減じるという意味ではない
情報の欠損というのは「相対的」な話だと何度も言っている。同時に抽象化の効果も「相対化」にある
主題はある特殊な情報が一旦消え、再構成される、IUTはどうかという話なんだが全くわかってないねw 全くね
645:１３２人目の素数さん
19/06/22 11:02:49.24 pfGjiMe9.net
わかった。抽象で情報が失われると言ってるのは、抽象というより捨象の話をしているんだな。
そりゃ捨てれば失われるわ。
646:１３２人目の素数さん
19/06/22 11:51:01.60 tbBksjLk.net
> 対象の抽象化によってある構造や性質が消える、という典型例が複数ある
> ある特殊な情報が一旦消え、再構成される
良い質問になってるかどうか不安なのだが、後者にもアナロジーとして
使えそうな典型例はあるの？
647:１３２人目の素数さん
19/06/22 11:58:50.93 oupCEudc.net
>>606
そうだね。抽象化には捨象が伴うが、適切な抽象化は結果的に相対化して情報量は増える
だけど、そういう時には大体理論を作り直さなきゃならないんだよ
スキーム論もホモトピー代数幾何もそういう流れになってる
アブストラクトナンセンスっていう言葉はそういうトレードオフの緊張関係、バランスに関わってる
648:１３２人目の素数さん
19/06/22 12:25:05.17 pfGjiMe9.net
>>608
いや、「アブストラクトナンセンス」は具体例や歴史を踏まえた上で、具体例と切り離して書いてるからそう見えるだけ。
649:１３２人目の素数さん
19/06/22 12:49:39.79 oupCEudc.net
>>607
日常的なレベルで言ったらコンビニもアマゾンも脳も全て、具体的な機能を捨ててから
一般化して最適化する仕組みだよ、納得してくれるかわからないが
具体的な自然言語を忘れてユークリッド幾何を考えるのもそうだし、
位相空間や線形性によって個別のユークリッド空間を忘れて再編成するのもそうだし、
非可換幾何学で具体的な位相空間を一旦忘れてから特殊な極限として古典空間を考えるのもそうだし、
ある対象より広い抽象化を考えてコンパクト化して埋め込んで調べやすくするのもそうだし、
ザリスキ位相を一旦相対化して、より良い条件で、つまり豊富な開集合を構成するために
グロタンディーク位相を考えるのもそれにあたるし、スキームに対するスタックも似たような理由で生じた
プログラミングでも、具体的な言語で書かれたプログラムをまとめあげるために、より抽象化された言語で
再定位するという理論が最先端の研究で進んでいる
但し、使えるアナロジー云々というより、数学では何らかの必要に迫られて馴染みある構造を捨ててから
改めて対象を考え直す傾向にあるね
650:１３２人目の素数さん
19/06/22 13:08:21.62 pfGjiMe9.net
白馬非馬論でしかないように思える。
651:１３２人目の素数さん
19/06/22 15:32:55.33 lGw7BBQy.net
>>605
なにを表現対象とするか、じゃない？
要するに具象とは色んなものの表現になっているからごっちゃというか雑然としている
抽象と具象をわけるものというのは雑然さに求めるべきだと思う。
あるものの双対表現がただひとつという具象なんてないわけだし。
652:１３２人目の素数さん
19/06/22 23:57:51.26 hvkJoB3P.net
IUT（によるABC予想の証明）というのは、言い方が悪いけど数学における脱法行為の塊のように見えるんだよね
単遠アーベル的復元/再構成での忘却関手による情報の欠損や体としての非同型、つまり充満多重同型とラベルの必要性
またその論理を定式化したという種の言語と突然変異の論理、これはグロタンディーク宇宙にまたラッセルのパラドックスを
導入し、その矛盾を種の言語と突然変異によって解消することにより、ループ状入れ子式宇宙ができるとの主張
どう考えても自然な論理ではないし、不可避でも必然的でもない
同じく言い方が悪いが、>>440と合わせて考えると、言葉の正しい意味で確信犯的に見える
653:１３２人目の素数さん
19/06/23 03:10:09.61 X+MnbPuM.net
国語力の低い書き込みが多くて頭痛くなるな
654:１３２人目の素数さん
19/06/23 05:39:25.39 g3m51mYe.net
匿名掲示板の長文番長なんて世間で相手にされてない奴らだからな。
655:１３２人目の素数さん
19/06/23 05:44:05.23 UQ3xIBOj.net
と、サル山界隈では賑やかなようです
656:１３２人目の素数さん
19/06/23 08:24:52.46 vXet6vWC.net
>>616
それぐらいの短さで頼むわ
657:１３２人目の素数さん
19/06/23 08:33:18.20 ACG812oK.net
Mは圏論を理解できなかったんだね
658:１３２人目の素数さん
19/06/23 09:20:13.66 xRArnFnh.net
>>615
結構適当に書いてるのは認めるけど、匿名にしかやり場がないってのは外れてるな
これでもかなり
659:言いたいことを抑えてるから ついでに言ったら捨象という表現も本当は不十分だけど、より良い言い方を書くほど親切ではないしな まあ数学での抽象化による効果、意義は簡単な問題ではない。自己レス>>610にもちょっと不満があるし >>613 「消してずらして埋める」という感じですね。それで、言うほどには格子の論理には必然性がないとは思う 「多重充満同型とかは必要ない」というのは動機がIUTでは代数幾何、スキーム自体の一般化なので、個人的には 言い切る自信はないんだが、フレームワークを実現するために強引な仕組みを使ってる感じというか 反論とまでは行かないんですが、本来のスキームではなくスキーム論的なデータがIUTの狙いですので その論文との関連性はまだ少し慎重に見たいと思います
660:１３２人目の素数さん
19/06/23 09:33:59.38 wnxnvo5O.net
圏論とは何か？
第1の近似としては 圏論とは写像のなす
抽象代数の数学的研究であるといえる。
まさに群論が集合の置換や幾何学的対称性
のなす体系という考え方を抽象したもの
であるように。
抽象代数の一分野である圏論は”許容された
変換”という言葉によって異なる種類の
数学的構造を特徴づけて研究する方法と
して、フェリックス. クラインのエアランゲン. プログラム の伝統を引き継いで考案
された。
圏論の一般的な概念は”構造を保つ変換”
の概念の特徴づけを与え、このような
変換を許容する構造の、ある種の特徴
づけを与える。
1945年 アイレンベルクとマクレーンの
”自然同値の一般論”は圏論が初めて確立
した原著論文であった。
by Ｓteve Awodey
661:１３２人目の素数さん
19/06/23 09:43:06.91 xRArnFnh.net
存在と復元の基盤についてはbi-coricな文脈での関手性がその部分になってると思いますね
乗法→加法
正則→非正則
に渡り局所ー大域アルゴリズムの核性が成立するというものだったと思いますが
その上で宇宙の族（species）、コレクションを一斉に示し評価していると主張している
望月氏や弟子は本来なら、非遠アーベル幾何学的なスキームの一般化とIUTの対応関係を研究するべきだろうな
そういう認識はしているようだが、本格的にやろうという意思はあまり感じられない
662:１３２人目の素数さん
19/06/23 09:47:11.47 xRArnFnh.net
>>621
厄介なのは、こういう純粋に圏論的な抽象化理解にはIUTが収まらないことなんだけどね
国語力が達者らしい方に論じてもらえるとありがたいんだけど
663:１３２人目の素数さん
19/06/23 09:49:29.06 CukGSETM.net
G構造の幾何学がエルランゲンプログラムの正嫡じゃないの？。
664:１３２人目の素数さん
19/06/23 12:46:36.94 wnxnvo5O.net
>>620
追記します。
再記
Robertsレポート
>there are a number of things that Mochizuki
writes that feel to me like vestiges of ‘material’
thinking.
Here by material thinking I mean,
in opposition to structural thinking,
the platonic attitude that specific
representations of objects matter and makea
difference to the mathematics
>At times Mochizuki’s examples are formulated
so that the structural content is unclear (mostly
because the required categories are not
supplied), and at times they are expressed
in a material way, but with an underlying
structural i
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
46日前に更新/329 KB
担当:undef