Inter-universal geometry と ABC予想 23at MATH
Inter-universal geometry と ABC予想 23 - 暇つぶし2ch373:132人目の素数さん
18/01/12 08:05:30.35 L/ndOn0B.net
数学は 暗黒面だね

374:132人目の素数さん
18/01/12 08:07:17.56 YV5sOeZh.net
ホッジ理論に。。。

375:132人目の素数さん
18/01/12 08:42:25.54 L/ndOn0B.net
IUTだわ

376:132人目の素数さん
18/01/12 11:18:16.01 4G2W6o12.net
>>360
数学でなく数理解析研究所では?
数学 証明の話は全く別ですね。
物理のLHC実験で素粒子標準モデルの
ヒッグス粒子のみ発見され
SUSY超対称性粒子は発見されず、
陽子崩壊も寿命が長くなり MSSMも瀕死。
物理なら皆んな知っているのに、、

377:132人目の素数さん
18/01/12 12:09:52.17 +sAwN+jK.net
スレ違い

378:132人目の素数さん
18/01/12 12:18:16.49 eIbq54XB.net
ヒッグス粒子なんて実際はないだろ

379:132人目の素数さん
18/01/12 12:18:36.52 4G2W6o12.net
arxiv >>360 の表題は?
ヤンミルズ場、ヒッグス、超対称性、
皆んな物理から、

380:132人目の素数さん
18/01/12 12:33:34.45 8Xa4+9aK.net
>>360
シンパって感じだな
「楕円曲線のタイヒミュラー理論」というのはそのままストリングの基本的な対象なので
超対称化を抜きにすればそんな不思議ではないけど、何か胡散臭さが勝るねw

381:132人目の素数さん
18/01/12 12:40:14.02 q4xqDQa1.net
素人ですけど、数学の院生レベルの人、又は講師や教授レベルの人にとっては、
>>331は読んで論理のキズがすぐに目に付いて、
>>360はすぐに間違いは認められないってことなんでしょうか?
もし、そうならば、ABC予想の解明が予想以上に大きく役に立つ可能性があるという事で合ってますか?

382:132人目の素数さん
18/01/12 12:40:15.36 4G2W6o12.net
超弦理論は強い相互作用の物理から。

383:132人目の素数さん
18/01/12 12:47:51.77 uu6CZwgL.net
>>331 はいつも可視領域の狭い範囲でしか説明してない
素数間の最大スキップとかあれで説明できるか
数論とは違うだろ

384:132人目の素数さん
18/01/12 12:51:40.39 8Xa4+9aK.net
冷静になってみたら、楕円曲線のタイヒミュラー理論という時点で
ストリング理論をかなり意識してるとも言えるな
ディオファントスとストリングの分布理論を関連付ける意識が本人も高いのかな

385:132人目の素数さん
18/01/12 13:00:13.26 +sAwN+jK.net
物理はおよびじゃないかえれ

386:132人目の素数さん
18/01/12 13:01:47.69 4G2W6o12.net
jim?

387:132人目の素数さん
18/01/12 13:52:39.41 HupNeT7j.net
物理に不得手でも変形理論と場の理論が関係してるってのはイメージ出来るけど、望月先生の仕事と物理が関係してるって言われても全くぴんとこない
モジュライ理論的側面''だけ''に着目すればまだ分かるけど

388:132人目の素数さん
18/01/12 14:16:04.04 JqKD+40a.net
本村仁美ってググったら研究者じゃんかよ

389:132人目の素数さん
18/01/12 14:29:15.34 eIbq54XB.net
誰?

390:132人目の素数さん
18/01/12 15:03:05.10 aJ9KGJ13.net
>>371
キサマっ、IUTT.Ⅳをそれ以上愚弄するとjinさまがゆるさんぞっ!!!!!

391:132人目の素数さん
18/01/12 16:11:24.78 j0s1haJt.net
何度注意しても懲りない人には今後は別の対応を取るそうだ

392:132人目の素数さん
18/01/12 17:23:03.25 9IHk1GO7.net
流石教育者だな、耐えてたのか。企業間取引なら1,2度で終わりだがな。

393:132人目の素数さん
18/01/12 17:38:10.62 ePlqkgFv.net
朝日はどうするの?

394:132人目の素数さん
18/01/12 18:03:46.35 79WZ4HK4.net
これは物理と関係している?
URLリンク(arxiv.org)

395:132人目の素数さん
18/01/12 18:03:55.79 GIszCgK5.net
やっぱりサッカーファンの心境はわからんわ
どうやっても世界チャンプは無理だろうに

396:132人目の素数さん
18/01/12 18:35:59.36 8Xa4+9aK.net
少なくともストリング空間の位相不変量を計算する程度には関係あるだろう
整数のタイヒミュラー空間論。コンツェビッチがどう見てるのか

397:132人目の素数さん
18/01/12 19:05:14.22 79WZ4HK4.net
天才コンツェビッチですね。
スレチだが、物理の応用が書いてあり
こちらが興味深い。
数学としては 厳密な証明が必要では、

398:132人目の素数さん
18/01/12 19:39:28.36 4R3R5WIh.net
強い力とか弱い力とか電磁力とかの観測データがほんの少し違っていただけで、
タイヒミュラー空間はおろか他の数論で使われている諸々の事象が無関係であるという
事が確定するテストがあり、そのテストで無関係ではないという結果が積み重なって現在に到り、
その上でストリング理論の方から数論の諸問題を解く鍵が次から次へと出てきている
としたら凄いと思うんだけどそういう事なの?

399:132人目の素数さん
18/01/12 20:17:30.65 g58cJkET.net
キモjin逮捕

400:132人目の素数さん
18/01/12 21:30:20.05 8Xa4+9aK.net
>>386
そんな上手い話は今はないよ。あくまで数学的な構造に関する関連性があるだけ
しかし、楕円曲線の高次元版がストリング理論の根幹ではないか、というヤウの仮説が
正しければ、ある意味で楕円曲線の根幹を解明する今の数論と根は同じわけで
魅力のある方向性ではあるな

401:132人目の素数さん
18/01/12 21:46:12.98 FUYi4wzz.net
IUTは、万物は数のピタゴラス教団 復活ですね
朝永先生 曰く
近代物理はピタゴラス主義のケプラー
が、火星観測データとの誤差から
楕円軌道を発見した時から始まりましたヨ。
単位のある高校物理の実験から始めたら如何

402:132人目の素数さん
18/01/12 21:57:06.99 ShsUFt9d.net
関数解析になると
ベクトルも通常の数と看做して議論してるしな
数学に単位がないという指摘はごもっとも

403:132人目の素数さん
18/01/12 22:23:45.53 oIeZjWxb.net
何言ってんだお前?

404:132人目の素数さん
18/01/12 22:29:16.84 Xgepgozj.net
ド素人の筋悪コメ多すぎて萎える

405:132人目の素数さん
18/01/12 22:31:54.96 8Xa4+9aK.net
>>389
単位がどうこうよりニュートンとリーマンのケースのほうが重要だろうな
ある意味、数学サイドは抽象理論の実在性にそれなりの自信があるのだろう

406:132人目の素数さん
18/01/12 23:38:26.77 8Xa4+9aK.net
>>382の場合、あまり大げさに考えるべきではない
超対称のヤンミルズ理論は「複素多様体」なので、いわゆるミレニアム問題より
ある意味で「調べやすい」。部分的に
なので、本来の解析的なヤンミルズよりは色々関連付けしやすい
この場合のQuiverってのも要はリー代数や代数群の話であって凄い特別なもんじゃない

407:132人目の素数さん
18/01/12 23:51:16.10 XYUxrnGq.net
正直、IUTTが何故""タイヒミュラー理論""なのかがよくわからないんだが。
Fesenkoが使っている数論的変形理論という呼称の方がまだしっくりくる。

408:132人目の素数さん
18/01/13 00:05:40.36 b9KVUjjv.net
>>360
HU Zhiって人、もしかして研究生としてモッチーのところにやってきてるの?

409:132人目の素数さん
18/01/13 00:38:01.56 47GBiREe.net
>>395
楕円曲線のモジュライだから。双曲性

410:132人目の素数さん
18/01/13 01:50:07.05 t7hvHO5c.net
モチーんとこにくる研究生?研修生?は最近シナ系が多いらしい
一人や二人�


411:カゃないらしい



412:132人目の素数さん
18/01/13 02:04:33.67 +H9j1G98.net
「IUTは我々が完成させた」

413:132人目の素数さん
18/01/13 02:41:14.73 47GBiREe.net
ついでに>>395
本人が「環の等角写像を考えたい」と解説している
この場合、ホッジ理論的な意味でもタイヒミュラー理論的な意味でもテータ関数は
中心的な役割を果たす
結果的には理論全体としてテータのガウス積分を対数殻に帰着させて計算するのもそれ
剛性がどうこう言ってるのもそれ

414:132人目の素数さん
18/01/13 02:48:25.64 47GBiREe.net
正確には「等角写像のようなもの」とか言ってたか?まあ解説も読んでくれ

415:132人目の素数さん
18/01/13 04:57:12.77 o77lM8yZ.net
等角写像のようなもの=擬等角写像?

416:132人目の素数さん
18/01/13 05:14:38.66 WwZcuKVP.net
>>398
Twitterが流行していないのと英語圏ではないことが原因と判明w

417:132人目の素数さん
18/01/13 06:32:01.45 56LpsHv4.net
それで海外記事にシナのコメントがないのか
それならかね払ってまで自爆起動装置を量産してるのか
ご苦労なこった

418:132人目の素数さん
18/01/13 07:36:32.83 Z5x+LfJB.net
ブラジルからもいるぞ
ヒントはゴーのセミナー
中国、インド、イギリス、オランダ、ブラジル、あれ?米国と韓国がない!

419:132人目の素数さん
18/01/13 08:13:45.99 fiLGDzfC.net
おメーラ新浪微博にアカウントとか作って賞賛すんなよ URLリンク(weibo.com)
jimサマが手に負えんじゃないか

420:132人目の素数さん
18/01/13 09:27:08.99 ul3sbf4Z.net
>>393
アインシュタインの論文読んでみろ
局所性も物理の考察から。

421:132人目の素数さん
18/01/13 09:42:22.45 t7hvHO5c.net
>>406
グロ

422:132人目の素数さん
18/01/13 09:42:55.72 t7hvHO5c.net
>>406
ウイルス

423:132人目の素数さん
18/01/13 09:42:56.35 ul3sbf4Z.net
>>394
プレミアム問題は以前からある課題だね。
>>382
謝辞 Acknowledgments
ロンドンで望月信一のIUTはワークショップ
があるじゃん。
何を話したんだろう?

424:132人目の素数さん
18/01/13 09:45:52.19 ul3sbf4Z.net
>>410
ロンドンで望月信一のIUTはワークショップ
→ロンドンでの望月信一のIUTワークショップ

425:132人目の素数さん
18/01/13 14:11:25.04 vO8vyAfR.net
1月中のアクセプトはあるのかな?

426:132人目の素数さん
18/01/13 14:41:43.99 Yv3+DlzG.net
>>402
ある意味でストリング理論にたまに出てくるテータ関数もそういうものだと考えられる
CFTやタイヒミュラー空間はそこで重要だが、物凄いざっくり言えば三角関数とか周期性としての不変性が鍵になっている
つまり変形を左右するもの自体もある種の不変性を持つわけで、位相幾何やモジュライの基本
あと、Frankenhuijsenがまともなら、多分ネヴァンリンナ理論だなあと予想する
フラクタルかなと思ったけど、リーマン面のネヴァンリンナ理論とABCの関連性、
Frankenhuijsenがフロベニウス自己同型を重視していること
全て宇宙際の方向性と合うし

427:132人目の素数さん
18/01/13 14:55:23.15 KO+e5ECN.net
方向はその方向で考えてんだから合うだろう
完全に証明できてるのかギャップがないかどうか

428:132人目の素数さん
18/01/13 15:12:14.63 b9KVUjjv.net
ググったらブラジル人留学生のHP見つけた
URLリンク(www.kurims.kyoto-u.ac.jp)
Research student (研究生)
Advisor: Shinichi Mochizuki
って書かれてある

429:132人目の素数さん
18/01/13 15:15:08.78 t7hvHO5c.net
1月中のアクセプトはなかったんじゃない?あったらモチーが報告してるはずだろうし。
次の会議2月上旬らしいから、まだ町田。
それよりなんで遅れたのかという理由が気になるな。バッシングに対応するためならよいが、論文にギャップが見つかったなんて


430:こったら目も当てられない。得意の朝日誤報になっちゃう。



431:132人目の素数さん
18/01/13 15:21:49.55 rQVORKtZ.net
>1月中のアクセプトはなかったんじゃない?あったらモチーが報告してるはずだろうし。
そういうのは2月になってから言えよ妄想BBA

