[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
592: 2019/06/21(金)22:20 ID:bfmdAqnT(1) AAS
アクセプトも掲載もされてないのに解決したっていうのはどんな解釈なの
593(1): 2019/06/21(金)22:30 ID:+515gfeg(1) AAS
>>591
公的な予算申請とか報告書の類だからむやみに撤回できないんだろうね
誤りであった場合にはだれかが告発すれば有印公文書偽造になるんだろうか
594: 2019/06/21(金)22:52 ID:+QtSrAAK(1) AAS
えっ犯罪者がいるの？
595: 2019/06/21(金)23:12 ID:MLEfliUb(1) AAS
>>593
駄目だったらそんなことだけでは済まないだろうが関係責任者は論旨免職とか退官はあるかもね
国際的な紛糾問題とかになると看過されないだろうから気をつけたほうがいいね
税金の無駄遣いを追及する市民団体「全国市民オンブズマン連絡会議」
外部ﾘﾝｸ:www.ombudsman.jp
596(1): 2019/06/21(金)23:21 ID:GvBuMQgU(1/2) AAS
数学をやる上で必要なのは、ID:l8+m4Qqwのような人間から「この質問に答えろ」と言われても逆らうこと。
597(1): 2019/06/21(金)23:25 ID:GvBuMQgU(2/2) AAS
>>579
抽象化と情報の欠損ってまだそんな阿呆なことを言っているのか。
何が「「ストーン双対性」の観点で、抽象化によって具体性が失われるという当然の事実がわかる 」だ
具体的な説明など出来やしないだろう。
598: 2019/06/21(金)23:39 ID:FDWo8Z6f(5/6) AAS
さて、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 we do not have access to the same finite type techniques, the proof is almost entirely independent from Mochizuki’s.
------------------
省8
599: 2019/06/21(金)23:51 ID:FDWo8Z6f(6/6) AAS
IUTに関して言えば、実は私も抽象化による情報の欠損とは思えないんですよね
正確に言えば、forgetting“histories of operations”をしたいがために、
ゴリ押しで忘却関手による情報の欠損を強調しているだけのように見えます
だから、自己同型や充満、極限、余極限のIUTでの扱いが問題視されているわけで、
望月は圏論に詳しくない、或いは恣意的に使っているだけだと思われているわけです
IUTコミュニティからすれば、「新しい圏の幾何学」を創造したということになっているのでしょうけど・・・
600: 2019/06/22(土)10:10 ID:ZTY1E/5h(1/2) AAS
>>597
あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
レスの全体で話をしてるのに一部だけ抜き出して、しかも全体を全く理解していないよな
情報量は増えもするし具体性も無くなる、という意味が理解できないわけでしょ
具体例？自分がわからないだけだろ。代数幾何にすら典型例があるのに思いつけないからイライラとはw
とにかく馬鹿なのはわかったから話しかけないでくれ
601(1): 2019/06/22(土)10:13 ID:ZTY1E/5h(2/2) AAS
抽象化とは何かじゃあ説明してみろ、と言ったら>>596みたいな予防線張って逃げるしねw
粘着しないかちゃんと反論するかどっちかにしろよ
602: 2019/06/22(土)10:22 ID:gp4l6jKK(1) AAS
＞あんた頭悪すぎるね、さすがに。少なくとも数学者ではない
そんなの当たり前じゃん何を今更
603: 2019/06/22(土)10:26 ID:pfGjiMe9(1/4) AAS
>>601
だから数学は論争には向いてない。
他人の出した問題を解くな、が正しい姿勢なのだから。
604: 2019/06/22(土)10:37 ID:tEi3uyRE(1) AAS
数学そのものの議論でも「分かりやすさのために厳密さは捨てました」「世間は知りませんが私はこう定義します」で大体回避できるからな
605(1): 2019/06/22(土)10:54 ID:oupCEudc(1/3) AAS
ストーン双対性は一般的な話だが、ある種の抽象と具象のトレードオフ関係は
幾何学のみならず論理学や他にも当然見いだせるよ
比較的新しい理論でも、対象の抽象化によってある構造や性質が消える、という典型例が複数ある
勿論だからといって適切な抽象化の価値が減じるという意味ではない
情報の欠損というのは「相対的」な話だと何度も言っている。同時に抽象化の効果も「相対化」にある
主題はある特殊な情報が一旦消え、再構成される、IUTはどうかという話なんだが全くわかってないねw 全くね
606(1): 2019/06/22(土)11:02 ID:pfGjiMe9(2/4) AAS
わかった。抽象で情報が失われると言ってるのは、抽象というより捨象の話をしているんだな。
そりゃ捨てれば失われるわ。
607(1): 2019/06/22(土)11:51 ID:tbBksjLk(1) AAS
> 対象の抽象化によってある構造や性質が消える、という典型例が複数ある
> ある特殊な情報が一旦消え、再構成される
良い質問になってるかどうか不安なのだが、後者にもアナロジーとして
使えそうな典型例はあるの？
608(1): 2019/06/22(土)11:58 ID:oupCEudc(2/3) AAS
>>606
そうだね。抽象化には捨象が伴うが、適切な抽象化は結果的に相対化して情報量は増える
だけど、そういう時には大体理論を作り直さなきゃならないんだよ
スキーム論もホモトピー代数幾何もそういう流れになってる
アブストラクトナンセンスっていう言葉はそういうトレードオフの緊張関係、バランスに関わってる
609: 2019/06/22(土)12:25 ID:pfGjiMe9(3/4) AAS
>>608
いや、「アブストラクトナンセンス」は具体例や歴史を踏まえた上で、具体例と切り離して書いてるからそう見えるだけ。
610(1): 2019/06/22(土)12:49 ID:oupCEudc(3/3) AAS
>>607
日常的なレベルで言ったらコンビニもアマゾンも脳も全て、具体的な機能を捨ててから
一般化して最適化する仕組みだよ、納得してくれるかわからないが
具体的な自然言語を忘れてユークリッド幾何を考えるのもそうだし、
位相空間や線形性によって個別のユークリッド空間を忘れて再編成するのもそうだし、
非可換幾何学で具体的な位相空間を一旦忘れてから特殊な極限として古典空間を考えるのもそうだし、
ある対象より広い抽象化を考えてコンパクト化して埋め込んで調べやすくするのもそうだし、
ザリスキ位相を一旦相対化して、より良い条件で、つまり豊富な開集合を構成するために
グロタンディーク位相を考えるのもそれにあたるし、スキームに対するスタックも似たような理由で生じた
プログラミングでも、具体的な言語で書かれたプログラムをまとめあげるために、より抽象化された言語で
省3
611: 2019/06/22(土)13:08 ID:pfGjiMe9(4/4) AAS
白馬非馬論でしかないように思える。
上下前次1-新書関写板覧索設栞歴
あと 391 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s