Inter-universal geometry と ABC予想 39

**１３２人目の素数さん** · 2019/05/29(水) 19:17:52.31

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ Inter-universal geometry と ABC予想 38
http://rio2016.2ch.net/test/read.cgi/math/1556364289/

**１３２人目の素数さん** · 2019/07/03(水) 22:36:21.98

まあ有耶無耶に逃げ切るっていうのはもう無いからね
文元が出した啓蒙本のせいで、アクセプトか誤魔化しか、動きがあったら必ず日本のマスコミは反応する
今年度中には何か起こるだろう

**１３２人目の素数さん** · 2019/07/03(水) 23:13:33.63

論文に対してのスタンスや総合的な情勢の解釈を間違えたから挽回はできないだろう
急先鋒のFでさえ大人しくなってるのに

**１３２人目の素数さん** · 2019/07/03(水) 23:17:11.42

>>945
まともな批判と受け取られなくてもいいと開き直ってるのなら、
フェイクニュースだろうがなんだろうがお好きにどうぞ。

**１３２人目の素数さん** · 2019/07/03(水) 23:39:46.67

言葉って便利だよな
批判と誤りを履き違えて平然としてるのもどうかと思うが

**１３２人目の素数さん** · 2019/07/04(木) 00:00:03.04

>>953 そういや何やってんだろうなあいつ笑存在を忘れてたわ

**１３２人目の素数さん** · 2019/07/04(木) 08:50:15.13

>>950
> 圏論の連中は怪しいと言ってるけどね＞IUT

なるほどやはりそうですか

**１３２人目の素数さん** · 2019/07/04(木) 12:16:24.43

論点はある程度明確なのだから少なくとも形式的に書き下せば認識のズレみたいな今の状況は進展するとは思うが形式的に書き下せないみたいな事を暗に望月さん言っちゃってるしなw
IUTを形式化するところがまず今後やるべき事なんでしょう

**１３２人目の素数さん** · 2019/07/04(木) 12:25:48.56

lepergeやDupuyも今年は足繁くMのもとに通ってるらしいし、今年後半にはノッティンガムから南出が戻ってくんだろ？特定助教でw
あとは共同研究してるフェセンコの院生が特定研究員かもなww
Mファミリーwwww

**１３２人目の素数さん** · 2019/07/04(木) 13:14:59.23

俺は数学できないけどIUTやってみた。

したがって、”教授のメンツとそれらから定まる予算の計算の仕組み”を保つものが存在すれば、所望の研究所が得られるはずだということです。

**１３２人目の素数さん** · 2019/07/04(木) 13:39:25.72

STOP　IUT　はありま～す

**１３２人目の素数さん** · 2019/07/04(木) 13:44:36.47

身内評価永久機関の試み

**１３２人目の素数さん** · 2019/07/04(木) 14:14:34.42

>>958 要は本人も単なるまやかしだと認めているわけだ藁

**１３２人目の素数さん** · 2019/07/04(木) 14:40:29.79

ことここに至ればもう何らかのハードランディングしか残ってなさげ

**１３２人目の素数さん** · 2019/07/04(木) 14:46:22.23

大理論、難解、真偽判定には時間がかかると銘打って
取り巻き連で結託すれば人事予算とやりたい放題になるという悪しき前例を作ってしまったよね、r*msは。
慎重に判断すべきと煙に巻くのに、この手の話に勇み足なのはなんでだろう

**１３２人目の素数さん** · 2019/07/04(木) 15:44:32.78

完成してないのがわかってるからアクセプト➡
予算獲得➡優秀な人材を多数確保➡拡張と
確定を狙ったんだろう

**１３２人目の素数さん** · 2019/07/04(木) 15:50:54.08

姑息だよね～
>>959 特定助教や特定研究員とはいっても採用に際して現状の指摘事項に
対するレポートや多少の質疑応答は必須だよねえ

**１３２人目の素数さん** · 2019/07/04(木) 16:43:07.71

>>966
それでご本尊や取り巻き連中がダンマリ戦法なのか

**１３２人目の素数さん** · 2019/07/04(木) 16:52:01.94

だったら何なんだよ、お前らは女性が化粧してたら怒り出すのか

**１３２人目の素数さん** · 2019/07/04(木) 16:59:29.02

誰か意訳して

**１３２人目の素数さん** · 2019/07/04(木) 17:40:28.51

ここは鮮人が多過ぎる。
組織的な書き込みのよう。

**１３２人目の素数さん** · 2019/07/04(木) 18:06:50.80

もういい加減次スレ建てるのやめようぜ
オーバードクターの鬱憤晴らしの場になっているだけ

**１３２人目の素数さん** · 2019/07/04(木) 19:08:01.46

出鱈目な内容のIUTへ毅然とした姿勢で
対応しノーと発信すべき。
このスレで大切なことは

記録に残す

**１３２人目の素数さん** · 2019/07/04(木) 19:20:04.64

もし誤りだったら前代未聞の稀有なハプニングなので、単なるストレス発散の叩きと片付けるのは無理がある
どうせ今年度が山なら適当に行っちゃっていいんじゃないか。落ちないし

**１３２人目の素数さん** · 2019/07/04(木) 22:06:13.01

朝日スッパ抜きといい、誰かが入れ知恵してるのはまず間違いないからな。
とうの昔に被害妄想や批判者へのレッテルばりで片付けられる問題じゃないわ。

**１３２人目の素数さん** · 2019/07/05(金) 08:53:27.78

朝日すっぱ抜きのおかげで予算が付いて人員も増えるってウハウハだもんな

**１３２人目の素数さん** · 2019/07/05(金) 14:27:29.18

F藁先生はIUTをどう評価しているのか、ご存知の方はいますか？
面識のある方はちょっと尋ねてみてください。

**１３２人目の素数さん** · 2019/07/05(金) 14:55:44.95

遺伝的アルゴリズムが近いってのに異論はないんだけど、もっと近い感じだと
「遺伝情報理論的遠アーベル幾何学」って感じだねw　凄くしっくり来る
たまたま情報理論めくっててそう思ったよ。宇宙際の理屈もそうだけど、雰囲気は情報科学っぽいね。雰囲気は

**１３２人目の素数さん** · 2019/07/05(金) 20:43:02.58

>>977
さては知ってて、あえて訊いてるだろ

**１３２人目の素数さん** · 2019/07/05(金) 23:07:14.93

次スレ

Inter-universal geometry と ABC予想 40
https://rio2016.5ch.net/test/read.cgi/math/1562335430

**１３２人目の素数さん** · 2019/07/05(金) 23:21:24.35

>>978
望月がループ式入れ子宇宙を作ろうと考えた時、“simulate ∈-loops”から最初は基礎の公理に違反すると考え、
恐らくですが、anti-foundation axiomsやNon-well-founded set theoryを考えたのだろうと思うのですよ
つまり、最初期の発想は計算機科学者のそれにかなり近い
これは、IUT構想初期の講演原稿から読み取れます。その時点でラベルの使用も考えています

しかし、さすがに基礎の公理に反するのはマズいと考えて、種と突然変異を持ち出したのでしょうね
で、そのような宇宙はどうやって成立するかと考えて出来たのが充満多重同型であり、それをどうやって構成するのかというのが
単遠アーベル的復元/構成です(実際は手続きであり復元可能性であるので、クンマー理論とくっつける必要がある)
さらに、充満多重同型のようなフラフラしたヌエ的な同型（もどき）にはラベルが「必要とされる」と

ロバーツがMOで意味深なことを書いていましたね。望月は圏論をやってないし、高次圏も使ってないとしたうえで、
ttps://mathoverflow.net/questions/331349/anabelian-geometry-higher-category-theory
＞Just because a computer scientist uses natural numbers, it doesn't mean they are doing number theory.

ロバーツもIUTの動機付けや理論構築過程をよく分かっているのでしょう
遠アーベルの専門家じゃないヤツに用はない、と邪険に扱われていましたが・・・

**１３２人目の素数さん** · 2019/07/05(金) 23:22:17.77

>>980
スレ立て、乙です

**１３２人目の素数さん** · 2019/07/05(金) 23:37:16.33

上でロバーツの一文についての補足なんですが、もちろん、
「望月が圏論の概念を（部分的に）使っているからと言って、彼が圏論をやっているわけではない」という意味です
リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね
まあ、私の深読みだと思うのですが・・・

**１３２人目の素数さん** · 2019/07/06(土) 00:58:55.79

>>979 kwsk

**１３２人目の素数さん** · 2019/07/06(土) 09:17:02.47

専門を考えたら、単遠アーベル的復元/構成から、
先に考えてたのじゃないの？

**１３２人目の素数さん** · 2019/07/06(土) 15:51:42.23

結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁

**１３２人目の素数さん** · 2019/07/06(土) 16:01:31.87

>>986
査読してても長大な技術的な論文で結果が間違っていると直感しても
間違いを指摘できないことはありますからね
やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし

（事情があって）さっさとrejectできない場合は辛い

**１３２人目の素数さん** · 2019/07/06(土) 16:56:47.74

取り巻きとつるんで開き直って広告活動や政治工作打たれたりするとなおさらね。
もう痛みを伴う手荒な解決しか残されていないと自分はおもっています。
慎重に判断すべき、理解には時間がかかると煙に巻く癖に、予算や人事の権力闘争には勇み足、すべてこれが真実を物語っているのだと思います。
R*msがいつ引導を渡すのか、注目ですね。
2020に多額の税金をつぎ込んだ大規模プロジェクトがあるわけで、
当然その分の説明責任と成果に対する責任があるわけだから、そこが一つの転換期となるでしょう。
ここで詰め間違えたらR*msは数学界や日本国民からの信用を大きく失い失望させることになるでしょう。

