Inter-universal geometry と ABC予想 38

1 名前：１３２人目の素数さん mailto:sage [2019/04/27(土) 20:24:49.26 ID:gcKUmYRM.net] IU幾何やABC予想に関する会話のサロンとして使って下さい。 荒らしはご遠慮願います。 前スレ Inter-universal geometry と ABC予想 37 https://rio2016.5ch.net/test/read.cgi/math/1552141221/ 201 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 00:53:01.22 ID:HirYsHAr.net] >>184 失笑もんだろう、それは なら出してショルツらを納得させれば済む話であって、水面下ではどんどん進んでるとかドヤられてもね それこそあなたが公的に解説したらいいのでは？ 202 名前：１３２人目の素数さん [2019/05/02(木) 01:18:03.41 ID:XEl/Dv7j.net] Elkiesもびっくりだろな。 203 名前：１３２人目の素数さん [2019/05/02(木) 01:35:32.64 ID:hJKKOS5C.net] 792１３２人目の素数さん2018/09/22(土) 08:16:54.37ID:lo6LF9pY ABCの推測は、次に、楕円曲線に関連する2つの量の間の特定の不等式を証明するまで沸騰します。 Mochizukiの作品は、この不平等を2つのセットの量を比較するものと考えることができる、別の形に変換します。結論3.12は、Mochizukiが この新しい不平等の証拠を提示する場所であり、真実であれば、 abcの推測を証明する。 ScholzeとStixの説明のように、 2つのセットのボリュームを 2つの異なるコピーの実数で見ることが証明され、 実数の6つの異なるコピーからなる円の一部として表現され、 マッピングとともにそれぞれのコピーがサークルに沿った隣人にどのように関係しているかを説明しています。 セットの量がどのように関係しているかを把握するためには、 1つのコピーの体積測定値が他のコピーの測定値とどのように関係しているかを理解する必要があります。 「あなたが2つの不等式を持っていても、計測棒があなたが制御できない要素によって縮小されていれば、 不平等が実際に意味することをコントロールできなくなる」とStixは言った。 ScholzeとStixが信じていることは、事態が間違っているという議論のこの重要な点です。 望月のマッピングでは、測定棒は互いに局所的に適合する。 しかし、あなたが周りを回るとき、Stixは言った、あなたは別の方法の周りに行っていた場合とは違って見える測定棒で終わる。 状況は、彼が言った、エッシャーの有名な巻上げ階段に似ています。登ると登るだけで、どこかで始まりました。 体積測定におけるこの非互換性は、 結果として生じる不等式が間違った量の間であることを意味し、 ScholzeとStixは主張する。音量の測定値が世界的に適合するように調整すると、不平等は無意味になります。 204 名前：１３２人目の素数さん [2019/05/02(木) 03:07:03.02 ID:ytz9W+pf.net] >>158 >賞賛本読んだだけ しかも、素因数分解の話や群論の解説は飛ばし読みしてたりするんだよなw 205 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 03:47:07.63 ID:miInB/Rw.net] ABC不等式の定数を明示的に、厳密かつ理解可能な形で出せていたなら 世界中のディオファントス野郎は黙っていないだろう。それこそ大騒ぎになってIUTが再評価されるくらいの出来事になる 現実はどうだ？何の反応もなし ディオファントス幾何の総本山とも言えるIAS研究員の数論研究者たちのほぼ全員がIUTに希望はないと判断しているのが現実 サルナックやラングランズがIUTについてコメントしたのはIUT発表直後だけで、それから音沙汰なし。推して知るべし 206 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 03:55:02.32 ID:lhI2xa0q.net] >>198 お前に情報が行ってないからってムキになんなよ フェセンコのシークレットなセミナーについてなんか意見があるなら言ってみろよ IUTの4編を認めたなら、明示的な数値についての希望が俺には見えたよ 207 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 03:56:46.57 ID:miInB/Rw.net] Kimが検証論文をなかなか出さないのも頷ける おそらく初期にMOやその他の交流サイトで書いたような紹介、太鼓持ちのような書き方はできないだろうし、 望月、SSの論点の相違ぐらいしか書けないだろう どんなにIUTに寄せても、これこれしかじかの箇所の記述を修正すれば〜、みたいにしかならないだろうね 208 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 04:20:49.30 ID:HirYsHAr.net] >>199 つまり、結局は全て本論次第であることは認めるわけね 煽ったりせず普通に話せばいいのにw 209 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 04:23:29.74 ID:HirYsHAr.net] DimitrovもScholzeも公的に出してるわけで、正しいなら優秀なお弟子さんがきっちり世界に発信すれば済む話 別に懐疑的な連中も潰す事が目的ではないからね 210 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 04:40:31.57 ID:lhI2xa0q.net] >>201 煽り口調なのは>>172で、IUT認めても明示的な数値は出ないって大嘘をついたからだよ 211 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 04:46:42.22 ID:NeAJ66HC.net] そういう時はソース出して言ってね 212 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 04:46:58.09 ID:lhI2xa0q.net] >>198と>>172が同一人物かどうかは定かでないけど、偉そうに語るなら虚言をはくべきじゃない 213 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 05:25:27.77 ID:miInB/Rw.net] >>204 IAS研究員の数論研究者云々に関しては ttps://www.reddit.com/r/math/comments/b1r4go/one_year_ago_scholze_and_stix_were_visiting/ で、dalitt（Daniel Littのこと。彼は現在IAS研究員。代数幾何と数論の研究者）が書いている あと、東工大での発表については語るに落ちるので心底どうでもいい シークレットなセミナーについては文字通りシークレットなので私にはまったく分からない 公けにならないと知りようがない。そもそも誰が参加したのかも分からない このスレでの経験上、不毛な議論、罵り合いにしかなりそうもない相手にはNG入れて一切返信しないことにしている あしからず 214 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 05:57:13.95 ID:Wc+zR8yd.net] 溶けないことに首突っ込むレベルでは 215 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 06:25:31.95 ID:8PTZvmNS.net] サルナックだのキムだの誰でも知っている御大あげておけばいいだろって発想が今更すぎってかjinレベルだな 216 名前：１３２人目の素数さん [2019/05/02(木) 06:36:05.67 ID:pDOKL08F.net] 取り巻きの反論がこれでは 217 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 06:57:26.47 ID:hJKKOS5C.net] イギリスのドラッグ事情 https://ameblo.jp/momogenki/entry-10635989818.html 218 名前：１３２人目の素数さん [2019/05/02(木) 07:34:18.32 ID:Yn5WS8dD.net] Kimって人は優秀なのになんでフィールズ賞もらえないの？ 219 名前：１３２人目の素数さん [2019/05/02(木) 08:06:44.08 ID:XEl/Dv7j.net] KimもEffective Mordellを狙ってた。 だから鮮人の僻みがひどい。 山中先生に美味しいところ全部持っていかれたときみたいに。 220 名前：１３２人目の素数さん [2019/05/02(木) 09:19:56.53 ID:P46MvFl/.net] abc予想は 平成に 京都市追分町と特異点で 「解決=証明」された 、との主張があった。 その後 多数にわたり 修正中 221 名前：１３２人目の素数さん [2019/05/02(木) 12:52:56.73 ID:yuUgxpqT.net] その結果、実はさほど 222 名前：重要でないことがわかった　←　ｲﾏｺｺ [] [ここ壊れてます] 223 名前：１３２人目の素数さん [2019/05/02(木) 13:12:26.99 ID:ZZzeYav3.net] もっちー=山中伸弥 Kim=黄禹錫(ファン・ウソク） 224 名前：１３２人目の素数さん [2019/05/02(木) 13:23:23.60 ID:ZZzeYav3.net] Dupuyとフィリピン人Hiladoも "Explicit Computations in IUT"を何かやってる。 AGNT Seminar Rice University April 8, 2019 225 名前：１３２人目の素数さん [2019/05/02(木) 15:07:12.66 ID:pDOKL08F.net] いや、だから明晰的でないから証明できてないって宣言してるようなもの 定数を与えないと他の予想が証明できないんでしょ 226 名前：１３２人目の素数さん [2019/05/02(木) 15:23:44.99 ID:XEl/Dv7j.net] >>217 バカ 227 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 15:42:11.89 ID:pDOKL08F.net] もう出る予想 ｓ^２=(ｘ＋ｙ)(ｘ-ｙ) 228 名前：１３２人目の素数さん [2019/05/02(木) 15:47:11.75 ID:TkmM1qa4.net] >>219 バカ 229 名前：１３２人目の素数さん [2019/05/02(木) 15:47:50.41 ID:XEl/Dv7j.net] >>219 鮮人 230 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 16:03:40.89 ID:3UQUDb2C.net] IUTは侘び寂びみたいに日本人しか理解できないw 231 名前：１３２人目の素数さん [2019/05/02(木) 16:11:05.09 ID:XEl/Dv7j.net] >>222 バカ鮮人 サイディはアルジェリア人。 フェセンコはロシア人。 232 名前：１３２人目の素数さん [2019/05/02(木) 17:09:18.57 ID:UrlDty35.net] ２/３ｃ,≠２/３,３/２∈０ 233 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 18:52:29.28 ID:ZUPiZK4G.net] >>169 STOP細胞はあった。アメリカの教授が再現した おまえ、いい加減にしろよ 一旦できた先入観をいつまでも払拭しないのは科学的態度じゃない 234 名前：１３２人目の素数さん [2019/05/02(木) 19:25:47.26 ID:ZZzeYav3.net] Kim=黄禹錫(ファン・ウソク） 235 名前：１３２人目の素数さん mailto:sage [2019/05/02(木) 23:40:13.11 ID:uNc+tgCc.net] ゴーの妨害工作少ないなｗ 236 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 00:46:59.26 ID:5Er5nIpH.net] 数学は科学じゃないから無問題 237 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 01:27:02.97 ID:B8D6hWoH.net] フェセンコとかのワークショップって今年じゃなくて来年なんだね。 なら今年は表立った動きはないな。 このスレもIUTは意味ある意味ないのやり取りが延々続くだけだな。 238 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 01:41:51.78 ID:d4MD8pdL.net] どう読んでも意味ないで決着してるだろ 指摘を知らん顔してるだけ 239 名前：１３２人目の素数さん [2019/05/03(金) 01:56:16.29 ID:UEjo1+gP.net] 万能感のおつよいおじさんのおおいこと 学会や研究会に時々あらわれるやべえおっさんと同じ匂いしてるよ君たち 240 名前：１３２人目の素数さん [2019/05/03(金) 02:05:24.61 ID:DetdTaRc.net] 追分町と特異点定理 241 名前：１３２人目の素数さん [2019/05/03(金) 03:37:05.50 ID:PvqnPrxj.net] モッチーによって、数学の世界にパラダイムシフトが起きた 旧パラダイムの側に立つ数学者は、たとえそれがフィールズ受賞者だろうと、 モッチーの数学を理解できようはずがない・・・ 曰く、ブンゲン先生 242 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 03:44:21.28 ID:UdMcPKmU.net] Bの立ち位置ってナンボ サイエンスライターだろ 243 名前：１３２人目の素数さん [2019/05/03(金) 04:15:12.32 ID:PvqnPrxj.net] IUT創始者と密にコミュニケーションを取って質問し、回答を得て、 それによって理解を深めながら、IUTの全体像に近づく方法しか、 パラダイム超越型の数学であるIUTを理解する方法はない。 したがって、創始者周辺のシンパの人たちから、真の理解者が出てくるしかないし、 現に数名の理解者が出始めている。これは査読が進んでいることと等化だ。 いざパラダイム超越型の理論に対しては、IUT創始者とコミュニケーションも取らない数学者が、 遠いところから眺めていても、理解は進まない。 旧パラダイムの偉い数学者ですら、新パラダイムにおいては一から始める小学生と同じなのだから。 こんな感じかな？ 244 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 04:22:05.84 ID:nMQXLctq.net] >>235 飲み込みの早さで定評のあるショルツ君も、新世界ではまだまだですよwww ってそんな馬鹿な話があるか 245 名前：１３２人目の素数さん [2019/05/03(金) 04:24:44.47 ID:PvqnPrxj.net] ショルツ君 ＝「新パラダイムにおいては一から始める小学生と同じ」 246 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 04:38:47.38 ID:nMQXLctq.net] ワンピースでいう新世界編に突入したって事でしょ 247 名前：１３２人目の素数さん [2019/05/03(金) 04:44:01.18 ID:+Bwn2ogp.net] 自己陶酔の正当化おつー 擁護派の奴らの論拠の大半がセンセーガー、センセーガー おまえらの相手してくれるやべえおっさんセンセー大事にしろよ 248 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 07:10:48.57 ID:CR+zcHa3.net] やはり同型と非同型の階層性についてのディフェンスが理論全体についての有効な弁護になってるとは 思えないね 正当化は難しいと思うんだけど、これだけ長い間お仲間が取り組み続け、またHPの院生のリストが 増殖しズラリと並んでいるのを見ると何とも言えない気分になるw フェセンコだけならマフィア扱いでもいいんだけどw、こうも増殖している理解者とは一体何なのか 249 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 07:43:10.75 ID:ko1lHBgH.net] >>240 まあ、IUTの同型問題についてはお互いに散々書いてきましたよね >>175で書いたのはエイリアン・コピーの論文のことですが、以前はツマミ食いだったので昨夜通して読んでみました 新規なことはほとんど書いてないのですが、表現方法に笑いが止まりませんでした。後でちょこっと書いてみますけど 例のブログのコメ欄（9割以上、電波なコメント）を見れば分かるように、おかしな人達はいっぱいいますよ これスレでも盲信者・狂信者は例のツイッターの人だと決めつけていたのですが、やはりそれだけではないようですね エイリアン・コピー論文は面白いですよ。私の中では昨夜、IUTは電○文書ということでほぼ確定しました IU形式主義なんてものは整備できないだろうし、無理やり作ったらそれこそカオスかリゾームになりますよ 個人的な結論としては当初から疑っていたように、IUTは遅れてきたポストモダン風の数学ですね 250 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 07:59:08.53 ID:ko1lHBgH.net] IUTが遅れてきたポストモダン風だとするなら、夜中の人のレスはIUTの本質を誰よりも理解しているのかもしれない 251 名前：１３２人目の素数さん [2019/05/03(金) 09:59:10.02 ID:CiZddaYE.net] jinはここのもっちー動画は知らないのか。 www.msri.org/workshops/132/schedules/25442 252 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 12:33:13.41 ID:dZpVAm4g.net] オボれる者はバカをもすがる 奢れる者は久しからず 253 名前：１３２人目の素数さん [2019/05/03(金) 12:42:22.33 ID:CiZddaYE.net] もっちー=山中伸弥 Kim=黄禹錫(ファン・ウソク） 254 名前：１３２人目の素数さん [2019/05/03(金) 13:08:46.26 ID:CiZddaYE.net] ロバーツ氏はもっちーからあんたの理解はあまりにも薄っぺら過ぎると指摘されたのか。なんか惨めだな。 255 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 13:11:57.33 ID:xoFpsqci.net] （論文に穴があって取り下げとなった時には全てがブーメランで自分に突き刺さる） 256 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 13:14:19.86 ID:076sjNc3.net] てか、もう引けないんだろうな... 257 名前：１３２人目の素数さん [2019/05/03(金) 13:22:28.59 ID:RkGBx/O9.net] 笹井教授は京大出身だったね。 258 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 13:32:16.76 ID:076sjNc3.net] へんなことになるくらいだったら、一転して色物タレント教授路線とか目指してほしい 生きててなんぼだよ 259 名前：１３２人目の素数さん [2019/05/03(金) 13:47:03.23 ID:CiZddaYE.net] 朝鮮人の期待の星Kimが先にEffective Mordellを解いていたら朝鮮人は幸せだっただろう。 260 名前：１３２人目の素数さん [2019/05/03(金) 14:10:08.28 ID:l8kh5lBz.net] >>250 CMとかでも需要あるんじゃない？ 令和初のやってもうた男とかで。 261 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 15:01:18.88 ID:uwSVXrrM.net] Bと二人で責任の擦り付け合いするのが見たい 262 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 17:43:22.20 ID:ko1lHBgH.net] 望月の“The Mathematics of Mutually Alien Copies”という論文は、IUTの中核を理解できない人、懐疑的な人に向けた、 彼なりに分かり易く説明を試みたものだと思われるが、テクニカルな面というより、IUTの数学「思想」を表明したものだと思う 頻繁に修正しているし彼にとってはとても重要で、SSへの反論レポートと合わせて読めば彼の数学界へ向けた主張は大体揃う ここで細かく書くことはできないので、関心のある人は“mysterious”で単語検索してみて下さい 極めつけは“mysterious indeterminate isomorphism”ですね 263 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 17:53:00.68 ID:xoFpsqci.net] >>253 Bは関係ないよ　あの本だって仮に間違っていたら あのときはそういうロマンを感じさせる話だったてへぺろ☆(・ω<) 264 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 17:57:09.98 ID:ko1lHBgH.net] 自分なりに結論は出たので、その観点から見ればBは間違いなくIUTの最大の理解者の一人ですね 彼は以前ツイッターで西田哲学の絶対矛盾的自己同一に言及したことがあったと思う 基礎論を大きく変えるかもしれないとも。他の理解者も「新しい圏の幾何学」とか書いていたし、彼らは最大の理解者ですよ まあ、MやBと同世代である私からすれば、M≒中沢新一or丸山圭三郎、B≒栗本慎一郎ですね。分かる人には分かる 遅れてきたポスト構造主義の夢物語ですよ。確かに従来の数学じゃない、「外の思考」ですよ 「勝手にしやがれ」、「勝手に逃げろ/人生」（ゴダール）ですよ 265 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 18:11:14.93 ID:7+GUCQGk.net] どんどんおかしくなっていく 266 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 18:18:17.57 ID:ko1lHBgH.net] そう、これからますますおかしくなっていくはずですよ 生温かい目で見守ってあげればいいんです（このスレの物理屋さんのように大学人としての姿勢を追及するのもいい） 今年の団代数のプロジェクトの方が遥かに重要ですよ。第1回目の参加者は錚々たるメンバーですね 267 名前：１３２人目の素数さん [2019/05/03(金) 18:37:38.48 ID:CiZddaYE.net] 地動説や相対性理論と比較しうるパラダイムシフト。 268 名前：１３２人目の素数さん mailto:age [2019/05/03(金) 18:48:56.44 ID:x/IxspoL.net] そもそもなんで本人が表に出てきて説明しないのか？ 269 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 19:41:18.17 ID:hype4HK0.net] 国内で対立構造を作るとアンチが終結して手に負えなくなるから 270 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 19:58:02.01 ID:xoFpsqci.net] アンチが終結ならめでたい話じゃないかw 271 名前：１３２人目の素数さん mailto:sage [2019/05/0 ] [ここ壊れてます] 272 名前：3(金) 19:59:35.82 ID:4UR5xnR6.net mailto: 「それは自明」 「それは説明した」 「それは前文orサーベイに」 「それは模索中」 「それはフェセンコと院生が」 「鮮人」 [] [ここ壊れてます] 273 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 20:01:08.97 ID:CR+zcHa3.net] >>241 数論的テータ因子の計算法自体は一応わかるわけだから（発想としては割と独創的）、まあ計算可能なのは 別に不思議ではないんですけどね。高さが 言いたいことはわかるし、ディフェンス論文の線で何かを考えられないことはないんだけど 結局はまとめ上げて計算するわけですからね。だったらこうじゃん、となったのがSSの最後のダイヤグラム エッシャーが引き合いに出されたけど、西田は勿論、不完全性定理も浮かびましたね、個人的には ダグラスホフスタッターの奴みたいに 274 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 20:13:35.85 ID:CR+zcHa3.net] ラベルが必要だっていう主張は本当にわかる。特に遠アーベル幾何学者ならそう言いたいはず ところが普通の数学者なら、そんないかがわしい余計なものを数理に持ち込むなって思うんじゃないか つまりSSだけど、そう考えたらこの理論の今の位置付けは納得できる 勿論今の力関係が絶対とは言い切れないが 275 名前：１３２人目の素数さん [2019/05/03(金) 20:45:30.28 ID:CiZddaYE.net] ラベルがなんたらの話がよく理解されていないならこれを英訳すれば。 www.kurims.kyoto-u.ac.jp/~motizuki/Anabelioid%20no%20kikagaku%20to%20Teichmuller%20riron%20(Muroran%202002-08).pdf 276 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 20:51:29.47 ID:ko1lHBgH.net] >>265 それは充満多重同型を認めた場合に生じる話だと思います つまりSSはIUTの“distinct copies of various familiar objects”などというものに納得できず、 それは単に“completely natural isomorphism”、“ “obvious” isomorphisms ”から生じた、 “identical copies of objects along the identity”にしかならないとしています つまり、充満多重同型を認めれば結果として再初期化の操作ができるようになり、そのために明示的なラベルが必要となる 認めることができなければラベルなど無用、同じものを作っているだけということになる あと、B本は前書きと望月の寄稿しか読んでませんが、 IUTの宇宙が如何に“mysterious indeterminate isomorphism”によって作られた構造であるという説明をしているのでしょうか？ 277 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 21:18:12.47 ID:ML05VQQI.net] 今年の団代数いいね。離散最適化もタイムリーだ。来年？宇宙際堆肥無料？なんだそれ？RIMS大丈夫か？ 278 名前：１３２人目の素数さん [2019/05/03(金) 21:57:28.30 ID:IqwO9V3f.net] jinが >>243 を見たようだ。 279 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 22:22:04.22 ID:CR+zcHa3.net] >>267 もはや遠アーベル幾何学ではなくて、超遠アーベル幾何学ですからね 280 名前：１３２人目の素数さん [2019/05/03(金) 22:25:47.97 ID:IqwO9V3f.net] jinはこれも面白いだろう。 Introduction to anabelian geometry https://www.msri.org/workshops/38/schedules/25405 281 名前：１３２人目の素数さん mailto:sage [2019/05/03(金) 22:52:31.15 ID:CR+zcHa3.net] IUTがgeometric morphismの理論ではないことは山下さんも認めてるんだけど、こういう論法を認めたら モノイドと様々な宇宙を巡って飛び道具みたいなメタ理論がたくさん作れる可能性がある が、それでいいのかって話なんだよ 282 名前：１３２人目の素数さん [2019/05/03(金) 22:59:33.22 ID:IqwO9V3f.net] 圏論屋の話は中身が薄っぺら。 283 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 01:06:48.30 ID:1sY0GrTi.net] と言っても、数論幾何学の専門家も圏論の専門家も一緒に首を傾げているわけだけども 284 名前：１３２人目の素数さん [2019/05/04(土) 01:16:42.36 ID:yKhzzHXK.net] >>274 ロバーツ氏の場合は首を傾げていると言うよりも、M氏から勉強不足を指摘されてふてくされている、ではないか。 285 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 02:00:41.53 ID:QoAUkIBD.net] 肯定しておけば勉強不足とは言われないからね 286 名前：１３２人目の素数さん [2019/05/04(土) 02:11:03.95 ID:yKhzzHXK.net] 勉強不足なら肯定も否定もできないだろ。 287 名前：１３２人目の素数さん [2019/05/04(土) 02:39:29.35 ID:GYBii+3F.net] それってブン・・ 288 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 07:48:18.58 ID:p4s5X5iU.net] 文チンよりも数学できる者だけが石を投げなさい 289 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 07:55:14.84 ID:ffS3S84d.net] 出来ない者は匙でも投げてなさい。 290 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 08:14:52.31 ID:D+HijsE5.net] 結局、既存の数学でのオーソドックスな論理でやれるって触れ込みだったけれど、 実は違って、新しい論理としてありかなしか、基礎論的な論争に持ち込もうという ことなんだろうか。 俺はそれならそれでありだと思うけれど。最初から言えよ感はあるけど。 291 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 08:40:03.36 ID:my1y46Iz.net] ４は当初なかったからそこまで 292 名前：考えてなかったのでは 好きなだけやればいいけど証明としては一旦取り下げか [] [ここ壊れてます] 293 名前：１３２人目の素数さん [2019/05/04(土) 09:30:32.39 ID:NWEkmnES.net] 大風呂敷を広げてみたがおたくと変わらなかった。 294 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 10:09:14.71 ID:aJJ/gbdE.net] 賽を投げたら犀だった 295 名前：１３２人目の素数さん [2019/05/04(土) 14:24:42.15 ID:ndxHsXyd.net] Inter-universal Teichmuller Theory 宇宙際、宇宙間、どちらでもいいわけだが、 あえて宇宙際とするのは、なぜだ？ 296 名前：１３２人目の素数さん [2019/05/04(土) 14:48:09.05 ID:ndxHsXyd.net] among と　between の違いかな？ 297 名前：１３２人目の素数さん [2019/05/04(土) 15:01:58.84 ID:2sveN7It.net] 志村五郎が死んだ 298 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 15:12:05.31 ID:1hEtAZBU.net] inter-national 国際 inter-universal 宇宙際 299 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 15:54:31.46 ID:loO4MhV7.net] >>273 わかる 300 名前：１３２人目の素数さん mailto:sage [2019/05/04(土) 15:54:49.45 ID:Wwg9+TsY.net] 新しい数学を標榜しながらも数理論理学において望月さんが無知っぽいから 誰もついていかないんだよね 数理論理の土台＋代数幾何操作であればまだ追う気になるけど 望月独自の数理哲学＋代数幾何操作だとほぼトンデモと変わらないから フォロワーを増やしたいなら望月独自の数理哲学をちゃんと論理に乗せることに力を入れるべきだろう

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef