探検


Inter-universal geometry と ABC予想 40

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
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/10(水) 17:59:24.68ID:XIp7i+qi
>>66
ギブアップしてない
68132人目の素数さん
垢版 |
2019/07/10(水) 19:17:02.63ID:+Njbp1qO
>>65
スペンサー=ブラウンの件は 興味深いですね。
2019/07/10(水) 20:01:08.33ID:is/WrUe6
スペンサー・ブラウン
http://www.math.tohoku.ac.jp/~kuroki/SB/
2019/07/10(水) 20:52:43.56ID:uIxgxS4v
wikipedia が「...その際、バートランド・ラッセル、ウィトゲンシュタインと面識を持つ。」とか
始まってる時点で、数学者のイントロじゃないわな
2019/07/10(水) 22:17:06.35ID:INAU+8i3
実はただのブーリアンなところがいいところだろ
72132人目の素数さん
垢版 |
2019/07/11(木) 05:50:32.50ID:Ars3Kum0
>>55
SSレポートが、無限を使用する排中律ということで落ち着いてきたなら、
その後は遠アーベルでStixが意見して、Scholzeはcc:なのでは?

来年RIMS初回集会のStixの招待講演までと、その後がヤマなのかな。
73132人目の素数さん
垢版 |
2019/07/11(木) 07:31:56.25ID:Zv3clUMe
SSレポートは問題提起だね
圏論から見て充満多重同型とラベルの位置づけ
はどうなの?
74132人目の素数さん
垢版 |
2019/07/11(木) 11:12:46.52ID:Zv3clUMe
>SSレポートが、無限を使用する排中律という
こと

ソースは具体的にどこですか?
2019/07/11(木) 16:41:42.20ID:xF2apFDw
ごめん、無限を使用する拝中律ってことで落ち着いてきたってどういう意味?
76132人目の素数さん
垢版 |
2019/07/12(金) 07:16:13.26ID:2FH9CSIo
>>74
>>8
前スレ997-1000の流れのレス。

>>73
前スレ997で、ラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという感じに落ち着きましたね、
ってあるけど。

>>73
グロタンディーク宇宙での階層になりますが、
リンクを略してもRockで貼れなかった(檜山正幸+あなたはこの公理を信じますか、でググる) では、
檜山氏が引用した、Paul Blain Levyのarxiv.org/abs/1801.08528の論文とか、
えらーい困難ありそう。
77132人目の素数さん
垢版 |
2019/07/12(金) 13:19:14.65ID:L+WV24lD
>>76
ありがとうございます。
>>8の詳しい説明を待ちます。

前スレ 997 998では
ラベルによる種の管理はHigherだから
構わない、
FZCと矛盾しない感じに落ち着いた
=単なる印象で具体的なエビデンス
の話ではない

ふんいきで落ち着いたんですね。

Levy論文を読んでみます。
https://arxiv.org/abs/1801.08528
78132人目の素数さん
垢版 |
2019/07/12(金) 15:30:45.29ID:8BAttn9q
擁護派の自演
79132人目の素数さん
垢版 |
2019/07/12(金) 19:30:17.83ID:qInvH3oC
テレビみてたら

江戸時代 ⚪⚪亭にて

「お代官さま おやくそくは?」
「詭弁やとかわらやもいるか
それそれ内密にな
民はかわら版を読んで浮かれておる
そちら ようやった」
「お代官さま
カネがないが 借りたカネに利息つくから
カネがない< カネがない 」
「 かわらや ぼろ儲けじゃのう
詭弁や 弁がたつのう
カネがない カネがない カネがない、、
と反復していると なんでもありの
奇異な世界からカネが湧いてくるとは、、
うむ そちらは 悪じゃ おおワルじゃ」
「いえいえ お代官さまのお知恵を拝借した
だけですわ」

「 お代官さま
ふとどきものが乱入してきました」
「えい 頭がたかい、
この紋所が目に入らぬか?
このお方をなんと心得る
先の副将軍 におわせられるぞ」
「 詭弁をつかい民をたぶらかし私欲に走り
悪事をはたらくとは許しませんぞ
お代官、お家 取り潰しじゃ」

「悪代官と取り巻きをのこらず
ひっ捕らえよ」
「 ははぁ」

問い
水戸黄門物語 →IUTの辞書を完成せよ
例 ご印籠→フィールズ賞 受賞
80132人目の素数さん
垢版 |
2019/07/12(金) 19:59:28.81ID:WChM+tLo
オボカタの時と違って関係者や隠蔽の時系列が明確だろうから糾弾される時はキツイだろうな
2019/07/12(金) 20:27:03.00ID:uX+ICSER
B先生が誤りは見つからないっていったんだもん
がんばれば研究室で面倒見るっていったんだもん
82132人目の素数さん
垢版 |
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
面白くもなんともない
空気読めなくて周りをしらけさせるタイプが頑張って作文しましたって感じ
88132人目の素数さん
垢版 |
2019/07/13(土) 07:57:59.47ID:wkQftxaU
公式でない訪問や投稿しないレポートをする手順でなく、
集会にSTIXを招待して提起される様々な議事をオープンに論じるのだろ。
2019/07/13(土) 08:29:53.47ID:3aLQWVjP
想像でものを言ってもなあ
90132人目の素数さん
垢版 |
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年たったんだろう
御大ができなきゃ取り巻きが解説書けばいいがそれもいい加減
93132人目の素数さん
垢版 |
2019/07/13(土) 20:45:04.87ID:x1cX5qzt
>>90
スッキリ書き直したら、
IUT形式主義の内容が空っぽとバレてしまう
94132人目の素数さん
垢版 |
2019/07/14(日) 00:40:41.29ID:iXPoGvCe
「空気読めなくて周りをしらけさせるタイプが頑張って作文しました」って
もっちーの論文のことか・・・
本人も実はネタのつもりだったとのにえらく話題になっちゃって(≧∀≦)とか
95132人目の素数さん
垢版 |
2019/07/14(日) 01:20:11.30ID:O6Rkqsod
ツッコミ待ちのボケレスがやっと突っ込まれたな笑
2019/07/14(日) 05:47:28.01ID:CtyyR0NL
時代は前世代
97132人目の素数さん
垢版 |
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
あってる
100132人目の素数さん
垢版 |
2019/07/14(日) 14:17:21.77ID:ILOqG2lq
>>98
>43 * 47 の形に素因数分解できる唯一の数

そりゃ唯一だわな。
2019/07/14(日) 14:49:35.91ID:nzjFObnE
>>98
すげー大発見 IUT大勝利じゃん
102132人目の素数さん
垢版 |
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
まさかホモ枕?
107132人目の素数さん
垢版 |
2019/07/14(日) 18:26:11.90ID:g9n62ACY
ABCとBSD、どっちが重要?
2019/07/14(日) 18:35:38.19ID:8ZFn6Eb5
鳴り物入りだった次世代なんたらの面子って結局なんだったの
以前の院生のほうがマシかどっこい?
109132人目の素数さん
垢版 |
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
圧倒的にBSE
112132人目の素数さん
垢版 |
2019/07/14(日) 22:15:49.29ID:S17Riwp9
重要性はBSDかもしれないけど、レベルは同じくらい鬼畜だと思う
113132人目の素数さん
垢版 |
2019/07/14(日) 23:30:50.02ID:zqEtyPww
いやBSDよかABC予想でしょ ディオファントス幾何のど真ん中の問題。つまりABCは数論のど真ん中
2019/07/14(日) 23:36:38.19ID:vXgceALj
と、BSDを押し付けられた担当者が責任回避の工作中です
115132人目の素数さん
垢版 |
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 ハヽ  |ー‐''"l
 / B  | | |/| ハ  / / ,/ /|ノ /l / l l l| l  D ヽ
 l   ・  i´ | ヽ、| |r|| | //--‐'"   `'メ、_lノ| /  ・  /
 |  S  l  トー-トヽ| |ノ ''"´`   rー-/// |  V |
 |  ・   |/     | l ||、 ''"""  j ""''/ | |ヽl  ・ |
 |  D   |       | l | ヽ,   ―   / | | l  D  |
 |   !!  |     / | | |   ` ー-‐ ' ´|| ,ノ| | |  !! |
ノー‐---、,|    / │l、l         |レ' ,ノノ ノハ、_ノヽ
 /        / ノ⌒ヾ、  ヽ    ノハ,      |
,/      ,イーf'´ /´  \ | ,/´ |ヽl      |
     /-ト、| ┼―- 、_ヽメr' , -=l''"ハ    |  l
   ,/   | ヽ  \  _,ノーf' ´  ノノ  ヽ   | |
、_    _ ‐''l  `ー‐―''" ⌒'ー--‐'´`ヽ、_   _,ノ ノ
   ̄ ̄   |           /       ̄
117132人目の素数さん
垢版 |
2019/07/15(月) 00:47:32.30ID:owhyxE/2
帰国って誰の話?
118132人目の素数さん
垢版 |
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
勝手に不等式評価にしておいてそもそも証明になってんのかwww
122132人目の素数さん
垢版 |
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
ドワンゴは全てを知っている総元締めで決してトラクターイヤイヤに寄生されてない
132132人目の素数さん
垢版 |
2019/07/15(月) 23:57:09.50ID:SElNI4Mw
IUTなんかまだやってる奴いるのかw
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は正しくても間違っててもお気楽で良いよ
136132人目の素数さん
垢版 |
2019/07/16(火) 01:52:40.70ID:5t4NC2TR
辻村昇太氏はまだ若いのにもうもっちー理論を理解したのか。将来有望だな。
137132人目の素数さん
垢版 |
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
原子力という効能は確かにあるでしょう
反戦云々も一理ありますけどww2当時の延長で肉弾戦が延々と続いてたとしたら・・
現在の小均衡状態も恩恵として容認できるのでは

武器市場としては数兆円以上の効果はあるのでしょう、是非はともかくとしても
140132人目の素数さん
垢版 |
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
ドワンゴならドワンゴの仕事やればいいんじゃないの?
143132人目の素数さん
垢版 |
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
そのまま人生終わっちゃうんだから捨てれば?
数学科も文化祭無関係なやつで出店するようにすればいいじゃん
そういうのがよろしくないからヴェイユとかは川飛び込ませたんじゃなかったの?
ヴェイユよく知らんがそういう系の伝統は?
146132人目の素数さん
垢版 |
2019/07/16(火) 12:58:00.77ID:5t4NC2TR
>>144
ヤン・ユー氏はどうなんですか?
2019/07/16(火) 13:52:41.13ID:IakrM5s9
辻村ってとんでもなく頭が良いんだな
ここにいるボンクラとは次元が違う
こうした俊英を惹き付ける時点でアホみたいな批判しかないことが分かる
148132人目の素数さん
垢版 |
2019/07/16(火) 13:55:46.97ID:gNlNpWyJ
>>147
山下は?
2019/07/16(火) 15:22:24.95ID:8cDSGPve
京大の学部は少子化と東大一強で上位層がスカスカになったと聞くけど優秀な人もいるんですね
150132人目の素数さん
垢版 |
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の会合に出てってルンバの方がキレイになるんですって力説させてくればいいんだって
157132人目の素数さん
垢版 |
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
自称優秀な院生が自演と工作を繰り返すスレ
161132人目の素数さん
垢版 |
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
分離派とクローチェの影響は受けている。他はまだわかんね
165132人目の素数さん
垢版 |
2019/07/16(火) 21:47:52.46ID:FziXb7am
Yang Yu 氏は?
2019/07/16(火) 22:24:02.52ID:+6DxDze5
ああごめん。やっぱり本捨てるのもったいないから暇見て時間かけて読んでいくと思う。
つまり自分にもできないことを他人に言ってみた案件
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況