20/04/18 22:53:00 rUKa5zGu.net
俺は検事だけど、仕事柄次のように考えるよ。
Sが自分の間違いに気付いたら、?認めて直ちに公表するよね。
Mが自分の間違いに気付いたら、?だんまりだろうね。
Sには気楽だけど、Mはダメージが大き過ぎ。
だから、結論は明か。
だけど、数学者の世界はよく知らんから、わからんよ。
533:132人目の素数さん
20/04/18 22:53:17 XUne53vW.net
>>522
これだな
DTとか¬DTとかじゃないな
IUTなんだよな
スレタイがさ
534:132人目の素数さん
20/04/18 22:54:28 nhCI0zhT.net
いや、教授のプライベートに興味のある国民はごまんといる
その証拠に人柄とかエピソードの記事が必ずでる
むしろがちの数学好き以外は、天才のプライベートにしか興味がないといっても過言ではない
535:132人目の素数さん
20/04/18 22:56:27 nhCI0zhT.net
>>525
つまり、次すれたいからDTと非DT予想にしたらいいんだな?
IUティつかれてきたよな?みんな
536:132人目の素数さん
20/04/18 22:56:28 XUne53vW.net
51歳でドルヲタなんだぞ…?
察してあげて。
537:132人目の素数さん
20/04/18 23:01:01 XUne53vW.net
>527
アウトー!
もっちー、新スレタイ
「DT 非DT予想」なら
名誉毀損&侮辱罪で民事イケそうですねw
538:132人目の素数さん
20/04/18 23:14:58.98 jTbxNEwA.net
以下のものは至急脳病院にいくように
ID:lQKSp/GA
ID:wYDrJBO0
539:132人目の素数さん
20/04/18 23:19:45.41 XUne53vW.net
毎日救急搬送者が出てるねw
540:132人目の素数さん
20/04/18 23:21:55.61 ytPR2E2e.net
>>526
いわゆる「偉人/成功者」と呼ばれる人達の業績と人となり(来歴)を纏めた解説は、好奇心を満足させるのにもってこいの題材だからねぇ
このスレにはまるでそぐわないけど、下記シリーズは好きだった
【数学者の伝説シリーズ】エヴァリスト・ガロア - ニコニコ動画
URLリンク(sp.nicovideo.jp)
541:現代数学の系譜 雑談
20/04/18 23:34:14.10 FUrf+qJl.net
>>524
へー、検事さんか(^^;
M側の主張に限るけど
1.もし Mが自分の間違いに気付いたら、主張の修正をするね、追完とか補正とか 修正可能ならね
2.なお 第一審判決は出ました。裁判官は、主審柏原先生、副審玉川先生、覆面検察官(2~3名)
判決:「望月の論文を認める!」
3.ショルツ先生は、法定の外でスピーカーを持って、演説をしていますという状況です
4.あとは、(世界の数学界の)世論がどうなるか?
5.そのために、今年4回の国際会議が容易されています
6.ここが、第二審かもw(^^;
542:現代数学の系譜 雑談
20/04/18 23:35:56.29 FUrf+qJl.net
>>533 タイポ訂正
5.そのために、今年4回の国際会議が容易されています
↓
5.そのために、今年4回の国際会議が用意されています
543:現代数学の系譜 雑談
20/04/18 23:38:00.32 FUrf+qJl.net
>>533 タイポ訂正追加
3.ショルツ先生は、法定の外でスピーカーを持って、演説をしていますという状況です
↓
3.ショルツ先生は、法廷の外でスピーカーを持って、演説をしていますという状況です
分かると思うが(^^;
544:132人目の素数さん
20/04/18 23:43:19.49 8CpiUeay.net
>>533
そもそも1の仮定が正しいとは限らない
545:132人目の素数さん
20/04/18 23:43:52.42 fyQmXXct.net
>>533
覆面検察官てw
546:132人目の素数さん
20/04/19 00:37:12.23 oIEsM1e2.net
>>521
何か曖昧じゃないかって話よね。星さんが何でもありじゃないかと思った所以の一つじゃないかね
しかし、確かにIUTは「変形のやり方」を制限してるわけであって、デタラメではない
星さんももしかしたらIUTはまだ証明にならないと思ってるのかもしれない、そういう可能性はあるけど
自分のできる範囲で掘り下げてもいるな
547:132人目の素数さん
20/04/19 00:39:54.37 oIEsM1e2.net
女性と交際経験があったのかよくわからない有名な数学者といえば
ペレルマンもラマヌジャンもエルデシュもそうじゃない?
548:132人目の素数さん
20/04/19 00:40:47.24 oIEsM1e2.net
あ、ラマヌジャンは違ったな。既婚だったかあれ?撤回
549:132人目の素数さん
20/04/19 00:59:56.39 uMwLCcbW.net
>>521
そうす そんな感じかと思います
550:132人目の素数さん
20/04/19 01:14:43.94 uMwLCcbW.net
>>533
検事さんの見立ては全く正しいと思う。
あなたの言う数学の世論とかは、数学の正しさと全く関係ない
551:132人目の素数さん
20/04/19 04:11:12.09 guShzc42.net
数学検事
Justice: unlimited.
552:132人目の素数さん
20/04/19 05:16:53.28 BEh6qQ/S.net
わかってなければ強弁して引っ込めない奴�
553:ヘいるだろ Scholzが誤ってたとして、誤りに気づかなければ だから何とも言えない
554:132人目の素数さん
20/04/19 05:19:54.22 BEh6qQ/S.net
>>521
の状況が解決されない限り終わらない
否定的か肯定的かは知らない
555:粋蕎
20/04/19 05:20:26.95 8BOyW/Ba.net
ショルツ等徒党革丸派がOversimplificationしているという事らしいが
ではなぜOversimplificationであるのかを望月氏等IUG教IUT宗RIMS派は述べなければ成らんな
556:132人目の素数さん
20/04/19 05:28:37.15 BEh6qQ/S.net
>>488
> >>472
> 恐らく一番核心的な情報があるであろう絶対遠アーベル復元論文、
> 期待して早足で一回読んだんだが少なくとも自分には必要な情報があると思えなかった
> SSも間違いなくそれは読んでるから、証明が不十分な可能性はある。あったらさすがに気付くはずだし
> ちなみに、UFの反論では明らかに片手落ちだ
557:132人目の素数さん
20/04/19 05:32:07.81 BEh6qQ/S.net
>>268
> URLリンク(arxiv.org)
> 定理21.1の使わずに系21.2を示せるなら、状況ひっくり返りそうだよね
> ショルツェも「もし正しいなら、iutを使ったabc攻略も理解できる」と書いてるし
558:132人目の素数さん
20/04/19 05:32:28.44 BEh6qQ/S.net
>>269
> >>264
> 訂正します
> 「rimsの人なら誰でも知ってる」は系21.2で、ショルツェがミスを指摘したのは定理21.1です
> Joshiの書き方からすると、定理21.1以前から系21.2は知られてるような感じはしますが
559:132人目の素数さん
20/04/19 05:33:17.28 BEh6qQ/S.net
ここいらへんなんだろ
560:132人目の素数さん
20/04/19 05:57:20 E6ryvW7L.net
>>539
ペレリマンは生涯独身じゃなかった?
早死にしちゃったってのも
あったかな?って思うけど。
「実家は貧しい家庭のバラモン階級出身」っていう微妙な設定だったのも影響してそう…?
561:132人目の素数さん
20/04/19 06:05:14 610xP3b8.net
俺らの愛するダニエルとテイラーがバトってるんだが
562:粋蕎
20/04/19 06:31:59.82 8BOyW/Ba.net
>>552
なしたどした
悔しく
563:132人目の素数さん
20/04/19 06:53:45.87 BEh6qQ/S.net
>>465
> >>374
> 書き方が悪かったんだけども、反証になってないということですね。具体的に思うところはあります
> 結局表面的にはDupuyと同じで、(1)と(2)は印象論でしかない。基本的にはこれらの全ては、
> モノドロミーの異なるHTへの埋め込みを含めて、可能なら同じような仕組みから成立することになる
> 望月サイドの説明は、SSレポートに対してはある程度は良い議論をしてるとは思う
> あれが何か滑ってる印象があるとすれば、または個人的な疑問としては、本当に十分説明が書いてあるのか
> どうか、well-definedなのかどうか。細部を忘れた場合には即断できないw 勿論Joshiの更新にも関わる
> ここで一つの問題は、ショルツがp進体の結果を出して「IUTにも同じ事が言える」とさらりと言ってること
> 言うまでもなくフロベニオイド、アナベリオイドと単遠アーベル幾何学を使っている中でこういう事を
> 確信するのはおかしいと思いますね。今は関わりたくないのと実名を出さなきゃ相手にされない雰囲気だから
> あそこには全く書けないが
> いずれにせよ、ほとんどの「懐疑でない単なるアンチ」が思うより遥かに練られた理論なのは確かですが
> 必要な証明(多分それなりに難しい)が欠けている可能性は大いにありますね
564:粋蕎
20/04/19 07:11:06.03 8BOyW/Ba.net
> ここで一つの問題は、ショルツがp進体の結果を出して「IUTにも同じ事が言える」とさらりと言ってること
> 言うまでもなくフロベニオイド、アナベリオイドと単遠アーベル幾何学を使っている中でこういう事を
> 確信するのはおかしいと思いますね。
日本では此れを十把一絡げと言うな。
Oversimplificationした上に十把一絡げしなきゃならんIUTって、どんだけ煩雑なんじゃろうな。
ラッセルとホワイトヘッドのプリンキピアマツェマティカみたく分厚く、内容は更に煩雑か。全くなぁ。
まぁ其の煩雑さも加算が離散で乗算が連続ぅ言う事から来るのは間違い無いんじゃろうな。
565:現代数学の系譜 雑談
20/04/19 07:19:24.65 ijGx7lvx.net
>>488
>恐らく一番核心的な情報があるであろう絶対遠アーベル復元論文、
>期待して早足で一回読んだんだが少なくとも自分には必要な情報があると思えなかった
どの論文かな?
タイトル名だけでも良いから教えて欲しい
ざっと眺めてみるから
566:粋蕎 ◆C2UdlLHDRI
20/04/19 07:23:46 8BOyW/Ba.net
確かp-進てpに入るんが素数と違う場合は環どまりで体に成らんかったんよな。んなもん確かに
>>465の和尚が言う通りp-進体ん場合とp-進環ん場合を十把一絡げして拡大解釈すんな言う話じゃのう。
離散と連続か。もしか、和算で解釈せんといかんで積分で解釈するんはいかん、言うのと似た、
煩雑じゃが簡略化しちゃいかん箇所も有るんかのう?
567:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 08:28:40 ijGx7lvx.net
>>537
>覆面検察官てw
確かに
ここ、”裁判員(複数)”(米では陪審員)が適当な例えかも
あと、刑事訴訟法では、国家(検察) vs 被告人 という対立構造で
検察に100%の立証責任があり、理論上は被告人は「おれ無罪。そんな証拠は認めない」とだけ言えば良いんだけど
(現実には、検察の立証がしっかりしていて、有罪率99%以上と言われる。検察には捜査権限があるしね)
ところが、数学の論文審査では、全く逆
専門誌(査読者) vs 論文執筆者 という対立構造で
論文が正しいという立証責任は、全て論文執筆者にあるのです。黙秘権はありません。黙っていれば、リジェクトです
で、IUTで言えば、ショルツ先生は法定外の人
朝日報道では、審査は2017年末に終わっていたらしい
ところが、2018年3月に SS 対 望月&星 の討論があって、追加審査をしました
そして、2020年2月に審査OKだった
その後、2020年4月3日に記者会見で、「査読OK」の発表があった
普通、こんな記者会見やらない。異例です
なぜ、異例な記者会見をしたのか?
1)望月ブログが効いた:多分、「どうなっているの?」という話が、一般人のみならず、数学界の人からもあったのでは?
2)今年国際会議が予定されているので、それへの側面援助の狙いか
いずれにせよ、異例な記者会見をやる以上、RIMS側は絶対の自信があるはず
WoitブログのDupuy先生と同じか(HiladoのDR論文かかっとるけんw)、それ以上に自信ありと見た
なお Woitブログのバトル、楽しいよね(^^;
568:132人目の素数さん
20/04/19 09:15:56.19 C4CGwtZu.net
>RIMS側は絶対の自信があるはず
こんなものは全く信用できない 小保方を忘れたか
日本最大級の科学の権威、理化学研究所、その分野の一線級の権威
笹井、ノーベル賞学者の所長野依 こいつらが全員詐欺に引っかかった
569:132人目の素数さん
20/04/19 09:35:00.73 CUrzraD5.net
>>528
むしろ51歳でドルヲタは主力層だ
但し結婚していて子供もいるのが普通
高学歴で組織の幹部になってるのが多い
これが日本の真実
570:132人目の素数さん
20/04/19 09:37:41.32 hLIYoBnx.net
必ずしも「100%の再現性」が期待できるとも限らない、
偶然性を排除できない実験に基づく結果を「信じる」のとは違うよ
数学は初めから純粋思考実験なんだから。
8年に及ぶ検証を重ねて
「証明は正しいと確信する」
って名前出して公に言いきれたんだから。
571:132人目の素数さん
20/04/19 09:40:52.19 CUrzraD5.net
>>559
アメリカで追試に成功したという話があるから単純詐欺ではない
引っかかるだけの理由はあった
572:132人目の素数さん
20/04/19 09:45:36.49 IYOneXY0.net
おぼさんてそんなに魅力的だったの?
おぼ事件ぐぐってると偉いおじさんたちがちやほやちやほやしてる記述が出てくるけど
573:132人目の素数さん
20/04/19 09:46:02.90 UbuHltnc.net
>>524
基本的に、論文の誤りもしくはギャップは論文の著者以外が見つけるもの
今回、多数の人から望月の論文のギャップが示されている
ショルツによる「誤り」の指摘が当たっていなかったとしても
ギャップがある以上、数学の成果とは認められない
これは「犯行の証拠がない限り、犯行を犯したとみなさない」
という考え方と基本的に同じかと思う
574:132人目の素数さん
20/04/19 09:47:10.25 aNCM0BYV.net
>>563
ヒント 理系の女子率
575:132人目の素数さん
20/04/19 09:51:49.81 aNCM0BYV.net
IUTの「細かいとこは合ってるけど、根幹が理解出来ない」って言ってる人がショルツ含めて
「無駄が多い」って言ってるんだと思ったけど彼等が「無駄」って認識したとこが根幹理解に必要だから、IUTでは“単純化”しない(出来ない、したら根幹が理解出来なくなる)んじゃないのかな?
576:132人目の素数さん
20/04/19 09:55:34.10 UbuHltnc.net
>>533
>第一審判決は出ました。
>裁判官は、主審柏原先生、副審玉川先生、覆面検察官(2~3名)
>判決:「望月の論文を認める!」
喩えとしては不適切か
被告:ABC予想
検察:望月
検察側証人:星、山下、フェセンコ、デュピュイ等
弁護人:ショルツ
裁判官:数論幾何学者
玉川と柏原は検察側で、アクセプトは起訴の承認に過ぎない
今の状況は、ショルツがデュピュイに質問し
デュピュイから、検察側の主張と異なる発言を引き出したところ
577:132人目の素数さん
20/04/19 09:57:04.60 aNCM0BYV.net
>>560
嘆かわしいね
オボ程度にスッ転ぶ理由だろうね
高学歴は
「男子校→東大→男性率高杉職場→お見合いケコーン」で
「実質“女性交際偏差値”激低」が実態だからだろうな
すぐ騙されるだろw
578:132人目の素数さん
20/04/19 10:06:11.28 UbuHltnc.net
>>558
>なぜ、異例な記者会見をしたのか?
「ABC予想成功」に基づく科研費を正当化するためか?
>異例な記者会見をやる以上、RIMS側は絶対の自信があるはず
「日米開戦する以上、日本軍には対米戦に絶対の自信があるはず」
というのと同類の発言かと
実際には、日本はアメリカに惨敗したわけだが
あなた以外の人はこう思う
「異例な記者会見をしたのは、引くに引けなくなったからで
自信があるわけではない」
実際審査過程について聞かれて
玉川が「墓場まで持っていく」と云ったのは
自信の無さの表れ
579:132人目の素数さん
20/04/19 10:14:21 XcnDEAz5.net
>>561
証明は正しいと「確信する」んじゃ意味がない、
「確認」するじゃないと。
580:132人目の素数さん
20/04/19 10:14:38 UbuHltnc.net
ところで・・・
そもそもABC予想ってどうして思いついたもんなんだ?
あと
c>rad(abc)^(1+ε) (ε>0)
となるa,b,cに何か意味があるのか?
581:132人目の素数さん
20/04/19 10:18:59 XcnDEAz5.net
>>524
まあ、そんなところ。
だから中央大学出身者でも特許裁判をさばくことができる。
将来、望月たちが、懐疑派の主張を名誉棄損で訴えた時、
IUTは懐疑されてもしかたがないものであるかどうかが中央大学卒によって判断される。
582:132人目の素数さん
20/04/19 10:19:30 IYOneXY0.net
>>565
なるほど
おぼさんは胸もでかいしきゃぴきゃぴかわいきから仕方ないか
もし当時のイケイケのおぼさんが近くに来たら、さすがのもっちーも骨抜きにされて怪しげな論文でもOKしちゃうのかな
583:132人目の素数さん
20/04/19 10:26:27.59 yMpHhz7D.net
>>571
ABC予想自体は多項式だと似たような結果(多項式ABC定理というのがある)があって、整数でも成り立つんじゃねとなって出てきた
a,b,cの意味は「掛け算」として綺麗な数a,bを「足し算」したc「掛け算」として綺麗な数にはなりにくいということを言ってる
具体的に書くとx^n+y^mはz^lになりにくいてこと
これはなんでかというとc<rad(abc)^εという不等式が成立するにはrad(abc) がそれなりに大きい必要があるけど、a,b,cが全部x^nみたいに表現できてしまうとrad(x^n)=rad(x)なのでとても小さくなってしまう
そんなことは起きないというのがabcの主張、
「掛け算」として綺麗な数a,bを「足し算」したc「掛け算」として綺麗な数にはなりにくい
584:132人目の素数さん
20/04/19 10:30:33.44 UbuHltnc.net
>>574
ほほう・・・面白いね
これはやっぱりフェルマー予想を解くための補題として思いついたんだろうか?
585:粋蕎 ◆C2UdlLHDRI
20/04/19 10:31:28 8BOyW/Ba.net
何じゃ生き成り唐突に中央大学がどうした
586:132人目の素数さん
20/04/19 10:32:57 UVABXCJs.net
>>570
このレベルの“確認作業”になると、その2つの言葉は、ほぼ同じ認識を表す同義語でしかないと思う
587:132人目の素数さん
20/04/19 10:34:10 yMpHhz7D.net
>>575
歴史的にはそうだったらしいね
フェルマーの方が先に解かれてしまったがw
588:132人目の素数さん
20/04/19 10:34:40 UbuHltnc.net
「多項式ABC定理」とその証明は、ここにあるヤツだろうか?
URLリンク(paiotunoowari.hatenadiary.jp)
この位なら、数学科の大学3年生なら分かるレベルだろうな
589:132人目の素数さん
20/04/19 10:36:46 JKVCGYoP.net
>>577
いやいや
「確信」は「正しいと信じる」
「確認」は「正しいと認める」
数学は下
上はただの宗教
590:132人目の素数さん
20/04/19 10:41:34 UVABXCJs.net
会見では「確認」でプライベートで「確信してる」だったと思うけど。
591:132人目の素数さん
20/04/19 10:43:14 UVABXCJs.net
>>580
人の認識が不充分な事を自重してだろ。
確信はプライベートでの発言らしいし。
会見では確認じゃなかった?
592:132人目の素数さん
20/04/19 10:45:49 PtPTU1R/.net
習熟者ってどういう定義なのかな
593:132人目の素数さん
20/04/19 10:47:53 UVABXCJs.net
>>242
草
594:132人目の素数さん
20/04/19 11:08:58 Od/h1nST.net
>>584
スルーされたからって自演するなよ
595:132人目の素数さん
20/04/19 11:13:53 UbuHltnc.net
あっちのスレッドでは一人で騒いでるけど
情報化時代と関係なく、証明はギャップがあったら無効
PRIMSが捕食雑誌(Predatory journal)並といわれなきゃいいがな
URLリンク(ja.wikipedia.org)
596:132人目の素数さん
20/04/19 11:15:18 C4CGwtZu.net
>>562 アホか 論文もコピペ 実験データも捏造 おまけに博士論文もコピペ
の中身からっぽだったんだぞ
597:132人目の素数さん
20/04/19 11:17:29 UbuHltnc.net
>>586
過剰に魅力的な電子メールで研究者からの論文投稿を呼び込む出版社を
「オープンアクセス出版の黒い羊」というらしい
黒い羊・・・どっかで聞いたことあるな
URLリンク(www.youtube.com)
598:132人目の素数さん
20/04/19 11:20:23 +f0Qyxl5.net
>>583 ホーリーネームみたいなもんだろ。
599:132人目の素数さん
20/04/19 11:24:58 PUYN+cm0.net
>>585
ヨ-ゴハジエンチュー!
ノイローゼかよw
600:132人目の素数さん
20/04/19 11:27:31 PUYN+cm0.net
>>586
細部のギャップは問題にならないから
601:132人目の素数さん
20/04/19 11:28:10 Od/h1nST.net
>>590
この単発はどうして>>242が擁護派だと思ったんだろう
ショルツ否定派ではあってもIUT擁護派であることまでは分からないはずだが……
602:132人目の素数さん
20/04/19 11:32:19 UbuHltnc.net
数解研における望月は、欅坂における平手みたいなもんなんだろうか?
だとすると、行きつく先は・・・脱退?
ちなみに私は長濱ねる推しですが、何か?
URLリンク(tv.kakao.com)
603:132人目の素数さん
20/04/19 11:34:29 PUYN+cm0.net
>>592
wwwの嘲笑ぶりに見てとれるよ
604:132人目の素数さん
20/04/19 11:36:25 PUYN+cm0.net
w4つだったw
605:132人目の素数さん
20/04/19 11:38:18 PUYN+cm0.net
>>593
そう...(無関心)
606:132人目の素数さん
20/04/19 11:40:14 JKVCGYoP.net
この人IUT論文の被害者じゃん
かわいそう
>naf says:
>April 18, 2020 at 2:44 pm
>…
>I myself devoted most of three months way back in 2013 to going through the papers
>and it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved.
>(One might say that this shows my lack of understanding,
>but the point is that Mochizuki himself says that this is the key part of his proof
>and if you see how the proof is written it is clear that there is something seriously wrong here.)
>…
URLリンク(www.math.columbia.edu)
607:132人目の素数さん
20/04/19 11:46:29 UbuHltnc.net
>>597
(自動翻訳)
私自身、2013年の3か月前のほとんどの時間を論文の調査に費やしましたが、
何も証明されていないことに気づいたのは、コロラリー3.12に到達したときのショックでした。
(これは私の理解の欠如を示していると言われるかもしれませんが、
要点は望月自身がこれが彼の証明の重要な部分であると言っていることです、
そして証明がどのように書かれているかを見ると、ここに深刻な問題があることは明らかです。)
608:132人目の素数さん
20/04/19 11:47:18.07 Od/h1nST.net
証明した風になってるけど出来てないから理解できない
と
自分の能力の欠如で理解できない
の区別が付かないのが根の深い問題だよな
609:132人目の素数さん
20/04/19 11:51:49.61 UbuHltnc.net
>>599
>区別が付かない
そうかな?
単に証明ができてないという指摘に対して
望月が「読者が理解できてない」といって
何の対処もしようとしないだけにもとれるが
610:132人目の素数さん
20/04/19 11:52:41.42 JKVCGYoP.net
この人は査読を依頼されたけど断ったらしいな
断るときにリジェクトしたらどうかって提案したらしいけど、PRIMSは無視したのか
>OP says:
>April 18, 2020 at 4:41 pm
>…
>This practical (albeit psychological) concern came to mind almost immediately
>after I was asked early on to be on the referee team for the IUT papers.
>I have great respect for Mochizuki’s mathematical talent,
>and no doubt in the sincerity of his belief that he has a proof of the main result.
>But I could see that the referees would not only have to check the details of an extremely long work
>written in a very obscure style (which didn’t provide insightful reasons for confidence in the approach being used).
>They would also have to engage in a herculean effort to get the writing substantially changed.
>It was too much, so I declined and communicated my concerns to the editorial board.
>(I recommended immediate rejection with a demand that the work be completely rewritten
>before it could be reconsidered.)
>…
URLリンク(www.math.columbia.edu)
611:現代数学の系譜 雑談
20/04/19 11:55:40.54 ijGx7lvx.net
>>569
ID:UbuHltnc=おサルさ
おまえが書くと、スレのレベルが下がる
おまえ、どっかの数学科修士といっていたけど、もぐりか?
STAPと同じことが、数学の論文で意図してできるとか
査読者及び雑誌の責任者が、意図して、通らない論文を通すとか
「クスリしっかり飲んでくれ」としか言い様のないレベルの発言
数学科修士卒が、そういう発言するかね?
信じれんわ、アホすぎて
(参考)
Inter-universal geometry と ABC 予想 43
スレリンク(math板:226番)
226 名前:132人目の素数さん[sage] 投稿日:2020/04/19(日) 11:04:03.84 ID:UbuHltnc
(抜粋)
>お前、大学で何しとったんじゃ?
高卒には決して分からないことじゃね?
612:132人目の素数さん
20/04/19 11:57:01.98 UbuHltnc.net
>>601
望月が平手だとしたら、星、山下、玉川は、
欅坂のなんとかファイブみたいなもんかな
613:132人目の素数さん
20/04/19 11:57:52.75 CUrzraD5.net
>>593
全然違う。平手というのは器でも無いのにソニーの知恵者と秋元に目を付けられて担がれただけだ
歌もダンスも基礎の基盤を持っていないところにいきなり高い水準を要求されてオーバーフローを起こした
適応障害を起こして潰れたのだ
それが数多くのさぼりやドタキャン、故障となって現れた
結局、あのポジションに見合う器では無かった贋物ということだ
614:132人目の素数さん
20/04/19 11:59:47.06 UbuHltnc.net
>>602
ん?おサルって誰?
>「クスリしっかり飲んでくれ」
おなかの調子を整えるためにビオフェルミンは飲んでますが、何か?
615:132人目の素数さん
20/04/19 12:03:27.04 jRO6JivO.net
>>604
詳し過ぎる...
616:132人目の素数さん
20/04/19 12:04:27.34 jRO6JivO.net
>>604
そんなオタク様はどなた推しですか?
617:132人目の素数さん
20/04/19 12:06:18.53 jRO6JivO.net
秘密ですか...
618:132人目の素数さん
20/04/19 12:14:12.91 cHHusDtq.net
>>601
あまりにも分かりにくい(obscure)スタイルなので、いったん取り下げてもっと分かりやすくリライトしたらどうですかと進言したと書いてあるな
内容がダメという訳では必ずしもないようだ
619:132人目の素数さん
20/04/19 12:15:05.71 jRO6JivO.net
因みに平手さんが仕事を忌避しだしたのは
「ストーカーファンの襲撃を目撃して以来、ファンの中に潜んでいるかも知れないストーカーの影に怯えて、ファンを恐れるよう気持ちを抱えて仕事が苦痛になっていた為」
ってされてますね...
当然でしょうね...
もともと、人見知りの娘には
無理な仕事だったんでしょうね...
容姿端麗で芸能界入りしたんでしょうけど...
PTSDやパニック発作でも患ってるんでしょうか
接客業の職業病ですよね
ヤバイ客の襲撃で仕事が苦痛になる・・・
620:132人目の素数さん
20/04/19 12:20:41.67 l1llX2xh.net
URLリンク(stacks.math.columbia.edu)
証明ではないけどstacks projectのこの記事が近い例だと感じる
スキームとは何かと言えば、任意の点が、アフィンスキームとなるような開近傍を持つような局所環付き空間であり、
局所環付き空間と言えば任意の構造層の茎が局所環であるような環付き空間であり、
環付き空間と言えば……
といくらでも説明できる
望月の証明はこれが出来ず、分からないのは相手が遠アーベル幾何を知らないからだ、みたいな理由付けをする
621:132人目の素数さん
20/04/19 12:22:54.51 JKVCGYoP.net
>>609
内容の成否はともかく、査読を依頼されるレベルの専門家が、この論文を読み解くのは時間の無駄だと思ったってことだよね
どうすんのこれ
622:BLACKX
20/04/19 12:25:24.03 qnt75GLx.net
査読しても次に繋がらないから全て忘れられ一旦リセットされてABC問題に取り組まれる人が出てくるだけやろ
623:粋蕎
20/04/19 12:30:34.84 8BOyW/Ba.net
>>602
こいつに酷似。知らばっくれ常習犯。知らばっくれ癖もβ(>>514-519)と酷似。
低能サラリーマンking様の弟子と雑談できちゃうスレ [転載禁止]・2ch.net
スレリンク(math板)
1: king様の弟子♯3571c7h2 2015/09/08(�
624:ホ) 20:23:39.08 ID:FUR/ZWNF 修士課程のときに勉強に熱中するあまり、ろくに就活しなかった。 今、定年退職まで終わりない地獄にいる気持ちです。 数学のことは片時も忘れたことはありません。 博士後期課程いってればよかったのかなぁ。 今は営業職です。 数学に携われる仕事がしたいです。 3: ◆UQNvrOejBY 2015/09/08(火) 20:29:11.92 ID:hhzVG5Qb トリップが漏れてるよ 11: 132人目の素数さん [sage] 2015/09/08(火) 23:22:05.08 ID:C5/qhYMy #と#と♯の違いな 14: 132人目の素数さん 2015/09/09(水) 15:38:09.41 ID:48nkhrt2 なんで博士いかなかったの? 自信なかったとか? 16: kingの弟子 ◆lP1flIwtOI 2015/09/09(水) 19:22:30.84 ID:MyU9VXM3 > 14 自信はあったよ。 それなりに勉強してたし、教授からも 今までの中でもすごい優秀と言われたことある。 だけど、これから3年も教授と一緒にやってけそうになかったし、彼女いたから働いてほしいって話になったから、仕方なく就職する方向にした。 バカだった。 17: kingの弟子 ◆lP1flIwtOI 2015/09/09(水) 19:25:51.67 ID:MyU9VXM3 あわよくば働きながら論文書いて博士課程いこうとか考えてた。 新入社員でブラック企業入って、精神状態がずたぼろの状態で勉強なんてできるわけなかった。
625:BLACKX
20/04/19 12:31:25.93 qnt75GLx.net
実際モッチーの理論を使ってわかる事ってかなり限定的なやり方だからABCならフィットしてるやり方だろうけど(それも限定的な数量しかわからない)例えば完全数とかのフィボナッチの逆数の和とかの未解決問題に応用できないわけで
626:132人目の素数さん
20/04/19 12:31:32.00 UbuHltnc.net
>>604
まあ、平手の歌唱力が大したことないのは明らかでしょう
正直 坂系で歌で生きてけるのはこの二人くらいじゃないかな
☆白魔術師
URLリンク(www.youtube.com)
★黒魔術師
URLリンク(www.youtube.com)
627:132人目の素数さん
20/04/19 12:37:46 IYOneXY0.net
彼女も目先の利益も捨ててやらないと数学者にはなれないんですね
結婚して家庭を維持し、業績出した数学者はどれほどすごいのでしょうか
628:132人目の素数さん
20/04/19 12:43:40 UbuHltnc.net
>>614
全然似てないかな
修士の頃もさほど勉強してなかったし
数学の事はほぼ忘れてるな
大体 一応数学科だけど、やってたのは
代数でも幾何でも解析でもないし
今の仕事はざっくりいえば事務
ま、定年までもう5年だからこのままいくよ
就職したのは正直大学に残るのは無理だと悟ったから
彼女はいたことない つきあうのは面倒臭い
ということであなたの云ってる人ではありません
残念でした
629:粋蕎 ◆C2UdlLHDRI
20/04/19 12:49:12 8BOyW/Ba.net
誰が見てもバレとる事をシレっと知らばっくれる癖じゃの、不定ハンドルじゃったりじゃの、
「e'=e、eは微分しても変わらない不思議な定数」じゃの
「∞>3、∞は3より大きい」じゃの
既に定義されとるもん(>>514)を「と定義すれば」とか言い出したりじゃの
「偽の仮定は真」の意味が分からなくて15年悩んだ末に「偽の仮定は存在しない」発言じゃの
数学板住人なのに全角英数を多用したりじゃの
数学科なんて嘘っ八じゃコイツ。独学じゃ!!数学板に集まるネット情報かいつまんどるだけじゃ!!
まだ懲りとらんかったんか、king様のβaka弟子!バレとるじゃ!!
オドレが儂のコテハンの由来を Yahoo! Google Bing! どの検索サイトを見ても
頗る下位に来るのをドンピシャリ当てた時からバレとるんじゃ貴様は?数学板にまた何しに戻って来た?
また「数学板住人を煽り」に帰って来たんか?相変わらずじゃなぁ…
630:132人目の素数さん
20/04/19 12:55:58 UbuHltnc.net
>>619
妄想狂かな?
>e'=e、eは微分しても変わらない不思議な定数
いくらなんでもそこまで馬鹿じゃないよ
d(a^x)/dx は l(a)a^x となるけど、l(e)=1ってことでしょ
(実はl(y)は、y=e^xの逆関数となるわけですが)
>「偽の仮定は真」
それは粗雑な言い方だね
アンチトートロジーを前提とすれば、任意の命題が結論として導ける
というのが正しい言い方だね
対偶をとれば、トートロジーは、どんな命題を前提としても導ける
ま、当たり前だけどね それが何か?
631:粋蕎 ◆C2UdlLHDRI
20/04/19 12:59:03 8BOyW/Ba.net
>>602
安心されい。此奴は数学板歴が長く KingOfUniverse ◆667la1PjK2 に師事しとった関係で
幾らか知ったかが効くだけで、アンタ相手にマウント取るのが精一杯じゃ。
632:132人目の素数さん
20/04/19 12:59:10 UbuHltnc.net
>>619
>オドレ
正しくは「おのれ」ね ま、方言なんだろうけど
>儂のコテハンの由来
そんなん知らんよ 「いっきょう」でも「すいきょう」でもどうでもいいよw
だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
633:132人目の素数さん
20/04/19 13:03:39 UbuHltnc.net
>>621
一応数学科卒だからね 工学部卒よりは数学分かってるよ
そうじゃなきゃ大学卒業できないし
ついでにいうと高卒の君よりも全然分かってるよ
残念だったね
で、KingOfUniverse って誰?
Destroyer of the Universeのほうが好きだな
URLリンク(www.youtube.com)
634:粋蕎 ◆C2UdlLHDRI
20/04/19 13:03:49 8BOyW/Ba.net
相っ変わらずキャラ変すれば済むと思っとる様じゃな。ますます king様のβaka弟子 じゃな。
『ID:lQKSp/GA』の『犯罪者呼ばわり』の根拠の『妄想出鱈目出任せ大法螺吹きな大嘘』、成立済み
635:132人目の素数さん
20/04/19 13:06:00 UbuHltnc.net
>>624
なんか妄想が酷いようだね・・・クスリ飲んだら?
636:粋蕎 ◆C2UdlLHDRI
20/04/19 13:08:26 8BOyW/Ba.net
バカじゃ
> だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
言わんでええ事を言う癖は直っとらん様じゃな。
637:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 13:08:39 ijGx7lvx.net
>>613
>査読しても次に繋がらないから全て忘れられ一旦リセットされてABC問題に取り組まれる人が出てくるだけやろ
多分、そうならない
「全て忘れられ一旦リセットされて」と出来ないから
海外の数学者は、いらいらで、ストレスたまっていると思う
つまり、IUTのシロクロを早くしろってこと
IUTがグレーで、「全て忘れられ一旦リセットされて」と考えて
例えば、海外DRコースの人が、ABC予想に全く別のアプローチを研究したとしても
それに成功したとき、初めてのABC証明と認められるか、二番煎じとなるか?
もし、その人のDR論文が成功しても、あとからグレーだったIUTがシロと判明すると
二番煎じとしかならない。これは、DR論文のテーマ選択にとって大きな問題です
それと、IUTが使えるか使えないか?
IUTが使えそうなテーマ(ABC以外)があったとして
それを、DR論文のテーマ選択に選ぶかどうか?(一般の研究テーマ選定も同じ)
そういうことにも影響してくるとので、「ちゃんと説明してくれ」って話になると思うよ
注)
正確には、いまのIUTでは弱いABC予想しか解決できないという
強い版は、南出が用意中とアナウンスされている
638:132人目の素数さん
20/04/19 13:13:11 I4YEALgo.net
>>612
グロタンディークの何千ページが、それ以前の近しいと見なされた分野の適当な学者にどーんと届いたとする
「何だこれ もう少し整理できないのか 半年以上はかけて熟読精査して、俺様の今のありていの研究の役に立つという保証はあるのか」「というわけでもっと短くできないのかときつく言っておきました エヘン」
我輩の辞書に学問に王道なし、元は幾何学に王道なし、数論幾何学に王道なしという文字はなぜかない
当たり前の想像もできないバカまるだしのおまえどうすんの どうすんの
639:132人目の素数さん
20/04/19 13:15:12 UbuHltnc.net
Jan Bergstra オランダの計算機科学者だね
オランダは証明系に関してはAUTOMATH以来の長い伝統があるんだよ
de Bruijnはその筋ではいろいろ有名だよね
名前、正しく読めるかな
640:粋蕎 ◆C2UdlLHDRI
20/04/19 13:16:39 8BOyW/Ba.net
Inter-universal geometry と ABC 予想 46
スレリンク(math板)
254:132人目の素数さん 2020/04/05(日) 12:38:28.42 ID:NkAq1xzA
> 229
『まったくゼロからの論理学』岩波書店
の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語
演繹,前提,仮定,含意,条件法
について革新的なことが書いてある
俺は野矢のいう条件法で数学を諦めていたのだが
偽の仮定という言葉がないことを知って再開することができた
だから薦めている
因みに新書の話だが
たとえば全称命題における
数学的帰納法ですべての自然数nに対して
n=1の場合を取り出すことは不能であると考えるので
可能無限派に属するとは思う
それだから
∃n,k∈N
n_1=1
n_k=k
n_k+1=k+1
という記法になってしまう
268:132人目の素数さん 2020/04/05(日) 13:08:22.39 ID:NkAq1xzA
> 267
何だよ本当の意味ってw
おしえてw
Inter-universal geometry と ABC予想 50
スレリンク(math板)
193:132人目の素数さん 2020/04/16(木) 18:44:19.59 ID:bZJm30cd
>>178
のおっしゃる爆発則っていうんですか?も仮に「数学」の仲間に入れたとしたら、
その数学は役に立たない数学のグループに属する数学と言えるということをいいたかった
んです。
役に立つ数学は、トートロジーを含まない公理系だけなんでしょうか?
これも形而上学的で証明できないと思うんですよね。
役立つ数学と役立たない数学の仕分けは、
それなら結局、自然法則かアルゴリズムの記述に役立ち得るかどうかという
経験則で語るしかなくて、具体的にはトートロジーを内部に含まない数学
と役に立つ数学は一致するということを公理にしちゃえばいいのでしょうか?
実際、トートロジーがない数学=正しい数学=役立つ数学
というのは誰も証明できないけどだれもが直感してることなんですよね。
哲学的も数学も素人なのでよくわからないのですが。
ちなみにいま「意中と宇宙をつなぐ数学」読んでる最中です。
641:132人目の素数さん
20/04/19 13:21:30 uMwLCcbW.net
>>558
「異例な記者会見をやる以上、RIMS側は絶対の自信があるはず」
君は全然流れがわかってないな~
「IUTで言えば、ショルツ先生は法定外の人」
法定外のわかないでしょ
642:132人目の素数さん
20/04/19 13:23:42 jRO6JivO.net
>>618
>彼女はいたことない
M氏。。。?
643:132人目の素数さん
20/04/19 13:30:14 jRO6JivO.net
>>619
全角文字使用は…
(恐らく日本の平均年齢の上昇に伴って…)
5ちゃん利用者の年齢層が上昇してると考えられるから、視力が低下してる人が増えてると想定して対応してる、ってのはありますね…
644:132人目の素数さん
20/04/19 13:39:18 jRO6JivO.net
>>628
これです
645:132人目の素数さん
20/04/19 13:39:42 l1llX2xh.net
視力というか老眼だね……
646:132人目の素数さん
20/04/19 13:40:53 6uTLkXH+.net
おデートもしたことないとしたらちょっとフビンかも
彼女や妻はこちらの言い分あちらの言い分あり面倒かもしれんがおデート自体はなかなか楽しいものだ
647:132人目の素数さん
20/04/19 13:43:20 jRO6JivO.net
>>635
白内障、緑内障、網膜剥離、飛蚊症、黄斑変性症、、、
目の老化現象ですね
648:132人目の素数さん
20/04/19 13:47:30 jRO6JivO.net
>>636
ちょっと処じゃ無いと思います。。。
。。。もう帰って来ない。。。
~たった一時期だけの青春~
彼女もデートも知らずに
数学だけで人生終わっちゃうのか。。。?
もっちー。。。可哀想過ぎ。。。(;;)
649:132人目の素数さん
20/04/19 13:59:02 91JQQkoh.net
>>579
整数と多項式の類似って整数論・数論幾何の大テーマだよね。
なので、証明が正しければ、本来どんどん応用され広がっていくはずのもの
にもかかわらずそうならないのはすでにおかしい。
650:粋蕎 ◆C2UdlLHDRI
20/04/19 14:02:29 8BOyW/Ba.net
どんなに上手に隠れても
腐った性根が見えてるよ
だんだん誰が見っかった
Inter-universal geometry と ABC 予想 43
スレリンク(math板)
226:132人目の素数さん 2020/04/19(日) 11:04:03.84 ID:UbuHltnc
> 225
lim[n→∞](1+x/n)^{(n/x)*x}
=lim[n/x→∞](1+x/n)^{(n/x)*x}
=lim[h→∞](1+1/h)^(h*x) (∵ h=n/x)
=e^x
xが実数の場合はいいが、複素数の場合は駄目だね
>お前、大学で何しとったんじゃ?
高卒には決して分からないことじゃね?
651:132人目の素数さん
20/04/19 14:05:55 JKVCGYoP.net
>>628
何が言いたいのかわからないが、OPはこう続けている
>I am very sorry to see all these years later that neither the referees who were eventually obtained
>nor the editorial board obtained any real improvement on the clarity of the way the material is presented,
>not even at least an Introduction presenting key new insights in some conventional manner
>(to compensate for the way the technical material is presented).
少なくとも編集委員会は彼にIUTの"key new insights"を説明することができなかったんだよ
652:132人目の素数さん
20/04/19 14:11:09 uMwLCcbW.net
科学の論文は、
? 反証可能性が残されるように、開かれていなければならない
その上で
?反証が存在しないことが示される
こうして初めて正しいものと認められる
数学でいうと、?論理展開が追える(勉強不足や長いから追えないというのは除いて)
?矛盾がない、反例がない
しかし、IUTは、?を満たしていないから、誰も?まで進めない
ショルツ氏は、?を満たしていないとクレームし、同時に、?を示そうとしてしまった
望月氏側は、ショルツ氏が?を示したことに対し、?で書かれているんだから、よく読め
という
結局、まず、もう一度?からやり直すべきではないか
653:132人目の素数さん
20/04/19 14:22:30 jRO6JivO.net
>>642
>反証が存在しない事を示す
無理では?
反証が存在する事を示すしか無いのでは?
654:132人目の素数さん
20/04/19 14:23:21 jRO6JivO.net
>反証が存在しない事を示す
不可能ちっくw
655:132人目の素数さん
20/04/19 14:23:27 F4sLKV96.net
数学は科学ではないけどな
656:132人目の素数さん
20/04/19 14:24:06 jRO6JivO.net
ウケたw
657:132人目の素数さん
20/04/19 14:26:16.21 jRO6JivO.net
もしかして私は今、人類に新たなる叡智を授ける神の降臨を見たのでしょうか...
w
658:132人目の素数さん
20/04/19 14:28:28.77 l1llX2xh.net
>>645
「数学は科学ではないと考える人が存在する」であれば真だね
すべての人に対して……、であれば偽だ
659:132人目の素数さん
20/04/19 14:33:22.58 F4sLKV96.net
分類上数学は科学ではないということ
「直角三角形を三角形でないと考える人が存在する」という主張は正しいだろうが
分類上直角三角形は三角形
660:粋蕎
20/04/19 14:43:00.57 8BOyW/Ba.net
社会科学
数理科学
Ph.Dの意味由来
661:132人目の素数さん
20/04/19 14:45:50 uMwLCcbW.net
>>643
数学の場合だと、証明の論理に矛盾が
なければ、反証はないでしょう
(というか、そんな簡単なことも理解できない?)
662:132人目の素数さん
20/04/19 14:47:51 l1llX2xh.net
>>649
三角形や直角三角形の定義に関して同意が取れてれば、その中のすべての人を取っても真だろうね
科学の分類とやらは同意が取れているのかい?
663:132人目の素数さん
20/04/19 14:47:59 jRO6JivO.net
>>651
それアンチに言ってw
ブーメランwww
664:132人目の素数さん
20/04/19 14:48:54 jRO6JivO.net
アンチウケるwww
665:132人目の素数さん
20/04/19 14:53:40.75 jRO6JivO.net
理解出来ないのに・・・
「ギャップを確信」ってネットに書き込んじゃう“脅威の異能の持ち主達”が跋扈するwわりには・・・
査読者のプライベートでの研究者仲間への「確信している」発言に過剰反応しちゃったりw
666:132人目の素数さん
20/04/19 14:56:02.86 UbuHltnc.net
某スレッドにて
>説明の何百ページの文書はいらないんだ
>ただ、「国際会議でちゃんと説明するから」くらいでいいんだ
説明は十分かどうか決めるのは、説明する側でなく説明される側
こういう基本的なことが分からない会社員は…無能だよね
667:132人目の素数さん
20/04/19 14:56:39.34 jRO6JivO.net
アンチの方達の中に少なからず目撃する融通無碍な脅異の能力には・・・
日々驚きを持って感嘆致しておりますw
668:132人目の素数さん
20/04/19 14:59:00.14 uMwLCcbW.net
まあ要するに、まずIUT論文は、すくなくとも数論幾何学の分野の人に
わかるように書き直さないと、論文になっていないのではないか、ということです
669:132人目の素数さん
20/04/19 15:01:49.15 UbuHltnc.net
>>642
>①反証可能性が残されるように、開かれていなければならない
>②反証が存在しないことが示される
数学の場合
①主張したい命題が論理式として記載可能
②主張したい命題の否定から矛盾が導かれることを示す(これが証明)
①は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
②は背理法の形で書いたが、証明は別に背理法でなくてよい
(どんな証明も背理法の形に直せるから)
670:粋蕎
20/04/19 15:06:49.32 8BOyW/Ba.net
>>655
アンタは何を主張したい?何となくは分かるが
アンタの『意思』も知りたいんで『明言』して頂きたい。
『IUTは正しく、ショルツ初めアンチは無能』、其う言いたいんか?
671:132人目の素数さん
20/04/19 15:10:22.30 uMwLCcbW.net
そうですね
つまり作法として、「”できるだけ”多くの人に反証をあげてもらいやすいように、
論理を丁寧に書いて」
それでも、なおかつ反証がない、論理的に矛盾がない
ことを第三者たちが確認することによって、はじめて正しい証明とみとめられる、
そういうものではないか、ということです
672:132人目の素数さん
20/04/19 15:18:17.06 JKVCGYoP.net
京都の人や関係者には理解できるけど部外者には理解できないってことは、論文に書いていないコツがあるんだろ
それを教えて欲しい
673:粋蕎
20/04/19 15:18:59.65 8BOyW/Ba.net
>>661
言いたい事は分かったが
> 『IUTは正しく、ショルツ初めアンチは無能』
と言いたいのか否かに関しては?
674:132人目の素数さん
20/04/19 15:20:01.71 SEKUrtAT.net
>>660
自分はどう頑張っても今更IUTTを理解出来るわけ無いです。
ショルツ教授の仰ってる意味も掴めないですね。
だだ(「詐欺」だの「犯罪」だの「有罪」だの攻撃的な強いワードをネットに出せるからには当然それなりの確証があるはずだし、それなら5ちゃんではなくRIMS関係者に直接指摘するべき)
って考えてるだけです。
675:132人目の素数さん
20/04/19 15:20:57.22 uMwLCcbW.net
ここでいう第三者はもちろん査読者だけのことではなくて、この場合は数論幾何学(
特にp進体上なんでしょうか、詳しくは知りませんが)の分野の方々ということになります
ここで一人でも、こことここがわからない、といわれればそこを書き直し、説明しなおす
ことが必要ですし、逆に、この方々から一人も異議がでなければ、
まず、認められた、ということになるのだと思います
676:132人目の素数さん
20/04/19 15:22:12.36 SEKUrtAT.net
>>660
ID変わりましたが>>655です
677:132人目の素数さん
20/04/19 15:22:21.81 5yNz6DNQ.net
望月さんもまだ何も終わってなかったか
678:132人目の素数さん
20/04/19 15:26:17.32 uMwLCcbW.net
しかし、個人的な印象としては、発表から8年もたっており、その間、指摘があったにも
かかわらず、状況が変わっていないことから察すると、証明はうまくいっていない
のではないか、とは思います
679:BLACKX
20/04/19 15:26:20.04 qnt75GLx.net
>>667
始まってすらないじゃん
例えるなら料理のいろはを教える時に料理とは二足歩行の者が行う行為だみたいな事言って、反論は無いけどだから?みたいな料理について言及しろよって段階
680:132人目の素数さん
20/04/19 15:26:31.44 UbuHltnc.net
>>662
>論文に書いていないコツがあるんだろ
STAP細胞かw
681:粋蕎
20/04/19 15:30:31.25 8BOyW/Ba.net
ああ、猿な一石、king様の弟子ことβに対する皮肉か
682:現代数学の系譜 雑談
20/04/19 15:59:18.84 ijGx7lvx.net
>>641-642
(引用開始)
科学の論文は、
① 反証可能性が残されるように、開かれていなければならない
その上で
②反証が存在しないことが示される
こうして初めて正しいものと認められる
(引用終り)
同意
(引用開始)
しかし、IUTは、①を満たしていないから、誰も②まで進めない
ショルツ氏は、①を満たしていないとクレームし、同時に、②を示そうとしてしまった
望月氏側は、ショルツ氏が②を示したことに対し、①で書かれているんだから、よく読め
という
結局、まず、もう一度①からやり直すべきではないか
(引用終り)
同意同意
但し、②が成立っているとして
あと、だれか登山のK2に例えていたけれども
富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
望月氏側は、7合目(遠アーベル幾何)からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ(学部からマスターレベルだと)いう
あと、ショルツ氏の力点は、”②を示そう”の方。ショルツ氏は、自分なりにCor 3.12までは読んだつもりで、自分なりの理解では、「π1(x)が無意味になるからIUT全体がダメだ」と主張している
そこは、OP氏の主張とちょっとズレがある
で、実は”②を示そう”自分なりの理解では、「π1(x)が無意味になるからIUT全体がダメ」が決定的に大きい
”②反証が存在しない”が真ならば、5合目から7合目の話を補って、あと、分り易い解説をつければ良い
(過去に、数学ではそういう例は沢山ある)
683:現代数学の系譜 雑談
20/04/19 16:01:00.16 ijGx7lvx.net
>>672 タイポ訂正
望月氏側は、7合目(遠アーベル幾何)からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ(学部からマスターレベルだと)いう
↓
望月氏側は、7合目(遠アーベル幾何)からスタートしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ(学部からマスターレベルだと)いう
684:132人目の素数さん
20/04/19 16:03:07.84 NeHBk0JD.net
数学的には正しい可能性は有っても物理学的にはまあ間違ってる
なのに物理学的な正しさを全面に押し出してる
宇宙際なんて概念は数学の中でしかあり得んて
別の宇宙なんて無いし、有ったと仮定しても相互関係も無い、全く関係無い
おっさんSFの見過ぎ
685:132人目の素数さん
20/04/19 16:08:55.86 NeHBk0JD.net
いや、宇宙際をどう定義するかによる
別の宇宙ではなく別の次元との相互関係
次元際なら上手く行くかもね
686:現代数学の系譜 雑談
20/04/19 16:11:24.40 ijGx7lvx.net
>>672 補足
>あと、だれか登山のK2に例えていたけれども
>富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
現代数学があまりにも巨大化専門家しすぎて
登山のK2みたく、ふつうには殆ど上れない
だけど、それなりに装備をして、酸素ボンベも用意してとやれば
ヒマラヤなみ(日本の三浦雄一郎 80歳ギネス)に、かなりの人は到達できるでしょ
論文は、教科書じゃない
論文が万人が読めなくてもしかたない(5合目スタートにしたら、あと何百ページか書かないといけないかも。それは、お互い、つまり真のプロにも迷惑(分かっていることを延々書いてあるみたいな))
IUTが真に価値ある論文なら
解説書でるでしょ
687:現代数学の系譜 雑談
20/04/19 16:16:51.71 ijGx7lvx.net
>>674-675
>宇宙際なんて概念は数学の中でしかあり得んて
物理にも、パラレルワールド説はあるけど
ネーミングが懲りすぎというのは同意
宇宙際とか、ホッジシアターだっけ? なんだかなーw(^^;
”欅坂受け”ねらいかも(^^
>次元際なら上手く行くかもね
いまでも、なんで”宇宙”?と思うわw(^^
でも、RIMSももう一頑張りでしょう!(^^
688:132人目の素数さん
20/04/19 16:19:22.32 UbuHltnc.net
>>672
ショルツの指摘が成立しなくても、望月の論文は①を満たしてないから無意味だけどな
つまり望月はそもそも山に登ってない 山に登るところから始めよう
689:132人目の素数さん
20/04/19 16:22:09.00 UbuHltnc.net
>>676-677
あなたなんでそんなに必死なの?
690:132人目の素数さん
20/04/19 16:23:38.14 NeHBk0JD.net
次元際はヒッグス場そのものと言える
別次元への出口がエナジーの減衰で
この次元への入口はエナジーを保持する力
691:132人目の素数さん
20/04/19 16:24:46.86 UbuHltnc.net
日本人だからって望月を無条件に支援する理由にはならないよね
むしろ今回の京大数理解析研の措置は日本人として恥ずかしいよね
いかにも内輪の都合で無理矢理アクセプトしたみたいでさ
そういう恥ずかしい真似してほしくなかったよ
692:132人目の素数さん
20/04/19 16:28:56.54 UbuHltnc.net
>>677
>いまでも、なんで”宇宙”?と思うわ
宇宙って数学用語、知らないんだね
URLリンク(ja.wikipedia.org)
693:現代数学の系譜 雑談
20/04/19 16:33:50.39 ijGx7lvx.net
>>677
>物理にも、パラレルワールド説はあるけど
スレチだが、行きがかりで、下記貼る
(参考)
URLリンク(ja.wikipedia.org)
パラレルワールドは実在するか
パラレルワールドはSFでよく知られた概念であるだけでなく、実際に物理学の世界でも理論的な可能性が語られている。例えば、量子力学の多世界解釈や、宇宙論の「ベビーユニバース」仮説などである。
URLリンク(ja.wikipedia.org)
多元宇宙論(たげんうちゅうろん、英: multiverse)とは、複数の宇宙の存在を仮定した理論物理学による論説である。物理的に観測不可能な様々な事象を数学や物理学を元に理論構築し、既知の観測や観察とともに予想された物理理論の一つである。
1.3 多世界解釈
1.4 多次元によるもの
1.5 万物理論の自由性によるもの
多世界解釈
量子力学の解釈の一つで波動関数の収縮を想定せず、すべての解に対応した世界があるとするもの。
多次元によるもの
我々が住む宇宙は無限ないし多くの次元を持つバルク(空間)に浮かぶたったの三次元のブレイン(膜)であるとするもの。当然、バルク内に複数のブレインがあることが許容される。
万物理論の自由性によるもの
万物理論が(どんな形をとるのかは別として)存在し、そこに何らかの物理定数が含まれる場合、なぜ物理定数は他の値ではいけなかったのかという疑問が生ずる。一番簡単な説明は有りうる値すべての宇宙が実在し、たまたま我々の宇宙ではその値であり、そうでなければ我々は生まれなかった、という人間原理によるものである。
694:現代数学の系譜 雑談
20/04/19 16:36:39.59 ijGx7lvx.net
>>682
>宇宙って数学用語、知らないんだね
>URLリンク(ja.wikipedia.org)
IUT読んだ?
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか?
おれは、厳密には違うと思うよ
単なる用語の濫用ならぬ、”乱用”の方と思うぜww(^^;
695:粋蕎
20/04/19 16:37:41.80 8BOyW/Ba.net
グロたん宇宙は良いが、こっちは貼らんのか?
宇宙 (数学) - Wikipedia
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
696:132人目の素数さん
20/04/19 16:46:21.19 JKVCGYoP.net
今さら名称の話?
full poly-isomorphismとかは確かに宇宙っぽい考え方なんじゃないの
知らんけど
697:132人目の素数さん
20/04/19 16:51:33 UbuHltnc.net
>>684
正規部分群の定義も誤読した人が何言ってるんだろう
>単なる用語の濫用ならぬ、”乱用”の方と思うぜ
そんなこという人がなんで望月は正しい!と言い張るのか分からん
本当は望月の論文は無意味と思ってるんでしょ?
698:132人目の素数さん
20/04/19 17:00:47 UbuHltnc.net
◆e.a0E5TtKEの態度は
「どうも望月の論文はまったく証明の体をなしてないらしいが
いまさらそんなことを認めたら日本国の恥だから
徹底的に隠し通して誤魔化そう」
というふうにしか見えない
◆e.a0E5TtKEは「間違うことが恥」と思ってるらしいが
間違うことは全然恥じゃない。
むしろ間違いに気づきながらをれを認めず隠し通して
体面を保とうすることこそよほど恥ずかしい
699:132人目の素数さん
20/04/19 17:01:56 mrf31oDM.net
>>562
それはオボちゃん一派でしょw
700:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:10:48 ijGx7lvx.net
>>684 補足
IUTの「宇宙」”universes”:
"of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal. "
って、「宇宙」は、厳密には 大げさすぎる気がする(^^
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
Introduction
P21
§I3. Basepoints and Inter-universality
In particular, the only data that can be considered in relating ´etale fundamental groups on either side of a filter is the ´etale-like structure constituted by the underlying abstract topological group associated to such an ´etale fundamental group,
i.e., devoid of any auxiliary data arising from the construction of the group “as an ´etale fundamental group associated to a basepoint determined by a geometric point of a scheme”.
It is this fundamental aspect of the theory of the present series of papers - i.e.,
of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal.
This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by considering only the underlying abstract topological group of some´etale fundamental group arising from such a ring/scheme structure
- i.e., in other words, of considering the absolute anabelian geometry
[cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration.
つづく
701:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:18:56 ijGx7lvx.net
>>690 追加
つづき
また下記
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
[なお、この用語はカテゴリー理論の標準用語とは異なるが、今回の一連の論文の理論の文脈では当然のことであろう]
まあ、こういうところ、「独善」と紙一重だろうね~(OP氏がいうのはこういうところかも) w(^^;
なお、
”an “isomorphism C→D” is precisely an “isomorphism in the usual sense”of the [1-]category constituted by the coarsification of the 2-category of
702: all small 1-categories relative to a suitable universe with respect to which C and D are small.” で 「relative to a suitable universe」も、当初の”universe”定義による用語の使い方として、整合しているのかどうかだね~?(^^; (先のは、集合論の”universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter”だったのにね。まあ、重箱の隅とは思うが ) P33 Section 0: Notations and Conventions Monoids and Categories: We shall refer to an isomorphic copy of some object as an isomorph of the object. If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D. [Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.] Thus, from the point of view of “coarsifications of 2-categories of 1-categories” [cf. [FrdI], Appendix, Definition A.1, (ii)], an “isomorphism C→D” is precisely an “isomorphism in the usual sense”of the [1-]category constituted by the coarsification of the 2-category of all small 1-categories relative to a suitable universe with respect to which C and D are small. (引用終り) 以上
703:132人目の素数さん
20/04/19 17:30:12 UbuHltnc.net
>>690
set-theoretic universesって書いてあるじゃん
集合論の宇宙、知らないんだね
URLリンク(ja.wikipedia.org)
704:132人目の素数さん
20/04/19 17:49:39 N24RGaNy.net
>>689
仮にも専門家集団のなかから「派」と言える勢力が出てきた時点で単純詐欺では無いと言ってるようなものだ
それなりの理由があるから支持者が現れたんだよ
ノーベル賞候補とも言われた笹井氏が推したのにも理由がある
おまえらは矮小化し過ぎなんだよ
705:132人目の素数さん
20/04/19 17:50:41 N24RGaNy.net
>>690
単なる無知から来ている決め付け
706:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:27 ijGx7lvx.net
>>692
wikipediaを引用するなら、>>685の粋蕎 さんの引用(下記)が適当だろう
下記では、1)ベン図のU、2)通常の数学の例えばSN、3)集合論のフォン・ノイマン宇宙 V、4)圏論のグロタンディーク宇宙
と、4つ解説されている
では、望月IUTの「宇宙」とは? まさか、ベン図のUとか下記SNではない
集合論のフォン・ノイマン宇宙? 圏論のグロタンディーク宇宙?
”INTER-UNIVERSAL”だから、最低2つ宇宙がいるけど、どれとどれだい??w(^^;
(参考)
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
ある特定の文脈において
おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。
これは1870年代から1880年代にかけてゲオルク・カントールが実解析の応用として、初の現代的な集合論と濃度の開発に用いた宇宙である。
カントールが当時興味を持っていた集合は、R の部分集合だった。
この宇宙の概念はベン図の使用に反映されている。 ベン図において、作用は伝統的に宇宙 U を表す大きな四角形の内部に生じる。
一般的に集合が U の部分集合であれば、それは円によって表現される。
通常の数学
物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成(デデキントの切断)はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。
宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。
つづく
707:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:51 ijGx7lvx.net
>>695
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
置換公理は、ツェルメロ=フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
任意の 順序数 i に対して Vi を定義する。 Vi のすべての和集合は次のようにフォン・ノイマン宇宙 V となる。
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
708:132人目の素数さん
20/04/19 17:58:49 UbuHltnc.net
URLリンク(www.kurims.kyoto-u.ac.jp)
Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの?
A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります
709:132人目の素数さん
20/04/19 18:01:36 vQlbFnVo.net
>>604
もっちー降臨?!
710:132人目の素数さん
20/04/19 18:03:25 UbuHltnc.net
>>697の続き
Q2. じゃあ, 宇宙を取り替えるってどういう意味?
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
また, その新しい幾何学ではそこから生じる不定性を統制する
・剛性 (rigidity) で抑える
・(1 の冪根の p 進 log をとると 0 になる等の) 適当な操作で消す
・(不定性のため像がはっきりしないがある入れ物には入っていることは分かるなどにより) 見積もること
などや, ある不定性と他の不定性が連動している (synchronize) ことを用いることなどが大事になってきます.
それにはそもそも不定性の存在に気付かないといけないわけですが, 不定性の存在を明確に意識するのにも役に立つ考え方です.
“その新しい幾何学” と書きましたが, 従来の幾何学では (多項式写像であれ連続写像であれ可微分写像であれ)
環構造と整合的な射 (環付きトポスの射) を考えるのが幾何学であるという視点に立つならば,
それは幾何学という枠組みすら超えているかもしれません.
711:132人目の素数さん
20/04/19 18:09:11 IvVUctq/.net
>>698
え…うそ…
712:132人目の素数さん
20/04/19 18:09:47 UbuHltnc.net
>望月IUTの「宇宙」とは?
>集合論のフォン・ノイマン宇宙? 圏論のグロタンディーク宇宙?
グロタンディーク宇宙だろ 山下剛もそう書いてるけど
で、グロタンディーク宇宙は、フォンノイマン宇宙と無関係ではない
Vkでkが強到達可能基数ならば、グロタンディーク宇宙
713:132人目の素数さん
20/04/19 18:13:37 UbuHltnc.net
>>698
>>604は平手信者以外の一般のアイドル好きの見解 大した話じゃないな
ついでにいうと
「SU-METAL?ありゃ声がデカいだけだろ?」
とかいうとメイト(BABYMETALのファン)に張り倒される
714:132人目の素数さん
20/04/19 18:18:52 UbuHltnc.net
どうもIUTの神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
715:132人目の素数さん
20/04/19 18:28:47 UbuHltnc.net
>>703
誤 これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
正 これは正直、圏論とは全然別の話だから、それこそ丁寧な説明が必要だろう
716:132人目の素数さん
20/04/19 18:36:09 Aiu1KqVk.net
そもそも望月や文元などは集合論が分からないから宇宙の意味を議論してもしょうがない
717:132人目の素数さん
20/04/19 18:50:09.67 YBBEAUTj.net
>>705
素数論て集合論じゃないの??
718:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:10:54 ijGx7lvx.net
>>697
>Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの?
>A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
>数学基礎論的・論理学的に非自明な操作をしているとは
>山下は (少なくとも現時点では) 思っていません.
"非自明な"とか、関係ない説明だよね。質問者の"非自明” or "自明”の定義を
回答者の山下氏自身が、まず定義説明しないと
「数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.」
って、どういう意味だ? 意味分かって引用しているか?
分かっているというなら、その意味解説してみろw(^^;
>>699
>Q2. じゃあ, 宇宙を取り替えるってどういう意味?
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
それならば、「宇宙」ではなく
inter-ring で良いんじゃない?
>厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
>数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
説明になってない
「1 つの Grothendieck 宇宙の中で考えて」? Grothendieck 宇宙が 2つ3つあるのか?
>その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
なら、inter-scheme logic が素直だろ?
>>701
>グロタンディーク宇宙だろ 山下剛もそう書いてるけど
上記の通り、 Grothendieck 宇宙が 2つ3つあるのか?
Grothendieck 宇宙は、1つだろ? 同型を除いて一意かもしれないがね
719:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:14:49 ijGx7lvx.net
>>707 補足訂正
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
inter-ring で良いんじゃない?
↓
inter-ring structureで良いんじゃない?
かな?(^^;
720:132人目の素数さん
20/04/19 20:07:10.15 UbuHltnc.net
>>707
これは酷い・・・
>「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
>なら、inter-scheme logic が素直だろ?
論をlogicって訳す馬鹿 はじめてみた
theoryって言葉 知らんのか?
>Grothendieck 宇宙は、1つだろ?
Grothendieckが見たら頭抱えるぞ・・・
>同型を除いて一意かもしれないがね
訳も分からず呪文を唱えると自爆するよ
721:132人目の素数さん
20/04/19 20:26:03 yMpHhz7D.net
>>707
グロタンディーク宇宙が一つとか、大丈夫か君
722:132人目の素数さん
20/04/19 20:31:57 UbuHltnc.net
>>710
な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから
IUTの前途は闇だよ
723:132人目の素数さん
20/04/19 20:33:40.42 uMwLCcbW.net
707は、擁護派の内部分裂かな
724:132人目の素数さん
20/04/19 20:38:36.02 yAKdOBQz.net
>>706
全然違う分野
725:現代数学の系譜 雑談
20/04/19 20:40:59.04 ijGx7lvx.net
>>709
>>「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
>>なら、inter-scheme logic が素直だろ?
>論をlogicって訳す馬鹿 はじめてみた
>theoryって言葉 知らんのか?
はい
じゃ、問題
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
を数学用語を使って訳せ! (和文英訳)
但し、望月論文表題 ”INTER-UNIVERSAL TEICHMULLER THEORY I ”の表題に使えるようにせよ!
"theory"を使ったら、下記の”TEICHMULLER THEORY”と用語がダブるぜ? どうすんだよw(^^
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
>>710
>グロタンディーク宇宙が一つとか、大丈夫か君
そっくりお返しするよ
山下氏 (>>699より)
Q2. じゃあ, 宇宙を取り替えるってどういう意味?
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
(引用終り)
の説明だと、「INTER-UNIVERSAL」と説明が整合しないぜ
”UNIVERSAL”が、Grothendieck 宇宙とするならば
”INTER-”って、どうなるの?w
”INTER-”だったら、”UNIVERSE”が2つ要る
で、取り替えるんだろ?
グロタンディーク宇宙が2つあって、取り替える?w(^^;
726:132人目の素数さん
20/04/19 20:48:16.57 UbuHltnc.net
>>714
な、コイツ正真正銘の馬鹿だろ?
727:BLACKX ◆SvoRwjQrNc
20/04/19 20:48:35 qnt75GLx.net
>>712
707はガロアスレの主やぞ一番取り合ったらまずい奴
728:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:52:34 ijGx7lvx.net
>>712
> 707は、擁護派の内部分裂かな
お答えします(^^
1.私は、IUT応援派であって、擁護派ではない
Dupuy先生みたいな、IUT擁護なんて、とてもとてもとてもwww(^^;
ただ、IUTへ エールだけは送ります、がんばれRIMS&IUT! (^^
2.そして、IUT懐疑派、ないし IUT否定派の数学の筋が通っていれば、それは賛成します~!!!(^^
但し、数学の筋の通らない アンチIUT発言は つつきますよ! (普通は、あっちの隔離スレで こっそりねw)
見かねると、今回のように 乱入します(^^;
3.なお、IUT懐疑派、 IUT否定派、IUT擁護の数学バトル期待しています、ヤジウマとしてね。各位がんばってください(^^
729:132人目の素数さん
20/04/19 20:53:32 UbuHltnc.net
>>712
毎度恒例の馬鹿の自爆ショーです
第1回 正規部分群はgHg^(-1)がHと同型な群
第2回 数セミ記事「箱入り無数目」はマチガッテル!
第3回 順序数のZermelo構成で、ωは{{{…(無限個)…}}}
第4回 Grothendieck宇宙は、同型を除いて一意に定まる ←今ココ
数学書はウマに食わせるほど買ってるらしいが
一度もまともに読めた試しはないと専らの噂
全部古書店に売って楽になればいいのに・・・
730:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:54:04 ijGx7lvx.net
>>716
> 707はガロアスレの主やぞ一番取り合ったらまずい奴
Yes! よくお分かりですね!! (^^;
731:132人目の素数さん
20/04/19 20:58:07 UbuHltnc.net
>>717
>IUT懐疑派、ないし IUT否定派の数学の筋が通っていれば、それは賛成します~!!!
◆e.a0E5TtKE が「数学の筋が通っている」と思ってる主張
「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」(ドヤ顔)
こんなヤツが否定派に入ろうとしても門前払いを食らうのがオチw
732:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:01:33 ijGx7lvx.net
>>718
>毎度恒例の馬鹿の自爆ショーです
もう降参ですか?w(^^;
<経緯>
私の指摘は >>677
">次元際なら上手く行くかもね
いまでも、なんで”宇宙”?と思うわw(^^
でも、RIMSももう一頑張りでしょう!(^^ "
だった
で 対して、おサルが >>682
”>いまでも、なんで”宇宙”?と思うわ
宇宙って数学用語、知らないんだね
URLリンク(ja.wikipedia.org) ”
に
私が >>684
”IUT読んだ?
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか?
おれは、厳密には違うと思うよ
単なる用語の濫用ならぬ、”乱用”の方と思うぜw”
と切り返して
>>714
に至る
<経緯終り>
まだやりたいなら、どうぞ >>714の続きを書いてくださいww(^^;
733:132人目の素数さん
20/04/19 21:14:41 UbuHltnc.net
>>721
見当違いな自爆を嘲笑され逆上
見当違いな質問返しでさらに自爆し嘲笑される
いい加減学習しようよ
数学板は勉強嫌いの馬鹿が書くところじゃないって
734:132人目の素数さん
20/04/19 21:16:54 UbuHltnc.net
>次元際なら上手く行くかもね
これも素人ならではの馬鹿発言
こんな馬鹿発言に喜んでレスする
◆e.a0E5TtKEは正真正銘の馬鹿
735:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:53:28 ijGx7lvx.net
>>720
>「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」(ドヤ顔)
とどめを刺すか?(^^
1.グロタンディーク宇宙は、すべての数学が実行可能な集合を与える(実際には、集合論のためのモデルを与える)(下記)
2.グロタンディーク宇宙は、下記のグロタンディーク宇宙公理と、ZFC+到達不能基数 を公理とする、2つの道がある
3.この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる(∵ 実際には、集合論のためのモデルを与える から)
URLリンク(ja.wikipedia.org)
グロタンディーク宇宙 (数式文字化けご容赦)
数学におけるグロタンディーク宇宙(英: Grothendieck universe、仏: Univers de Grothendieck)は次の性質をもった集合 U である[1]:
1.x ∈ U, y ∈ x ⇒ y ∈ U( U は推移的集合)
2.x, y ∈ U ⇒ {x, y} ∈ U
3.x ∈ U ⇒ x のベキ集合 P(x) ∈ U
4.{\displaystyle \{x_{\alpha }\}_{\alpha \in I}}\{x_\alpha\}_{\alpha\in I}が U の元の集合で I ∈ U ⇒ {\displaystyle \bigcup _{\alpha \in I}x_{\alpha }}\bigcup_{\alpha\in I} x_\alpha ∈ U
特に、最後の公理は U が空集合でなければ、その有限部分集合のすべてと、それら各々の濃度を部分集合として含んでいなければならないことを意味する。このことは、任意の宇宙の類の共通集合が宇宙であるという定義から直ちに証明することが出来る。
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える(実際には、集合論のためのモデルを与える)。
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
つづく
736:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:53:55 ijGx7lvx.net
>>724
つづき
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
集合論
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
737:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:55:55 ijGx7lvx.net
>>724 タイポ訂正
3.この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる(∵ 実際には、集合論のためのモデルを与える から)
↓
3.この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる(∵ 実際には、集合論のためのモデルを与える から)
それタイポか? おいおい(^^
ケアレスミスでした(^^;
738:132人目の素数さん
20/04/19 21:56:15 yMpHhz7D.net
>>724
グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ?
あと同型てのはどう言う意味での同型?
739:132人目の素数さん
20/04/19 22:05:15 yMpHhz7D.net
係数Rのn次元ベクトル空間は確かに同型だけど、じゃあR^nだけを考えるかというとそうじゃない
基底の取り換えとか、双対空間作ったりとか色々するでしょ
確かにそれは一つのR^nに固定してもできるかもしれないけど、そんなことは不自然で誰もしない(する必要もない)
グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
740:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:05:18 ijGx7lvx.net
>>726 補足
>3.この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる(∵ 実際には、集合論のためのモデルを与える から)
なお、この”同型”は、下記の望月IUT I P39の ”isomorphism”およびNoteの記述にならい、各人の解釈に任せるものとする(^^;
>>691より
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
P33
Section 0: Notations and Conventions
Monoids and Categories:
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D.
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
741:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:10:28 ijGx7lvx.net
>>727-728
ID:yMpHhz7Dさん
さすがの鋭いつっこみですね
(>>729 がちょっと遅かったな)
ザブトン 1枚!(^^;
742:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:15:33 ijGx7lvx.net
>>728
>グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
「グロタンディーク宇宙を複数作って、取り替える」は、ないな、多分
>>690 より、下記の記述ですな(^^;
URLリンク(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
Introduction
P21
§I3. Basepoints and Inter-universality
It is this fundamental aspect of the theory of the present series of papers - i.e.,
of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal.
This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by considering only the underlying abstract topological group of some´etale fundamental group arising from such a ring/scheme structure
- i.e., in other words, of considering the absolute anabelian geometry
[cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration.
743:BLACKX ◆SvoRwjQrNc
20/04/19 22:18:43 qnt75GLx.net
なんでスレ分かれてるんだよ!帰れよ
744:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:46:50 ijGx7lvx.net
>>732
おまえが、スレ主か? ここの? 何の資格で人に指図するの?
おれが、おまえに従う理由がない!!w(^^
証明終りw
745:BLACKX ◆SvoRwjQrNc
20/04/19 22:54:16 qnt75GLx.net
定義も何もしてないのに証明とは笑
746:132人目の素数さん
20/04/19 22:54:43 YBBEAUTj.net
ABC予想なんて訳したやつは誰だー
conjectureは推論じゃねーか
毎回詰まる
747:132人目の素数さん
20/04/19 23:11:48.08 yMpHhz7D.net
>>735
数学一般にconjectureは予想て訳すし、意味的に推論じゃなくて予想の方が正しいでしょ
748:BLACKX
20/04/19 23:11:50.71 qnt75GLx.net
OPコメント来たぞ
749:132人目の素数さん
20/04/19 23:22:39.58 Om6IlAxz.net
もっちーのブログ、そろそろ閉じられそうな気がする
せめてコメント欄閉じるだけで記事は残してね!
それにしてもコメントの改行、もしかしてガラケで返信してるんか?
まさかね…
750:粋蕎
20/04/19 23:23:59.93 8BOyW/Ba.net
儂以外に居るんかガラケー
751:132人目の素数さん
20/04/19 23:51:43.28 uMwLCcbW.net
「京都大は3日、30年以上にわたって未解決だった数学の難問「ABC予想」を
京都大数理解析研究所の望月新一教授(51)が証明したと発表した。
望月氏の論文が、同研究所が編集する国際専門誌「PRIMS(プリムス)」の審査を
通過し採択された。同研究所は「重要かつ困難な問題を解決した」と評価した。」
ところで京大はこの後、どうするつもりなのか
752:132人目の素数さん
20/04/20 00:09:58.37 55beezTS.net
京都大学のサイトみたけど、ニュースリリースにそんな記事なかったから、
なかったことにしたんだすね
753:BLACKX
20/04/20 00:16:47.62 5PJxxsfj.net
今のうちに魚拓とっとくべき
754:132人目の素数さん
20/04/20 00:43:10.27 nWvMZC6M.net
>>736
数学界の慣行とはいえ日本語で考えてるからpre-でつづり始めてしまってconjectureの単語が毎回出てこない…
ゲシュタルト崩壊みたいな
755:132人目の素数さん
20/04/20 00:59:28.02 lnvD9PiA.net
なかなか痛烈な批判
これ擁護できないだろ
>W says:
>April 19, 2020 at 9:53 am
>…
>(1) The first couple hundred pages of the IUT papers introduce a lot of difficult new terminology.
>Scholze and Stix demonstrated that none of this new terminology is necessary
>to prove any of the formal statements in these pages.
>Moreover, when the new terminology is ignored, the proofs all become simpler and easier to understand.
>They all follow quickly from Mochizuki’s previous work on the p-adic Grothendieck conjecture.
>…
>As an editor or referee, this should be completely unacceptable.
>Even if the proof is technically correct in the sense that
>Mochizuki or someone else can give a clear and precise argument
>which the proof of Corollary 3.12 could be said to summarize,
>allowing the paper to continue in its present form would be a failure at their duty
>to ensure papers in their journal properly explain their arguments.
>A paper such that everyone who studies it seriously,
>except a small inner circle, gets stuck at the same point simply isn’t a proper explanation.
>…
URLリンク(www.math.columbia.edu)
756:132人目の素数さん
20/04/20 01:04:37.06 lnvD9PiA.net
>>743
そんなこと言ったらリーマン予想とかRiemann hypothesisだし
固有名詞だと思うべき