20/04/18 19:49:04.05 n9UKANxq.net
ブログのコメントによると、DupuyとScholzeの主張はそれぞれ、
Dupuy: SSの指摘はIUTを否定できるほど強いものではないが、論文には曖昧さが残っているからIUTが正しいとも言い切れない
Scholze: 以前から変わらず、IUT論文は（厳密な証明という意味で）abc予想の証明になっていない
って感じなのかな
こんな状況なら普通はリジェクト案件だろ
やっぱりアクセプトされたのはおかしいんじゃね
少なくともDupuyが言うような曖昧さが無くならないと数学の論文として認められないだろ
490:
491:１３２人目の素数さん
20/04/18 19:50:35.62 /0keRB4D.net
リジェクトしてれば東方腐敗の論文で終わってた
アクセプトしたからショルツも顔を出さざるを得なくなったという
492:１３２人目の素数さん
20/04/18 20:17:48.16 fyQmXXct.net
もっちー「秋にリムスに来い」
493:１３２人目の素数さん
20/04/18 20:32:02 rhXtwzrV.net
>>467
問題は検査しまくって陽性者を調べ上げても、今んとこ治療法がないってことなんだよな
無症状者や軽症者を自宅療養させると周囲の人間に感染させるリスクがあるから
重症者以外をまとめて収容するサナトリウム的施設が必要なんだと思う
494:１３２人目の素数さん
20/04/18 20:36:12 lQKSp/GA.net
>>477
実際はロクに検査してないから無症状者や軽症者はウヨウヨいるよ
当然周囲の人に感染させてるだろう
もう止められないね 終わったね みんな遺書書きな
自分が死ぬことを全く意識しない奴がいるなら
そいつは正真正銘の馬鹿
495:１３２人目の素数さん
20/04/18 20:38:43 wYDrJBO0.net
もっちーは☆世界のヒッキー☆
京都が生んだ☆こどおじの星☆だよ！
奇妙に思われてた引きこもり生活もコロナを先取りしてた預言者だったんだ。
─ 日本発 ─
☆ドルヲタ★魔法使い★の☆星☆
ガッキーとは結婚出来無いと思うけど、京都で★魔法使い★として、ますます数学に全人生を捧げて欲しい
496:１３２人目の素数さん
20/04/18 20:40:47 wYDrJBO0.net
＊＊天才若手イケメン＊＊
＊リア充キラキラ＊ショルツ＊の対極に輝いてて欲しい！
497:１３２人目の素数さん
20/04/18 20:44:05 lQKSp/GA.net
>>479-480
また一人、数学の分からない馬鹿が現れた
498:１３２人目の素数さん
20/04/18 20:45:17 wYDrJBO0.net
古都京都に。。。
天神様の天満宮みたいに
☆餠好き神社☆が建てられるまで
人生を数学に捧げ尽くして欲しい☆
499:１３２人目の素数さん
20/04/18 20:46:19 wYDrJBO0.net
>481
↑邪悪な魂の叫び
500:１３２人目の素数さん
20/04/18 20:50:03 lQKSp/GA.net
＞こどおじ
望月氏は実家で暮らしてるの？
母親はユダヤ人だよね
両親どちらも日本人なら「子供部屋おじさん」の可能性もあるけどさ
＞魔法使い
独身だから、DoTeaとも限らんよね
501:１３２人目の素数さん
20/04/18 20:50:41 wYDrJBO0.net
闇夜に吼える邪悪なる魂よ・・・
コロナちゃんｏｒ雷神様に撃たれてお迎えが来ますように・・・
w
502:１３２人目の素数さん
20/04/18 20:51:48 wYDrJBO0.net
>>484
彼女が居たの？
どこソース？
503:１３２人目の素数さん
20/04/18 20:52:10 lQKSp/GA.net
なんか次から次へとイタイこと口走ってるなぁ
ずっと御無沙汰で欲求不満なのかなぁ？
504:１３２人目の素数さん
20/04/18 20:52:23 qWyRSVSX.net
>>472
恐らく一番核心的な情報があるであろう絶対遠アーベル復元論文、
期待して早足で一回読んだんだが少なくとも自分には必要な情報があると思えなかった
SSも間違いなくそれは読んでるから、証明が不十分な可能性はある。あったらさすがに気付くはずだし
ちなみに、UFの反論では明らかに片手落ちだ
505:１３２人目の素数さん
20/04/18 20:52:52 wYDrJBO0.net
ま、どーでもえーわ
素人どーてぃーなら準魔法使いだよw
506:１３２人目の素数さん
20/04/18 20:53:06 lQKSp/GA.net
>>486
うちはずっとブルドッグ
507:１３２人目の素数さん
20/04/18 20:56:49 wYDrJBO0.net
おもんなっ!やり直し
( ‘σд’)σ ＝・>>490
ﾎｼﾞﾎｼﾞ
508:真の魔法使い
20/04/18 20:57:40 VNcmPxi8.net
俺の勝ち
509:１３２人目の素数さん
20/04/18 20:58:18 lQKSp/GA.net
>>489
ところで一応聞くけど
魔法使いになるとどんな魔法が使えるの？
510:１３２人目の素数さん
20/04/18 21:01:21 wYDrJBO0.net
とにかくもっちーは結界に護られてるから！
魑魅魍魎は（#`^´）< ｼｯｼｯ!
511:１３２人目の素数さん
20/04/18 21:05:15.
512:66 ID:wYDrJBO0.net
513:１３２人目の素数さん
20/04/18 21:08:17.83 wYDrJBO0.net
魔法というより地質学。
カスが石に成るんだよ。
514:ﾆﾆｰｳﾞ
20/04/18 21:11:23.86 wYDrJBO0.net
*＊(¬ ͜ ¬)>>492
ﾌｯ!
515:１３２人目の素数さん
20/04/18 21:12:02.30 wYDrJBO0.net
今日の魔術講座終わりッ！
516:１３２人目の素数さん
20/04/18 21:17:49.57 fyQmXXct.net
魔法使いで人生終わるってどんな気分なんだろ？
途中から誰も触れてこないんだろうな
517:１３２人目の素数さん
20/04/18 21:28:43 XUne53vW.net
今スレに流れるそこはかとない気不味さと同じ空気が流れてるんだろうな
518:１３２人目の素数さん
20/04/18 21:33:27 lQKSp/GA.net
>>499
ニュートンは終生魔法使いだったと思う
URLﾘﾝｸ(ja.wikipedia.org)
科学の分野で偉大な功績を挙げたニュートンではあったが、
我が強く気難しくて偏屈な一面もあり、議論において意見の合わぬ者は
反論の余地すら与えず叩き潰すまで論破した。
講義があまりに高度で難解なため、お手上げになった学生から順に退散、
誰もいなくなった教室で一人講義を続けていた。
生涯で一度だけ笑ったことがあるが、それは論敵がボロを出した
嘲りの笑いだったという逸話が残っている。
519:１３２人目の素数さん
20/04/18 21:38:21 lQKSp/GA.net
ニュートンは本当に魔法使いだったみたい
アイザック・ニュートンのオカルト研究
URLﾘﾝｸ(ja.wikipedia.org)
科学者という用語や概念が登場してからは、「ニュートンは科学者」とも評されるようになり、
自然科学者らによってニュートンの自然科学関連の業績ばかりが恣意的に抽出され、
他の活動は無視・隠蔽する形でニュートン像が伝えられてきた（→ホイッグ史観）。
だが実際には、ニュートンは現在ではオカルト研究に分類される分野の著作も多く著しており、
年代学・錬金術・聖書解釈（特に黙示録）についても熱心に研究していたのである。
ニュートン自身は、現代人が言うところの"科学的"研究の成果よりも、
むしろ古代の神秘的な英知の再発見のほうが重要だと考えていた。
これをふまえると、世界を機械論的に考察することを「ニュートン的世界観」と
表現することには語弊がある、と指摘する人もいる。
たとえば、1942年にニュートンの錬金術研究書を購入し、検討した経済学者のケインズは、
「ニュートンは理性の時代 (age of reason) の最初の人ではなく、最後の魔術師だ」と発言した。
520:１３２人目の素数さん
20/04/18 21:46:37 XUne53vW.net
>>502
泣けてきた...
521:１３２人目の素数さん
20/04/18 22:08:42 BMjf66HK.net
「一生DTを貫く」とかキリスト教的価値観だな。
キリスト教徒でもないのにそんなもん貫いても
誉められたもんじゃない。
女に興味ないならともかく。
522:１３２人目の素数さん
20/04/18 22:12:51 BMjf66HK.net
DTだから、コロナに罹ったら死ぬと思ってるのかな？
バカだな。致死率はインフルエンザと大差ない。
コロナに罹っても死なないし、DT捨てても不幸にはならないｗ
好きな子と結ばれることが幸福でないはずがない。
523:１３２人目の素数さん
20/04/18 22:15:21 lQKSp/GA.net
>>504
いやいや、大半のキリスト教徒はDTじゃないでしょ
524: 別にイエスはDTが天国に行けるなんて言ってないし おかしなことをいうね
525:１３２人目の素数さん
20/04/18 22:18:29 lQKSp/GA.net
>>505
＞好きな子と結ばれることが幸福でないはずがない
なんかDTみたいなこといってるねｗ
現実の♀はそんないいもんじゃないよ
「好き」とかいうのは所詮妄想であり病気
526:１３２人目の素数さん
20/04/18 22:20:16 XUne53vW.net
↑魔法使い同士の闘い↓
527:１３２人目の素数さん
20/04/18 22:22:42 fyQmXXct.net
>>501
なかなかサイテーだなw
528:１３２人目の素数さん
20/04/18 22:26:22 XUne53vW.net
>>507
＞現実の♀はそんないいもんじゃないよ
※意訳
「だから♂(オレだよ！オレオレ！ゲイだよ！)と付き合っちゃえよ！」
529:真の魔法使い
20/04/18 22:26:22 VNcmPxi8.net
恋愛がただの病気なんていう奴は涼宮ハルヒ以来だなｗ
530:１３２人目の素数さん
20/04/18 22:27:40 XUne53vW.net
(ﾋｿｯ魔法使いだから…)
531:１３２人目の素数さん
20/04/18 22:29:35 fyQmXXct.net
もっちーも一度くらいはテレビのなかじゃなく、現実の♀にときめいたことあると思いたい
532:粋蕎 ◆C2UdlLHDRI
20/04/18 22:30:44 lZT6JCg2.net
おい此奴、此んなレベル低い事を書いとるぞ
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板:223番)
223:１３２人目の素数さん 2020/04/18(土) 16:46:53.11 ID:lQKSp/GA
> 220
Mara Papiyasは「β」みたいなツマンナイHNは使わないだろうな
＞e'=eじゃないの・・？
＞オレずっとeは定数なのに微分したらeになる不思議な数って思ってたかも｡
これはヒドイ
ちなみにe^iπとかいう表記は実際には乱暴
例えば
exp(x)=(1+x/n)^n
と定義した場合、任意の実数xについて
e^x=exp(x)
となるから、xが複素数の場合にも
e^x=exp(x)
と定義することで複素数ベキが定義できるだけのこと
こういう手順が分かって無いと
複素数ベキに訳の分からんロマンを感じる
変態が出来上がるｗ
533:１３２人目の素数さん
20/04/18 22:33:10 nhCI0zhT.net
ところで君たちはDTなの？
534:１３２人目の素数さん
20/04/18 22:34:45 XUne53vW.net
違う(きっぱり)
535:粋蕎 ◆C2UdlLHDRI
20/04/18 22:37:04 lZT6JCg2.net
前から「偽の仮定は真」の意味を知らんかったり儂に限らん自分以外の人間のレス誤読したり
やっぱり此奴も付け焼き刃チートのエア学部卒なんと違うか？
◆e.a0E5TtKE 氏のコピペチートを笑える資格無ぇぞ此奴
536:１３２人目の素数さん
20/04/18 22:41:04 BMjf66HK.net
>現実の♀はそんないいもんじゃないよ
いや、いいもんだと思う。
高望みしてないからね。
終始一貫して「いい子」なんて存在しない。
好きと思える瞬間があって、いい子だと思える
瞬間があればそれでいい。
ついでに言うと、数学の価値だって永遠じゃない。
今面白いと思われてることが研究されてるだけで
時代が変われば打ち捨てられうるものでしかない。
今面白いと思えれば、それ以上のことはない。
537:粋蕎 ◆C2UdlLHDRI
20/04/18 22:48:25 lZT6JCg2.net
やっぱりどうしても此奴を思い出す｡
此処迄「king様の弟子 ◆/LAmYLH4jg」=「べ」に文体も論調も逃げ方も
コテハンの不定ぶりと、果てには性格迄も酷似しとる奴は久し振りじゃけぇの｡
e、自然対数の底
ｽﾚﾘﾝｸ(math板)
36:β ◆aelgVCJ1hU 2007/08/13(月) 01:02:06
(e)'=eらしいが､
(1/0! + 1/1! + 1/2! + 1/3! + ……)'
=(1/1)'+(1/1!)'…
=0+0+…
=0だと思う事もある｡
41:β ◆aelgVCJ1hU 2007/08/15(水) 00:38:27
> 40
> どっちかつったら(ex)'=eじゃね？
51:β ◆aelgVCJ1hU 2007/08/15(水) 10:45:37
(e)'=0
(ex)'=x
↑はeを定数とみなすときのみだよな？
実際はe'=e
55:β ◆aelgVCJ1hU 2007/08/15(水) 15:15:21
> 54
お前何いってんの？> 51の何に対して「間違ってる」といってるんだ？
それで、物理板とかあんなん遊びだよ？オレ元から数学板の住人だし｡
物理専門
538:の人間は頭抜けてるヤツ多いんだよなー日本語も変だし｡ 67:β ◆aelgVCJ1hU 2007/08/16(木) 22:06:12 > 65 で、e'=eじゃないの・・？ 76:β ◆aelgVCJ1hU 2007/08/17(金) 11:06:43 あれ、オレずっとeは定数なのに微分したらeになる不思議な数って思ってたかも｡
539:１３２人目の素数さん
20/04/18 22:48:52 nhCI0zhT.net
>>518
君はDTなの？
540:１３２人目の素数さん
20/04/18 22:50:11 n9UKANxq.net
full poly-isomorphism周りの話って、
ショルツが
「full poly-isomorphismとやらで複数の同型をまとめているけど、
実際の証明ではどれか1つの同型を選ぶ必要があるよね？それが正しく選ばれる保証はなくない？例えばこんな例がある」
って感じの指摘をしたのに対して、
望月が
「それは間違った単純化だ。その点はIUT理論（switching symmetries？）がよしなに処理してくれるので、指摘は当たらない」
って感じに反論したのかと思ったんだけど、合ってる？
ショルツから見れば、そのよしなに加減が説明されていないから反論にはなっていなくて、
他の数学者も上手く説明できていないっていう状況なのかな
541:１３２人目の素数さん
20/04/18 22:50:39 n8glujTL.net
プラベートなんてどうでもいい興味はＩＵＴのみ
542:１３２人目の素数さん
20/04/18 22:51:27 XUne53vW.net
人の交際歴が気になって仕方ない...
思春期か？
543:１３２人目の素数さん
20/04/18 22:53:00 rUKa5zGu.net
俺は検事だけど、仕事柄次のように考えるよ。
Sが自分の間違いに気付いたら、?認めて直ちに公表するよね。
Mが自分の間違いに気付いたら、?だんまりだろうね。
Sには気楽だけど、Mはダメージが大き過ぎ。
だから、結論は明か。
だけど、数学者の世界はよく知らんから、わからんよ。
544:１３２人目の素数さん
20/04/18 22:53:17 XUne53vW.net
>>522
これだな
ＤＴとか￢ＤＴとかじゃないな
ＩＵＴなんだよな
スレタイがさ
545:１３２人目の素数さん
20/04/18 22:54:28 nhCI0zhT.net
いや、教授のプライベートに興味のある国民はごまんといる
その証拠に人柄とかエピソードの記事が必ずでる
むしろがちの数学好き以外は、天才のプライベートにしか興味がないといっても過言ではない
546:１３２人目の素数さん
20/04/18 22:56:27 nhCI0zhT.net
>>525
つまり、次すれたいからDTと非DT予想にしたらいいんだな？
IUティつかれてきたよな？みんな
547:１３２人目の素数さん
20/04/18 22:56:28 XUne53vW.net
５１歳でドルヲタなんだぞ…？
察してあげて。
548:１３２人目の素数さん
20/04/18 23:01:01 XUne53vW.net
>527
アウトー！
もっちー、新スレタイ
「ＤＴ 非ＤＴ予想」なら
名誉毀損＆侮辱罪で民事イケそうですねw
549:１３２人目の素数さん
20/04/18 23:14:58.98 jTbxNEwA.net
以下のものは至急脳病院にいくように
ID:lQKSp/GA
ID:wYDrJBO0
550:１３２人目の素数さん
20/04/18 23:19:45.41 XUne53vW.net
毎日救急搬送者が出てるねw
551:１３２人目の素数さん
20/04/18 23:21:55.61 ytPR2E2e.net
>>526
いわゆる「偉人/成功者」と呼ばれる人達の業績と人となり(来歴)を纏めた解説は、好奇心を満足させるのにもってこいの題材だからねぇ
このスレにはまるでそぐわないけど、下記シリーズは好きだった
【数学者の伝説シリーズ】エヴァリスト・ガロア - ニコニコ動画
URLﾘﾝｸ(sp.nicovideo.jp)
552:現代数学の系譜 雑談
20/04/18 23:34:14.10 FUrf+qJl.net
>>524
へー、検事さんか（＾＾；
M側の主張に限るけど
１．もし Mが自分の間違いに気付いたら、主張の修正をするね、追完とか補正とか 修正可能ならね
２．なお 第一審判決は出ました。裁判官は、主審柏原先生、副審玉川先生、覆面検察官（２～３名）
判決：「望月の論文を認める！」
３．ショルツ先生は、法定の外でスピ
553:ーカーを持って、演説をしていますという状況です ４．あとは、（世界の数学界の）世論がどうなるか？ ５．そのために、今年４回の国際会議が容易されています ６．ここが、第二審かもｗ（＾＾；
554:現代数学の系譜 雑談
20/04/18 23:35:56.29 FUrf+qJl.net
>>533 タイポ訂正
５．そのために、今年４回の国際会議が容易されています
↓
５．そのために、今年４回の国際会議が用意されています
555:現代数学の系譜 雑談
20/04/18 23:38:00.32 FUrf+qJl.net
>>533 タイポ訂正追加
３．ショルツ先生は、法定の外でスピーカーを持って、演説をしていますという状況です
↓
３．ショルツ先生は、法廷の外でスピーカーを持って、演説をしていますという状況です
分かると思うが（＾＾；
556:１３２人目の素数さん
20/04/18 23:43:19.49 8CpiUeay.net
>>533
そもそも1の仮定が正しいとは限らない
557:１３２人目の素数さん
20/04/18 23:43:52.42 fyQmXXct.net
>>533
覆面検察官てw
558:１３２人目の素数さん
20/04/19 00:37:12.23 oIEsM1e2.net
>>521
何か曖昧じゃないかって話よね。星さんが何でもありじゃないかと思った所以の一つじゃないかね
しかし、確かにIUTは「変形のやり方」を制限してるわけであって、デタラメではない
星さんももしかしたらIUTはまだ証明にならないと思ってるのかもしれない、そういう可能性はあるけど
自分のできる範囲で掘り下げてもいるな
559:１３２人目の素数さん
20/04/19 00:39:54.37 oIEsM1e2.net
女性と交際経験があったのかよくわからない有名な数学者といえば
ペレルマンもラマヌジャンもエルデシュもそうじゃない？
560:１３２人目の素数さん
20/04/19 00:40:47.24 oIEsM1e2.net
あ、ラマヌジャンは違ったな。既婚だったかあれ？撤回
561:１３２人目の素数さん
20/04/19 00:59:56.39 uMwLCcbW.net
>>521
そうす そんな感じかと思います
562:１３２人目の素数さん
20/04/19 01:14:43.94 uMwLCcbW.net
>>533
検事さんの見立ては全く正しいと思う。
あなたの言う数学の世論とかは、数学の正しさと全く関係ない
563:１３２人目の素数さん
20/04/19 04:11:12.09 guShzc42.net
数学検事
Justice: unlimited.
564:１３２人目の素数さん
20/04/19 05:16:53.28 BEh6qQ/S.net
わかってなければ強弁して引っ込めない奴はいるだろ
Scholzが誤ってたとして、誤りに気づかなければ
だから何とも言えない
565:１３２人目の素数さん
20/04/19 05:19:54.22 BEh6qQ/S.net
>>521
の状況が解決されない限り終わらない
否定的か肯定的かは知らない
566:粋蕎
20/04/19 05:20:26.95 8BOyW/Ba.net
ｼｮﾙﾂ等徒党革丸派がOversimplificationしているという事らしいが
ではなぜOversimplificationであるのかを望月氏等IUG教IUT宗RIMS派は述べなければ成らんな
567:１３２人目の素数さん
20/04/19 05:28:37.15 BEh6qQ/S.net
>>488
> >>472
> 恐らく一番核心的な情報があるであろう絶対遠アーベル復元論文、
> 期待して早足で一回読んだんだが少なくとも自分には必要な情報があると思えなかった
> SSも間違いなくそれは読んでるから、証明が不十分な可能性はある。あったらさすがに気付くはずだし
> ちなみに、UFの反論では明らかに片手落ちだ
568:１３２人目の素数さん
20/04/19 05:32:07.81 BEh6qQ/S.net
>>268
> URLﾘﾝｸ(arxiv.org)
> 定理21.1の使わずに系21.2を示せるなら、状況ひっくり返りそうだよね
> ショルツェも「もし正しいなら、iutを使ったabc攻略も理解できる」と書いてるし
569:１３２人目の素数さん
20/04/19 05:32:28.44 BEh6qQ/S.net
>>269
> >>264
> 訂正します
> 「rimsの人なら誰でも知ってる」は系21.2で、ショルツェがミスを指摘したのは定理21.1です
> Joshiの書き方からすると、定理21.1以前から系21.2は知られてるような感じはしますが
570:１３２人目の素数さん
20/04/19 05:33:17.28 BEh6qQ/S.net
ここいらへんなんだろ
571:１３２人目の素数さん
20/04/19 05:57:20 E6ryvW7L.net
>>539
ペレリマンは生涯独身じゃなかった？
早死にしちゃったってのも
あったかな？って思うけど。
「実家は貧しい家庭のバラモン階級出身」っていう微妙な設定だったのも影響してそう…？
572:１３２人目の素数さん
20/04/19 06:05:14 610xP3b8.net
俺らの愛するダニエルとテイラーがバトってるんだが
573:粋蕎
20/04/19 06:31:59.82 8BOyW/Ba.net
>>552
なした�
574:ﾇした 悔しく
575:１３２人目の素数さん
20/04/19 06:53:45.87 BEh6qQ/S.net
>>465
> >>374
> 書き方が悪かったんだけども、反証になってないということですね。具体的に思うところはあります
> 結局表面的にはDupuyと同じで、（1）と（2）は印象論でしかない。基本的にはこれらの全ては、
> モノドロミーの異なるHTへの埋め込みを含めて、可能なら同じような仕組みから成立することになる
> 望月サイドの説明は、SSレポートに対してはある程度は良い議論をしてるとは思う
> あれが何か滑ってる印象があるとすれば、または個人的な疑問としては、本当に十分説明が書いてあるのか
> どうか、well-definedなのかどうか。細部を忘れた場合には即断できないw 勿論Joshiの更新にも関わる
> ここで一つの問題は、ショルツがp進体の結果を出して「IUTにも同じ事が言える」とさらりと言ってること
> 言うまでもなくフロベニオイド、アナベリオイドと単遠アーベル幾何学を使っている中でこういう事を
> 確信するのはおかしいと思いますね。今は関わりたくないのと実名を出さなきゃ相手にされない雰囲気だから
> あそこには全く書けないが
> いずれにせよ、ほとんどの「懐疑でない単なるアンチ」が思うより遥かに練られた理論なのは確かですが
> 必要な証明（多分それなりに難しい）が欠けている可能性は大いにありますね
576:粋蕎
20/04/19 07:11:06.03 8BOyW/Ba.net
> ここで一つの問題は、ショルツがp進体の結果を出して「IUTにも同じ事が言える」とさらりと言ってること
> 言うまでもなくフロベニオイド、アナベリオイドと単遠アーベル幾何学を使っている中でこういう事を
> 確信するのはおかしいと思いますね｡
日本では此れを十把一絡げと言うな｡
Oversimplificationした上に十把一絡げしなきゃならんIUTって、どんだけ煩雑なんじゃろうな｡
ラッセルとホワイトヘッドのプリンキピアマツェマティカみたく分厚く、内容は更に煩雑か。全くなぁ｡
まぁ其の煩雑さも加算が離散で乗算が連続ぅ言う事から来るのは間違い無いんじゃろうな｡
577:現代数学の系譜 雑談
20/04/19 07:19:24.65 ijGx7lvx.net
>>488
>恐らく一番核心的な情報があるであろう絶対遠アーベル復元論文、
>期待して早足で一回読んだんだが少なくとも自分には必要な情報があると思えなかった
どの論文かな？
タイトル名だけでも良いから教えて欲しい
ざっと眺めてみるから
578:粋蕎 ◆C2UdlLHDRI
20/04/19 07:23:46 8BOyW/Ba.net
確かp-進てpに入るんが素数と違う場合は環どまりで体に成らんかったんよな。んなもん確かに
>>465の和尚が言う通りp-進体ん場合とp-進環ん場合を十把一絡げして拡大解釈すんな言う話じゃのう｡
離散と連続か。もしか、和算で解釈せんといかんで積分で解釈するんはいかん、言うのと似た､
煩雑じゃが簡略化しちゃいかん箇所も有るんかのう？
579:現代数学の系譜 雑談 ◆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」の発表があった
普通、こんな記者会見やらない。異例です
なぜ、異例な記者会見をしたのか？
１）望月ブログが効いた：多分、「どうなっているの？」という話が、一般人のみならず、数学界の人からもあったのでは？
２）今年国際会議が予定されているので、それへの側面援助の狙いか
いずれにせよ、異例な記者会見をやる以上、RIMS側は絶対の自信があるはず
WoitブログのDupuy先生と同じか（HiladoのDR論文かかっとるけんｗ）、それ以上に自信ありと見た
なお Woitブログのバトル、楽しいよね（＾＾；
580:１３２人目の素数さん
20/04/19 09:15:56.19 C4CGwtZu.net
>RIMS側は絶対の自信があるはず
こんなものは全く信用できない 小保方を忘れたか
日本最大級の科学の権威、理化学研究所、その分野の一線級の権威
笹井、ノーベル賞学者の所長野依 こいつらが全員詐欺に引っかかった
581:１３２人目の素数さん
20/04/19 09:35:00.73 CUrzraD5
582:.net
583:１３２人目の素数さん
20/04/19 09:37:41.32 hLIYoBnx.net
必ずしも「１００％の再現性」が期待できるとも限らない、
偶然性を排除できない実験に基づく結果を「信じる」のとは違うよ
数学は初めから純粋思考実験なんだから。
８年に及ぶ検証を重ねて
「証明は正しいと確信する」
って名前出して公に言いきれたんだから。
584:１３２人目の素数さん
20/04/19 09:40:52.19 CUrzraD5.net
>>559
アメリカで追試に成功したという話があるから単純詐欺ではない
引っかかるだけの理由はあった
585:１３２人目の素数さん
20/04/19 09:45:36.49 IYOneXY0.net
おぼさんてそんなに魅力的だったの？
おぼ事件ぐぐってると偉いおじさんたちがちやほやちやほやしてる記述が出てくるけど
586:１３２人目の素数さん
20/04/19 09:46:02.90 UbuHltnc.net
>>524
基本的に、論文の誤りもしくはギャップは論文の著者以外が見つけるもの
今回、多数の人から望月の論文のギャップが示されている
ショルツによる「誤り」の指摘が当たっていなかったとしても
ギャップがある以上、数学の成果とは認められない
これは「犯行の証拠がない限り、犯行を犯したとみなさない」
という考え方と基本的に同じかと思う
587:１３２人目の素数さん
20/04/19 09:47:10.25 aNCM0BYV.net
>>563
ヒント 理系の女子率
588:１３２人目の素数さん
20/04/19 09:51:49.81 aNCM0BYV.net
ＩＵＴの「細かいとこは合ってるけど、根幹が理解出来ない」って言ってる人がショルツ含めて
「無駄が多い」って言ってるんだと思ったけど彼等が「無駄」って認識したとこが根幹理解に必要だから、ＩＵＴでは“単純化”しない(出来ない、したら根幹が理解出来なくなる)んじゃないのかな？
589:１３２人目の素数さん
20/04/19 09:55:34.10 UbuHltnc.net
>>533
＞第一審判決は出ました。
＞裁判官は、主審柏原先生、副審玉川先生、覆面検察官（２～３名）
＞判決：「望月の論文を認める！」
喩えとしては不適切か
被告：ABC予想
検察：望月
検察側証人：星、山下、フェセンコ、デュピュイ等
弁護人：ショルツ
裁判官：数論幾何学者
玉川と柏原は検察側で、アクセプトは起訴の承認に過ぎない
今の状況は、ショルツがデュピュイに質問し
デュピュイから、検察側の主張と異なる発言を引き出したところ
590:１３２人目の素数さん
20/04/19 09:57:04.60 aNCM0BYV.net
>>560
嘆かわしいね
オボ程度にスッ転ぶ理由だろうね
高学歴は
「男子校→東大→男性率高杉職場→お見合いケコーン」で
「実質“女性交際偏差値”激低」が実態だからだろうな
すぐ騙されるだろw
591:１３２人目の素数さん
20/04/19 10:06:11.28 UbuHltnc.net
>>558
＞なぜ、異例な記者会見をしたのか？
「ABC予想成功」に基づく科研費を正当化するためか？
＞異例な記者会見をやる以上、RIMS側は絶対の自信があるはず
「日米開戦する以上、日本軍には対米戦に絶対の自信があるはず」
というのと同類の発言かと
実際には、日本はアメリカに惨敗したわけだが
あなた以外の人はこう思う
「異例な記者会見をしたのは、引くに引けなくなったからで
自信があるわけではない」
実際審査過程について聞かれて
玉川が「墓場まで持っていく」と云ったのは
自信の無さの表れ
592:１３２人目の素数さん
20/04/19 10:14:21 XcnDEAz5.net
>>561
証明は正しいと「確信する」んじゃ意味がない、
「確認」するじゃないと。
593:１３２人目の素数さん
20/04/19 10:14:38 UbuHltnc.net
ところで・・・
そもそもABC予想ってどうして思いついたもんなんだ？
あと
ｃ＞rad（abc)＾(1+ε) （ε>0）
となるa,b,cに何か意味があるのか？
594:１３２人目の素数さん
20/04/19 10:18:59 XcnDEAz5.net
>>524
ま
595:あ、そんなところ。 だから中央大学出身者でも特許裁判をさばくことができる。 将来、望月たちが、懐疑派の主張を名誉棄損で訴えた時、 IUTは懐疑されてもしかたがないものであるかどうかが中央大学卒によって判断される。
596:１３２人目の素数さん
20/04/19 10:19:30 IYOneXY0.net
>>565
なるほど
おぼさんは胸もでかいしきゃぴきゃぴかわいきから仕方ないか
もし当時のイケイケのおぼさんが近くに来たら、さすがのもっちーも骨抜きにされて怪しげな論文でもOKしちゃうのかな
597:１３２人目の素数さん
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「掛け算」として綺麗な数にはなりにくい
598:１３２人目の素数さん
20/04/19 10:30:33.44 UbuHltnc.net
>>574
ほほう・・・面白いね
これはやっぱりフェルマー予想を解くための補題として思いついたんだろうか？
599:粋蕎 ◆C2UdlLHDRI
20/04/19 10:31:28 8BOyW/Ba.net
何じゃ生き成り唐突に中央大学がどうした
600:１３２人目の素数さん
20/04/19 10:32:57 UVABXCJs.net
>>570
このレベルの“確認作業”になると、その２つの言葉は、ほぼ同じ認識を表す同義語でしかないと思う
601:１３２人目の素数さん
20/04/19 10:34:10 yMpHhz7D.net
>>575
歴史的にはそうだったらしいね
フェルマーの方が先に解かれてしまったがw
602:１３２人目の素数さん
20/04/19 10:34:40 UbuHltnc.net
「多項式ABC定理」とその証明は、ここにあるヤツだろうか？
URLﾘﾝｸ(paiotunoowari.hatenadiary.jp)
この位なら、数学科の大学３年生なら分かるレベルだろうな
603:１３２人目の素数さん
20/04/19 10:36:46 JKVCGYoP.net
>>577
いやいや
「確信」は「正しいと信じる」
「確認」は「正しいと認める」
数学は下
上はただの宗教
604:１３２人目の素数さん
20/04/19 10:41:34 UVABXCJs.net
会見では「確認」でプライベートで「確信してる」だったと思うけど。
605:１３２人目の素数さん
20/04/19 10:43:14 UVABXCJs.net
>>580
人の認識が不充分な事を自重してだろ。
確信はプライベートでの発言らしいし。
会見では確認じゃなかった？
606:１３２人目の素数さん
20/04/19 10:45:49 PtPTU1R/.net
習熟者ってどういう定義なのかな
607:１３２人目の素数さん
20/04/19 10:47:53 UVABXCJs.net
>>242
草
608:１３２人目の素数さん
20/04/19 11:08:58 Od/h1nST.net
>>584
スルーされたからって自演するなよ
609:１３２人目の素数さん
20/04/19 11:13:53 UbuHltnc.net
あっちのスレッドでは一人で騒いでるけど
情報化時代と関係なく、証明はギャップがあったら無効
PRIMSが捕食雑誌(Predatory journal)並といわれなきゃいいがな
URLﾘﾝｸ(ja.wikipedia.org)
610:１３２人目の素数さん
20/04/19 11:15:18 C4CGwtZu.net
>>562 アホか 論文もコピペ 実験データも捏造 おまけに博士論文もコピペ
の中身からっぽだったんだぞ
611:１３２人目の素数さん
20/04/19 11:17:29 UbuHltnc.net
>>586
過剰に魅力的な電子メールで研究者からの論文投稿を呼び込む出版社を
「オープンアクセス出版の黒い羊」というらしい
黒い羊・・・どっかで聞いたことあるな
URLﾘﾝｸ(www.youtube.c)
612:om/watch?v=MAkIYZiyJq4
613:１３２人目の素数さん
20/04/19 11:20:23 +f0Qyxl5.net
>>583 ホーリーネームみたいなもんだろ。
614:１３２人目の素数さん
20/04/19 11:24:58 PUYN+cm0.net
>>585
ヨ－ゴハジエンチュー！
ノイローゼかよｗ
615:１３２人目の素数さん
20/04/19 11:27:31 PUYN+cm0.net
>>586
細部のギャップは問題にならないから
616:１３２人目の素数さん
20/04/19 11:28:10 Od/h1nST.net
>>590
この単発はどうして>>242が擁護派だと思ったんだろう
ショルツ否定派ではあってもIUT擁護派であることまでは分からないはずだが……
617:１３２人目の素数さん
20/04/19 11:32:19 UbuHltnc.net
数解研における望月は、欅坂における平手みたいなもんなんだろうか？
だとすると、行きつく先は・・・脱退？
ちなみに私は長濱ねる推しですが、何か？
URLﾘﾝｸ(tv.kakao.com)
618:１３２人目の素数さん
20/04/19 11:34:29 PUYN+cm0.net
>>592
ｗｗｗの嘲笑ぶりに見てとれるよ
619:１３２人目の素数さん
20/04/19 11:36:25 PUYN+cm0.net
ｗ４つだったｗ
620:１３２人目の素数さん
20/04/19 11:38:18 PUYN+cm0.net
>>593
そう...(無関心)
621:１３２人目の素数さん
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)
622:１３２人目の素数さん
20/04/19 11:46:29 UbuHltnc.net
>>597
（自動翻訳）
私自身、2013年の3か月前のほとんどの時間を論文の調査に費やしましたが、
何も証明されていないことに気づいたのは、コロラリー3.12に到達したときのショックでした。
（これは私の理解の欠如を示していると言われるかもしれませんが、
要点は望月自身がこれが彼の証明の重要な部分であると言っていることです、
そして証明がどのように書かれているかを見ると、ここに深刻な問題があることは明らかです。）
623:１３２人目の素数さん
20/04/19 11:47:18.07 Od/h1nST.net
証明した風になってるけど出来てないから理解できない
と
自分の能力の欠如で理解できない
の区別が付かないのが根の深い問題だよな
624:１３２人目の素数さん
20/04/19 11:51:49.61 UbuHltnc.net
>>599
＞区別が付かない
そうかな？
単に証明ができてないという指摘に対して
望月が「読者が理解できてない」といって
何の対処もしようとしないだけにもとれるが
625:１３２人目の素数さん
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 re
626:spect 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.) >… https://www.math.columbia.edu/~woit/wordpress/?p=11723#comment-236093
627:現代数学の系譜 雑談
20/04/19 11:55:40.54 ijGx7lvx.net
>>569
ID:UbuHltnc＝おサルさ
おまえが書くと、スレのレベルが下がる
おまえ、どっかの数学科修士といっていたけど、もぐりか？
STAPと同じことが、数学の論文で意図してできるとか
査読者及び雑誌の責任者が、意図して、通らない論文を通すとか
「クスリしっかり飲んでくれ」としか言い様のないレベルの発言
数学科修士卒が、そういう発言するかね？
信じれんわ、アホすぎて
（参考）
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板:226番)
226 名前：１３２人目の素数さん[sage] 投稿日：2020/04/19(日) 11:04:03.84 ID:UbuHltnc
(抜粋)
＞お前、大学で何しとったんじゃ？
高卒には決して分からないことじゃね？
628:１３２人目の素数さん
20/04/19 11:57:01.98 UbuHltnc.net
>>601
望月が平手だとしたら、星、山下、玉川は、
欅坂のなんとかファイブみたいなもんかな
629:１３２人目の素数さん
20/04/19 11:57:52.75 CUrzraD5.net
>>593
全然違う。平手というのは器でも無いのにソニーの知恵者と秋元に目を付けられて担がれただけだ
歌もダンスも基礎の基盤を持っていないところにいきなり高い水準を要求されてオーバーフローを起こした
適応障害を起こして潰れたのだ
それが数多くのさぼりやドタキャン、故障となって現れた
結局、あのポジションに見合う器では無かった贋物ということだ
630:１３２人目の素数さん
20/04/19 11:59:47.06 UbuHltnc.net
>>602
ん？おサルって誰？
＞「クスリしっかり飲んでくれ」
おなかの調子を整えるためにビオフェルミンは飲んでますが、何か？
631:１３２人目の素数さん
20/04/19 12:03:27.04 jRO6JivO.net
>>604
詳し過ぎる...
632:１３２人目の素数さん
20/04/19 12:04:27.34 jRO6JivO.net
>>604
そんなオタク様はどなた推しですか？
633:１３２人目の素数さん
20/04/19 12:06:18.53 jRO6JivO.net
秘密ですか...
634:１３２人目の素数さん
20/04/19 12:14:12.91 cHHusDtq.net
>>601
あまりにも分かりにくい(obscure)スタイルなので、いったん取り下げてもっと分かりやすくリライトしたらどうですかと進言したと書いてあるな
内容がダメという訳では必ずしもないようだ
635:１３２人目の素数さん
20/04/19 12:15:05.71 jRO6JivO.net
因みに平手さんが仕事を忌避しだしたのは
「ストーカーファンの襲撃を目撃して以来、ファンの中に潜んでいるかも知れないストーカーの影に怯えて、ファンを恐れるよう気持ちを抱えて仕事が苦痛になっていた為」
ってされてますね...
当然でしょうね...
もともと、人見知りの娘
636:には 無理な仕事だったんでしょうね... 容姿端麗で芸能界入りしたんでしょうけど... ＰＴＳＤやパニック発作でも患ってるんでしょうか 接客業の職業病ですよね ヤバイ客の襲撃で仕事が苦痛になる・・・
637:１３２人目の素数さん
20/04/19 12:20:41.67 l1llX2xh.net
URLﾘﾝｸ(stacks.math.columbia.edu)
証明ではないけどstacks projectのこの記事が近い例だと感じる
スキームとは何かと言えば、任意の点が、アフィンスキームとなるような開近傍を持つような局所環付き空間であり、
局所環付き空間と言えば任意の構造層の茎が局所環であるような環付き空間であり、
環付き空間と言えば……
といくらでも説明できる
望月の証明はこれが出来ず、分からないのは相手が遠アーベル幾何を知らないからだ、みたいな理由付けをする
638:１３２人目の素数さん
20/04/19 12:22:54.51 JKVCGYoP.net
>>609
内容の成否はともかく、査読を依頼されるレベルの専門家が、この論文を読み解くのは時間の無駄だと思ったってことだよね
どうすんのこれ
639:BLACKX
20/04/19 12:25:24.03 qnt75GLx.net
査読しても次に繋がらないから全て忘れられ一旦リセットされてABC問題に取り組まれる人が出てくるだけやろ
640:粋蕎
20/04/19 12:30:34.84 8BOyW/Ba.net
>>602
こいつに酷似。知らばっくれ常習犯。知らばっくれ癖もβ(>>514-519)と酷似｡
低能サラリーマンking様の弟子と雑談できちゃうスレ [転載禁止]･2ch.net
ｽﾚﾘﾝｸ(math板)
1: king様の弟子♯3571c7h2 2015/09/08(火) 20:23:39.08 ID:FUR/ZWNF
修士課程のときに勉強に熱中するあまり、ろくに就活しなかった｡
今、定年退職まで終わりない地獄にいる気持ちです｡
数学のことは片時も忘れたことはありません｡
博士後期課程いってればよかったのかなぁ｡
今は営業職です｡
数学に携われる仕事がしたいです｡
3: ◆UQNvrOejBY 2015/09/08(火) 20:29:11.92 ID:hhzVG5Qb
トリップが漏れてるよ
11: １３２人目の素数さん [sage] 2015/09/08(火) 23:22:05.08 ID:C5/qhYMy
#と＃と♯の違いな
14: １３２人目の素数さん 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
あわよくば働きながら論文書いて博士課程いこうとか考えてた｡
新入社員でブラック企業入って、精神状態がずたぼろの状態で勉強なんてできるわけなかった｡
641:BLACKX
20/04/19 12:31:25.93 qnt75GLx.net
実際モッチーの理論を使ってわかる事ってかなり限定的なやり方だからABCならフィットしてるやり方だろうけど(それも限定的な数量しかわからない)例えば完全数とかのフィボナッチの逆数の和とかの未解決問題に応用できないわけで
642:１３２人目の素数さん
20/04/19 12:31:32.00 UbuHltnc.net
>>604
まあ、平手の歌唱力が大したことないのは明らかでしょう
正直 坂系で歌で生きてけるのはこの二人くらいじゃないかな
☆白魔術師
URLﾘﾝｸ(www.youtube.com)
★黒魔術師
URLﾘﾝｸ(www.youtube.com)
643:１３２人目の素数さん
20/04/19 12:37:46 IYOneXY0.net
彼女も目先の利益も捨ててやらないと数学者にはなれないんですね
結婚して家庭を維持し、業績出した数学者はどれほどすごいのでしょうか
644:１３２人目の素数さん
20/04/19 12:43:40 UbuHltnc.net
>>614
全然似てないかな
修士の頃もさほど勉強してなかったし
数学の事はほぼ忘れてるな
大体 一応数学科だけど、やってたのは
代数でも幾何でも解析でもないし
今の仕事はざっくりいえば事務
ま、定年までもう５年だからこのままいくよ
就職したのは正直大学に残るのは無理だと悟ったから
彼女はいたことない つきあうのは面倒臭い
ということであなたの云ってる人ではありません
残念でした
645:粋蕎 ◆C2UdlLHDRI
20/04/19 12:49:12 8BOyW/Ba.net
誰が見てもバレとる事をシレっと知らばっくれる癖じゃの、不定ハンドルじゃったりじゃの､
「e'=e、eは微分しても変わらない不思議な定数」じゃの
「∞＞３、∞は３より大きい」じゃの
既に定義されとるもん(>>514)を「と定義すれば」とか言い出したりじゃの
「偽の仮定は真」の意味が分からなくて15年悩んだ末に「偽の仮定は存在しない」発言じゃの
数学板住人なのに全角英数を多用したりじゃの
数学科なんて嘘っ八じゃコイツ。独学じゃ!!数学板に集まるネット情報かいつまんどるだけじゃ!!
まだ懲りとらんかったんか、king様のβaka弟子！バレとるじゃ!!
オドレが儂のコテハンの由来を Yahoo! Google Bing! どの検索サイトを見ても
頗る下位に来るのをドンピシャリ当てた時からバレとるんじゃ貴様は？数学板にまた何しに戻って来た？
また「数学板住人を煽り」に帰って来たんか？相変わらずじゃなぁ…
646:１３２人目の素数さん
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の逆関数となるわけですが）
＞「偽の仮定は真」
それは粗雑な言い方だね
アンチトートロジーを前提とすれば、任意の命題が結論として導ける
というのが正しい言い方だね
対偶をとれば、トートロジーは、どんな命題を前提としても導ける
ま、当たり前だけどね それが何か？
647:粋蕎 ◆C2UdlLHDRI
20/04/19 12:59:03 8BOyW/Ba.net
>>602
安心されい。此奴は数学板歴が長く KingOfUniverse ◆667la1PjK2 に師事しとった関係で
幾らか知ったかが効くだけで、アンタ相手にマウント取るのが精一杯じゃ｡
648:１３２人目の素数さん
20/04/19 12:59:10 UbuHltnc.net
>>619
＞オドレ
正しくは「おのれ」ね ま、方言なんだろうけど
＞儂のコテハンの由来
そんなん知らんよ 「いっきょう」でも「すいきょう」でもどうでもいいよｗ
だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
649:１３２人目の素数さん
20/04/19 13:03:39 UbuHltnc.net
>>621
一応数学科卒だからね 工学部卒よりは数学分かってるよ
そうじゃなきゃ大学卒業できないし
ついでにいうと高卒の君よりも全然分かってるよ
残念だったね
で、KingOfUniverse って誰？
Destroyer of the Universeのほうが好きだな
URLﾘﾝｸ(www.youtube.com)
650:粋蕎 ◆C2UdlLHDRI
20/04/19 13:03:49 8BOyW/Ba.net
相っ変わらずキャラ変すれば済むと思っとる様じゃな。ますます king様のβaka弟子 じゃな｡
『ID:lQKSp/GA』の『犯罪者呼ばわり』の根拠の『妄想出鱈目出任せ大法螺吹きな大嘘』、成立済み
651:１３２人目の素数さん
20/04/19 13:06:00 UbuHltnc.net
>>624
なんか妄想が酷いようだね・・・クスリ飲んだら？
652:粋蕎 ◆C2UdlLHDRI
20/04/19 13:08:26 8BOyW/Ba.net
バカじゃ
> だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
言わんでええ事を言う癖は直っとらん様じゃな｡
653:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 13:08:39 ijGx7lvx.net
>>613
>査読しても次に繋がらないから全て忘れられ一旦リセットされてABC問題に取り組まれる人が出てくるだけやろ
多分、そうならない
「全て忘れられ一旦リセットされて」と出来ないから
海外の数学者は、いらいらで、ストレスたまっていると思う
つまり、IUTのシロクロを早くしろってこと
IUTがグレーで、「全て忘れられ一旦リセットされて」と考えて
例えば、海外DRコースの人が、ABC予想に全く別のアプローチを研究したとしても
それに成功したとき、初めてのABC証明と認められるか、二番煎じとなるか？
もし、その人のDR論文が成功しても、あとからグレーだったIUTがシロと判明すると
二番煎じとしかならない。これは、DR論文のテーマ選択にとって大きな問題です
それと、IUTが使えるか使えないか？
IUTが使えそうなテーマ（ＡＢＣ以外）があったとして
それを、DR論文のテーマ選択に選ぶかどうか？（一般の研究テーマ選定も同じ）
そういうことにも影響してくるとので、「ちゃんと説明してくれ」って話になると思うよ
注）
正確には、いまのIUTでは弱いABC予想しか解決できないという
強い版は、南出が用意中とアナウンスされている
654:１３２人目の素数さん
20/04/19 13:13:11 I4YEALgo.net
>>612
グロタンディークの何千ページが、それ以前の近しいと見なされた分野の適当な学者にどーんと届いたとする
「何だこれ もう少し整理できないのか 半年以上はかけて熟読精査して、俺様の今のありていの研究の役に立つという保証はあるのか」「というわけでもっと短くできないのかときつく言っておきました エヘン」
我輩の辞書に学問に王道なし、元は幾何学に王道なし、数論幾何学に王道なしという文字はなぜかない
当たり前の想像もできないバカまるだしのおまえどうすんの どうすんの
655:１３２人目の素数さん
20/04/19 13:15:12 UbuHltnc.net
Jan Bergstra オランダの計算機科学者だね
オランダは証明系に関してはAUTOMATH以来の長い伝統があるんだよ
de Bruijnはその筋ではいろいろ有名だよね
名前、正しく読めるかな
656:粋蕎 ◆C2UdlLHDRI
20/04/19 13:16:39 8BOyW/Ba.net
Inter-universal geometry と ABC 予想 46
ｽﾚﾘﾝｸ(math板)
254:１３２人目の素数さん 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:１３２人目の素数さん 2020/04/05(日) 13:08:22.39 ID:NkAq1xzA
> 267
何だよ本当の意味ってｗ
おしえてｗ
Inter-universal geometry と ABC予想 50
ｽﾚﾘﾝｸ(math板)
193:１３２人目の素数さん 2020/04/16(木) 18:44:19.59 ID:bZJm30cd
＞＞178
のおっしゃる爆発則っていうんですか？も仮に「数学」の仲間に入れたとしたら､
その数学は役に立たない数学のグループに属する数学と言えるということをいいたかった
んです｡
役に立つ数学は、トートロジーを含まない公理系だけなんでしょうか？
これも形而上学的で証明できないと思うんですよね｡
役立つ数学と役立たない数学の仕分けは､
それなら結局、自然法則かアルゴリズムの記述に役立ち得るかどうかという
経験則で語るしかなくて、具体的にはトートロジーを内部に含まない数学
と役に立つ数学は一致するということを公理にしちゃえばいいのでしょうか？
実際、トートロジーがない数学＝正しい数学＝役立つ数学
というのは誰も証明できないけどだれもが直感してることなんですよね｡
哲学的も数学も素人なのでよくわからないのですが｡
ちなみにいま「意中と宇宙をつなぐ数学」読んでる最中です｡
657:１３２人目の素数さん
20/04/19 13:21:30 uMwLCcbW.net
>>558
「異例な記者会見をやる以上、RIMS側は絶対の自信があるはず」
君は全然流れがわかってないな～
「IUTで言えば、ショルツ先生は法定外の人」
法定外のわかないでしょ
658:１３２人目の素数さん
20/04/19 13:23:42 jRO6JivO.net
>>618
＞彼女はいたことない
Ｍ氏。。。？
659:１３２人目の素数さん
20/04/19 13:30:14 jRO6JivO.net
>>619
全角文字使用は…
(恐らく日本の平均年齢の上昇に伴って…)
５ちゃん利用者の年齢層が上昇してると考えられるから、視力が低下してる人が増えてると想定して対応してる、ってのはありますね…
660:１３２人目の素数さん
20/04/19 13:39:18 jRO6JivO.net
>>628
これです
661:１３２人目の素数さん
20/04/19 13:39:42 l1llX2xh.net
視力というか老眼だね……
662:１３２人目の素数さん
20/04/19 13:40:53 6uTLkXH+.net
おデートもしたことないとしたらちょっとフビンかも
彼女や妻はこちらの言い分あちらの言い分あり面倒かもしれんがおデート自体はなかなか楽しいものだ
663:１３２人目の素数さん
20/04/19 13:43:20 jRO6JivO.net
>>635
白内障、緑内障、網膜剥離、飛蚊症、黄斑変性症、、、
目の老化現象ですね
664:１３２人目の素数さん
20/04/19 13:47:30 jRO6JivO.net
>>636
ちょっと処じゃ無いと思います。。。
。。。もう帰って来ない。。。
～たった一時期だけの青春～
彼女もデートも知らずに
数学だけで人生終わっちゃうのか。。。？
もっちー。。。可哀想過ぎ。。。(;;)
665:１３２人目の素数さん
20/04/19 13:59:02 91JQQkoh.net
>>579
整数と多項式の類似って整数論・数論幾何の大テーマだよね。
なので、証明が正しければ、本来どんどん応用され広がっていくはずのもの
にもかかわらずそうならないのはすでにおかしい。
666:粋蕎 ◆C2UdlLHDRI
20/04/19 14:02:29 8BOyW/Ba.net
どんなに上手に隠れても
腐った性根が見えてるよ
だんだん誰が見っかった
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板)
226:１３２人目の素数さん 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が実数の場合はいいが、複素数の場合は駄目だね
＞お前、大学で何しとったんじゃ？
高卒には決して分からないことじゃね？
667:１３２人目の素数さん
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"を説明することができなかったんだよ
668:１３２人目の素数さん
20/04/19 14:11:09 uMwLCcbW.net
科学の論文は、
? 反証可能性が残されるように、開かれていなければならない
その上で
?反証が存在しないことが示される
こうして初めて正しいものと認められる
数学でいうと、?論理展開が追える（勉強不足や長いから追えないというのは除いて）
?矛盾がない、反例がない
しかし、IUTは、?を満たしていないから、誰も?まで進めない
ショルツ氏は、?を満たしていないとクレームし、同時に、?を示そうとしてしまった
望月氏側は、ショルツ氏が?を示したことに対し、?で書かれているんだから、よく読め
という
結局、まず、もう一度?からやり直すべきではないか
669:１３２人目の素数さん
20/04/19 14:22:30 jRO6JivO.net
>>642
＞反証が存在しない事を示す
無理では？
反証が存在する事を示すしか無いのでは？
670:１３２人目の素数さん
20/04/19 14:23:21 jRO6JivO.net
＞反証が存在しない事を示す
不可能ちっくｗ
671:１３２人目の素数さん
20/04/19 14:23:27 F4sLKV96.net
数学は科学ではないけどな
672:１３２人目の素数さん
20/04/19 14:24:06 jRO6JivO.net
ウケたｗ
673:１３２人目の素数さん
20/04/19 14:26:16.21 jRO6JivO.net
もしかして私は今、人類に新たなる叡智を授ける神の降臨を見たのでしょうか...
w
674:１３２人目の素数さん
20/04/19 14:28:28.77 l1llX2xh.net
>>645
「数学は科学ではないと考える人が存在する」であれば真だね
すべての人に対して……、であれば偽だ
675:１３２人目の素数さん
20/04/19 14:33:22.58 F4sLKV96.net
分類上数学は科学ではないということ
「直角三角形を三角形でないと考える人が存在する」という主張は正しいだろうが
分類上直角三角形は三角形
676:粋蕎
20/04/19 14:43:00.57 8BOyW/Ba.net
社会科学
数理科学
Ph.Dの意味由来
677:１３２人目の素数さん
20/04/19 14:45:50 uMwLCcbW.net
>>643
数学の場合だと、証明の論理に矛盾が
なければ、反証はないでしょう
（というか、そんな簡単なことも理解できない？）
678:１３２人目の素数さん
20/04/19 14:47:51 l1llX2xh.net
>>649
三角形や直角三角形の定義に関して同意が取れてれば、その中のすべての人を取っても真だろうね
科学の分類とやらは同意が取れているのかい？
679:１３２人目の素数さん
20/04/19 14:47:59 jRO6JivO.net
>>651
それアンチに言ってｗ
ブーメランｗｗｗ
680:１３２人目の素数さん
20/04/19 14:48:54 jRO6JivO.net
アンチウケるｗｗｗ
681:１３２人目の素数さん
20/04/19 14:53:40.75 jRO6JivO.net
理解出来ないのに・・・
「ギャップを確信」ってネットに書き込んじゃう“脅威の異能の持ち主達”が跋扈するｗわりには・・・
査読者のプライベートでの研究者仲間への「確信している」発言に過剰反応しちゃったりｗ
682:１３２人目の素数さん
20/04/19 14:56:02.86 UbuHltnc.net
某スレッドにて
＞説明の何百ページの文書はいらないんだ
＞ただ、「国際会議でちゃんと説明するから」くらいでいいんだ
説明は十分かどうか決めるのは、説明する側でなく説明される側
こういう基本的なことが分からない会社員は…無能だよね
683:１３２人目の素数さん
20/04/19 14:56:39.34 jRO6JivO.net
アンチの方達の中に少なからず目撃する融通無碍な脅異の能力には・・・
日々驚きを持って感嘆致しておりますｗ
684:１３２人目の素数さん
20/04/19 14:59:00.14 uMwLCcbW.net
まあ要するに、まずIUT論文は、すくなくとも数論幾何学の分野の人に
わかるように書き直さないと、論文になっていないのではないか、ということです
685:１３２人目の素数さん
20/04/19 15:01:49.15 UbuHltnc.net
>>642
＞①反証可能性が残されるように、開かれていなければならない
＞②反証が存在しないことが示される
数学の場合
①主張したい命題が論理式として記載可能
②主張したい命題の否定から矛盾が導かれることを示す（これが証明）
①は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
②は背理法の形で書いたが、証明は別に背理法でなくてよい
（どんな証明も背理法の形に直せるから）
686:粋蕎
20/04/19 15:06:49.32 8BOyW/Ba.net
>>655
アンタは何を主張したい？何となくは分かるが
アンタの『意思』も知りたいんで『明言』して頂きたい｡
『IUTは正しく、ショルツ初めアンチは無能』、其う言いたいんか？
687:１３２人目の素数さん
20/04/19 15:10:22.30 uMwLCcbW.net
そうですね
つまり作法として、「”できるだけ”多くの人に反証をあげてもらいやすいように、
論理を丁寧に書いて」
それでも、なおかつ反証がない、論理的に矛盾がない
ことを第三者たちが確認することによって、はじめて正しい証明とみとめられる、
そういうものではないか、ということです
688:１３２人目の素数さん
20/04/19 15:18:17.06 JKVCGYoP.net
京都の人や関係者には理解できるけど部外者には理解できないってことは、論文に書いていないコツがあるんだろ
それを教えて欲しい
689:粋蕎
20/04/19 15:18:59.65 8BOyW/Ba.net
>>661
言いたい事は分かったが
> 『IUTは正しく、ショルツ初めアンチは無能』
と言いたいのか否かに関しては？
690:１３２人目の素数さん
20/04/19 15:20:01.71 SEKUrtAT.net
>>660
自分はどう頑張っても今更ＩＵＴＴを理解出来るわけ無いです。
ショルツ教授の仰ってる意味も掴めないですね。
だだ(「詐欺」だの「犯罪」だの「有罪」だの攻撃的な強いワードをネットに出せるからには当然それなりの確証があるはずだし、それなら５ちゃんではなくＲＩＭＳ関係者に直接指摘するべき)
って考えてるだけです。
691:１３２人目の素数さん
20/04/19 15:20:57.22 uMwLCcbW.net
ここでいう第三者はもちろん査読者だけのことではなくて、この場合は数論幾何学（
特にp進体上なんでしょうか、詳しくは知りませんが）の分野の方々ということになります
ここで一人でも、こことここがわからない、といわれればそこを書き直し、説明しなおす
ことが必要ですし、逆に、この方々から一人も異議がでなければ、
まず、認められた、ということになるのだと思います
692:１３２人目の素数さん
20/04/19 15:22:12.36 SEKUrtAT.net
>>660
ＩＤ変わりましたが>>655です
693:１３２人目の素数さん
20/04/19 15:22:21.81 5yNz6DNQ.net
望月さんもまだ何も終わってなかったか
694:１３２人目の素数さん
20/04/19 15:26:17.32 uMwLCcbW.net
しかし、個人的な印象としては、発表から８年もたっており、その間、指摘があったにも
かかわらず、状況が変わっていないことから察すると、証明はうまくいっていない
のではないか、とは思います
695:BLACKX
20/04/19 15:26:20.04 qnt75GLx.net
>>667
始まってすらないじゃん
例えるなら料理のいろはを教える時に料理とは二足歩行の者が行う行為だみたいな事言って、反論は無いけどだから？みたいな料理について言及しろよって段階
696:１３２人目の素数さん
20/04/19 15:26:31.44 UbuHltnc.net
>>662
＞論文に書いていないコツがあるんだろ
ＳＴＡＰ細胞かｗ
697:粋蕎
20/04/19 15:30:31.25 8BOyW/Ba.net
ああ、猿な一石、king様の弟子ことβに対する皮肉か
698:現代数学の系譜 雑談
20/04/19 15:59:18.84 ijGx7lvx.net
>>641-642
(引用開始)
科学の論文は、
① 反証可能性が残されるように、開かれていなければならない
その上で
②反証が存在しないことが示される
こうして初めて正しいものと認められる
(引用終り)
同意
(引用開始)
しかし、IUTは、①を満たしていないから、誰も②まで進めない
ショルツ氏は、①を満たしていないとクレームし、同時に、②を示そうとしてしまった
望月氏側は、ショルツ氏が②を示したことに対し、①で書かれているんだから、よく読め
という
結局、まず、もう一度①からやり直すべきではないか
(引用終り)
同意同意
但し、②が成立っているとして
あと、だれか登山のK2に例えていたけれども
富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
望月氏側は、7合目（遠アーベル幾何）からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
あと、ショルツ氏の力点は、”②を示そう”の方。ショルツ氏は、自分なりにCor 3.12までは読んだつもりで、自分なりの理解では、「π1(ｘ)が無意味になるからIUT全体がダメだ」と主張している
そこは、OP氏の主張とちょっとズレがある
で、実は”②を示そう”自分なりの理解では、「π1(ｘ)が無意味になるからIUT全体がダメ」が決定的に大きい
”②反証が存在しない”が真ならば、5合目から7合目の話を補って、あと、分り易い解説をつければ良い
（過去に、数学ではそういう例は沢山ある）
699:現代数学の系譜 雑談
20/04/19 16:01:00.16 ijGx7lvx.net
>>672 タイポ訂正
望月氏側は、7合目（遠アーベル幾何）からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
↓
望月氏側は、7合目（遠アーベル幾何）からスタートしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
700:１３２人目の素数さん
20/04/19 16:03:07.84 NeHBk0JD.net
数学的には正しい可能性は有っても物理学的にはまあ間違ってる
なのに物理学的な正しさを全面に押し出してる
宇宙際なんて概念は数学の中でしかあり得んて
別の宇宙なんて無いし、有ったと仮定しても相互関係も無い、全く関係無い
おっさんSFの見過ぎ
701:１３２人目の素数さん
20/04/19 16:08:55.86 NeHBk0JD.net
いや、宇宙際をどう定義するかによる
別の宇宙ではなく別の次元との相互関係
次元際なら上手く行くかもね
702:現代数学の系譜 雑談
20/04/19 16:11:24.40 ijGx7lvx.net
>>672 補足
>あと、だれか登山のK2に例えていたけれども
>富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
現代数学があまりにも巨大化専門家しすぎて
登山のK2みたく、ふつうには殆ど上れない
だけど、それなりに装備をして、酸素ボンベも用意してとやれば
ヒマラヤなみ（日本の三浦雄一郎 80歳ギネス）に、かなりの人は到達できるでしょ
論文は、教科書じゃない
論文が万人が読めなくてもしかたない（5合目スタートにしたら、あと何百ページか書かないといけないかも。それは、お互い、つまり真のプロにも迷惑（分かっていることを延々書いてあるみたいな））
IUTが真に価値ある論文なら
解説書でるでしょ
703:現代数学の系譜 雑談
20/04/19 16:16:51.71 ijGx7lvx.net
>>674-675
>宇宙際なんて概念は数学の中でしかあり得んて
物理にも、パラレルワールド説はあるけど
ネーミングが懲りすぎというのは同意
宇宙際とか、ホッジシアターだっけ？ なんだかなーｗ（＾＾；
”欅坂受け”ねらいかも（＾＾
>次元際なら上手く行くかもね
いまでも、なんで”宇宙”？と思うわｗ（＾＾
でも、RIMSももう一頑張りでしょう！（＾＾
704:１３２人目の素数さん
20/04/19 16:19:22.32 UbuHltnc.net
>>672
ショルツの指摘が成立しなくても、望月の論文は①を満たしてないから無意味だけどな
つまり望月はそもそも山に登ってない 山に登るところから始めよう
705:１３２人目の素数さん
20/04/19 16:22:09.00 UbuHltnc.net
>>676-677
あなたなんでそんなに必死なの？
706:１３２人目の素数さん
20/04/19 16:23:38.14 NeHBk0JD.net
次元際はヒッグス場そのものと言える
別次元への出口がエナジーの減衰で
この次元への入口はエナジーを保持する力
707:１３２人目の素数さん
20/04/19 16:24:46.86 UbuHltnc.net
日本人だからって望月を無条件に支援する理由にはならないよね
むしろ今回の京大数理解析研の措置は日本人として恥ずかしいよね
いかにも内輪の都合で無理矢理アクセプトしたみたいでさ
そういう恥ずかしい真似してほしくなかったよ
708:１３２人目の素数さん
20/04/19 16:28:56.54 UbuHltnc.net
>>677
＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org)
709:現代数学の系譜 雑談
20/04/19 16:33:50.39 ijGx7lvx.net
>>677
>物理にも、パラレルワールド説はあるけど
スレチだが、行きがかりで、下記貼る
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
パラレルワールドは実在するか
パラレルワールドはSFでよく知られた概念であるだけでなく、実際に物理学の世界でも理論的な可能性が語
710:られている。例えば、量子力学の多世界解釈や、宇宙論の「ベビーユニバース」仮説などである。 https://ja.wikipedia.org/wiki/%E5%A4%9A%E5%85%83%E5%AE%87%E5%AE%99%E8%AB%96 多元宇宙論（たげんうちゅうろん、英: multiverse）とは、複数の宇宙の存在を仮定した理論物理学による論説である。物理的に観測不可能な様々な事象を数学や物理学を元に理論構築し、既知の観測や観察とともに予想された物理理論の一つである。 1.3 多世界解釈 1.4 多次元によるもの 1.5 万物理論の自由性によるもの 多世界解釈 量子力学の解釈の一つで波動関数の収縮を想定せず、すべての解に対応した世界があるとするもの。 多次元によるもの 我々が住む宇宙は無限ないし多くの次元を持つバルク（空間）に浮かぶたったの三次元のブレイン（膜）であるとするもの。当然、バルク内に複数のブレインがあることが許容される。 万物理論の自由性によるもの 万物理論が（どんな形をとるのかは別として）存在し、そこに何らかの物理定数が含まれる場合、なぜ物理定数は他の値ではいけなかったのかという疑問が生ずる。一番簡単な説明は有りうる値すべての宇宙が実在し、たまたま我々の宇宙ではその値であり、そうでなければ我々は生まれなかった、という人間原理によるものである。
711:現代数学の系譜 雑談
20/04/19 16:36:39.59 ijGx7lvx.net
>>682
>宇宙って数学用語、知らないんだね
>URLﾘﾝｸ(ja.wikipedia.org)
IUT読んだ？
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか？
おれは、厳密には違うと思うよ
単なる用語の濫用ならぬ、”乱用”の方と思うぜｗｗ（＾＾；
712:粋蕎
20/04/19 16:37:41.80 8BOyW/Ba.net
グロたん宇宙は良いが、こっちは貼らんのか？
宇宙 (数学) - Wikipedia
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
713:１３２人目の素数さん
20/04/19 16:46:21.19 JKVCGYoP.net
今さら名称の話？
full poly-isomorphismとかは確かに宇宙っぽい考え方なんじゃないの
知らんけど
714:１３２人目の素数さん
20/04/19 16:51:33 UbuHltnc.net
>>684
正規部分群の定義も誤読した人が何言ってるんだろう
＞単なる用語の濫用ならぬ、”乱用”の方と思うぜ
そんなこという人がなんで望月は正しい！と言い張るのか分からん
本当は望月の論文は無意味と思ってるんでしょ？
715:１３２人目の素数さん
20/04/19 17:00:47 UbuHltnc.net
◆e.a0E5TtKEの態度は
「どうも望月の論文はまったく証明の体をなしてないらしいが
いまさらそんなことを認めたら日本国の恥だから
徹底的に隠し通して誤魔化そう」
というふうにしか見えない
◆e.a0E5TtKEは「間違うことが恥」と思ってるらしいが
間違うことは全然恥じゃない。
むしろ間違いに気づきながらをれを認めず隠し通して
体面を保とうすることこそよほど恥ずかしい
716:１３２人目の素数さん
20/04/19 17:01:56 mrf31oDM.net
>>562
それはオボちゃん一派でしょｗ
717:現代数学の系譜 雑談 ◆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.
つづく
718:現代数学の系譜 雑談 ◆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氏がいうのはこういうところかも） ｗ（＾＾；
なお、
”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.”
で
「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.
(引用終り)
以上
719:１３２人目の素数さん
20/04/19 17:30:12 UbuHltnc.net
>>690
set-theoretic universesって書いてあるじゃん
集合論の宇宙、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org)
720:１３２人目の素数さん
20/04/19 17:49:39 N24RGaNy.net
>>689
仮にも専門家集団のなかから「派」と言える勢力が出てきた時点で単純詐欺では無いと言ってるようなものだ
それなりの理由があるから支持者が現れたんだよ
ノーベル賞候補とも言われた笹井氏が推したのにも理由がある
おまえらは矮小化し過ぎなんだよ
721:１３２人目の素数さん
20/04/19 17:50:41 N24RGaNy.net
>>690
単なる無知から来ている決め付け
722:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:27 ijGx7lvx.net
>>692
wikipediaを引用するなら、>>685の粋蕎 さんの引用（下記）が適当だろう
下記では、1)ベン図のU、2)通常の数学の
723:例えばSN、3)集合論のフォン・ノイマン宇宙 V、4)圏論のグロタンディーク宇宙 と、４つ解説されている では、望月IUTの「宇宙」とは？ まさか、ベン図のUとか下記SNではない 集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？ ”INTER-UNIVERSAL”だから、最低2つ宇宙がいるけど、どれとどれだい？？ｗ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) 宇宙 (数学) (抜粋) 集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 ある特定の文脈において おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。 これは1870年代から1880年代にかけてゲオルク・カントールが実解析の応用として、初の現代的な集合論と濃度の開発に用いた宇宙である。 カントールが当時興味を持っていた集合は、R の部分集合だった。 この宇宙の概念はベン図の使用に反映されている。 ベン図において、作用は伝統的に宇宙 U を表す大きな四角形の内部に生じる。 一般的に集合が U の部分集合であれば、それは円によって表現される。 通常の数学 物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。 宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。 つづく
724:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:51 ijGx7lvx.net
>>695
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
任意の 順序数 i に対して Vi を定義する。 Vi のすべての和集合は次のようにフォン・ノイマン宇宙 V となる。
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
725:１３２人目の素数さん
20/04/19 17:58:49 UbuHltnc.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります
726:１３２人目の素数さん
20/04/19 18:01:36 vQlbFnVo.net
>>604
もっちー降臨？！
727:１３２人目の素数さん
20/04/19 18:03:25 UbuHltnc.net
>>697の続き
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのもの�
728:ﾏ形します. スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです. 一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません. 一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています. 厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし, 数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです. また, その新しい幾何学ではそこから生じる不定性を統制する ・剛性 (rigidity) で抑える ・(1 の冪根の p 進 log をとると 0 になる等の) 適当な操作で消す ・(不定性のため像がはっきりしないがある入れ物には入っていることは分かるなどにより) 見積もること などや, ある不定性と他の不定性が連動している (synchronize) ことを用いることなどが大事になってきます. それにはそもそも不定性の存在に気付かないといけないわけですが, 不定性の存在を明確に意識するのにも役に立つ考え方です. “その新しい幾何学” と書きましたが, 従来の幾何学では (多項式写像であれ連続写像であれ可微分写像であれ) 環構造と整合的な射 (環付きトポスの射) を考えるのが幾何学であるという視点に立つならば, それは幾何学という枠組みすら超えているかもしれません.
729:１３２人目の素数さん
20/04/19 18:09:11 IvVUctq/.net
>>698
え…うそ…
730:１３２人目の素数さん
20/04/19 18:09:47 UbuHltnc.net
＞望月IUTの「宇宙」とは？
＞集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
グロタンディーク宇宙だろ 山下剛もそう書いてるけど
で、グロタンディーク宇宙は、フォンノイマン宇宙と無関係ではない
Vkでｋが強到達可能基数ならば、グロタンディーク宇宙
731:１３２人目の素数さん
20/04/19 18:13:37 UbuHltnc.net
>>698
>>604は平手信者以外の一般のアイドル好きの見解 大した話じゃないな
ついでにいうと
「SU-METAL？ありゃ声がデカいだけだろ？」
とかいうとメイト(BABYMETALのファン）に張り倒される
732:１３２人目の素数さん
20/04/19 18:18:52 UbuHltnc.net
どうもIUTの神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
733:１３２人目の素数さん
20/04/19 18:28:47 UbuHltnc.net
>>703
誤 これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
正 これは正直、圏論とは全然別の話だから、それこそ丁寧な説明が必要だろう
734:１３２人目の素数さん
20/04/19 18:36:09 Aiu1KqVk.net
そもそも望月や文元などは集合論が分からないから宇宙の意味を議論してもしょうがない
735:１３２人目の素数さん
20/04/19 18:50:09.67 YBBEAUTj.net
>>705
素数論て集合論じゃないの？？
736:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:10:54 ijGx7lvx.net
>>697
>Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
>A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
>数学基礎論的・論理学的に非自明な操作をしているとは
>山下は (少なくとも現時点では) 思っていません.
"非自明な"とか、関係ない説明だよね。質問者の"非自明” or "自明”の定義を
回答者の山下氏自身が、まず定義説明しないと
「数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.」
って、どういう意味だ？ 意味分かって引用しているか？
分かっているというなら、その意味解説してみろｗ（＾＾；
>>699
>Q2. じゃあ, 宇宙を取り替えるってどういう意味？
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
それならば、「宇宙」ではなく
inter-ring で良いんじゃない？
>厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
>数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
説明になってない
「1 つの Grothendieck 宇宙の中で考えて」？ Grothendieck 宇宙が 2つ3つあるのか？
>その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
なら、inter-scheme logic が素直だろ？
>>701
>グロタンディーク宇宙だろ 山下剛もそう書いてるけど
上記の通り、 Grothendieck 宇宙が 2つ3つあるのか？
Grothendieck 宇宙は、1つだろ？ 同型を除いて一意かもしれないがね
737:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:14:49 ijGx7lvx.net
>>707 補足訂正
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
inter-ring で良いんじゃない？
↓
inter-ring structureで良いんじゃない？
かな？
738:（＾＾；
739:１３２人目の素数さん
20/04/19 20:07:10.15 UbuHltnc.net
>>707
これは酷い・・・
＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
＞なら、inter-scheme logic が素直だろ？
論をlogicって訳す馬鹿 はじめてみた
theoryって言葉 知らんのか？
＞Grothendieck 宇宙は、1つだろ？
Grothendieckが見たら頭抱えるぞ・・・
＞同型を除いて一意かもしれないがね
訳も分からず呪文を唱えると自爆するよ
740:１３２人目の素数さん
20/04/19 20:26:03 yMpHhz7D.net
>>707
グロタンディーク宇宙が一つとか、大丈夫か君
741:１３２人目の素数さん
20/04/19 20:31:57 UbuHltnc.net
>>710
な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから
ＩＵＴの前途は闇だよ
742:１３２人目の素数さん
20/04/19 20:33:40.42 uMwLCcbW.net
707は、擁護派の内部分裂かな
743:１３２人目の素数さん
20/04/19 20:38:36.02 yAKdOBQz.net
>>706
全然違う分野
744:現代数学の系譜 雑談
20/04/19 20:40:59.04 ijGx7lvx.net
>>709
>＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
>＞なら、inter-scheme logic が素直だろ？
>論をlogicって訳す馬鹿 はじめてみた
>theoryって言葉 知らんのか？
はい
じゃ、問題
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
を数学用語を使って訳せ！ （和文英訳）
但し、望月論文表題 ”INTER-UNIVERSAL TEICHMULLER THEORY I ”の表題に使えるようにせよ！
"theory"を使ったら、下記の”TEICHMULLER THEORY”と用語がダブるぜ？ どうすんだよｗ（＾＾
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-”って、どうなるの？ｗ
”INTER-”だったら、”UNIVERSE”が2つ要る
で、取り替えるんだろ？
グロタンディーク宇宙が2つあって、取り替える？ｗ（＾＾；
745:１３２人目の素数さん
20/04/19 20:48:16.57 UbuHltnc.net
>>714
な、コイツ正真正銘の馬鹿だろ？
746:BLACKX ◆SvoRwjQrNc
20/04/19 20:48:35 qnt75GLx.net
>>712
707はガロアスレの主やぞ一番取り合ったらまずい奴
747:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:52:34 ijGx7lvx.net
>>712
＞ 707は、擁護派の内部分裂かな
お答えします（＾＾
１．私は、ＩＵＴ応援派であって、擁護派ではない
Ｄｕｐｕｙ先生みたいな、ＩＵＴ擁護なんて、とてもとてもとてもｗｗｗ（＾＾；
ただ、ＩＵＴへ エールだけは送ります、がんばれＲＩＭＳ＆ＩＵＴ！ （＾＾
２．そして、ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します～！！！（＾＾
但し、数学の筋の通らない アンチＩＵＴ発言は つつきますよ！ （普通は、あっちの隔離スレで こっそりねｗ）
見かねると、今回のように 乱入します（＾＾；
３．なお、ＩＵＴ懐疑派、 ＩＵＴ否定派、ＩＵＴ擁護の数学バトル期待しています、ヤジウマとしてね。各位がんばってください（＾＾
748:１３２人目の素数さん
20/04/19 20:53:32 UbuHltnc.net
>>712
毎度恒例の馬鹿の自爆ショーです
第１回 正規部分群はgHg^(-1)がHと同型な群
第２回 数セミ記事「箱入り無数目」はマチガッテル！
第３回 順序数のZermelo構成で、ωは{{{…(無限個)…}}}
第４回 Grothendieck宇宙は、同型を除いて一意に定まる ←今ココ
数学書はウマに食わせるほど買ってるらしいが
一度もまともに読めた試しはないと専らの噂
全部古書店に売って楽になればいいのに・・・
749:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:54:04 ijGx7lvx.net
>>716
> 707はガロアスレの主やぞ一番取り合ったらまずい奴
Ｙｅｓ！ よくお分かりですね！！ （＾＾；