432:132人目の素数さん
18/01/13 15:59:46.28 RwfyVRvN.net
Il est trouvé.
J'en connais un.
Mais ça ne le dira pas.

433:132人目の素数さん
18/01/13 17:42:10.27 t7hvHO5c.net
BBAでわるかったな!もうこれからお得な話題を書き込んでやらんぞぼけ!

434:132人目の素数さん
18/01/13 18:15:42.78 2+sMrddX.net
このババァ決定的にズレてるな
今回の件で望月氏もRIMSも一切コメントしていない
それに、仮に掲載予定が本当だったとしてもバッシング対応なんて絶対あり得ない
このクソババァは数学を学ぼうとしないだけでなく、数学者の態度すら知らないのだな
ババァ、今まで何のために調べてたの?

435:132人目の素数さん
18/01/13 19:46:38.38 OZJAbURB.net
えっスレにBBA降臨してるの
どこどこどこどこどこどこどこどこどこ

436:132人目の素数さん
18/01/13 19:51:20.29 t7hvHO5c.net
こここここここここ

437:132人目の素数さん
18/01/13 19:59:21.42 BB1mEg7b.net
>>420
ズレた思考回路をしてしまうのはゴシップでお祭り騒ぎしたいからだろ
ゴシップを楽しんでます感が文面から滲み出てるしな

438:132人目の素数さん
18/01/13 22:48:22.59 vnGkaAmm.net
そのクソババアが関係者だとすると、良い情報源ですな

439:132人目の素数さん
18/01/13 23:20:33.88 12iffDwU.net
ただの数学ド素人なんだよなぁ

440:132人目の素数さん
18/01/13 23:27:31.66 2+sMrddX.net
ババァの妄想を信じるアホはおらんよ
もう完全に自分が何やってるのか分かってないよな
拗らせ過ぎて見ていて痛々しいわ
オバサン、どうしてそんなに拗らせちゃったの?

441:132人目の素数さん
18/01/13 23:34:23.11 T5ffhGyN.net
つうか中身BBAなの?何でわかんの?

442:132人目の素数さん
18/01/14 00:09:51.82 yNhhPVL1.net
たしかにw

443:132人目の素数さん
18/01/14 01:45:38.01 DmAwvMiY.net
URLリンク(megalodon.jp)
このクソ訳っぷりを見ると、少なくとも関係者ではないことがわかる

444:132人目の素数さん
18/01/14 01:48:16.20 DmAwvMiY.net
ちなみにバババっと正確に訳してみると以下のようになる
Inter-universal Teichmuller 理論入門 Fucheng Tan
この一連の講演で、望月新一氏の Inter-universal Teichmuller 理論(通称 IUT)の主結果と重要な技術的ポイントについて説明する。
最後に、IUT理論の応用として双曲的曲線に対する ABC/Vojta 予想の証明のスケッチも与える。
IUT では、数ある技術的データの中でもとりわけ数体 F 上の適切な楕円曲線 E と素数 l を出発点とし、etale theta 関数の理論で用いられる特定の双曲的曲線に関するデータの組を研究する。
特に双曲的曲線に対する遠アーベル幾何学と etale theta 関数は IUT の基礎を形成している。
楕円曲線および etale theta 関数の様々な幾何学的・数論的な情報は、いわゆる Hodge 劇場と呼ばれる対象の中に記録される。
より具体的には、Hoge 劇場は特定の双曲的曲線のカスプたちにより表現される楕円曲線の ℓ-torsion の商に付随する二種類の対称性を保持するように設計される。
その一つは乗法的対称性と呼ばれ、これは対応するカスプの集合が E のモジュライの体の絶対ガロア群の部分商として自然に同一視されるものであるため、数論的な特質を持つ対称性である。
もう一つは加法的対称性と呼ばれ、これは対応するカスプの集合が E と l によって決まる双曲的曲線の幾何学的基本群の部分商として自然に同一視されるものであるから、幾何学的な特質を持つ対称性である。

445:132人目の素数さん
18/01/14 01:49:25.90 DmAwvMiY.net
>>430 の続き
乗法的対称性は E のモジュライの体に付随するフロベニオイドのコピーに作用するが、加法的対称性はカスプでの theta 関数の様々な値における局所ガロア群の共役不定性を同期させることを可能とする。
これらの theta 関数の値および数体は、いわゆる theta-pilot object を決定し、その構造は前述の二つの対称性に依存する。
IUT の主な構成は、theta-pilot object のいわゆる多幅的な(すなわち環構造の変形の下での不変的な)表現である。
そのような表現の構築は、局所ガロア群の自己同型や局所単数群の自己同型、局所整数環の加法構造の変形に関係する不確定性/等価性の下でのみ達成することができる。
その多幅的な表現は、特に Hodge 劇場の異なるコピーの間の重要たる theta link と可換性があり、環構造を解体して arithmetic degree の情報を抽出する。
theta-link の適用は、Hodge-Arakelov 理論に関する望月氏の先行研究によって動機付けられた。
これは、Hodge-Arakelov 理論によって予期されたように、多幅的表現に付随する数論的な line bundle は 0 に近い dgree を持つという可換性から従うものである。
これが IUT 理論の主要な結果である。この結果といくつかの標準的な技法によって、最終的に ABC 予想の証明がなされるのである。
URLリンク(math.sustc.edu.cn)

446:132人目の素数さん
18/01/14 02:26:52.78 5qcgGPv1.net
>>427-428
自らBBAだと認めてるじゃん >>419
視力大丈夫?

447:132人目の素数さん
18/01/14 03:10:37.22 Vz4VX2gw.net
あんまりダイレクトなせいか流しちゃってたわ
もしかして結婚狙ってんの?

448:132人目の素数さん
18/01/14 06:00:14.39 1wNoyCts.net
いまだに相対論信じてる人がいてワロタ

449:132人目の素数さん
18/01/14 06:18:15.36 KRLRRdtp.net
>>413
ある意味???
等角写像、擬等角写像、タイヒミュラー空間
は数学の定義があるよ。
ストリング理論は26次元ボゾン弦、
CFTは共形場理論 、スーパーストリング
は10次元理論。
ADS/CFT対応 (ゲージ/重力双対)は量子もつれによるホログラフィー原理の例である。
量子もつれはアインシュタインのEPR現象
が出発点で物理の量子現象である。
(N=4 SYMは ゲージ/重力双対の例でもある)。
物理の超弦理論は 数論と直接 関係ある?
楕円曲線が物理の量子化されたんだろうか?
万物は数論の楕円曲線とでも??
数学は数学、物理は物理 なのに、あほくさ~

450:132人目の素数さん
18/01/14 06:25:11.33 1zf0OBl2.net
URLリンク(detail.chiebukuro.yahoo.co.jp)

451:132人目の素数さん
18/01/14 06:32:25.91 1zf0OBl2.net
数論が物理を受け入れないのとおなじ

452:132人目の素数さん
18/01/14 06:37:54.83 KRLRRdtp.net
数学は相間と親和性が高い

453:132人目の素数さん
18/01/14 06:54:26.70 Yi0SvPnF.net
まーた下らん物理レスかよ厨房は巣に帰れ

454:132人目の素数さん
18/01/14 06:55:20.07 elx4xfxR.net
>>434 なら君が量子コンピュータとやらのエラー率について説明してくれたまえ

455:132人目の素数さん
18/01/14 07:09:33.62 COqP/Dyp.net
IUTの理解が難しい云々は置いておいて
「IUTを理解したい」という熱が世界の数学者からそれほど伝わってコない
IUTが本当に革命的ならアインシュタインの時のように
世界の名だたる学者がこぞってその意味をより深く探ろうと
フィーバーするはずでは
しかしIUTの


456:場合はごく一部の暇人数学者がようやく腰を上げるのかどうか程度



457:132人目の素数さん
18/01/14 09:15:27.83 COqP/Dyp.net
数学自体の事はよく分からないけど、文元先生の講演に出てた
翻訳して通信するなんて話は数学でいくらでも他にある事だろうし
それ自体はIUT特有の斬新さじゃない気がする

458:132人目の素数さん
18/01/14 13:27:28.29 DNoI7wm7.net
ブンゲンさんに抱かれたい

459:132人目の素数さん
18/01/14 13:41:40.90 66/jv3/I.net
URLリンク(arxiv.org)

460:132人目の素数さん
18/01/14 14:03:24.93 YYHz5SKA.net
明日発表しそうな悪寒

461:132人目の素数さん
18/01/14 14:25:26.64 Wgj7OmAM.net
>>440
量子コンピュータとかまだ信じてんのかw

462:132人目の素数さん
18/01/14 14:27:44.29 lcAXNz+W.net
>>445
このバッシングだ、あと2ヶ月ほどは発表はないわ

463:132人目の素数さん
18/01/14 15:06:12.56 oMAKPmqJ.net
PRIMSは、論文の日付が2月20日頃みたいだが、
その頃に分かるのかな。

464:132人目の素数さん
18/01/14 15:23:24.36 rxYRdLC3.net
オバサン、>>429-431 が訳したものを引用元も示さずにツイートするのはやめろよ
グーグル翻訳でしか読めないババァがまるで英語を読めるみたいじゃないか
引用元を明記することすらしないのは最低の行いだぞ
オバサンは「私大文系卒女性」ですらないのか?

465:132人目の素数さん
18/01/14 15:50:04.05 sK/zt/MJ.net
あんまり苛めるからmath_bbaが怒り出したぞw

466:132人目の素数さん
18/01/14 15:54:15.95 R6ufD14w.net
だーかーらーBBAが怒るのは筋違いなんだよ
そもそも掲載される予定ならまってりゃいいんだよ
バッシングっても海外サイトの議論もおわってないのに強行掲載しようとするからだろ

467:132人目の素数さん
18/01/14 16:00:53.65 hLQ8D+AH.net
URLリンク(megalodon.jp)
ご丁寧に >>431 のタイプミスもそのままツイートしてやんの
正確にはdgreeではなくdegreeなんだがな
>>449
知的誠実さのかけらもない態度をみるに大学教育をまともに受けてなさそう

468:132人目の素数さん
18/01/14 16:09:18.52 lcAXNz+W.net
>>451
学術誌の編集委員会は、海外のブログなどの議論が決着するまで掲載を待つってか?査読者がOK出してるのに?アホか?

469:132人目の素数さん
18/01/14 16:09:28.86 sK/zt/MJ.net
妄想大好き統失BBAおまけに数学ド素人 それがjin

470:132人目の素数さん
18/01/14 16:14:03.09 X4EJ4RIj.net
>>454
うふふ

471:132人目の素数さん
18/01/14 16:22:16.10 R6ufD14w.net
>>453 じゃなんで掲載発表しないの
>差読者OKがでたんだな?

472:132人目の素数さん
18/01/14 16:22:54.75 R6ufD14w.net
査だわ

473:132人目の素数さん
18/01/14 16:24:44.50 lcAXNz+W.net
>>456
査読者OKの情報を取材で得たんだろ?アカヒも一面にするくらいだから裏取ってるよ。それを海外のブログwwでやめるとか素人かw

474:132人目の素数さん
18/01/14 16:25:29.47 R6ufD14w.net
編集委員しか知らないであろうじじつをリークしたひとがいまーす!(小保方調)

475:132人目の素数さん
18/01/14 16:26:51.32 R6ufD14w.net
>>458 よく読め クスリでもやってんのか

476:132人目の素数さん
18/01/14 16:29:52.05 oMAKPmqJ.net
掲載のコメントを出して、何かいいことあるの?
普通に掲載して、周りが騒いで、後で論文否定されても、周りが騒いだということ。
理研のように、自分で喧伝して自殺者が出たから、喧伝したらリスクが大きいことが分かる。
RIMSの方針通り、「掲載してない論文はノーコメント」じゃないの。 

477:132人目の素数さん
18/01/14 16:29:59.08 P7j2AL8i.net
>>443
中肉中


478:背の宮崎哲弥みたいだよね



479:132人目の素数さん
18/01/14 16:30:54.13 lcAXNz+W.net
>>460
アンカーも貼れない奴にいわれたかないわ。
おまえら取材活動の凄さを知らんな?酒池肉林強引無謀何でもありの取材合戦だぜ。

480:132人目の素数さん
18/01/14 16:31:53.95 T2LcP4X8.net
いつかabc予想をFaltings並みのページで解く奴が現れて、IUTは「追分の理論」になるかもね

481:132人目の素数さん
18/01/14 16:33:23.59 R6ufD14w.net
>>463 取材活動のはなしなどしとらん
>査読者がOK出してるのに?アホか?
と断言したのはあくまで463

482:132人目の素数さん
18/01/14 16:34:11.87 lcAXNz+W.net
>>461
何か五年前にやたらマスゴミが騒いだから、圧力があんじゃねーの?コメント出せとか。

483:132人目の素数さん
18/01/14 16:36:09.10 lcAXNz+W.net
>>465
知能低いのぉ、アカヒが一面掲載するくらいだから査読者OKだろうよフツーのオツムで考えると。

484:132人目の素数さん
18/01/14 16:37:17.14 R6ufD14w.net
アホかお前さんの思考原理は赤比か

485:132人目の素数さん
18/01/14 16:38:32.46 lcAXNz+W.net
新聞業界には詳しいぜw

486:132人目の素数さん
18/01/14 16:38:34.87 R6ufD14w.net
そんなのが親派じゃやっぱ無理だわ じゃあの

487:132人目の素数さん
18/01/14 16:39:50.54 lcAXNz+W.net
>>470
451のアホな意見を放置してトンズラーか。レベルが知れるな。

488:132人目の素数さん
18/01/14 16:41:37.59 oMAKPmqJ.net
>>466
朝日新聞の、RIMSの「掲載してない論文はノーコメントの方針」の記事が、もし本当なら、
コメントしたらRIMS組織の規律に反するから、自分だったらば、何も言わない。

489:132人目の素数さん
18/01/14 16:46:34.86 rxYRdLC3.net
この酔っぱらいオバサン最高におもしろいわ(笑
大空に舞い上がるバカ
地の底を這いずり回るクズ

490:132人目の素数さん
18/01/14 16:52:33.44 hLQ8D+AH.net
>>472
それは朝日新聞の記事の情報ではなくてRIMS内部で出回ったメールに書かれてある情報
URLリンク(twitter.com:443)

491:132人目の素数さん
18/01/14 16:55:09.82 oMAKPmqJ.net
>>474
そうですか、ソース違いすみません。
そうならば語ったら責任問題だから、なおさら語らない、と思うよ。

492:132人目の素数さん
18/01/14 16:57:28.03 gQ5FDAOg.net
公務員倫理ホットライン - 人事院
【通報対象】 - 人事院
URLリンク(www.jinji.go.jp)

493:132人目の素数さん
18/01/14 16:57:57.85 rxYRdLC3.net
要するにオバサン一匹が騒いで暴れてるだけなんだよw

494:132人目の素数さん
18/01/14 17:08:59.57 oMAKPmqJ.net
>>477
僕は、BBAじゃないよ。
最初に、
PRIMSは、論文の日付が2月20日頃みたいだが、
その頃に分かるのかな。
と書いただけ。

495:132人目の素数さん
18/01/14 17:22:08.02 lcAXNz+W.net
>>474
これ、やばいよね、めっちゃ内部情報じゃんwww

496:132人目の素数さん
18/01/14 17:22:23.02 sK/zt/MJ.net
bba_jinがNot Even Wrongに書き込んで自作自演しとるw

497:132人目の素数さん
18/01/14 17:32:40.83 FdUqWlSN.net
おいおいTanの布教活動の第1情報源はjinのツイッターではなく >>336 やぞ

498:132人目の素数さん
18/01/14 17:50:54.71 /ynurMKG.net
jin「海外の数学者に注目されて嬉ピー♡」

499:132人目の素数さん
18/01/14 17:57:28.66 W5ShJbuI.net
お里が知れるな #jinはクソ

500:132人目の素数さん
18/01/14 18:07:05.47 E5eLkOq2.net
メールを流したら漏れる、と判断する、
掲示板のカキコは糞ババアが盗用する、
これは常識だぞ

501:132人目の素数さん
18/01/14 18:12:08.67 ibCC+OFN.net
3コマで理解できるんだー、国内でもやってよー(棒読み)

502:132人目の素数さん
18/01/14 18:33:20.21 P7j2AL8i.net
>>464
単純化できるのは間違いないわ
単純化できたらそいつのほうが凄いと思う

503:132人目の素数さん
18/01/14 18:45:50.38 7klFGxs1.net
テへ~テレるな~

504:132人目の素数さん
18/01/14 18:48:18.89 TtaDouVw.net
アホクサ。

505:132人目の素数さん
18/01/14 18:50:20.83 nEXxza5G.net
本当はより見通しの良い理論であるはずなのに諸々の概念や議論が十分一般的でないために込み入ったことになっているというのはあるだろうな
もう少し整備されれば流布しやすくはなるだろ
てかそういうのGokunが得意なんじゃ

506:132人目の素数さん
18/01/14 20:36:47.98 E5eLkOq2.net
ロンドン-オックスフォードのIUT理論
ワークショップで何が話されたんだろ?
未だ数学の論文が受理されていない前から、
ABC予想とN=4 SYMとはねぇ

>>382

507:132人目の素数さん
18/01/14 20:45:32.99 YYHz5SKA.net
そう言いつつもお前らjinとセックスしたいんだろ

508:132人目の素数さん
18/01/14 20:47:39.69 E5eLkOq2.net
あぶり出されたw

509:132人目の素数さん
18/01/14 20:47:49.84 IRjx43JH.net
>>490
>ワークショップで何が話されたんだろ?
EXTENDED PROCEEDINGS OF Oxford (CMI and C&S) workshop on IUT theory of Shinichi Mochizuki
URLリンク(www.maths.nottingham.ac.uk)

510:132人目の素数さん
18/01/14 20:53:05.17 E5eLkOq2.net
>>493
サンクス

511:132人目の素数さん
18/01/14 20:53:33.37 Q+a8MYyN.net
遠アーベル幾何的な面ばかり強調されるけど
類体論的な方向に拡張したらいいんじゃない?

512:132人目の素数さん
18/01/14 20:56:12.04 sCGOk93J.net
>>495
類体論的な方向ってどういう方向のことだよ

513:132人目の素数さん
18/01/14 20:59:38.53 Q+a8MYyN.net
要するに、ラングランズとの親和性を高めるということですよ

514:132人目の素数さん
18/01/14 21:24:08.41 sCGOk93J.net
>>497
IUT理論って要は、多幅的(Multiradially)アルゴリズムと呼ばれる
ある種の双曲的曲線に対して定まる対数リンクの系列からテータ関数の特殊値などのデータを復元するという
遠アーベル幾何的な復元アルゴリズムの存在を主張する理論だけど
それとラングランズとの親和性を高めるって一体どういうことだよっていう

515:132人目の素数さん
18/01/14 21:43:34.95 sCGOk93J.net
Langlands との親和性を高めるという方針は何となく筋が悪いと感じる
それよりも Meromorphic function の現代的理論や Analytic number theory との親和性を高めるというのは可能だと思う
実際 Frankenhuijsen を始めとする研究者たちと共同研究しているのはそういう方向性なんじゃないか
そういう意味においても IUT がガッチガチの Langlands 学者たちから敬遠されているという状況が理解できる

516:132人目の素数さん
18/01/14 22:02:39.73 ENUeTSSx.net
親和性云々以前にIUTはなにも証明できてないのだから理論として無用

517:132人目の素数さん
18/01/14 22:03:02.62 Q+a8MYyN.net
ラングランズは数学の統一理論と言われてるわけだから
そっちのほうへ近づけていかないと将来性がないですよ

518:132人目の素数さん
18/01/14 22:17:49.14 E5eLkOq2.net
>>382のarxiv YMとABC予想ですが、
著者は物理関係のみと思います。
IUTは数論で超難解と言われていますが、
物理関係はこのarxivを見れば
OKそうですね?

519:132人目の素数さん
18/01/14 22:23:48.48 P7j2AL8i.net
>>498
大局感がないな
タイヒミュラー理論ってことを忘れたのか?
おまけに代数的基本群と絶対ガロア群の圏を使って大域的にスキームを計算する理論だ
逆にどうやったらラングランズと関係ないと思えるのか

520:132人目の素数さん
18/01/14 22:27:27.68 qJgR3zl9.net
>>503
大域的にスキームを計算するとは?(笑)

521:132人目の素数さん
18/01/14 22:29:11.02 P7j2AL8i.net
真っ先にやるべきは高次元化
高次元化しろ!

522:132人目の素数さん
18/01/14 22:33:33.00 P7j2AL8i.net
>>504
(笑)はいらねーだろ!

523:132人目の素数さん
18/01/14 22:53:40.59 P7j2AL8i.net
あの


524:ね、数体で幾何学をやるってのは難しいことだからな?考える頭があれば理由はわかる 普通に考えたら数体のスキームを使ってタイヒミュラー理論を構成なんてできないんだよ だから簡単に理解されなかったのだ



525:132人目の素数さん
18/01/14 22:58:08.68 qJgR3zl9.net
>>507
そこでいうタイヒミュラー理論とはどういう理論のことを言っている?w

526:132人目の素数さん
18/01/14 23:16:48.89 ptC2F6gh.net
数体で幾何学をやるってそれただのスキーム論やん

527:132人目の素数さん
18/01/14 23:19:02.56 COqP/Dyp.net
>>382
ものすごい偏見なのは自覚してるけど
論文の著者名がHui とか Huとかアジア系っぽいってだけで
読まなくていいヤツとしてそっ閉じする
浅いリンクだけで夢を語るだけなら誰にも難しくない

528:132人目の素数さん
18/01/14 23:19:43.46 P7j2AL8i.net
よくできてる理論と言える理由は例えばこうだ
複素ホッジ理論はCで考えれば十分なんだ。だから変形しても計算は簡単だろ
ところが環構造自体を変形するとなるとそうはいかない
だから何かが必要になる。この理論は絶対遠アーベルだ
そしてそれが色んな意味で見事に嵌まってるのだよ。抽象的なパズルとしてね

529:132人目の素数さん
18/01/14 23:26:37.64 COqP/Dyp.net
>>505
加藤和也先生の一般の人向けの本を読んだことあるけど
類体論の高次元化の仕事は現代数論の本流である類体論の非可換化の仕事の
助けになるらしい
そして類体論の高次元化は一応完成を終えた理論ならしい

530:132人目の素数さん
18/01/14 23:28:52.25 COqP/Dyp.net
>>512
×助けになるらしい
○助けになる可能性があるらしい

531:132人目の素数さん
18/01/14 23:30:27.42 COqP/Dyp.net
>>511
複素ホッジ理論自体が数論と直接密に関係しているお話ってありますか?
加藤和也先生のお話以外で

532:132人目の素数さん
18/01/14 23:31:20.12 ptC2F6gh.net
>>510
いや俺も胡散臭すぎると思うぞ
ただどういうわけかその著者の一人であるHU Zhiってやつはモッチーのところに滞在中なんだよな
URLリンク(www.kurims.kyoto-u.ac.jp)

533:132人目の素数さん
18/01/14 23:32:19.56 COqP/Dyp.net
>>515
まぁ紛れ込むだけならjinでも出来るんだし

534:132人目の素数さん
18/01/14 23:33:23.64 qJgR3zl9.net
>>505
IUTのどこをどう高次元化しろと言っている?

535:132人目の素数さん
18/01/14 23:35:37.54 ptC2F6gh.net
>>516
いやいやRIMSの来訪研究者として紛れ込むのは至難の技では?

536:132人目の素数さん
18/01/14 23:36:29.45 P7j2AL8i.net
>>512
それはグロタンディークやドリーニュの理論の延長でできるからね
しかし、それに関連する代数的K理論もまだ解明されきってないし、
数体のラングランズ予想そのものの幾何学的解釈もそれだけではできない
(これは死ぬほど難しい)

537:132人目の素数さん
18/01/14 23:38:55.52 COqP/Dyp.net
>>518
一応大学に職のある人ならナンチャッテでも可能なんじゃない?
そういう人たまにいるみたいよ
たとえばこの件とは関係ないけど教授職についたあとで分野転向したりした人が
ウロウロとほぼ門外漢レベルでセミナーに出没したり
それにいまIUTは来る者拒まず状態でしょたぶん

538:132人目の素数さん
18/01/14 23:42:55.61 P7j2AL8i.net
>>514
そりゃモチーフ(スキームのコホモロジーの一般化)だな。ホッジ予想ってあるでしょ
関数のラングランズ予想でも複素ホッジ理論はバリバリ使われている
ホッジ理論の役割は大雑把に言えば多様体上の微分積分を利用して
代数幾何学的な図形を調べること
しかし、そのままでは本来の数論には使えない。だからIUTTは新しいわけだ

539:132人目の素数さん
18/01/14 23:43:28.27 ptC2F6gh.net
>>520
なるほどなぁ言われてみればそんな感じがするな

540:132人目の素数さん
18/01/14 23:43:57.79 COqP/Dyp.net
>>519
むしろその延長上で出来て欲しいね
スッキリしていいじゃん
そういう意味で言えばIUTも延長上の話だよね <


541:br> ワイルズやテーラーの理論は技術的過ぎてその場しのぎの技巧が 限界に来てるみたいなレスを2ちゃんで読んだ事ある 解明され切ってないとはいわゆる斎藤先生のサーベイに出て来る 高次元の「高次化」の事なのかな ネット上で読んだ事あるけど「高次化」って何を指してるかさえ意味が読み取れなかった



542:132人目の素数さん
18/01/14 23:50:31.13 P7j2AL8i.net
>>517
IUTTというか、まず遠アーベル自体高次元化は芳しくないだろ?いや、18年時点の
情報は知らないが、つい最近までそうだったはず
その上で応用すべきと考える理論は二つあるが、今は妄言だから言わない
解析的整数論に関連付けるとしても高次元化は重要だよ

543:132人目の素数さん
18/01/14 23:53:52.31 COqP/Dyp.net
>>521
複素ホッジ理論がモチーフに関係してるらしい事はwikiで読んだけど
ネットサーフィンして眺める限り複素数体だけで議論できる話題は
どうも非常に限られているっぽいという印象。
複素ホッジ理論とモチーフとの関連の話題でもすぐに結局はスキームが
議論に出てくる。
penrose変換の層コホモロジーを用いたりして
保型形式を純粋に複素代数幾何的に議論する事を
複素ホッジ理論界隈のボス(Griffiths)がなんやかんや
やってるみたいだけどフォロワーが殆どいないし停滞してるぽい

544:132人目の素数さん
18/01/14 23:57:55.41 COqP/Dyp.net
>>524
数学の内容自体は俺は門外漢だけど
解析数論って陸の孤島みたいだから複素代数幾何的にジオメトリックな
扱いで統一して欲しい。
でもジーゲルだか誰か伝統的解析数論畑の人が「高級数学」を非常に批判してた。
野ブタが畑を荒らすが如くとたとえてた。
解析数論の人にとっての本質はもっともっと素朴な対象なんだろうね

545:132人目の素数さん
18/01/14 23:58:20.95 qJgR3zl9.net
>>524
なるほど、曲線を曲面に高次元化するってことね
>>523
π_1をπ_nにしてGL_1をGL_nにするっていう話では(高次元化の高次元化の意味

546:132人目の素数さん
18/01/14 23:59:51.58 P7j2AL8i.net
>>523
Wiles-Taylorは、通常のスキームと正則保型表現で数論をやることの
限界を示したと言えるだろうな
IUTTは単なる延長というよりは、2020年以降に予見される代数幾何学の前触れという感じか

547:132人目の素数さん
18/01/15 00:08:54.40 V973gl0L.net
>>528
イメージだけでモノを言うけど
ワイルズやテーラーはそりゃスキーム理論も一応使ってはいるけど
楕円曲線や保型形式の人という感じ
しかも最近はそのスキーム理論の議論のかなりの部分も
可換環論だけの議論に簡易化されてるらしい
グロタンディーク思想やスキーム理論の真髄自体が
その延長を保った形でもっと深化して欲しい
高次元類体論はほどよくスキーム理論と類体論がブレンドされているという観点で
理想的理論って感じ

548:132人目の素数さん
18/01/15 00:13:01.33 V973gl0L.net
>>527
>π_1をπ_nにしてGL_1をGL_nにするっていう話では(高次元化の高次元化の意味
なるほどよく分からんけどよく分かった
だから高次元の高次化が非可換の道を開く可能性があるのね
この筋道がスッキリしたら現代数論は鬼のような表現論地獄から開放されるかも知れない

549:132人目の素数さん
18/01/15 00:21:48.68 SKNGtqse.net
>>530
表現論って実際のところ、数論に本質的な寄与を与えているの?

550:132人目の素数さん
18/01/15 00:23:18.38 V973gl0L.net
なお俺の数学の上っ面の知識は全てネット上の日本語のサーベイの斜め読むから
得ている
プロの数学者や院生の皆さん、
サーベイはすごく外野の数学ファンに役立つの最新情報をどんどんサーベイして下さい
なお丁度お経や子守唄代わりになるので詳細部分の雰囲気も
プロが読むことを想定したサーベイにして下さい
下手に門外漢にへりくだり過ぎたサーベイになると
「分けわかんモノを楽しむ」というお経のリズムが損なわれてしまう

551:132人目の素数さん
18/01/15 00:23:44.52 /BXANlkf.net
>>531
散々語られているようにLanglans programに絶大な本質的寄与を与えている

552:132人目の素数さん
18/01/15 00:24:47.66 4BXuXaRN.net
>>525
代数的K理論は高次元化だけじゃなくて組合せ論との関係など、まだかなり解明には
時間がかかると思うわ
しかしモチーフの難攻不落ぶりは凄いよな。部分部分解明されてきてはいるんだけど
決定的な何かが足りないまま
スキームの全体像を効率的に捉えるという意味では宇宙際幾何も役立つだろうけど

553:132人目の素数さん
18/01/15 00:27:26.90 V973gl0L.net
>>531
多分その本当の答えはたぶん誰にもまだ分からない
一つ言えるのは現段階においてはおそらく「それ以外に道はない」ということ。
望月先生はしかしNOと言ったということ。

554:132人目の素数さん
18/01/15 00:55:36.93 oH8i7oNp.net
数学を統一したいというラングランズプログラムと、実際に本質的形で統一できるかどうかは別物なんだろうな。統一できる部分だけ統一するんだろうけどな

555:132人目の素数さん
18/01/15 01:35:58.15 4BXuXaRN.net
一般の形で統一する方法は今のところ全く謎に等しい
それを哲学的な意味で明らかにできれば、フィールズ以上の栄誉になるだろうね
怒られるかもしれないが、多分宇宙際のフレームでも無理だろう

556:132人目の素数さん
18/01/15 01:37:15.07 4BXuXaRN.net
ラングランズの話な

557:132人目の素数さん
18/01/15 04:54:45.31 QGG5I08Y.net
URLリンク(www.him.uni-bonn.de)
URLリンク(webusers.imj-prg.fr)
LanglandsとIUTTを結び鍵となる研究見つけたお

558:132人目の素数さん
18/01/15 06:07:38.79 GmhJvLi5.net
モチーフ=表現論?

559:132人目の素数さん
18/01/15 08:22:13.01 4B4UOs14.net
幾何。
クラインのエルランゲンプログラムは
群と表現が大切ですね。
物性 素粒子の場に繋がった。
内在性のガウス曲面論がリーマン幾何
になり相対論の記述で使われる。
カルタンの接続の幾何はファイバー束で
近接作用 局所性 ゲージ場、、
の記述に使われる。
位相幾何はトポロジー、
トポロジカルな絶縁体、、
物理 数理 物理数学には大切な幾何ですな。
数学は一般化が統一なんだろうかね?
グロタンディクから代数 、数論、幾何
数論幾何から、トポス量子重力、
ABC予想とN=4 SYMとか物理には
単なる試論。
物理の標準理論ではないし
作業仮説でもない。
IUTによるABC予想の数学証明は
厳密な査読が必要だ、査読は保証だから。

560:132人目の素数さん
18/01/15 08:26:09.90 /D9OLEBq.net
数学者にとって物理などどうでもいい

561:132人目の素数さん
18/01/15 08:28:57.30 Ju94wdQy.net
物理学者のwittenは数学のフィールズ賞を
受賞した。

562:132人目の素数さん
18/01/15 08:34:39.84 jQk8DY0D.net
ポルナレフじゃなくてロシアのえーと、、、ペレルマン

563:132人目の素数さん
18/01/15 08:59:27.76 617Lb9T8.net
物理学者が数学の


564:研究をするのは自由 だが数学者にとって物理は単なる応用にすぎない



565:132人目の素数さん
18/01/15 09:01:16.37 GmhJvLi5.net
風呂紅オイドにも子ホモ路地ーが定義できるといいんだが

566:132人目の素数さん
18/01/15 09:05:28.07 +2KLpR+O.net
>>545
涙目だね~

567:132人目の素数さん
18/01/15 09:11:38.21 a1zX/jgT.net
数学者としても弦理論屋としても振舞える人は業界で現時点でふたりだけです。
一人は Witten 先生です。
もうひとりは Dave Morrison 先生で、
ミラー対称性等で著名な業績がありますが、彼ですら数学の博士号を取ってポスドクになってから、弦理論を学びました。
勿論あなたが三人目になる可能性もありますが、あなたがその三人目である確率は低いでしょう。

568:132人目の素数さん
18/01/15 09:12:41.97 617Lb9T8.net
>>547
お前がな

569:132人目の素数さん
18/01/15 09:17:47.64 CQoQxeNh.net
>>548
バッファは???
ウィッテンはモースの不等式を
量子効果のトンネル効果で書きかえたんだよー

570:132人目の素数さん
18/01/15 09:21:52.70 a1zX/jgT.net
>>550
立川裕二氏によるとこの2人だけらしい
URLリンク(member.ipmu.jp)

571:132人目の素数さん
18/01/15 10:32:52.18 CgwjCi21.net
アーノルドは物理の中に数学がある、
ウィッテンは自分は物理と言ってる。
但し、バッファは物理のアイデアが
直接 数学の証明に繋がらない、とも言ってる。
物理の側面から定義して数学の論理へ、だ。
物理の視点で数学の厳密な証明ではないね。

URLリンク(faculty.tcu.edu)

572:132人目の素数さん
18/01/15 10:35:15.65 CgwjCi21.net
>>552
原論文
URLリンク(www.sns.ias.edu)

573:132人目の素数さん
18/01/15 10:40:24.88 V973gl0L.net
物理の話するにしてもせめて「数論」との関連で語ってよ。
非数論の数学なんて「数論」に比べたらカスだから。
言い換えると全ての数学は「数論」的文脈を得て初めて生命が宿る。
更に言えば未だに非数論の数学としか主たる交わりのない超弦理論もカス。

574:132人目の素数さん
18/01/15 10:46:36.62 CgwjCi21.net
数論幾何?
なぜ幾何がつくんだ??

575:132人目の素数さん
18/01/15 10:47:48.55 V973gl0L.net
>>548,>>551
スレチだけど「振る舞う」とは何かはさておき
超弦理論のポルチンスキの教科書やペスキンの場の量子論の本を
一通り理解している数学者はかなりの数いるけど
現代幾何学の基礎を院生以上のレベルでちゃんと理解したと言える物理学者は
あまりいないと思う

576:132人目の素数さん
18/01/15 10:51:57.29 aafjcVYb.net
>>555
数論と幾何どっち付かずとしてのコンプレックス
数理物理みたいなネーミングだろ

577:132人目の素数さん
18/01/15 10:53:12.42 CgwjCi21.net
>>556
相対論から理解不能だろ、
物理は実験観測と結びついているからね。

578:132人目の素数さん
18/01/15 10:54:29.84 CgwjCi21.net
>>557
貴方は初等整数論なんだ、

579:132人目の素数さん
18/01/15 10:56:08.79 qN4yntd1.net
ところがどっこい

580:132人目の素数さん
18/01/15 10:56:56.52 V973gl0L.net
>>558
>相対論から理解不能だろ
相対論はディラックの超薄い本を一通り目を通しておけば
なんとかなるとりあえずは十分だと思う
たぶん

581:132人目の素数さん
18/01/15 11:01:32.83 CQoQxeNh.net
>>561
アインシュタインの原論文から。

582:132人目の素数さん
18/01/15 11:01:39.72 qN4yntd1.net
560

583:132人目の素数さん
18/01/15 11:06:44.09 GmhJvLi5.net
数論を高次元化するのが数論幾何

584:132人目の素数さん
18/01/15 11:47:13.68 aafjcVYb.net
>>564
じゃあ只の「数論」は何


585:次元だ? 「低次元」だとして3?4?次元か? 低次元幾何はむずいぞ



586:132人目の素数さん
18/01/15 12:07:53.01 GmhJvLi5.net
1次元だよ
0次元もある

587:132人目の素数さん
18/01/15 12:34:11.17 aafjcVYb.net
なんだ
代数幾何のことね
ガロア群の2次元表現などは低次元?

588:132人目の素数さん
18/01/15 12:38:45.19 GmhJvLi5.net
それは高次化

589:132人目の素数さん
18/01/15 12:55:35.17 tKXpp0DT.net
URLリンク(twitter.com)
math_jin&#8207; @math_jin
RIMSの中島先生(@hirakunakajima)は4月異動とツイートされていましたので、京都での実質的な最終講義?
[談話会]Moore-Tachikawa 2d TQFTs whose values are holomorphic symplectic varieties
2018/2/14(水)16:30~17:30
京大理学3号館110講義室
中島 啓氏
Abstractは以下
URLリンク(www.kurims.kyoto-u.ac.jp)
16:56 - 2018年1月14日

Hiraku Nakajima &#8207; @hirakunakajima 14 分前
返信先: @math_jinさん
来年度は集中講義をします。デマ流している、あんた誰?
Hiraku Nakajima @hirakunakajima 3 分前
ふつう、異動する人に最終講義というか?

590:132人目の素数さん
18/01/15 13:15:27.52 uM9tMxXR.net
無関係を装ってたりして

591:132人目の素数さん
18/01/15 13:17:12.43 qpsrDCDo.net
ウィッテンは数学者からすると預言者みたいな扱いだろうな
崇拝とは違う感覚を持ってるのが普通。突き詰めると肝心な部分がわかってないことに
気付く。ストリング全体に言えることだが
未だにそれを誤魔化してきている感じはどうしてもある

592:132人目の素数さん
18/01/15 13:22:42.90 qpsrDCDo.net
ラングランズも非常に難しいが、何せ起源が古いからな
コンヌが部分的にアップデートし、だがまだ足りないという感じだ

593:132人目の素数さん
18/01/15 13:36:14.12 O5WPI4uJ.net
>>569
いやはや、オバサン平日月曜の昼間からフルスロットルだな(笑
なんつーか、稀にみるバカだ

594:132人目の素数さん
18/01/15 13:52:20.54 3kwkM2+B.net
>>556
>超弦理論のポルチンスキの教科書
ホログラフィー原理 、ADS/CFTもないよ。
>ペスキンの場の量子論
ボゴリューボフ 場の量子論の数学的方法を
読んだら、、公理論的 相対論的場の量子論は
否定的なHaggの定理があるね。
>一通り理解している数学者はかなりの
数いる
サッパリわからん?
>現代幾何学の基礎を院生以上のレベル
でちゃんと理解したと言える物理学者は
あまりいないと思う
すまん、超弦理論にしろ数学は道具だな。
表面張力のラプラスの定理、石鹸膜
シャボン玉実験、シャボン玉定理、
から動く曲面へ、と聞いて
次が分からんのが純?数学者。
工学の方が進んでいるわ。
ロシアの数学は純数学者と違う。

595:132人目の素数さん
18/01/15 14:18:53.00 up+q5XX+.net
ハイハイ道具でいいから関係ない話するな

596:132人目の素数さん
18/01/15 14:23:42.87 3kwkM2+B.net
ロシアの数学者名は 糞ババアが盗用する
から書かないよ、
アホもいるし 悪しからず

597:132人目の素数さん
18/01/15 15:24:15.47 rjDwKe+w.net
そんな情報ババアでも盗用せんわ
jin以上に自意識過剰かよ

598:132人目の素数さん
18/01/15 15:33:21.02 CQoQxeNh.net
数学はオタクと親和性が高い

599:132人目の素数さん
18/01/15 15:33:52.83 r7lrY/2c.net
BBA乙

600:132人目の素数さん
18/01/15 15:35:43.25 pVoYe6sS.net
ほんとあのババア余計なことばかりしてやがる
一体どんな面してんのか見てみたいわ

601:132人目の素数さん
18/01/15 15:45:22.65 rjDwKe+w.net
URLリンク(twitter.com)
ババアのやつ、ツイート削除した�


602:セけで許されたと思ってそう お前は今まで5年以上もRIMSの先生方に迷惑かけてきたんだ 存在自体が害なので垢消せ



603:132人目の素数さん
18/01/15 15:49:10.48 CiTJYWWt.net
>>556
そんな数学者いないと思うが……
そもそも数学者の壁としてファインマンダイアグラムがいまだ立ちはだかってるし

604:132人目の素数さん
18/01/15 16:07:43.17 9A3eItYY.net
ファインマン図とかただの近似法だからあまり深く考えないほうがいいよ

605:132人目の素数さん
18/01/15 16:35:14.70 UJNES4GC.net
>>554
現在までに、最初に物理の学習から始めてから数論をやった人は何人かいるが、
逆に、最初に数論や数論幾何までやってから物理で業績を上げた人はいるかい?

606:132人目の素数さん
18/01/15 16:38:28.43 qpsrDCDo.net
量子論もストリングも数学的意味がわかっている人間などいないんだから
一旦深く考えないほうがいいのは確かだ
ちゃんとした数学的理由があって、ストリングやってる数学者は馬鹿だと俺は思っている
ホモロジーミラー、シンプレクティックやリー代数は地に足が付いてるからいいけど

607:132人目の素数さん
18/01/15 16:41:37.97 qpsrDCDo.net
>>584
それは純粋な疑問ならともかく、優劣については完全にナンセンスな比較
ウィッテンについては純粋な数学的業績というより、発見的な業績だしな

608:132人目の素数さん
18/01/15 16:58:30.03 UJNES4GC.net
>>586
いや、素朴な疑問で、表現論を除くと、物理から解析や幾何が生まれ、解析や幾何から代数が生まれる。
近代以降、歴史的には大体そういう流れになる。数論は代数の極み。
数論の証明も、他の分野から生まれた手法を使うことが少なくない。

609:132人目の素数さん
18/01/15 17:04:41.19 UJNES4GC.net
数論は最終的に行き詰まった状態の分野で、
或る定理のより純粋に代数的手法で簡潔な証明をするだけでも論文のネタになり得る。
解析とか幾何は、必ずしもそのような状態とは限らない。

610:132人目の素数さん
18/01/15 17:48:37.39 PJELOU8y.net
物理の数学コンプは異常

611:132人目の素数さん
18/01/15 17:55:25.80 +yRFgUDo.net
BBAは本人が統失な上に相方がサイコエロだし救えないわ
品川や川崎を闊歩してる中堅サラリーマンなんて自分が世の中の主流と勘違いするしな

612:132人目の素数さん
18/01/15 17:57:24.59 qpsrDCDo.net
>>587
そんな単純な図式にはならんよ
まあ面倒だからいいけどw

613:132人目の素数さん
18/01/15 18:09:05.95 UJNES4GC.net
>>591
ニュートンとライプニッツによる微分積分が生まれてから、
オイラーの公式からガウスの円周等分多項式が生まれたのは分かるよな。
オイラー自身も数論で業績を上げてはいるけど、その円周等分多項式がなかったら、
代数的整数論も何も近代の数論は豊かに発達し得なかったと思うよ。
ここでは数論への幾何の影響のことはいっていないけどね。

614:132人目の素数さん
18/01/15 18:25:39.36 K5fgfrmR.net
リーマン多様体が物理からの要請で芽吹いたのならば、その考えも広く受け入れられたでしょうね

615:132人目の素数さん
18/01/15 18:38:10.19 mzb1WxfO.net
どう見ても純粋数学は追いやられて部が悪いだろう

616:132人目の素数さん
18/01/15 18:39:46.26 K5fgfrmR.net
代数トポロジーの諸概念が物理から来てるとは思えない

617:132人目の素数さん
18/01/15 18:40:25.17 K5fgfrmR.net
>>594
追いやられる?
何処に?

618:132人目の素数さん
18/01/15 18:42:12.14 qpsrDCDo.net
>>592
そもそも数論はあまり確定した分野ではないのと、広義の代数とその他(物理を含む)の
関係も単純ではないからな
全体として数論がエンド的だと言い切るのは時期尚早ではないかな

619:132人目の素数さん
18/01/15 18:50:52.21 qpsrDCDo.net
有名な流れで言えば



620:Xトリング理論に新しい革命が起きる か、Langlands×Connes→Arithmetic Quantum theory? のどちらかになると予想されるが どちらにせよ数学的な考え方をしないと前に進めない 実際、本当に行き詰まってるのは競争とか抜きに物理だろ



621:132人目の素数さん
18/01/15 18:57:49.59 vCZq8lUs.net
>>569
中島啓先生、なんだよコイツ非常識な上にキモすぎ氏ねよって思っただろうな

622:132人目の素数さん
18/01/15 19:36:06.18 +LdtL3o5.net
匂わせツイッター

623:132人目の素数さん
18/01/15 19:37:59.56 +MNkZmnW.net
あんた誰は草

624:132人目の素数さん
18/01/15 19:39:02.64 r/6XcmoZ.net
jinはいい加減、自分が研究者たちにとって迷惑な存在なんだということを自覚しろ

625:132人目の素数さん
18/01/15 19:49:29.72 O5WPI4uJ.net
おそらくオバサン的には無視したフレンケルには激おこ、中島氏には触らぬ神に祟りなし、
望月氏には永遠の片想い、ブンゲン氏はリツイートしてくれたので愛人にしてほしい、てな感じだろうなw
ブンゲン氏も余計なことを……

626:132人目の素数さん
18/01/15 20:00:51.70 5v8pP00y.net
セミナーに乱入して糞ヤジ飛ばしまくる禿JJI(物理出身)といい
ツイッターでデマ流しまくる拗らせ系ストーカーBBA_jinといい
RIMSは注目される存在なだけに大変だよなぁ
(光に影はつきもの)

627:132人目の素数さん
18/01/15 20:19:25.77 2hTWvdgI.net
URLリンク(www.math.columbia.edu)
bba_jinのコメント、Woitに見事に無視されてるな

628:132人目の素数さん
18/01/15 20:20:47.71 mLdCVAVq.net
bba_jinは数学者とセックスがしたくてたまらないんだろうな。
毎日朝起きては得意の妄想で数学者おかずにひとしきり自慰に励んだ後
更新アプリとこのスレチェックしてんだから。

629:132人目の素数さん
18/01/15 20:24:31.01 ykP2b6PU.net
中途半端な距離感でヲチしてる様子を見ると
見た目はあれなんだろうなあ
美人だったらひとまずアタックするだろうし

630:132人目の素数さん
18/01/15 20:28:20.17 2hTWvdgI.net
>>606
グロ

631:132人目の素数さん
18/01/15 20:37:33.62 V973gl0L.net
だから「非数論の数学」も「物理」も
数論的文脈の中で語られない限りクソなんだから
スレ違いやめてよ
どうしてもそれらをこのスレで語りたいならせめて
それらの数論との関連性について書いてよ

632:132人目の素数さん
18/01/15 20:38:49.26 8IJUk0YP.net
>>605 のコメントにしろ、フレンケルへの糞リプにしろ
独りよがりな自己主張なので無視されて当然

633:132人目の素数さん
18/01/15 21:01:14.55 oqszsUca.net
>>595
ニュートンのプリンキピアは面白いよ。
3次曲線の分類、微積分 曲線図形の求積法、
ニュートン多角形、べき級数解、
皆んな ニュートン。

634:132人目の素数さん
18/01/15 21:11:54.04 MAlBDD1z.net
ニュートンは数学と物理学を結びつけた天才
ノイマンは計算機科学から統計学の有用性を(結果的に)引き上げた天才

635:132人目の素数さん
18/01/15 21:20:46.49 pVoYe6sS.net
最終講演だとか言って勝手に中島先生を定年退官させようとしたjinの罪は重い

636:132人目の素数さん
18/01/15 21:57:43.97 uc7e2dBk.net
@hirakunakajimaさんのツイート: URLリンク(twitter.com)
名誉教授になるには、最終講義をしなくてはいけない、のかな?
URLリンク(twitter.com)
そうだとすると、今度の談話会


637:は最終講義なのかも? jin良かったな、中島先生も間違いに気づいてくれたよ。あんたの勝ちだw



638:132人目の素数さん
18/01/15 22:04:13.29 3QYQ7Qao.net
>>611
用語を並べただけの独りよがりなレスばかり飛ばしてるようだが
(しかも日本語が多々崩壊してるし)目障りだから失せろ

639:132人目の素数さん
18/01/15 22:12:48.61 sJNubqKM.net
>>614
>名誉教授になるには最終講義しなくてはならない
んなわけねぇだろ。中島先生らしくないボケだな。
あとjinがクソであることには変わりねぇよ。

640:132人目の素数さん
18/01/15 22:17:52.45 3YoxpUd2.net
>>614
最終講義ではなく、ただの異動記念談話会

641:132人目の素数さん
18/01/15 22:18:10.34 uc7e2dBk.net
>>616
んなわけねぇってなんでおまえ知ってるんだ?関係者か?

642:132人目の素数さん
18/01/15 22:19:40.66 uc7e2dBk.net
>>617
jinも「実質的な最終講義?」って?つけてるだろ?

643:132人目の素数さん
18/01/15 22:21:02.59 uc7e2dBk.net
>>613
最終講義?って言ってるだけだろ?過剰反応しすぎなんだよここの掃き溜めの住人もピラクちゃんもw

644:132人目の素数さん
18/01/15 22:26:37.55 DtVA75v1.net
よぉjin、必死だな

645:132人目の素数さん
18/01/15 22:34:51.07 mLdCVAVq.net
jin、バレバレなんだよ。ほんま愉快な奴だな。
お前の素のボケに付き合ってくれた中島先生にまで逆切れするとはw

646:132人目の素数さん
18/01/15 22:43:58.65 ykP2b6PU.net
バレバレというか
もはや隠す気もないよな

647:132人目の素数さん
18/01/15 22:45:49.56 uc7e2dBk.net
おう!jinだよ!必死だよw

648:132人目の素数さん
18/01/15 22:49:36.60 LL2gdbds.net
>>624
全く反省してないというクズっぷり恐れ入ります

649:132人目の素数さん
18/01/15 22:52:21.47 uc7e2dBk.net
>>625
あざーっす

650:132人目の素数さん
18/01/15 22:57:02.24 LL2gdbds.net
>>626
ひとつ提案なのですが
ここではコテハンを付けて妄想を開陳されてはいかがですか?
自演バレバレですし

651:132人目の素数さん
18/01/15 22:59:57.29 MAlBDD1z.net
中島先生もBBAさんが下らない絡みかたしなければ
その間にもっと数学のことを考えられたかもしれないのに
BBAさんはもしかしてこう言いたい?と無駄なことを考える嵌めに
なったわけで
研究者の時間を邪魔してるんですよ
他の人の邪魔をするのはやめましょう
より具体的には数学者に話しかけずに黙って見てろということです

652:132人目の素数さん
18/01/15 23:08:43.98 76BskzfQ.net
>>628
ほんまそれなー(´・ω・`)

653:132人目の素数さん
18/01/15 23:10:12.51 O5WPI4uJ.net
オバサンは見てて面白いのだけど(迷惑している人すみません)、ここでマジレスすると、
>>416 は研究者に対する侮辱だ、許し難い。
1月にIUT論文掲載予定が真実だったと仮定して、掲載が見送られたのだとしたら、
それは、バッシング(俺は指摘・疑問だと思うけど)のせいではなく、ギャップが見つかった可能性がある、と見るべきだろう。
それが研究者の態度だ。
外野の雑音なんかどうでもいい、真か偽か、論理に整合性があるかないか、ギャップがないかあるかだ。
望月氏もRIMSもコメントを控えている以上、オバサンのカキコは望月氏とRIMSを侮辱している。

654:132人目の素数さん
18/01/15 23:19:10.96 ykP2b6PU.net
オバサンと言い換えると怖くなってくるな
四十路のブスとかじゃないだろうな

655:132人目の素数さん
18/01/16 00:17:54.82 CrECpZzl.net
このスレは、
>>1
IU幾何やABC予想に関する会話のサロンとして使って下さい。
m村jin美の話題や荒らしはご遠慮願います。
とあるから、 m村jin美の話題は、遠慮の対象なのだが。

656:132人目の素数さん
18/01/16 00:20:13.25 N3+FhqLj.net



657:ワかり間違って美人だったら、お前ら手のひら返すくせに



658:132人目の素数さん
18/01/16 00:30:56.08 pRpLJ5Ue.net
>>633
ここの住人は奴のアスペっぷりを散々目撃しているわけだが
そんな下らんことで手のひら返すような物好きな奴おるんか

659:132人目の素数さん
18/01/16 00:37:22.64 pRpLJ5Ue.net
>>632
goo.gl/hiRvhb

660:132人目の素数さん
18/01/16 00:41:22.49 jeDtki4C.net
>>632
>>416 はm村jin美なのかね?それを認めるのかね?
ところで、
URLリンク(twitter.com)
↑の人と>>416 の考え方が同じのは偶然かね?

661:132人目の素数さん
18/01/16 00:50:08.55 /xf8TH76.net
>>636
だから >>416 の直後に >>417 が指摘してるように
>>416 の中の人間が妄想BBAだってことはバレバレなんだってば

662:132人目の素数さん
18/01/16 00:55:59.13 jeDtki4C.net
>>633
手のひらは返さんけど、まかり間違ったら美人なんだろうな(棒
>>637
わかってるよ
だからオバサンと言っているわけだよ

663:132人目の素数さん
18/01/16 00:56:16.80 jrzx/ULq.net
仁美、僕のそそりたった凸体を君のいやらしいクラインの肉壺に嵌め込ませてくれるかな

664:132人目の素数さん
18/01/16 01:05:50.90 PbZ6yVbf.net
グロレスやめろ

665:132人目の素数さん
18/01/16 02:10:16.24 QGiAjE0u.net
で、jinアカ消しマダァ-? (・∀・ )っ/凵⌒☆チンチン

666:132人目の素数さん
18/01/16 02:38:10.02 CEgdS/lY.net
過去スレ遡ってたら面白いもん見つけた。
PRIMSに掲載されるっていう内部情報、2016年8月の時点で既に漏れてたんだな↓
朝日の報道が2017年12月だからその一年以上も前

0554 132人目の素数さん 2016/08/24 11:07:45
査読者からのアクセプト連絡きてRIMSは大騒ぎ
0556 132人目の素数さん 2016/08/24 11:54:55
国内のジャーナル?
0557 132人目の素数さん 2016/08/24 11:56:41
>>556
PRIMS らしい
0560 132人目の素数さん 2016/08/24 12:11:55
編集長もっちー本人じゃん。
そんな内輪のジャーナルで対外的に認められるのか?
0561 132人目の素数さん 2016/08/24 12:41:50
>>560
掲載許可を決める場には著者は、編集長と言えども同席を許されない掟があるのだ。
0562 132人目の素数さん 2016/08/24 12:48:41
>>560
編集長以上に担当コミュニケーター(T先生)が対外的な責任を果たす必要が出るでしょう。
自分はよくわかってないけれど、査読者がOKって言ったからは通じない。
最低、自分も理解して正しいと考えた、がないと。
0576 132人目の素数さん 2016/08/24 17:46:21
差読者はプリムズの編集委員以外もできるん?
0578 132人目の素数さん 2016/08/24 17:54:51
>>576
お前素人?編集委員はコミュニケーター。彼らが独立した第三者の査読者を選ぶんじゃ。

667:132人目の素数さん
18/01/16 02:51:19.08 CEgdS/lY.net
>>642 の続きだが、↓によると
2016年8月下旬にIUT-IとIIがアクセプトされた、ということのようだな。

0638 132人目の素数さん 2016/08/26 16:09:50
今回のアクセプトはIUT-IとIIのみね
IIIとIVはまだー

668:132人目の素数さん
18/01/16 03:17:23.79 CEgdS/lY.net
>>642-643 と週刊新潮の記事から
・2014年頃にIUT本論文の査読が開始された
・2016年8月下旬にIUT-IとIIがアクセプトされた
ということが読み取れる。
また朝日新聞の報道から推測するに
・2017年12月頃にIUT-IIIとIVがアクセプトされた
ということなんだろうか?

669:132人目の素数さん
18/01/16 03:30:10.07 ngakxhfX.net
結局は査読者のレベル
論文を追っていった結果矛盾は認められないが現実と一致しないようだ
この場合どうするか

670:132人目の素数さん
18/01/16 04:51:09.93 OxPsAfsi.net
掲載決定を強行させようと必死だな
相当追い詰められてるな

671:132人目の素数さん
18/01/16 05:10:27.11 jeDtki4C.net
>>642-644
信憑性が疑わしい匿名掲示板の書き込みと、当事者がコメントを拒否しているマスコミ報道から邪推を重ねるとは。
鬼婆ァの妄執おそるべし!
>>645
意味が分からん。そんなもん数学の論文じゃないだろ。
オバサンさぁ、望月新一氏は数学者、RIMSは数理解析の研究所、IUT理論もABC予想も数学なんだよ?
本当に分かってるの?

672:132人目の素数さん
18/01/16 06:00:47.90 FrfQ8vRi.net
>>647
そのおばさんはさぁ、閉じた世界で一般人を見下した態度をとる傾向のある困った人種と、一般の人とを少しでも近づけようと頑張ってる津取りなんですよ。それが邪魔だ、迷惑だというなら、今度こそ本当に垢消しますよ。
今度は本気ですよ。別垢もつくらず、一切活動しませんよ。いいんですね?
私はネタにされて善し悪しはあれIUTや数学に興味のある人のためにと思ってやってきたのに。

673:132人目の素数さん
18/01/16 06:06:20.03 OxPsAfsi.net
さっさとやめろ
>>647みたいな権威至上主義が世の中を歪めてる
理研の小保方、京大の石油水、阪大グループの量子コンピュータなど全て同じ道ではないか
玉川や松本、647が論文から(1+k)のk有限値を示せたのか、論文に書いてあるのか
何も証明していないと批判されても仕方がない

674:132人目の素数さん
18/01/16 06:47:51.21 p++w9IPE.net
例えば(足し算は掛け算に置きなおすことが出来て)「5で割った余りの足し算の体系」はこの一例です。
で、jinアカ消しマダァ-? (・∀・ )っ/凵⌒☆チンチン

675:132人目の素数さん
18/01/16 07:01:04.98 CrECpZzl.net
このスレは、
>>1
IU幾何やABC予想に関する会話のサロンとして使って下さい。
m村jin美の話題や荒らしはご遠慮願います。
とあるから、 荒らしも、遠慮の対象なのだが。

676:132人目の素数さん
18/01/16 07:11:53.03 xTU+JG7F.net
5年も執着してきたやつが簡単にやめるわけない。どうせまた裏でこそこそやるだろ。ただの構ってちゃんのオバハン

677:132人目の素数さん
18/01/16 07:20:00.92 uwShq/VT.net
擁護互助会役員のユウキがkの有限範囲を示したら認めてやるよ

678:132人目の素数さん
18/01/16 07:27:00.23 uwShq/VT.net
擁護派は結局わかってないのに庇ってるだけなんだな

679:132人目の素数さん
18/01/16 07:27:28.41 uwShq/VT.net
649132人目の素数さん2018/01/16(火) 06:06:20.03ID:OxPsAfsi
さっさとやめろ
>>647みたいな権威至上主義が世の中を歪めてる
理研の小保方、京大の石油水、阪大グループの量子コンピュータなど全て同じ道ではないか
玉川や松本、647が論文から(1+k)のk有限値を示せたのか、論文に書いてあるのか
何も証明していないと批判されても仕方がない
650132人目の素数さん2018/01/16(火) 06:47:51.21ID:p++w9IPE
例えば(足し算は掛け算に置きなおすことが出来て)「5で割った余りの足し算の体系」はこの一例です。
で、jinアカ消しマダァ-? (・∀・ )っ/凵⌒☆チンチン
653132人目の素数さん2018/01/16(火) 07:20:00.92ID:uwShq/VT
擁護互助会役員のユウキがkの有限範囲を示したら認めてやるよ
654132人目の素数さん2018/01/16(火) 07:27:00.23ID:uwShq/VT
擁護派は結局わかってないのに庇ってるだけなんだな

680:132人目の素数さん
18/01/16 08:47:08.94 L1Oqehf+.net
スタップ細胞がねつ造だと思ってる奴まだいるんだなw

681:132人目の素数さん
18/01/16 08:49:41.56 7IgzrObY.net
>>653
さてはお前、アンチ互助会役員の者だな?
>>649
647は擁護互助会役員の中でも最弱

682:132人目の素数さん
18/01/16 09:17:38.10 GsaSdhNa.net
>>654
その可能性が高いと思うよ。
IUTの論文を読んだ人は殆どいないだろうし、不正確な解説を読むにしても、
解説は数論幾何の人を対象に書かれていて、解説を読んでも大抵の人は分からないだろう。
つーか、abc予想の話ばかりでリトルウッドの予想の話がないよな。
IUTはリトルウッドの予想のような解析的な予想には無力なんだろうな。

683:132人目の素数さん
18/01/16 09:26:11.48 GsaSdhNa.net
IUTを擁護する人がいるみたいだな。

684:132人目の素数さん
18/01/16 09:44:24.12 70Ajxrzq.net
>>656
小保方の論文は捏造

685:132人目の素数さん
18/01/16 11:31:13.11 xTU+JG7F.net
jinがアカ消す宣言してるよ。
まどうせまた嘘だろう�


686:ッどな



687:132人目の素数さん
18/01/16 13:03:13.38 UZN5lzjq.net
数学はもちろん科学史・科学哲学などの訓練を受けた形跡も見受けられず
ともすれば学部教養レベルの知識があるのかさえ疑わしいような人間に
ジャーナリスト、インタープリター気取りで振る舞われてもただひたすら有害なだけだし
本当に今すぐ消えて二度と戻ってこないでくれ頼むから

688:132人目の素数さん
18/01/16 14:01:58.46 QKJhIgfH.net
数学の定理に「自明」はありえない。
特に 主定理ではね。

689:132人目の素数さん
18/01/16 14:56:11.42 k0gzXrDz.net
ややこしい所を避けてしまったからな
主定理の記述に葛藤がみえる

690:132人目の素数さん
18/01/16 14:58:45.99 jrzx/ULq.net
>>654
>>658
そういう話をしたら逆のほうが問題だろ。つまり微塵も理解しないでアンチしてるわけだ
しかもリトルウッドとか持ち出してる時点で馬鹿丸だしなんだが

691:132人目の素数さん
18/01/16 15:02:27.37 k0gzXrDz.net
逆だというなら主定理から解を出せ

692:132人目の素数さん
18/01/16 15:05:26.70 70Ajxrzq.net
>>663
細かい議論を積み重ねておいて、主定理が自明になるような論文の書き方もある。

693:132人目の素数さん
18/01/16 15:10:41.85 BPfjMXvJ.net
もし本当にやばいなら多分評価の部分なんだが、ホッジアラケロフだな
数学的意味は明白なんだから計算して確認できるだろ
実はあれを読んでるIUTTのフォロワー少ないんじゃないか?

694:132人目の素数さん
18/01/16 15:15:05.62 BPfjMXvJ.net
そもそも論として(正否は別に)望月の狙いを見通せてる奴が少なさすぎ
悪いけど本人のプレゼンにも問題ある

695:132人目の素数さん
18/01/16 15:23:51.08 fCNdJMOq.net
>>668
→○ あの修正箇所だ。教えてやらんが。

696:132人目の素数さん
18/01/16 15:25:04.48 QKJhIgfH.net
>>667
一応 論文リストがあるね。
でも、主定理が自明 ではないようだね。
URLリンク(www.kurims.kyoto-u.ac.jp)

697:132人目の素数さん
18/01/16 15:27:17.44 GsaSdhNa.net
>>665
リトルウッドの予想はabc予想と同じように
ディオファンタス近似の有名な予想なんだが。

698:132人目の素数さん
18/01/16 15:27:54.91 BPfjMXvJ.net
>>670
修正したのに間違いがあんの?PSの奴じゃなくて?

699:132人目の素数さん
18/01/16 15:46:20.61 KWje4BZG.net
>>672
同じディオファントスでも文脈が大分違うんだが
この予想への近似的なアプローチが未だに乏しいのもそれが理由
それならBSDのほうがまだ近いわ

700:132人目の素数さん
18/01/16 16:15:35.47 UP9ERVfy.net
査読できた人間がその種の問題の証明ができないのも変な話

701:132人目の素数さん
18/01/16 16:23:02.13 70Ajxrzq.net
>>671
君が
>数学の定理に「自明」はありえない。
>特に 主定理ではね。
と一般的な命題として述べたので、一般的には必ずしもそうではないと言った。
>>671では反例を挙げたことにならない。

702:132人目の素数さん
18/01/16 16:43:43.10 WYv1LfQJ.net
さすがに素人なのに数学者にやや攻撃的に絡んだりするのはどうかなとは思うけど、批判が多いから消すの?

703:132人目の素数さん
18/01/16 17:04:10.32 5yLhYi25.net
小保方より生物に詳しい報道関係者がいたのか

704:132人目の素数さん
18/01/16 17:09:44.97 GsaSdhNa.net
>>677
スレの流れからは文脈上意味を把握出来ないレスだが、一体何を消すんだ?

705:132人目の素数さん
18/01/16 17:10:52.20 KWje4BZG.net
ひとまずワイルズ理論と関連付けるのが先だな
それは3年あれば十分できたと思うんだが、まだできないの?
IUTTだけに集中できるような人ならね

706:132人目の素数さん
18/01/16 17:12:25.81 7bqT0lRK.net
余白は足りてるが自明→証明完了

707:132人目の素数さん
18/01/16 17:28:40.02 GsaSdhNa.net
>>674
やはり、リトルウッドの予想は解析的手法で攻めることになるんだろうな。
まあ、難しいけど。

708:132人目の素数さん
18/01/16 17:42:46.56 KWje4BZG.net
Green-Taoや弱双子素数は予想以上に代数幾何学的な文脈を使っているけどな
ただ、実数が強く絡むと既成の数論幾何は宇宙際も含めとことん弱いのも確か
少なくとも解析的な手法を組合わせる必要があるだろう

709:132人目の素数さん
18/01/16 17:48:35.07 KWje4BZG.net
関係ないが、どうも解決直後の黒川先生は解析寄りの積分として理解しようとした節があるな
「体積計算」と言い換えたほうがいいんだけどね
ゴリゴリの圏論からの積分とか言われてもそりゃピンとこなかったろうな

710:132人目の素数さん
18/01/16 18:27:29.23 I1KgOdHv.net
>>676
>>671の論文で RIMSはPreprintが多い。
RIMSの正式な論文ではないよね?

711:132人目の素数さん
18/01/16 18:28:20.92 Jq2w4/Ka.net
黒川氏の『21世紀の新しい数学』では、望月氏はF1スキームや
F1上の幾何を使っていると書いているけどそうなの?
もし、そうなら黒川氏の絶対数学とも関わらないはずはないな

712:132人目の素数さん
18/01/16 19:38:03.64 70Ajxrzq.net
>>685
意味不明

713:132人目の素数さん
18/01/16 19:45:18.32 QKJhIgfH.net
preprintはarxivにある査読なしの論説 論文と
同等だ。

714:132人目の素数さん
18/01/16 22:01:21.43 OXArtbTK.net
定理は、公理や定義から証明されるものだから、公理からでなくても良く、定義から証明しても良いので、主定理がなくても、、、
新しい理論系とか。

715:132人目の素数さん
18/01/17 00:54:58.39 obwJAFsh.net
>>686
絶対ガロア群とモノイドをベースにして環の分解と関数空間を構成しているので
絶対数学といえば絶対数学の一種になっている
環より一般的な代数系を利用しているものはどれも絶対数学的な側面があるよ
しかし、IUTTの場合はどちらかといえば「整数環をモノイドのような基盤で分解したり
関数として扱う」論拠として一元体を手段的に経由しているので
意識的に一元体の上に数学を構成するという意味での絶対数学とは言えないだろうな
まあ絶対ガロア群のエタール系とフロベニウス射・モノイドの座標変換(LT-lattice)の
基盤はモノイド(gaussian monoidなど含め)なので、かなり絶対数学的な要素は強いけどな

716:132人目の素数さん
18/01/17 02:39:15.64 2eqsOxom.net
jinこと仁美が女であることが発覚したツイート
女子中高生向けのものとか行ったってことは実は若いのかも知れん
こんだけ行ってたら全体写真とかあれば検討つきそうなんだが…
math_jin &#8207;@math_jin
行く予定
3月11日 森重文先生最終講義@京大
3月13日 数学の魅力ー女子中高生のためにー@東大
3月28日(~4月4日) KTGU-IMUセミナー@RIMS
3月29日 女性数学者のためのワークショップ@RIMS
4月28日 ロマンティック数学ナイト@六本木
#math

717:132人目の素数さん
18/01/17 03:00:57.74 jvbJUDBI.net
そんなに仁美に興味あるなら、新アカウントで活動するみたいだからDM送ってみればw
math_jin
Recently, I set up account about IUT information collection bot at another inter-universe.(closed space)
If you want to catch information on this account, plea


718:se contact me via DM. #IUTABC



719:132人目の素数さん
18/01/17 03:28:20.84 0LMLFy16.net
>>663
ピタゴラスの定理は、
概念からなる図を書いて定義すれば、導出された数式は自明

720:132人目の素数さん
18/01/17 05:45:32.77 z6dmjT06.net
>>693
ピタゴラスの定理が自明である訳ないでしょアンポンタン
現代数学的には「正方形」だけを既知とすれば
三角関数の無限級数による定式化の過程で自然に証明されるはず
初等的にも3行くらいで済む簡潔な証明もある(ユークリッドの公理は既知として)

721:132人目の素数さん
18/01/17 06:05:42.10 0LMLFy16.net
>>694
概念は図を見るだけで、自明だよ。
では一般論として、もととなる定理は、何の定理で導出されるのかな。
そのまたもとの定理は、何の定理で導出されるのかな。
無限に、もとの定理がある訳がないので、最初の定理があるはず。
その最初の定理は、何か定理で導出されないと、いけないの?

722:132人目の素数さん
18/01/17 06:32:02.92 z6dmjT06.net
>>695
一行目は藁人形論法のすり替え、今問題にしてるのは何某か(?)の概念の方ではなく
ピタゴラスの定理の導出だったはず、そして2行目以降の
指摘については「とてつもなくごく自然な前提」は存在する
その前提以上を更に遡るとそれは最早数学ではなく数学基礎論

723:132人目の素数さん
18/01/17 06:40:31.44 0LMLFy16.net
>>696
「とてつもなくごく自然な前提」は、「自明」と同じだから、
定理の中には、自明ですむ定理もある。
そうすると、
 >数学の定理に「自明」はありえない。
>特に 主定理ではね。
は、反例となる数学の定理がある、ことになり、
「数学の定理に「自明」はありえない」という命題は、否定される。

724:132人目の素数さん
18/01/17 06:48:52.14 jvbJUDBI.net
jinの新アカ見つけた人いる?

725:132人目の素数さん
18/01/17 07:29:20.38 oMWL+e2B.net
「万物は数」のピタゴラス教団は
閉鎖された秘密結社だった。
暗黒の言い伝えが残っ ている。
教団はピタゴラスの定理を発見し、
始め相似による証明を与え神格化した。
音階を作り宇宙の調和を追求した。
無理数を発見したが、無理数へ緘口令
が引かれた。
緘口令の掟を破り 教団外部へ無理数を
漏らした者は海へ投げ捨てられた
そうだ。

726:132人目の素数さん
18/01/17 07:59:25.77 OtB4Jdqn.net
>>698
見つけた。鍵アカウントでフォロワー数5人しかいない。

727:132人目の素数さん
18/01/17 08:03:35.07 oMWL+e2B.net
>>697
宇宙際教団と詭弁が似合いそうな方ですね

728:132人目の素数さん
18/01/17 09:39:18.34 fQ2BrXIt.net
自明が通じない相手が、数学基礎論くらいから
で 話さないと分からないなら、たまらないね。

729:132人目の素数さん
18/01/17 10:07:24.50 0RjgwMjs.net
ファルティングスやショルツがわからないのになんでIUT教団如きがわかるんだ

730:132人目の素数さん
18/01/17 10:22:01.80 z4WPBZ2A.net
おまえらがjinjinと連呼するから人気者と勘違いしてまた活動再開してるぞ草

731:132人目の素数さん
18/01/17 10:52:08.84 TlTsZHc3.net
心配するな、おれたちのjinは必ず戻って来る。今まで何度もあったことじゃないかw
スレ12より
562 :132人目の素数さん:2016/03/17(木) 00:59:33.22 ID:4QsSt0Rb
jinがもし女なら、数学のだめさ以上に致命的なのはあの英語のできなさ。
コンラッドやボロックのレポートレベルで、あたふたしながら誤訳をツイード
し続ける物悲しき姿は、バーコード禿げのおっさんにしか許されない。

732:132人目の素数さん
18/01/17 11:12:23.61 zpG1RBln.net
>>690
全くトン�


733:`ンカンな事を言ってたらスマソ 黒川氏はゼータ関数統一に関しての研究者で、当然ラングランズ思想にも肯定的。 その研究で黒川テンソル積を発明してゼータ解析に持ち込むが、それは多重三角関数の研究から来たもの。 IUTTもある意味乗法的ホッジ劇場や加法的ホッジ劇場などの多重を行うが、ある意味多重三角関数の 宇宙際化というものに近いとか?宇宙際フーリエ変換てのもあるというし。黒川テンソル積も多重。 その辺りにゼータの統一やラングランズ思想が関わりはしないの?



734:132人目の素数さん
18/01/17 12:21:53.95 G5voxvRs.net
叩いてたらいつの間にか恋をしてたなんてことにならないようにな

735:132人目の素数さん
18/01/17 13:24:13.32 6Dlb45na.net
「正忍伝」読了。
作者、名取兵左衛門。名取とは匿名という意味で、本名は藤一水子正武だといわれている。
堂々と、忍者とは盗人であると書いてある。ありえんだろ。ぶっ殺すぞ、忍者。
盗人から見た日本の歴史が書いてある。
盗人を手下としてよく使ったのは、聖徳太子、源義経、楠正成、徳川吉宗であるという。
忍者の起源をたどると、中国の黄帝や孫武にまでさかのぼるという。
夏王朝を滅ぼしたのが、盗人を従えた伊尹であると伝わっているので、忍者は王朝を滅ぼす技術であったのは常識のようだ。
忍者は、よく人の近づくものが良いとされ、美男美女を堂々と人のよく近づくものとして認識している点は凄まじいの一言である。
「人の善意は最大の隙なり。」と書いてあるよ。ありえねえよ。
大将と敵大将の使者についていくことが牛馬の術というらしい。
「喜怒哀楽愛悪欲」この七つの心はもともと先天的に人が持っている感情だと述べている。

736:132人目の素数さん
18/01/17 13:32:41.06 G5voxvRs.net
宇宙際について実は前から引っ掛かってたことがあるんだが
代数幾何は古いとか10年くらい前にどっかのスレで言ってた奴がいたのね
滅多に数学板見なかったんだけど、たまたまそれを見たわけ
そしたら遠アーベル幾何は、って聞いた奴がいたのね。突然
で、そこで古いと言った奴が「これからは宇宙の数学の時代ですよ」みたいなことを言った
そこでやり取りが終わった
まさか遠アーベルの話をしたのは望月本人で、対抗してあんなコンセプトを
持ち出したのでは、とどこかで疑っているんだよな

737:132人目の素数さん
18/01/17 13:36:32.22 G5voxvRs.net
ちなみに、俺がそこを見たのが何年前かは覚えてない。10年前ではないはず
とにかく古いレスだったのは確か

738:132人目の素数さん
18/01/17 13:43:32.83 TlTsZHc3.net
これはjinに替わる逸材の登場か?

739:132人目の素数さん
18/01/17 15:26:29.56 r8X/QaLh.net
誰がなんと言おうとjinはオワコン
永久に鍵アカウントに引きこもっとれ

740:132人目の素数さん
18/01/17 15:41:45.20 G5voxvRs.net
>>711
別にそんな電波話じゃねーだろ。高い確率とは思わないが
ブログ見ると軽く5chくらい見てても不思議じゃないしな

741:132人目の素数さん
18/01/17 15:56:43.28 HMlNIrgK.net
>>583
深く考えるなもなにも、ここからしてパニック状態やぞ
物理屋はさっさと幾何に話を進めてってるけど
数学的には3年ほど前にようやく進展が見られたかなという程度

742:132人目の素数さん
18/01/17 16:27:13.45 TlTsZHc3.net
jin様は鍵垢に満足するようなタマじゃねーよ
jin様はなあ、JK


743:、白ワンピース、大柄な菅野美穂という噂まであるんだぞ(自○ 俺の知人にツイッターで斎藤由貴似と言っている吉田沙保里を馬面にした強烈なババアがいるが それと お・な・じ・だ!!! こんな腐れマ○コがおとなしく引きこもるわけねーよ



744:132人目の素数さん
18/01/17 16:34:11.22 n60aXsRC.net
>>709-710 >>713
モッチーが遠アーベル幾何を研究し始めたのは20年以上も前のことで
1997年(ちょうど21年前)に遠アーベル幾何で大きな業績を挙げて日本数学会賞を受賞した。そんとき望月新一の名は数学界で広く知られることになった。
そんで、そのモッチーがIUTなる理論でabc予想を解こうとしてるなんて噂は2003年くらいから流れてたよ。
2003年の研究集会で初めてIU理論の講演をしてる。
URLリンク(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
2000年代は(加藤ブンゲンを含む)多くの数学者が数学板を闊歩してたんだから
研究集会でモッチーの話を聞いた誰かが数学板にカキコしたんだろ。
それを通りすがりの >>709 が見たわけだ。

745:132人目の素数さん
18/01/17 17:24:20.19 G5voxvRs.net
>>716
確かに2012年より前に覗いた時も望月新一の名前はあったと思うね。経歴が経歴だから
それなりに有名だったろうし
しかしIUTって名前は一体いつ頃から出たのだろう?2003年にはあったの?
自分が見たやり取りは多分2005年前後だったと思うんだが

746:132人目の素数さん
18/01/17 17:38:59.63 n60aXsRC.net
>>717
先述の通り2003年にはあった
2003年の九大や北大での研究集会の講演で「IUT」という用語が出てきてる
URLリンク(www.kurims.kyoto-u.ac.jp)
しかも2001年の名古屋大の講演で既にアイデアの片鱗が見かけられるな
本人の記録によるとアイデアの着想があったのは2000年夏だそうだ
URLリンク(www.kurims.kyoto-u.ac.jp)

747:132人目の素数さん
18/01/17 17:57:03.26 mZCIBayH.net
なんか朝日の朝刊一面の所為でノリが二十年以上前の朝日ワンテーママガジンのアブない数学みたいになっとる

748:132人目の素数さん
18/01/17 19:17:07.86 dw/KBEnb.net
地底jin

749:132人目の素数さん
18/01/17 19:32:31.28 wQOzYkML.net
また懐かしい本が

750:132人目の素数さん
18/01/17 19:46:35.08 Zh91Pg0h.net
>>719
あの頃は山下純一と大沢健夫が同じ雑誌で連載するなんて夢にも思わなかった。

751:132人目の素数さん
18/01/17 19:52:38.94 9BtkzFPq.net
>>700
5人w 重要ねェんだなw
>>707
んな奴おらんがな

752:132人目の素数さん
18/01/17 20:01:44.49 9BtkzFPq.net
>>691
そんなことに興味あるなんてお前は変態だ
物好きが過ぎるぞ

753:132人目の素数さん
18/01/17 20:22:07.56 mOCyBmAY.net
>>719
ああいう本は本来出版されちゃあいけないんだ
世紀末だから許された感がある

754:132人目の素数さん
18/01/17 22:14:25.72 mZCIBayH.net
別冊宝島の真似したムックだろ単なる。
自由国民社の現代用語の基礎知識パクったイミダスもとっとと撤退したしアーカイヴ性のない言論文化で刊行してる左翼保身営利メディアが悪いだけ

755:132人目の素数さん
18/01/18 01:05:46.16 C1ukLYts.net
よくぞ、よくぞ、みなもと太郎の「風雲児たち」をすすめてくれました。
全29巻のところ、まだ4巻までしか読んでおりませんが、
これこそ男たちの生き様であると号泣しておりましす。
歴史漫画の史上一位であるのは当然のこと、1800冊ほどしか漫画を読んでないわたしの五本の指に入る傑作です。
横山三国志などすでに時代遅れ。
「風雲児たち」こそ、日本男児が読むべき本にございます。まことにありがたき教えをいただき感謝このうえなきこと。
死ぬまでに「風雲児たち」を読める幸せは至極格別でございます。

756:132人目の素数さん
18/01/18 08:51:04.23 lh+PvJZa.net
常温核融合を思い出す

757:132人目の素数さん
18/01/18 08:59:09.80 r7Iyhb90.net
タイムマシン理論を思い出す

758:132人目の素数さん
18/01/18 09:18:57.47 ydqHYqpV.net
数秘術を思い出す

759:132人目の素数さん
18/01/18 09:36:31.48 TuscCaUC.net
>>722
よく覚えてるな、そんなことw

760:132人目の素数さん
18/01/18 12:36:17.90 jvPO2phr.net
>>720
地底jinも知らないうちに最低jinから攻撃を受けているぞw

761:132人目の素数さん
18/01/18 12:41:54.84 4f9ERdck.net
地底jinのフォロワー増えてる
海外のやつが多いな

762:132人目の素数さん
18/01/18 12:56:33.26 jvPO2phr.net
地底jinをフォローする海外の最低jinたちw
「お おまー あっあ、あほやろー」
「わ、わーは、あ あっ あほっちゃうどー」
「お おまー・・・・・・」
以下略

763:132人目の素数さん
18/01/18 14:30:40.29 X1C7EBZf.net
ボケjinがいなくなって清々したわ
二度と現れんなゴミ糞ババア

764:132人目の素数さん
18/01/18 14:48:49.70 GdJ6QcwH.net
jin は公害なみの害悪

765:132人目の素数さん
18/01/18 14:49:51.21 952qrZfC.net
必ずしも深いとは言い切れないからこれ誰も触れないが、
テータ関数というよりガウス積分を強調した理由は、やはり経路積分を何らか意識している
のではないか?
ストリング理論の数学ではリーマン面の経路積分をモジュライにより調べるのが
今までにできる最大限の努力だしな
勿論厳密に言えば、ガウス積分は経路積分の基礎、ではない。技術的な手段だ
望月さんはヒストリーに影響を受けやすいのか、ウィッテンとの出会いを重視してそうだ

766:132人目の素数さん
18/01/18 14:57:32.07 952qrZfC.net
まあ、二次形式故にディラック作用素でもガウス積分ってのは顔を出すんだが、
あんまり経路積分以外でテータよりガウスを強調する書き方って見ないからさ
遡れば最初研究紹介のページを見た時にコンツェビッチ関連で
経路積分を意識してるかなと思ったんだ

767:132人目の素数さん
18/01/18 15:17:29.43 1PCBpbS1.net
物理のストリング理論は発見なのよ。
人工的に手を入れる数学とは違うね。

768:132人目の素数さん
18/01/18 15:33:37.39 952qrZfC.net
>>739
まさにそうだよ。発見法は経路積分に当たる
数学ではそれをモジュライとして調べる
経路積分はいわゆる加法速度論ではない。無限次元積分として理解しようとした
数学者は20世紀に少なからずいて、失敗している
だから非環論的な観点でガウス関数を考えるというのも可能な解釈として意味がある

769:132人目の素数さん
18/01/18 20:05:31.41 1PCBpbS1.net
経路積分は量子化、グリーン関数、
で物理のツールだ。
数学なら1次元は仕事があるが、
特に 4次元相対論的場の量子論が困難だ。
まずファイマン カッツの公式から。
ま、物理のインスタントンもモノポールも
数学が借用して数学対象にした。

770:132人目の素数さん
18/01/18 21:54:37.26 952qrZfC.net
>>706
多重三角関数は絶対ゼータ関数の一種だから、確かに宇宙際フーリエ変換に対する
ツールを提供できるだろう
しかし、絶対数学として見た時に宇宙際幾何学の完成度が何処まで高いのか?
集合論や集合宇宙は絶対数学で何処まで必要な概念なのか?
この辺は今のところ何とも言えない部分と言える
多重三角関数と黒川テンソル積は歴史的な存在感が完全に保証されてるレベルだな

771:132人目の素数さん
18/01/18 22:54:48.69 jvPO2phr.net
>>742
奇しくもIDがZFCになっているよ
IUTT-ⅣのSection 3: Inter-universal Formalism: the Language of Speciesはよくわからん

772:132人目の素数さん
18/01/18 23:35:25.84 952qrZfC.net
>>743
>>430>>431の、絶対ガロア群の商から来るFrobenioidのコピーであるとか、
総じて絶対ガロア群によるスキームの宇宙群の組合せ論的な特徴付け(DNA)
Core/multiradialのような、宇宙際のスケールで見た時の各々の宇宙の識別・同一視
そういう絶対遠アーベル的な視点から生物学の言葉をとったと思われる
つまり、集合論だけだとスケールの大きな関数空間を扱うには足りないので
効率的に巨大な数学的対象の処理を行う設定が必要である
それは必ずしも絶対遠アーベルだけでなく、広く数学の基礎論とできるだろうという感じか

773:132人目の素数さん
18/01/18 23:38:26.41 952qrZfC.net
↑絶対ガロア群の(部分)商から来る、というか部分商が作用するFrobenioidのコピー、だな
細かい話は別にいいと思うがw

774:132人目の素数さん
18/01/18 23:52:01.04 jvPO2phr.net
>>744
レスありがとう
正直言ってIUTTはよくわからんので、↓のHPの以下の指摘・意見はどうなんだろう?
URLリンク(www40.atwiki.jp)
----------引用開始----------
以下の問題点が指摘されている。
・同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない。
・ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV
の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない
可能性があるという意見がある。(ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。)
---------引用終了-----------

775:132人目の素数さん
18/01/18 23:52:34.60 Oa5WkY3D.net
絶対ガロア群とかフロベニオイドのような具体的な対象は
個々のグロタンディーク宇宙に属していると考えているんだろうが
個々のグロタンディーク宇宙自体はどこに属していると考えているのか?

776:132人目の素数さん
18/01/18 23:53:20.58 Oa5WkY3D.net
あとSpeciesの定義と具体例のわかりやすい解説キボンヌ

777:132人目の素数さん
18/01/19 01:09:18.39 52lt0jRC.net
>>746
そんなサイトあるんだ
正直言ってあまり断言するようなことを言うべき段階ではないけど
絶対遠アーベル的な観察から数学の基礎として論じるには早まったという可能性はあると思う
しかし、見るところその二点は例のセクションの思想に対し完全に致命的な議論には見えない
ZFCの公理が無限であるというのも、ユーザである非論理学者と論理学者では
捉え方が違うだろう。強いて言えば、もう少し「直観的」な階層性の整備を論じているのが
論理学者的には厳密性において違和感を与えているように見える

778:132人目の素数さん
18/01/19 02:15:47.76 nZC5+R6V.net
軽く寝る前に一つ足すと、基本的な想定舞台はトポスなんだろうけど
トポスではできる、と非論理学者の数学者が感じていることをZFCや集合論の基礎に
翻訳するのは厳密性の点で難しいのかもしれない
まず集合論として注意が向いてるのは基本的な包含関係や選択公理との整合性だと思うので
数学者が大丈夫だと感じるなら大丈夫だと思うな、本質部分は

779:132人目の素数さん
18/01/19 10:32:18.88 Fw5dBXWi.net
またトンデモを連れてくるから期待させるなよー
>>116-122 辺りが解決しないと結局は袋小路

780:132人目の素数さん
18/01/19 11:02:23.89 40eivbEl.net
ボクもテータ関数という〔魔法のじゅうたん〕を使いたいです


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch