探検

Inter-universal geometry と ABC予想 40

■ このスレッドは過去ログ倉庫に格納されています
1１３２人目の素数さん
垢版 |
2019/07/05(金) 23:03:50.36ID:2LcLaaDX
IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ Inter-universal geometry と ABC予想 39
https://rio2016.5ch.net/test/read.cgi/math/1559125072/
2019/07/12(金) 20:27:03.00ID:uX+ICSER
B先生が誤りは見つからないっていったんだもん
がんばれば研究室で面倒見るっていったんだもん
82１３２人目の素数さん
垢版 |
2019/07/12(金) 20:52:47.29ID:aApBTvF9
山下剛はなんでアキバ系から文豪系に変わってしまったの？
2019/07/12(金) 21:22:19.71ID:H6MCoahp
>>77
ああそれはその話ね。Higherといっても別にn階に上げてくって話ではないわけで、要は
どうやって宇宙のループとか入れ子が成り立っているのか、或いは正しいのかということだな
群のアルゴリズムの射を通じてある意味バーチャルに、宇宙に別の宇宙の情報を埋め込んだ関係になっている
「射」はある意味何でもありだから、厳密には関手とも違うがそういう射を考えたというわけだ

そういう話は数学的な存在論としては不可能ではないが（スキームのメタ言語として）、
かといってSSがそういう話をしているとか、この宇宙際メタ言語がそれへの反論になってるとは全く
前スレでは書いてない。圏とZFCでIUTの議論はできる、というだけ。宇宙の作り方は選択公理だけではなくて
特殊な射を考えるというもの　　

かといってSSが実質的に指摘した、実多様体からスキームへのテータ写像が大域自明であるという問題が
解消されるわけではない。本当は数論的な局所体に特異に埋め込みたかったわけだ
2019/07/12(金) 21:36:00.60ID:H6MCoahp
ちなみに不定性っていうのは、つまりは厳密に言うと点集合の連続写像を扱ってるわけではない
このテータ写像ってのはIUTからしたら古典幾何学的な写像ではないが、これも射ならもっと柔軟に扱えるから
問題ないという認識だな
ただだからといってSSの指摘をクリアしているのかはまた別の問題だし、
あまりにも自由な射の使い方をしていて、圏論の概念を使ってはいるが圏論の原理には反するのではないか、
というのが圏論研究者からの指摘になっている
2019/07/12(金) 21:42:02.19ID:Yd7KplMK
3.5.7と1.2.3.5では性質が異なる
2019/07/12(金) 21:43:53.69ID:mz4x94ZB
「ぜんぜん違うじゃん！」
「……」
「言ったよね！？ ABC証明できるすごい大理論作ったって…なのに、この結果は何！」
「当然の結果です」
「当然？ひどいよ、なんで…私が次世代幾何学研究のリーダーだったから？
　もういいよ、私、数学やめる！」
2019/07/13(土) 00:43:25.55ID:DQB8EsrD
>>86
面白くもなんともない
空気読めなくて周りをしらけさせるタイプが頑張って作文しましたって感じ
88１３２人目の素数さん
垢版 |
2019/07/13(土) 07:57:59.47ID:wkQftxaU
公式でない訪問や投稿しないレポートをする手順でなく、
集会にSTIXを招待して提起される様々な議事をオープンに論じるのだろ。
2019/07/13(土) 08:29:53.47ID:3aLQWVjP
想像でものを言ってもなあ
90１３２人目の素数さん
垢版 |
2019/07/13(土) 14:43:55.73ID:Bh+sWIWa
読みにくく長すぎる論文を書き直したほうがいいんじゃない？
2019/07/13(土) 16:51:24.71ID:RIbPriC5
>>87
そういうコメントするとブーメランにもなっちゃうけどなw
2019/07/13(土) 17:01:44.51ID:mkF9c91b
>>90
それができないからぐだぐだ7年たったんだろう
御大ができなきゃ取り巻きが解説書けばいいがそれもいい加減
93１３２人目の素数さん
垢版 |
2019/07/13(土) 20:45:04.87ID:x1cX5qzt
>>90
スッキリ書き直したら、
IUT形式主義の内容が空っぽとバレてしまう
94１３２人目の素数さん
垢版 |
2019/07/14(日) 00:40:41.29ID:iXPoGvCe
「空気読めなくて周りをしらけさせるタイプが頑張って作文しました」って
もっちーの論文のことか・・・
本人も実はネタのつもりだったとのにえらく話題になっちゃって(≧∀≦)とか
95１３２人目の素数さん
垢版 |
2019/07/14(日) 01:20:11.30ID:O6Rkqsod
ツッコミ待ちのボケレスがやっと突っ込まれたな笑
2019/07/14(日) 05:47:28.01ID:CtyyR0NL
時代は前世代
97１３２人目の素数さん
垢版 |
2019/07/14(日) 08:27:32.22ID:4etOl0bS
バカボンだして教授たちに総スカンくらってユウキに泣きついたってウワサはないよね
2019/07/14(日) 12:35:40.36ID:OPTXtanN
2021は 43 * 47 の形に素因数分解できる唯一の数だから 2021年が山だな。
2019/07/14(日) 12:47:24.98ID:fhMsLO7q
あってる
100１３２人目の素数さん
垢版 |
2019/07/14(日) 14:17:21.77ID:ILOqG2lq
>>98
>43 * 47 の形に素因数分解できる唯一の数

そりゃ唯一だわな。
2019/07/14(日) 14:49:35.91ID:nzjFObnE
>>98
すげー大発見　IUT大勝利じゃん
102１３２人目の素数さん
垢版 |
2019/07/14(日) 16:16:38.08ID:O21PVN3i
死さ×死な で唯一の数
2019/07/14(日) 16:23:39.00ID:AybqPn4N
IUTが駄目だったら2035年くらいまでABC予想解けなさそう。BSDは2030年くらい
2019/07/14(日) 16:43:53.09ID:EZeI/Kch
>>52
マジかよ
2019/07/14(日) 17:20:27.57ID:wthCDThW
山の年がドンドン後ろにずれていく件
2019/07/14(日) 17:31:44.69ID:AybqPn4N
>>52
まさかホモ枕？
107１３２人目の素数さん
垢版 |
2019/07/14(日) 18:26:11.90ID:g9n62ACY
ABCとBSD、どっちが重要？
2019/07/14(日) 18:35:38.19ID:8ZFn6Eb5
鳴り物入りだった次世代なんたらの面子って結局なんだったの
以前の院生のほうがマシかどっこい？
109１３２人目の素数さん
垢版 |
2019/07/14(日) 19:17:51.51ID:nzjFObnE
前世代が最高だった
2019/07/14(日) 21:54:46.39ID:IYYJtEbH
>>107
圧倒的にBSD
2019/07/14(日) 22:03:40.24ID:vXgceALj
>>110
圧倒的にＢＳＥ
112１３２人目の素数さん
垢版 |
2019/07/14(日) 22:15:49.29ID:S17Riwp9
重要性はBSDかもしれないけど、レベルは同じくらい鬼畜だと思う
113１３２人目の素数さん
垢版 |
2019/07/14(日) 23:30:50.02ID:zqEtyPww
いやBSDよかABC予想でしょ　ディオファントス幾何のど真ん中の問題。つまりABCは数論のど真ん中
2019/07/14(日) 23:36:38.19ID:vXgceALj
と、BSDを押し付けられた担当者が責任回避の工作中です
115１３２人目の素数さん
垢版 |
2019/07/15(月) 00:28:02.08ID:Y/zgF7yg
BSDは解決の目処がたったから帰国するんでしょ
凱旋セミナーで記者も集めて解決宣言するよね？
2019/07/15(月) 00:34:55.21ID:ENFH2e6m
　　　　　　　 lヽ ﾉ l　　　　　　　　ｌ l　ｌ ヽ　　 ヽ
　 )'ｰーノ(　 |　|　 | ､　　　　　 / l｜ ｌ　ハヽ　　|ｰ‐''"ｌ
　/　Ｂ　　|　|　|／| ﾊ　　/ / ,/ /|ﾉ /l /　ｌ l ｌ|　ｌ　 Ｄ ヽ
　l 　 ･　　i´ |　ヽ､| |ｒ|| |　//--‐'" 　 ｀'メ､_ｌﾉ| /　 ・　 /
　|　 Ｓ　　l　 トー-トヽ| |ノ　''"´｀　　　ｒｰ-/// |　 Ｖ　｜
　|　 ･　　 |／　　 　 | l ||､　''"""　 j　""''/ | |ヽｌ 　・　｜
　|　 Ｄ 　 |　　 　 　 | l |　ヽ,　 　― 　 ／　| |　ｌ　 Ｄ　 |
　| 　 !!　 |　　 　 /　| | |　　 ` ｰ-‐ ' ´||　,ﾉ| |　|　　!!　｜
ノｰ‐---､,|　 　 /　│ｌ､l　　　　　　 　 |ﾚ' ,ﾉﾉ　ﾉハ､_ノヽ
　/ 　　 　 　 ／　ノ⌒ヾ､　 ヽ　　　 ノハ,　　　 　 |
,/ 　 　　　,イーｆ'´ /´　　＼　| ,／´ ｜ヽl　　　 　 |
　　　　 ／-ト、|　┼―- ､_ヽﾒr'　, -=ｌ''"ハ　　　　|　 ｌ
　　 ,／　 　|　ヽ 　＼　　_,ノｰｆ' ´　　ﾉノ　 ヽ　 　｜　|
､_　　　 _ ‐''ｌ　　`ー‐―''" ⌒'ｰ--‐'´｀ヽ､_ 　　_,ノ　ノ
　 ￣￣　　 |　　　　　　　　　　 ／　 　　　　￣
117１３２人目の素数さん
垢版 |
2019/07/15(月) 00:47:32.30ID:owhyxE/2
帰国って誰の話？
118１３２人目の素数さん
垢版 |
2019/07/15(月) 01:44:14.80ID:0nysrCvl
オックスフォードのキムだよ。
2019/07/15(月) 03:07:54.90ID:c5FPIROQ
>>113
でも、BSDがわかったらその理論はABCに応用できるだろうからなあ
まあラングランズ経由かどうかでも大分話は変わってくるけど
2019/07/15(月) 11:51:10.62ID:QRQarSE6
ABC予想なんて、単なる不等式だ。
構造定理のBSD予想の方が重要に決まっている。
2019/07/15(月) 12:03:41.84ID:kBYcIVmT
勝手に不等式評価にしておいてそもそも証明になってんのかｗｗｗ
122１３２人目の素数さん
垢版 |
2019/07/15(月) 18:39:25.27ID:uZowzFZJ
abc予想はスピロ予想につながるけど、
胡散臭いIUTに絡まれてしまった。
IUTの公認教科書が B本ですw
2019/07/15(月) 22:24:40.47ID:F/AaJ9Wj
根は同じっちゃ同じなんだけど
ハッセヴェイユって非代数幾何学的保型形式と双璧を成して難しいゼータ関数なんだけど
これを研究する方法がわかればアラケロフ理論の一般化、つまりABC予想の手がかりに繋がる
両方共例えばショルツのやってることからもまだ遠いね
2019/07/15(月) 22:32:44.90ID:Dt62IXF8
>>122
だからB本は群論入門書だって言ってるだろう。
2019/07/15(月) 22:53:08.90ID:UdrkytAo
四元数ベクトル解析で分解して不思議物理できてすごいダロー
2019/07/15(月) 22:53:57.44ID:UdrkytAo
がんばれよ。俺はいいや
2019/07/15(月) 22:56:25.06ID:UdrkytAo
ただ、子供の頭はおかしくさせんでくれ
2019/07/15(月) 23:10:16.79ID:UdrkytAo
もうさトラクター乗って米作って配り歩く系の路線考え始めなよ
2019/07/15(月) 23:30:42.16ID:ENFH2e6m
Gも着物からメタルロックとかガテンとかに変えようぜ
2019/07/15(月) 23:43:43.93ID:oCR49JFm
そうそう。2000年に入ってからペレルマンなる実在する人物によって初めて解かれたポアンカレ予想みたいに
二番煎じ三番煎じじゃない目新しい感じ
2019/07/15(月) 23:46:24.34ID:oCR49JFm
ドワンゴは全てを知っている総元締めで決してトラクターイヤイヤに寄生されてない
132１３２人目の素数さん
垢版 |
2019/07/15(月) 23:57:09.50ID:SElNI4Mw
IUTなんかまだやってる奴いるのかｗ
2019/07/16(火) 00:05:18.16ID:j5WS7CAd
ラッセルとアインシュタインはなんであんなに反核運動を協力して必死に？
2019/07/16(火) 00:29:37.33ID:gnrEWVpr
>>133
サイエンスという良きものから人間を万単位で殺傷できる爆弾という悪しきものが生まれたからでしょう
良きものから生まれたものは、すべからく良きものである、というナイーブな信仰が当時はまだ生き残っていたのでしょうね
2019/07/16(火) 01:00:24.89ID:yABy1gHM
アインシュタインは当初に原爆製造をアメリカ政府に進言した一人だしな
そこから反核運動に方針転換したから本気だったろ
原爆の主導者の一人オッペンハイマーも晩年は政府の監視下にあったし

IUTは正しくても間違っててもお気楽で良いよ
136１３２人目の素数さん
垢版 |
2019/07/16(火) 01:52:40.70ID:5t4NC2TR
辻村昇太氏はまだ若いのにもうもっちー理論を理解したのか。将来有望だな。
137１３２人目の素数さん
垢版 |
2019/07/16(火) 04:42:03.48ID:9raU++AJ
>IUTは正しくても間違ってても

iIUTは間違ってすらいない
2019/07/16(火) 05:57:15.00ID:AaDUlbw8
>>136
理解しただけでなく新たな知見も得てるようだからな。
次のポストゲッター最有力候補だろう。
2019/07/16(火) 06:04:07.86ID:MH7UOmIL
>>133-134
原子力という効能は確かにあるでしょう
反戦云々も一理ありますけどｗｗ２当時の延長で肉弾戦が延々と続いてたとしたら・・
現在の小均衡状態も恩恵として容認できるのでは

武器市場としては数兆円以上の効果はあるのでしょう、是非はともかくとしても
140１３２人目の素数さん
垢版 |
2019/07/16(火) 07:26:18.64ID:5t4NC2TR
>>138
もっちーは弟子を育てるのも上手なんかね。
吉田松陰みたいでカッコいい。
2019/07/16(火) 07:28:55.91ID:+6DxDze5
なんにもしてないよね？
2019/07/16(火) 07:38:35.75ID:+6DxDze5
ドワンゴならドワンゴの仕事やればいいんじゃないの？
143１３２人目の素数さん
垢版 |
2019/07/16(火) 09:37:43.45ID:L879U592
>>124
焼肉屋のぐん談義は入門書になりません、
まあ クラインに失礼なこと
2019/07/16(火) 12:25:09.02ID:BE6bM9rE
>>140
星、南出、辻村とIUTを後世に伝える若手をうまく育ててるね
2019/07/16(火) 12:42:57.52ID:rE13/ODY
そのまま人生終わっちゃうんだから捨てれば？
数学科も文化祭無関係なやつで出店するようにすればいいじゃん
そういうのがよろしくないからヴェイユとかは川飛び込ませたんじゃなかったの？
ヴェイユよく知らんがそういう系の伝統は？
146１３２人目の素数さん
垢版 |
2019/07/16(火) 12:58:00.77ID:5t4NC2TR
>>144
ヤン・ユー氏はどうなんですか？
2019/07/16(火) 13:52:41.13ID:IakrM5s9
辻村ってとんでもなく頭が良いんだな
ここにいるボンクラとは次元が違う
こうした俊英を惹き付ける時点でアホみたいな批判しかないことが分かる
148１３２人目の素数さん
垢版 |
2019/07/16(火) 13:55:46.97ID:gNlNpWyJ
>>147
山下は？
2019/07/16(火) 15:22:24.95ID:8cDSGPve
京大の学部は少子化と東大一強で上位層がスカスカになったと聞くけど優秀な人もいるんですね
150１３２人目の素数さん
垢版 |
2019/07/16(火) 15:37:20.35ID:LRdm7OM6
IUTへダメ出ししたショルツは24で教授になった
2019/07/16(火) 16:24:54.90ID:paAhAKRd
>>147
まだ細かい事もわからないのによくそんな批評ができるな
まさにカルト信者だ
2019/07/16(火) 17:22:35.68ID:WfNKCeBU
なんか戻すとかそういうのでしょたぶん
別にどうでもよくなったやつとかいるだろうし
行き掛かり上言っておいた方があとでなんで言ってくれなかった
とかグジグジ言われなくて済むし
2019/07/16(火) 17:23:32.03ID:paAhAKRd
ちょいちょい糖質がいるな
学術とかいう奴か
2019/07/16(火) 17:34:20.57ID:WfNKCeBU
そんな変な反応しているのにそのままやろうとするし
AIじゃなかったらなんでそんな変な対応すんのよ
そんな重大だったらちゃんと整えてから出せばいいじゃん
2019/07/16(火) 17:43:16.33ID:WfNKCeBU
プラスチックとかも俺的には人力でとるべきだと思うんだが
2019/07/16(火) 18:07:20.35ID:WfNKCeBU
青年少年自然の家に泊まって翌日ルンバ稼働しているからそのまま帰っていいですという
学校の合宿は普通通らんだろ。本当にやるならそういうところからやるべきだよ
PTAの会合に出てってルンバの方がキレイになるんですって力説させてくればいいんだって
157１３２人目の素数さん
垢版 |
2019/07/16(火) 19:38:29.15ID:Dp2Ct2wP
>>150
Scholzeは世界中に恥を晒して引きこもりになったよ。
2019/07/16(火) 19:47:05.43ID:AaDUlbw8
リムスでデュプイとルパージュに出会ったよ
2019/07/16(火) 19:49:18.48ID:qO7aL5az
俺は最初からひきこもりだよ
2019/07/16(火) 20:06:43.44ID:aipC83YN
自称優秀な院生が自演と工作を繰り返すスレ
161１３２人目の素数さん
垢版 |
2019/07/16(火) 20:08:47.14ID:SB5sAEvi
>>157
wiki IUT

One issue with Mochizuki's arguments,
which he acknowledges, is that it does not
seem possible to get intermediate results
in his proof of abc using IUT.
In other words, there is no smaller subset of
his arguments more easily amenable to
an analysis by outside experts, which would
yield a new result in Diophantine geometries.

Vesselin Dimitrov extracted from Mochizuki's
arguments a proof of a quantitative result on
abc, which could in principle give a refutation of
the proof.
2019/07/16(火) 21:13:30.22ID:uNQg0Yj/
自己客観視できないで自画自賛、まさに末期の大日本帝国
2019/07/16(火) 21:44:39.16ID:Zzhya23C
第二次大戦は美術専攻だったヒトラーの美術作品とみるべきだと思う
壮大な動員をかけた舞台劇。日本は乗っかって抗争してたんじゃね。
だからつまらない抗争ふっかけるだけで戦争が起こると思い込んでいるように見える。
たぶん戦争起こすノウハウは持ってないんじゃない？
2019/07/16(火) 21:47:24.63ID:Zzhya23C
分離派とクローチェの影響は受けている。他はまだわかんね
165１３２人目の素数さん
垢版 |
2019/07/16(火) 21:47:52.46ID:FziXb7am
Yang Yu 氏は？
2019/07/16(火) 22:24:02.52ID:+6DxDze5
ああごめん。やっぱり本捨てるのもったいないから暇見て時間かけて読んでいくと思う。
つまり自分にもできないことを他人に言ってみた案件
2019/07/16(火) 23:56:16.46ID:FcTHYvWo
なんでここの人は
金儲けを下に見てるの？
2019/07/16(火) 23:57:50.52ID:FPoMvVNQ
著者のギミックを看破できんやつがいくらみても無駄
正確さを売りにしとるやつならともかく
169１３２人目の素数さん
垢版 |
2019/07/17(水) 00:02:01.98ID:kU8cNkGL
>>157
あちゃー
170１３２人目の素数さん
垢版 |
2019/07/17(水) 00:13:32.08ID:cU7012Nb
>>167
数学という名のでっちあげで受給している生活保護者だからだよ
171１３２人目の素数さん
垢版 |
2019/07/17(水) 00:50:35.65ID:PpxyNMXF
そもそも金儲け云々ってどっから出てきた話だよ？糖質？
2019/07/17(水) 04:27:56.43ID:+H1VG/1N
詩人と呼んで欲しい
173１３２人目の素数さん
垢版 |
2019/07/17(水) 07:26:47.12ID:WRXq96kq
>>169
英語を読めるなら
× >157 ◎ >161
2019/07/17(水) 07:39:23.59ID:iqHjzUXg
全然関係ないけど佐野岳人って人、プログラマーから子育てしながら34で東大博士課程入ったっての凄いね
何が凄いって、研究したいテーマとか特に無かったのに修士に行って更に会社やめて今年博士に進んだこと
何らかの数学的主題が強い内発的動機だったのではなく、何となく数学したくなってそこまで行くのが凄いw
2019/07/17(水) 07:41:45.02ID:iqHjzUXg
クイズの自称IQ165とかいう鶴崎君も東大修士課程だよね
是非IUT要員にしたらいいね
176１３２人目の素数さん
垢版 |
2019/07/17(水) 07:47:56.93ID:WRXq96kq
IUTはSTAPの数学版だからね
2019/07/17(水) 07:53:03.30ID:bITztufo
詰まるところ整数の二分割問題ってこと
検証したけりゃ三分割で理論が成立するかどうかやってみればいい
178１３２人目の素数さん
垢版 |
2019/07/17(水) 08:05:00.29ID:WRXq96kq
まず
IUTは証明のプログラムで成り立つか どうか
やればよいね、
アセンブリ言語に対応させてね。
次にCoqだな
2019/07/17(水) 12:30:17.62ID:yV61YZIK
数学科は数学で単科にしているから就職でも困るし、
応用対象に思い入れが無いからあんなひどいこともできる。
工学部とかの一分科にすればいいんだよ計算機使い続けるんなら。
純粋数学なんてもう無理というかそもそもなかったんじゃん。
「純粋数学やってます」っていったら結局仲間内でもばかにしてたんじゃね？
2019/07/17(水) 12:52:15.13ID:yV61YZIK
圏論、束論はそれはそれで暇つぶしになって面白かったのに。
既存の応用がどうだとかその時点で知るかよ。
2019/07/17(水) 16:48:02.97ID:jLNpnIWi
まあ賢いヤシはタオみたいな反応するよな
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況