**１３２人目の素数さん** · 2019/07/06(土) 17:02:07.79

>>988
多額wwんな規模じゃねーよww

**１３２人目の素数さん** · 2019/07/06(土) 17:09:47.08

方向やアイデアはある種自然で正しい(とも思える)
ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる
だから遠回りでも望月か周辺が基礎付けをやるしかない

**１３２人目の素数さん** · 2019/07/06(土) 17:47:23.95

IUT論文を取り下げ書き直して再提出するべき、と言われてきたのにさ。
「修正」の上書きを繰り返しているうちに
外堀が埋まった感じがする。
圏論のこの点を指摘されたら更にどうなんだろ？と何となくわかるようになったw

**１３２人目の素数さん** · 2019/07/06(土) 18:04:16.97

>>655
　　　　　／/ 1　　. {. . .ヽ. . ヽ. . ',. .ヽヽ
　　　　/ .:/　ﾊ: :!: :.:ﾄ､:.:. :＼:...l:.. :}: : |_⊥ 、
　　　 j　. {: .:{ :l､:l､: :.ﾄ-ヽ､_:..｀ヽ､j__イ_つノ
　　　 l 1:ﾊ.::{ゝl=くヽ:.ヽ　ﾄｨjr}Tｧ┬ァ:.:´|
　　　 |ハ :ヽlｧ{ﾄｨrj　＼i　ｰ_'っ /:.ｲ-､:｡:|
　　　　　ヽ｡ﾊ^rぅ'　丶　｀　　ノ', く } }:.olﾟ o
　　　　。　｀ﾊ｡　　{ｧ´ヽ　　　 ,ｰ o':.へl　お客様の中にIUTを修正できる方は
　　　　　ﾟ　´ﾉi＼　　ー'　　　ィ:;:.ｨ/|/ﾟ。　いらっしゃいませんか？？
　　。 o　｡　ﾟﾊﾍ;:＞ｰ--＜_rv〈､_
　　　　　　　　 /￣ヽ＼/ll　 }l}｀'^'ﾄ､
　　　　　　 /　　　::Y77l　 j l　　 !_｀７
　　　　　　　 l,　---::､〉 jl　　l　　　ハゝ-i
　　　　　　　ヽ　　　　Vi　　 }　　,' ﾉ, ｰ_ヽ
　　　　　　　 }　 , -‐ｧl　　ノ　　/　ﾚ´,.- j
　　　　　　　　j イ　　 !l ／　　 /　　ﾊ -,.く!

**１３２人目の素数さん** · 2019/07/06(土) 18:49:16.01

この飛行機に
単遠アーベルを直せる客は、乗ってません　orz

**１３２人目の素数さん** · 2019/07/06(土) 18:53:56.27

無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん

**１３２人目の素数さん** · 2019/07/06(土) 18:59:08.79

ダメなの！
死にそうだから●●を教えて！　　お・ね・が・い

**１３２人目の素数さん** · 2019/07/06(土) 21:00:30.51

結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ

**１３２人目の素数さん** · 2019/07/06(土) 21:35:50.04

>>981
実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、
これは個人的には、存在論的には確かに面白い性質にはなっていると思います
ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている
それを通じて任意の宇宙は別の宇宙を内部から解釈することができる

それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、
直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、
同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない
ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね

どちらかというと、狙い通りにするための強引な構成と、色々な要素をぶっこんで万能感を満たしたい欲求が
見て取れるような気はしますけどね、意地悪かもしれませんが

>>996
というか、それまで真剣に読んでた人がどれだけいたのかもよくわからんからね
ショルツはディオファントス幾何が専門ではないのにさすが勉強熱心だった

**１３２人目の素数さん** · 2019/07/06(土) 21:37:42.77

↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です
つまり単なる印象で具体的なエビデンスの話ではない

**１３２人目の素数さん** · 2019/07/06(土) 22:23:23.41

SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、
スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事
おおざっぱに言えば結局「同じ素材」でできているものだが、そこで全域定義されているはずの写像が何故
精妙な非同型として区別された非自明な特異性を持ちうるのか？
フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない
かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない
色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ

**１３２人目の素数さん** · 2019/07/06(土) 22:23:52.66

>IUTでは圏論的な普遍性というのは階層性
の見方次第で縛りではなくなるのかもしれない

トンデモかも？

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 38日 3時間 6分 0秒

**1002** · Over 1000

5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。

───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。

▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/

▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php