Inter-universal geometry と ABC予想 (応援スレ) 65

1 名前：１３２人目の素数さん [2022/02/12(土) 11:20:25.41 ID:/qkcTHB7.net] （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ：Inter-universal geometry と ABC予想 (応援スレ) 64 https://rio2016.5ch.net/test/read.cgi/math/1641704497/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 Inter-universal geometry と ABC予想 (応援スレ) 52 https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 （参考） https://twitter.com/math_jin math_jin 出版序文リンク Andrew Putman 2021年3月6日 https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view 望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。 IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。 IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） つづく (deleted an unsolicited ad) 348 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 08:07:32.37 .net] >>330 おまえ、数学科にいったことないサルだろ？ ま、人類の９割９分９厘はサルだが そんなサルが数学を冒涜する サルはみな死ね 349 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 08:09:17.28 .net] 認識論とかいうのは詐欺師の言い訳 言葉の多義性を否定するのは論理の基本 多義性を言い訳にする時点で数学の論理を否定する詐欺師 ブンゲンは詐欺師ってこと 大学を”解雇”されるのは当然ｗ 350 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 08:12:29.14 .net] >>324 >同じものを同じとみなすか否か… >こういうことを数学者は普段から無意識に行っているわけで、 >それをちゃんと意識的に行いましょうということなんです。 ブンゲンは本当に数学者なのか？ 言葉の使い方から間違ってるぞｗ 違うものを同じとみなすかどうか 数学者は皆意識的に行っている もし、全く違いがないのなら、 それを違うとみなすことはできない 違いがあるから違うのであって 違いが全くないのに違うというなら そいつは正真正銘の●違いだｗ 351 名前：１３２人目の素数さん [2022/04/16(土) 08:57:28.54 ID:GpX52RaN.net] 冷静に考えて追い出されての退職ならKodaiに五人論文が載るわけがなかろう 352 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 08:58:40.34 ID:VK+pDLl8.net] 文元氏が「詐欺師で大学も解雇」と言い切ってる奴がいるな スレ主は文元氏本人に知らせた方がいいんじゃないのか？ 353 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 09:09:39.79 .net] >>334 無理くりで五人論文載せた 354 名前：責任を追及された挙句の退職じゃね？ >>335 ま、名目は自主退職だろうが、実態は限りなく解雇ｗ [] [ここ壊れてます] 355 名前：１３２人目の素数さん [2022/04/16(土) 09:48:47.12 ID:WKuXz+kZ.net] 「集合論の宇宙」と「グロタンディークの宇宙」って違う概念だっけ？ 356 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:28:15.97 ID:hab1WHkJ.net] そのスレ、根性がひん曲がった二流・三流数学屋ばっかりだな 357 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 13:32:10.95 ID:3yUnrOjD.net] 望月が証明を理解させられないのは望月自身が理解してないからだと思う 358 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 22:24:07 ID:RfDprTwr.net] テレビで見た素人ですが認識論の違いというのが分からないのですが哲学の問題なのでしょうか 359 名前：１３２人目の素数さん mailto:sage [2022/04/16(土) 23:00:36.39 ID:xPeY2UXB.net] まぁあれは苦し紛れの言い訳に近いな 等号原理を認めるか認めないかの話に見せかけて言い訳してるに近い 等号原理を外した論理体系でないと著しく記述が困難になるという状況からそもそも疑わしいけど、仮にそうなんだとして、だったら等号原理外した論理体系、言語体系は何を持ってくるのか、それは既存の数学の言い替えに過ぎないと言っていいものなのかどうかの議論がなければ意味ない そしてそんな議論はiut論文ではなされてない、ならばもうその時点で論文としてアウト、そんな問題があるという自覚があるならホントは論文撤回してその検証始めないといけないはずなのにそれもしない もう何やってんだか理解不能 360 名前：１３２人目の素数さん [2022/04/17(日) 11:12:52.30 ID:JCfnQOVz.net] math_jinさんツイッターで、乗法的情報による加法構造の復元 星 裕一郎が話題に https://webcache.googleusercontent.com/search?q=cache:yaBRI6rvLroJ:https://twitter.com/math_jin+&cd=1&hl=ja&ct=clnk&gl=jp math_jin 1d1 day ago More ちなみにこの星さんの講演、数理解析研究所で毎年夏に開催される「数学'入門'公開講座」で、「一般参加者」に向けて講演した時の資料だという、真に驚くべき事実。 RIMS、恐るべし。 数理解析研究所 星 裕一郎 の ホームページ https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html 数学入門公開講座　バックナンバー（講義ノート） https://www.kurims.kyoto-u.ac.jp/~yuichiro/talk20140804.pdf 乗法的情報による加法構造の復元 (全4回; 計5時間; 乗法的情報による加法構造の復元), 京都大学数理解析研究所 数学入門公開講座, 京都大学数理解析研究所, 2014.8.4-2014.8.8. (deleted an unsolicited ad) 361 名前：１３２人目の素数さん [2022/04/17(日) 13:11:19.43 ID:WrmEepLI.net] 文元氏は無理をしすぎたんでしょ。 五人論文を載せたことで、居心地が悪化した。 番組での説明が詭弁的だったけど、本人も薄々そう感じてきたんじゃないかな。 362 名前：１３２人目の素数さん [2022/04/17(日) 15:17:35.55 .net] math_jinは数学わかってない白痴だから発言真に受けたら馬鹿にされるよｗ 363 名前：１３２人目の素数さん [2022/04/17(日) 15:20:26.51 ID:IF3aBfrX.net] もてもてまゆゆん 364 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 15:30:56.01 ID:Y39mr771.net] >>343 せやな しかしあの事実上の敗北宣言をキチンと敗北宣言と捉える事ができてない奴が多い そもそもNHKのサイドが取材した相手の言葉に“認識論”なる単語が出てきたんだからそれが何を意味するのかキチンと掘り下げていけばあれが事実上の敗北宣言だったとわかるハズ 数学キチンと勉強した人間にはわかる敗北宣言した事で自分なりにケジメとったつもりなのかもしれないが、やはりそんなもんで本来許されるもんではないんだけどな 365 名前：１３２人目の素数さん [2022/04/17(日) 15:53:27 ID:Atp0bE3+.net] うるせえビリーバー 366 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 15:57:38 ID:udSQiRTc.net] >>346 >数学キチンと勉強した人間にはわかる敗北宣言 そこのところを数学に挫折した自分にも分かるように詳しくご説明願えませんかね？ 367 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:09:16.79 ID:/iVb7e4g.net] >>348 説明なんぞする義理もない 理解したいなら教科書読んで論文読んで勉強するしかない 学問に王道はない 368 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:12:30.85 ID:udSQiRTc.net] >>349 >理解したいなら教科書読んで論文読んで勉強するしかない そんなこと言ったらIUTもそうなんじゃないですかね？ｗ 369 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:15:55.14 ID:/iVb7e4g.net] >>350 そうやって相手の言葉尻捕まえてなんの生産性もない口喧嘩かしかできないのがお前のできる全てだよ それをくだらないとも恥ずかしいとも思えない事がお前の無能さの根源だよ 370 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:17:48.46 ID:udSQiRTc.net] >>351 数学板で生産性を言うかね？ｗｗｗ 371 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:28:06.76 ID:DKLTHccJ.net] >>352 せやな 数学板で数学の勉強なんかするつもりなんかひとつもないと言ってる能無し相手にするのが1番生産性ないわな なんも勉強もしないでせいぜいご自分の妄想数学ワールドを楽しんでくれや能無し君 372 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:38:48.56 ID:7G/IW/18.net] 才能も業績もぱっとしない研究者が 成功者に嫉妬して必死で匿名掲示板で憂さ晴らししてるだけのくせに いっぱしのことを書くのは恥ずかしいからやめて欲しい 数学への冒涜だ 373 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:45:34.86 ID:/ttBqmSm.net] >>354 数学の勉強しないって言ってる人間に冒涜とかなんとかいうセリフがはけると思ってるのが狂ってるんだよカス 大体冒涜とはなんや？ 数学に魅了され、その世界の謎を解き明かすことに日夜微力ながらも頑張ってる人間に対して冒涜ってなんやねん？ お前がやってんのは口げんかに勝ちたいだけやろ？ お前の判断基準はなんとなく自分の居心地のいい妄想世界の数学ワールドを肯定してる言葉は正しく、そうでないのは冒涜とか言ってるカスやろが 数学の世界に関わろうとかすんな能無し お前には一生関係ないわ 出てけカス 374 名前：１３２人目の素数さん [2022/04/17(日) 16:48:22.66 ID:JCfnQOVz.net] >>319 >査読は誰がやったの？ ＜仮説＞ 1．査読は、複数人がグループを作って、査読ゼミをした 2．少なくとも海外1組、おそらくは国内2組、計3組 3．査読グループのメンバーは、昨年のIUT国際会議及び Promenade in IUT （ https://www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-schedule.html ） 　に出席している よって、結論は 昨年のIUT国際会議及び Promenade in IUT の出席メンバーより 1）海外1組：Debes, Fresse (Lille)他 （＋Emmanuel Lepage (Sorbonne Univ, Paris, France)） 2）国内組1 Yuichiro Taguchi (Tokyo Inst他 Technology, Japan) 3）国内組2 大阪大学の中村先生のグループ？ こんなんかな？ 375 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:50:59.81 ID:7G/IW/18.net] 毎回毎回 切り口も口上も代わり映えがしない反論で さぞかし学歴も業績も残念なんだろうなとうかがわれる 376 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:54:45.35 ID:ED9CWkyR.net] >>357 落ちこぼれワールドで喚いてろや負け犬 377 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 16:58:28 .net] >>357 356 378 名前：を書いた奴のことなら、以下の通り 学歴：大阪市内の中学卒業後、工業高校に入るも１年で中退 業績：平成時代を自宅警備員として過ごす [] [ここ壊れてます] 379 名前：１３２人目の素数さん [2022/04/17(日) 16:58:43 ID:JCfnQOVz.net] >>354-355 おれは、>>354 のID:7G/IW/18さんに賛成 　>>355 ID:/ttBqmSm さんは、過去 ”数理論理”さんって呼ばれた人でしょ （外していたら ごめん） でな、”数学に魅了され、その世界の謎を解き明かすことに日夜微力ながらも頑張ってる人間”ってだれ？ 自分のこと？ だったら、このスレに来ないで、数学に精を出して、文書なりで（いまどきなら Youtube でも）アウトプット駄科よ チラシの裏の 5chで ”数学に魅了され、その世界の謎を解き明かす”云々とか、叫ぶかね？ おれら、シラケルだけだよ 少なくとも、もう、このスレには来ないでくれ。少なくとも、あっちのスレへ書けよ 380 名前：１３２人目の素数さん [2022/04/17(日) 17:00:27 ID:JCfnQOVz.net] >>360 タイポ訂正 だったら、このスレに来ないで、数学に精を出して、文書なりで（いまどきなら Youtube でも）アウトプット駄科よ 　↓ だったら、このスレに来ないで、数学に精を出して、文書なりで（いまどきなら Youtube でも）アウトプット出せよ 381 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:04:54 ID:pOlep7wy.net] >>360 なんやセタ お前も妄想ワールド世界だリアルの数学者バカにし続けてる張本人やろが？ お前ら自分がやってることがリアルの数学者を馬鹿にしてることにまるで気づいてないから言ってんだよ能無し 万人が覗く掲示板で自分が大切にしてる世界を馬鹿にされ続けてる人間の気持ちがお前にはわからんやろ 人生ってで何一つまともに努力して来たこともないんやろ？ 便所の落書きやから何描いてもいいと思ってるんやろ？ 迷惑なんだよ 数学の世界に関わろうとすんな 出て行け 382 名前：１３２人目の素数さん [2022/04/17(日) 17:05:37 .net] >>360 ＞ ”数理論理”さんって呼ばれた人 対偶も理解できずに、高校中退したせいで、数理論理に恨みがあるみたいね でも恨むんなら自分のオツムを恨みなよ いくらキーワード検索してコピペしても数学は理解できないよ いかなる射影系かも全く理解しないで勝手に 「ボクの考える射影極限」とかでっち上げても 間違いだらけだから 高校中退のDQNエッタの貴様に数学は無理　諦めろ 383 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:09:50 ID:flpgw/kF.net] 新参さんが多いようなので説明しとくね このスレは、糖質2名が痴話喧嘩するだけのスレです IUTに役立つ情報もたまに出てきますが、糖質２人がしゃしゃり出て脱線ばかりする糞スレなので以後よろしくね 384 名前：１３２人目の素数さん [2022/04/17(日) 17:13:21.91 .net] >>362 エッタ君は大阪大学工学部卒とかいってますけど全くのホラ 実際は大阪市立某工業高校を１年で中退 しかもなんかやらかして退学ならともかく成績不良によりドベって しかもそれでも進級できなかった故の退学　救いようもない エッタ君はとにかく逆張り大好きの変質者 望月新一を支持するのも、数学界から支持されてないのが最大の理由 「俺だけが正しいとわかってる」と云いたいだけ 愛国も低学歴低身長低収入の最下層土民のヤケクソ的態度 国家だけは自分の見方だと思いたがってる 実は国家が自分たちを最下層に突き落とした元凶だとは気づきもしない そういうところはなんか哀れで泣けてくる 385 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:13:34.11 ID:7G/IW/18.net] 数学を絶望的なまでに熱愛しているようだが 数学には愛されていないようだな 哀れな者だ 386 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:15:50.20 ID:pOlep7wy.net] な、コレだ 他人を侮蔑することだけ、相手がイラつかせることだけを喜びとするクソ そしてその事を恥ずかしいと思う人間としての基本的な能力が完全に壊れてしまってる もうお前こっちの世界で生きるとこないよ 387 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:16:44.62 ID:6EYjijeL.net] 私は糖質ではありませんから。 未解決問題の解決を阻む謎の勢力から、意味不明な嫌がらせの誹謗中傷を実際にされている ものです。 人権蹂躙の程度はもの凄いものがあり、誰だか分からない人間の 「俺を負けさせるのはなしだからだ。」 という趣旨の謎の発言を聞かされています。誰ですか「俺」は？ 私が未解決問題を10問程度解決したということになると、何かまずいことがあるのでしょうか？ 388 名前：１３２人目の素数さん [2022/04/17(日) 17:20:20.89 ID:lz1lXKTJ.net] >>341 等号原理って、等号で左辺と右辺を等号でむすんで、式を変形原則で証明しないと頭りだって事？ ABC予想が 　ｃ＞rad（abc)^(1+ε) の不等号の式たから、「等号の式変形」以外の方法で解けるよ。 極限に対する不等式であれば「はさみうちの原理」の方法があるから、 等号の式の変形の方法でなくても証明できる。 IUTは、ABC予想の主張である「c ≻d＾（1＋ε）」を、 これのIUT理論での「deg Θ≦deg q＋c」に帰結させる手法だったと記憶している。 https://www.excite.co.jp/news/article/Jcast_bookwatch_book11145/?p=4 等号の式変形でなく、言ってみれば、 「はさみうちの原理」の例示される、極限に対する不等式を使っており。 既存の数学的手法だよね？ ショルツェのCor.3.12の不等式が分からないと言ってますが、等号で式を変形して解けと言っているのですか？ 極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、歪みによる誤差が小さいとの評価の過程が納得できないかと思っていました。 >>341氏は、”等号原理”というのは、”等号で式を変形して証明しろ”と、ご主張されているのですか？ 、 389 名前：１３２人目の素数さん [2022/04/17(日) 17:23:13.15 .net] >>364 エッタも蕎麦もアホではあるが統失ではないだろうな ちなみに「ぼく」は東京の出身です 先祖を調べたら、明治の初めから東京にいます その前は知りません　何も残ってないんで 東京のとある大学の数学科を出ました　出ただけですが 研究者でもなんでもないので業績はありません エッタ君がなんで数学に固執するのか知りませんけど その割に全然地道な努力をしないので こいつは数学自体には何の興味もなくて ただ、自分は賢いと思われたために数学利用してるだけ と思ってます　 無駄な長文コピペがその証拠です 利口ぶりたいけど自分では文章書けない だから剽窃するしかないってことです Ａ宮家のＨ仁クンの作文みたいなもんです ま、彼も●違いな母親の虚栄心のせいで迷惑してるんだろうと思いますけど フツーの家に生まれたら、タダのアホとしてそれなりに幸せな人生が送れただろうにね 390 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:24:38.08 ID:DaAz7qpv.net] >>369 違う そんなレベルの疑問が湧くならもう到底理解できるレベルにはない 数学基礎論の教科書読め 保存拡大、等号原理調べろ 話はそれからだ 391 名前：１３２人目の素数さん [2022/04/17(日) 17:28:06.88 .net] Ａ宮家のＨ仁クンが 分不相応にも国立大学の付属高に入ったそうですが まあ全然ついてけないだろうなあ 母親はどうしてもあの息子をＴ大に入れたいそうです なんでそんなムキになるのかわかりませんが 一説にはダンナのお兄さんの奥さんに対抗したいらしいです ああ、そういえばハーヴァード大卒で東大にも在学してたもんな でもオツムの出来が全然違うと思うんだよな そういうこと認めたがらない点がなんていうか●違いっていうか 392 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:37:07.90 .net] >>371 ＞等号原理調べろ 実はググるとこのスレッドが見つかるんだよね で、何の説明もない、という もしかして以下の法則のこと言ってる？ だったら簡単に書けるけど、 反射律　ｘ＝ｘ 対称律　ｘ＝ｙ　⇒　ｙ＝ｘ 推移律　ｘ＝ｙ　＆　ｙ＝ｚ　⇒　ｘ＝ｚ 代入律　ｘ＝ｙ　⇒　ｆ（…,ｘ,…）＝ｆ（…,ｙ,…） 　　　　ｘ＝ｙ　＆　ｆ（…,ｘ,…）　⇒　ｆ（…,ｙ,…） なんで君、書いてあげないの？ もしかして・・・知らなかった？ 393 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:42:46.27 ID:MKLb5WlY.net] >>373 な、こうやってちゃんと数学勉強してる人間を平気でバカにするクズ そもそも大体お前その式の意味まるでわからんやろ？ そしてそれが今回の件にどう関わってるのかもわからんやろ？ お前無限シングルトンの定義かけって言われて未だに“定義”の意味わからん能無しやろが？ 数学の世界に入ってこようとすんな お前には無理だよ能無し 394 名前：１３２人目の素数さん [2022/04/17(日) 17:48:49.55 .net] >>374 ＞大体お前その式の意味まるでわからんやろ？ 　いや、全部日本語で書けるけど 反射律　ｘはｘと等しい 対称律　ｘがｙと等しいならば、ｙはｘと等しい 推移律　ｘがｙと等しく、ｙがｚと等しいならば、ｘはｚと等しい 代入律　ｘがｙと等しいならば　ｆ（ｘ）はｆ（ｙ）と等しい 　　　　ｘがｙと等しく、ｘでＦが成立するなら、ｙでＦが成立する え？もしかして君、数式読めなかった？ 395 名前：１３２人目の素数さん [2022/04/17(日) 17:54:41.44 .net] >>375 ＞そしてそれが今回の件にどう関わってるのかもわからんやろ？ もしかしてIUTで 「ｘとｙが等しく、ｘで性質Ｐが成り立つけど、ｙで性質Ｐは成り立たない」 という推論を使ってるといってる？ もし、そうだとして、それはどこ？ それこそ、IUTの欠陥の証拠だから今ここで示したら君、英雄になれるよ ついでにいうと 「ｘとｙは同値で、ｘで性質Ｐが成り立つけど、ｙで性質Ｐは成り立たない」 という命題なら、性質Ｐは同値関係とは整合しないというだけのこと もちろん、そういう場合は多々ある ただ、ショルツが問題にしてるのは 「同値だけど違うなら違うでいいけど、 　何がどう違うか定義してる？ 　全然定義してないよね？ 　できる？できないんじゃね？」 ってことかと思うが 396 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 17:57:21.52 ID:A6+vYINT.net] >>375 こういう挑戦的な事書けば相手が乗ってくると思う小学生並みの人間性 その人間的な未熟さが自分の無能を招いている事にいつまでも気づけない無能 信者は大体このレベル 397 名前：１３２人目の素数さん [2022/04/17(日) 18:00:57.88 .net] >>377 なんだ　わけもわからず等号原理とかわめいてただけの三歳児でしたか 398 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 18:15:03.46 ID:4Cao9dT6.net] >>378 数学の話しようとすんな 穢らわしいわ 能無し 399 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 18:43:24.82 .net] >>379 三歳児に数学の話は無理だから　ここから出ていきましょうね　ボク 400 名前：１３２人目の素数さん mailto:sage [2022/04/17(日) 23:05:51.28 ID:QTI9dmxz.net] >>349 「俺はわかってる」と言いながらそれに対する他s人の検証はしてほしくないからそれ以上の情報を出すことを拒む。 まさにこのスレにふさわしい態度ですね。 401 名前：１３２人目の素数さん [2022/04/17(日) 23:09:50.27 ID:JCfnQOVz.net] >>369 >ショルツェのCor.3.12の不等式が分からないと言ってますが、等号で式を変形して解けと言っているのですか？ >極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、歪みによる誤差が小さいとの評価の過程が納得できないかと思っていました。 横ですが、ショルツェ氏の主張は下記の通り 1）IUTの矛盾を示すために、IUTの定義を単純化します（特定の根本的な単純化が含まれる） 2）そうすると、望月IUTのスカラーj^2を使う論法が、成り立っていないことが示せた 3）望月氏は、”特定の不確定性によって与えられる「ぼやけ」で、図は一貫する”（つまり矛盾な 402 名前：く成立）というが 　ショルツェ氏は”「ぼやけ」は、得られた不等式を役に立たなくすることを意味しているように思う”という 議論は2018年8月で途切れたままです ・つまり、望月氏は相手を納得させる説明が出来なかった ・一方、ショルツェ氏の論法も、自身が言っているように、”IUTの定義を単純化（特定の根本的な単純化が含まれる）”しているので、厳密な数学の論証にはなっていないのです この状態のまま、IUTは査読完了し出版され、さらに、明示公式による5人共著の論文も査読完了し、東京工大から出版予定です そして、4月のNHKスペシャルの放送となりました 個人的には、IUT側から、もう少し一般の数学者にも分かる（例えば、ファルティングス師匠が”分かった”という）説明が要ると思います (参考) https://www.kurims.kyoto-u.ac.jp/~motizuki/protectedpdf-2018-08/SS2018-08.pdf Why abc is still a conjecture PETER SCHOLZE AND JAKOB STIX Date: August 23, 2018 P4 2. Hodge theaters and Frobenioid prime strips 2.1. Glossary: IUTT-terminology and how we may think of these objects. The IUTT papers introduce a large amount of terminology. To facilitate the discussion, we will describe (only) the notions that are strictly relevant to explain what we regard as the error. This will involve certain radical simplifications, and it might be argued that such simplifications strip away all the interesting mathematics that forms the core of Mochizuki’s proof. つづく [] [ここ壊れてます] 403 名前：１３２人目の素数さん [2022/04/17(日) 23:10:43.24 ID:JCfnQOVz.net] >>382 つづき ＜google訳＞ IUTTの論文では、大量の用語が紹介されています。 議論を容易にするために、私たちがエラーと見なすものを説明するために厳密に関連する概念のみを説明します。 これには特定の根本的な単純化が含まれ、そのような単純化は望月の証明の核となるすべての興味深い数学を取り除くと主張されるかもしれません。 P10 Thus, Mochizuki wanted to introduce scalars of j^2 somewhere on the left part of this diagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of the diagram alone, which arguably can be overcome by using averages). However, it is clear that this will result in the whole diagram having monodromy j^2, i.e., being inconsistent. The conclusion of this discussion is that with consistent identifications of copies of real numbers, one must in (1.5) omit the scalars j^2 that appear, which leads to an empty inequality. We voiced these concerns in this form at the end of the fourth day of discussions. On the fifth and final day, Mochizuki tried to explain to us why this is not a problem after all. In particular, he claimed that up to the “blurring” given by certain indeterminacies the diagram does commute; it s 404 名前：eems to us that this statement means that the blurring must be by a factor of at least O(ｌ^2) rendering the inequality thus obtained useless. つづく [] [ここ壊れてます] 405 名前：１３２人目の素数さん [2022/04/17(日) 23:11:07.32 ID:JCfnQOVz.net] >>383 つづき ＜google訳＞ したがって、望月は、この図の左側のどこかにj ^ 2のスカラーを導入したいと考えていました（厳密に言えば、図の左側だけで矛盾、つまりモノドロミーが発生します。これは、平均を使用することでおそらく克服できます）。 ただし、これにより、ダイアグラム全体がモノドロミーj ^ 2になる、つまり一貫性がなくなることは明らかです。 この議論の結論は、実数のコピーの一貫した識別では、（1.5）で現れるスカラーj^2を省略しなければならず、それは空の不等式につながるということです。 話し合いの4日目の終わりに、この形でこれらの懸念を表明しました。 5日目となる最終日、望月はなぜこれが問題にならないのかを説明しようとした。 特に、彼は、特定の不確定性によって与えられる「ぼやけ」で、図は一貫すると主張しました。 このステートメントは、「ぼやけ」が少なくともO（l^2）の係数である必要があり、こうして得られた不等式を役に立たなくすることを意味しているように思う。 (引用終り) 以上 406 名前：１３２人目の素数さん [2022/04/17(日) 23:18:30.66 ID:JCfnQOVz.net] >>370 >エッタも 差別用語を使うな 繰り返すと、荒しとして、通報するぞ 407 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 05:08:36 ID:E5ne0RUW.net] ギャオス内藤 ギャハハ猿石 心のスキマ　お埋めします❤　喪黒福造 首から下を　お埋めします💢　海浜潮満　 408 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 05:42:24.43 ID:E5ne0RUW.net] 絶対に正しい事を確認済みなら全財産から全負債を除いた全資産を担保に 全て寄付する事を担保に入れる事を法的正式な公正証書による誓約の元に改めて主張できる｡ できなければハッタリである。ハッタリもまた嘘である｡ また将来、正しい事と世界的コンセンサスが得られる日が来ても その時まで誓約を済ませず主張を続けた場合は単なるマグレ当たりの偶然扱いと見做し やはりハッタリによる嘘吐き扱いと成る。以降、セタは数学板恥の殿堂入りを果たす事と成り セタアンチ以外からもキチガイ扱いされるのみならず 存在自体が荒らし扱いと成る｡ セタはミスリードの責任を問われる度に 「ここは玉石混淆5ちゃんねるでウソを書いてもOK、責任なんてクソくらえ」発言済み｡ 要するにセタのIUT擁護は出鱈目からデマカセのハッタリ効かせた大法螺吹きである事は既に公知かつ自明｡ 409 名前：１３２人目の素数さん [2022/04/18(月) 06:36:59 ID:N9uDBBSz.net] >>382 等号原理は何を指しているのか？で、 >>341氏は、”等号原理”というのは、”等号で式を変形して証明しろ”と、ご主張されているのですか？ の質問がレスの主旨ですが。 ご説明ありがとうございます。拝見しましたが、 >極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、歪みによる誤差が小さいとの評価の過程が納得できない のところは、等号原理という冒頭の言葉に対して、不等号による証明でも問題がなく、 ＞等号の式変形でなく、＞極限に対する不等式、の手段を使ったのでは？と質問したのが主旨ですが。。 >>382で、 ＞3）望月氏は、”特定の不確定性によって与えられる「ぼやけ」で、図は一貫する”（つまり矛盾なく成立）というが ＞ショルツェ氏は”「ぼやけ」は、得られた不等式を役に立たなくすることを意味しているように思う”という とありますが、 結局のところ、 ＞極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、歪みによる誤差が小さいとの評価の過程 で、ショルツェ氏は”「ぼやけ」はが大きいが、望月は特定の不確定性によって与えられる「ぼやけ」は小さいという事ですかね。 https://www.excite.co.jp/news/article/Jcast_bookwatch_book11145/?p=4 で、 ＞IUT理論によるABC予想は、現実舞台での累乗数が、かけ算伸縮舞台での累乗数よりも小さいことに帰結させたい ＞Ｎ Log ｑ＜Log ｑ＋c（Ｎ Log ｑ≒Log ｑだから、正の数値を加えると「＜」になる） →deg Θ≦deg q＋c→deg qは小さい、つまりc ≻ d＾（1＋ε）のεは小さい ABC予想が　ｃ＞rad（abc)^(1+ε)で、 この右辺にあるεが大きいければ、不等式の＞が、＜に逆転するので、不等式は成立しないけど、 右辺にあるεの「かけ算伸縮舞台での累乗数よりも小さい」と、つまりdeg Θ≦deg q＋c→deg qが小さいと、 ならば、 ＞極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、歪みによる誤差が小さいとの評価が できて不等式が成立する。 だから、極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、 ショルツェ氏は現実舞台での累乗数が、かけ算伸縮舞台での累乗数よりも小さいとの ＞評価に納得していない、とのところが大筋だと、考えたのだけど。 410 名前：１３２人目の素数さん [2022/04/18(月) 06:37:10 ID:N9uDBBSz.net] この極限に対する不等式の考え方は、従来の数学で、 「左辺の大きさ」に対して、右辺が極限において「収束値＋誤差」で誤差が小さければ、不等式が成立する。 >>341氏は、”等号原理”というのは、”等号で式を変形して証明しろ”と、ご主張されているのですか？ というのは、等号原理というのが、「左辺の大きさ」に対して、右辺を式の変形して同じ大きさという感があり、確かめただけです。 ＞3）望月氏は、”特定の不確定性によって与えられる「ぼやけ」で、図は一貫する”（つまり矛盾なく成立）というが ＞ショルツェ氏は”「ぼやけ」は、得られた不等式を役に立たなくすることを意味しているように思う”という というのは、不等式の右辺の誤差εが、極限で小さくいと評価できないというのがショルツエ氏で、望月氏は逆で、 双方とも、「極限に対する不等式で考えている」」のでは？、という指摘です。 411 名前：１３２人目の素数さん [2022/04/18(月) 06:39:57 ID:N9uDBBSz.net] だから、 ＞等号原理って、等号で左辺と右辺を等号でむすんで、式を変形原則で証明しないと頭りだって事？ ＞ABC予想が 　ｃ＞rad（abc)^(1+ε) ＞の不等号の式たから、「等号の式変形」以外の方法で解けるよ。 という点を、先にグランディングしました。 412 名前：１３２人目の素数さん [2022/04/18(月) 06:42:08 ID:9Sqq12HI.net] >>386-387 蕎麦屋さんか？ >絶対に正しい事を確認済みなら全財産から全負債を除いた全資産を担保に >全て寄付する事を担保に入れる事を法的正式な公正証書による誓約の元に改めて主張できる｡ 逆もまた真 圏論的には、双対 蕎麦屋さんが、「IUT理論不成立」を主張するならば あなたが先に、全財産を供託しなさいよ 「もし、IUT理論が正しければ、全財産を没収されても かまいません」と なに？　全財産が10円だと？ 賭けは成立しないなｗ 413 名前：１３２人目の素数さん [2022/04/18(月) 06:52:10.72 .net] >差別用語を使うな >繰り返すと、荒しとして、通報するぞ 下げマスはマジで●タなの？ｗ それはさておき、中卒の分際で 「ボクちゃん、直感で数学の全てがわかるもん」 みたいな感覚でコピペしまくるから馬鹿にされる 「ボクは数学のスの字もわかりません」 と自覚して、下から下から謙虚にお尋ねすれば 誰も何もいわない 知らないのに知ってると嘘つくのがダメ 下げマスは根本的に嘘つきの畜生なんだよ 嘘つくな　これ人間の基本　守れないヤツはサル 414 名前：１３２人目の素数さん [2022/04/18(月) 06:54:22.42 .net] >・・・さんか 誰でもいいだろ　下げマスはプーチンか？ｗ >圏論的には・・・ 正則行列も知らんド素人が圏論語るなよｗ 415 名前：１３２人目の素数さん [2022/04/18(月) 06:56:54.84 .net] >>388 >”等号原理”というのは、”等号で式を変形して証明しろ”と、ご主張されているのですか？ 違う気がするが、当人が等号原理を説明しないから、真相は藪の中 416 名前：１３２人目の素数さん [2022/04/18(月) 06:57:20.89 ID:N9uDBBSz.net] 極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、 現実舞台での累乗数が、かけ算伸縮舞台での累乗数よりも小さいとの評価に納得していない。 のところは、掛け算だけならば、Nスぺのように累乗数でも遺伝子が残るから簡単だけど、 現実舞台が掛け算と足し算からなるから、かけ算伸縮舞台での累乗数よりも小さい、 との評価のところで、結局のところ、かけ算しか成立しない世界で、たし算は成立してないのだから、 その「成立してないたし算による歪みの評価」をするのか？が、認識論でないけど、ラベルと言われても何でもありの世界に感じる。 何か、フロペノイドなどの数学世界に手がかりがあって、たし算からの歪みを評価できる工夫があるのかな。 上記は私見で、いずれにせよ等号原理が何を意味するのか、気になっただけ。 417 名前：１３２人目の素数さん [2022/04/18(月) 07:01:02.11 .net] >・望月氏は相手を納得させる説明が出来なかった >この状態のまま、IUTは査読完了し出版され、 >さらに、明示公式による5人共著の論文も査読完了し、 >東京工大から出版予定です 正常な精神を有する人間なら 「IUT論文の査読も5人共著の論文の査読も 　査読者が理解しないままアクセプトした 　”不正行為”じゃね？」 と思う そして査読者が論文について説明できないので ”不正行為”が立証されてしまっている これは日本の恥　世界の恥といっていい 418 名前：１３２人目の素数さん [2022/04/18(月) 07:04:06.08 .net] >>395 おそらく「違う」ものを無理矢理「等しい」とする恣意的操作が 論理的に正当化できないのだろう ヘヴィサイドの演算子法みたいに 「考案者が理屈を分かってなかっただけで実は理屈はちゃんとある」 というならともかく 「単に結論ありきで無理矢理こじつけた屁理屈」 ならアウト 419 名前：１３２人目の素数さん [2022/04/18(月) 07:27:30.02 ID:9Sqq12HI.net] >>388-390 レスありがとうございます。 >等号原理は何を指しているのか？で、 "等号原理"は、正規の数学用語ではないので、スルーとします >結局のところ、 >＞極限に対する不等式でdeg Θ≦deg q＋cを導出するとき、歪みによる誤差が小さいとの評価の過程 >で、ショルツェ氏は”「ぼやけ」はが大きいが、望月は特定の不確定性によって与えられる「ぼやけ」は小さいという事ですかね。 これは私的な感想ですが ショルツェ氏は”「ぼやけ」という言葉を使ったのは、IUTに対するネガティブな印象を表現するためと思います ショルツェ氏の>>382における文書P10の ダイアグラムは、明らかに ”不確定性”は全く考慮されていません それに対して、望月氏は、不確定性を考慮していないので、IUTではそのダイアグラムそのままではないと主張したのでしょう だが、ショルツェ氏が書いて居るとおり、それは5日目となる最終日で、時間切れになった ショルツェ氏は、「ぼやけ」というネガティブな言葉と、”「ぼやけ」が少なくともO（l^2）の係数である必要があり”（ the blurring must be by a factor of at least O(ｌ^2) ） と一言で済ませて、噛み合った議論になっていません 2022年4月現在でも、ショルツェ氏 vs 望月氏は、このままで NHKスペシャルによれば、「ショルツェ氏は、もう関わり合いたくない」と、インタビューもコメントも拒否しています なので、繰り返しますが IUT側がやるべき事は、ファルティングス師匠のいうように、「一般の数学者が分かる説明、少なくともおれが分かるように説明しろや」ってことですね 私見ですが、ポロウスキ、南出新、星裕一郎他 東京工大とRIMSの若手で手分けして、”ファルティングスが分かるIUT説明書”を手分けして、半年くらいで書いて それは、昨年の国際会議を踏まえてですが ファルティングス師匠も参加する公開の討論会を、やれば良いと思いますけど （それは、若手でIUTや関連の遠アーベルの研究をしている人にとって、自分たちの研究を理解してもらう一助です） 420 名前：１３２人目の素数さん [2022/04/18(月) 09:46:46.72 ID:SMnonojU.net] >>397 それはコップとドーナッツが、１つ穴と見做なす抽象化で、 ２つ穴なのに１つ穴と見做したらNGとは思うよ。、 それとは違って、抽象化で同じと見做した後に、違うと見做すことでは？ 遺伝子的に整理しやすい「かけ算」で、数学世界で抽象化させるとして、、 ABCが、足し算と掛け算からなる対象なのに、かけ算しか成立しない世界で抽象化しても、足し算の差が無くなるから、現実の足し算と掛け算からなる現実が消えてしまうよね。 でも足し算と掛け算からなる現実の姿だとしても、遺伝子的に整理できる「かけ算」の数学世界によると、かけ算的部分だけ抽出して。かけ算と足し算からなる部分は抽象化により消えてしまう。ところがABC予想が、かけ算と足し算の絡み合いでそこに何らかの遺伝子(規則性）が存在するなら、足し算の部分を抽象化で消えてしまったら研究で証明には至らないよね。 私見ですが、また変な見方だけど、足し算で遺伝した部分は、かけ算しか成立しない世界からは「虚」になる筈なので、そのかけ算の数学世界での「虚」を、虚数とにて、扱うことが出来るのかという感がしてきた、、、、。 421 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 10:15:23.77 ID:16TothxP.net] 「という感がしてきた」とか言われてもねぇ。 客観的に見て、貴方はトンデモの一歩手前で 統失の疑いもあるように見えるよ。 422 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 10:22:50.03 ID:16TothxP.net] 素人さんは自分の下らない考え・思いつきを開陳する前に 素人でも読める星さんによる解説　>>342にある 「乗法的情報による加法構造の復元」 を読んで理解してから発言しましょう。 423 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 10:28:25.64 ID:eaxs7s6m.net] 424 名前：コップとドーナッツの例えはいかにも通俗書で数学を知った気になってるやつっぽい 遺伝子的に整理できるというのも意味不明 [] [ここ壊れてます] 425 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 10:56:51 ID:ApqeW83k.net] それは大衆向けに作ってる以上仕方がない TV番組は算数しかできない馬鹿でもわかった気になれるというのが重要 426 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 10:57:36 ID:xtvhZssM.net] 自分の事天才やと思ってるんやろ なーんも勉強せんでもなーんでも分かると思ってる 427 名前：１３２人目の素数さん [2022/04/18(月) 11:10:07 ID:/cG9KE3B.net] >>402 通俗書でなくＮスぺだろ。番組は見た？ かけ算とたし算の遺伝子、かけ算しか成立しない世界、同じで同じでない、も。 a、a+i、a+5iは、実数はaで「同じ」だけど、虚を認めると虚部で「違い」は確かにあるね。 428 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 11:42:48.64 ID:16TothxP.net] 星さんの解説はペダンチックで難しいと思うひとのために 思いっきり簡単なケースを説明してみる。 高木貞治の『代数学講義』という古い本に g(z)=Π(z-a_i)のとき (1) g'(z)/g(z)=Σ1/(z-a_i) が成立すると書いてある。これはg(z)が重根を持っていてもいい。 （たとえばaがk重根の場合は1/(z-a)をk回数えるから (1)の右辺の和はk/(z-a) とまとめてあらわせる。） (1)式は明確に加法性を持っている。つまり (g_1(z))'/g_1(z)+(g_2(z))'/g_2(z) はg_1(z)*g_2(z)の根たちaに対して 1/(z-a)を重複度も込めた足し合わせたものに等しい。 つまりこの場合は「乗法的情報→加法的構造」 の導出は非常に単純なわけ。 これを出発点として、このような性質は どこまで拡張できるか？ と考えれば分かり易いかも。 429 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 11:52:37.50 ID:16TothxP.net] >(1) g'(z)/g(z)=Σ1/(z-a_i) ま、これはg(z)を対数微分しているだけなので 『代数学講義』の参照は別に必要ない。 乗法→加法の変換が起きる理由も明らか。 430 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 20:22:21.88 ID:0l/16VXN.net] >>342 乗法的情報による加法構造の復元 https://www.kurims.kyoto-u.ac.jp/~yuichiro/talk20140804.pdf >数の管理, ラべリングの方法: >従来型: ..., 4, 5, 6, 7, 8, 9, 10, ... >素因数分解型: ..., {(2, 2)}, {(5, 1)}, {(2, 1),(3, 1)}, {(7, 1)}, {(2, 3)}, {(3, 2)}, {(2, 1),(5, 1)}, ... IUTの「ラベリング」とは 加法と乗法をあえて「間違った形」で対応づける といってるのかい？ 対応を「間違う」ことでどんな情報が得られるんだい？ 431 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 20:36:39.27 ID:mMHvvlrY.net] >>405 あんな番組見ても役に立たないよ 432 名前：１３２人目の素数さん [2022/04/18(月) 20:45:40.21 ID:TUyIy4XF.net] 画像の編集はうまかった 433 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 21:01:39.18 ID:E5ne0RUW.net] >>391 出た、世間知らず晒し｡ 担保は賭けではない上に「自発行為」｡ 一方で賭事は賭博罪であり強要は強要罪｡ 結局お前は自身の主張がハッタリである事を追認する事に成る｡ 434 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 21:11:05.92 ID:EDI1L0T8.net] 情報工学・暗号理論などでIUTのアイデアは応用できそうですか？ 435 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 21:16:36.11 ID:EDI1L0T8.net] ラベリングの微細で精緻な違いに神経を尖らせる必要があり、当然ながら復元の際にもこのデリケートで特殊な技巧を用いた取り扱いを要し、極めてオリジナルな要素の強い専門性を必要とし、尚且つその技巧がそれほど専門家に拡まってなければ、暗号技術には持ってこいですよね？ 436 名前：１３２人目の素数さん mailto:sage [2022/04/18(月) 23:55:01.63 ID:0UdCbOOS.net] 逆問題との計算コストの違いを使うのが一般的な暗号だろ。 437 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 00:06:31.71 ID:dds25QH9.net] >>408 星さんの解説を読んでみると C係数の有理式Q(x)∈C(x)と、射影直線上のすべてのa∈P^1 に対して2つの部分集合のクラス ・Q(x)はaにおいて極を持たない ・Q(a)=1をみたす を用意する。 これを「乗法的」と呼ぶのは乗法によって保存される性質だから。 さて、すべてのa∈P^1に対して、Q(x)が上の2つの部分集合に属す または属さないを見通すことができるなら C(x)における乗法から、C(x)における加法を 復元できる、という主張だと思うが 「すべてのa∈P^1に対して、Q(x)が上の2つの部分集合に属す または属さないを見通すことができる」 これを「乗法的情報」とすることが妥当なのかは、考えてみる必要はありそう。 438 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 06:11:31.70 ID:ilTCPIzS.net] 一般的でない方が実用化された時の暗号理論としての技術的価値は高いですよね 439 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 07:04:29 ID:IoKA4zt0.net] >>413 ＞ラベリングの微細で精緻な違い そもそもどうラベリングするのか説明してます？ 440 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 18:58:19.75 ID:Jx6VHKGz.net] “もっと説明すべき”といわれてますよね ｢説明が足りないのでは？｣と 暗号技術は誰もが分かってしまえば価値は失くなりますよね 仮にそうした暗号理論としての技術的価値が高いのだとすると、現状のまま理解者が増えない方が、その技術的価値が損なわれないのかも知れませんね 441 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 19:05:36.63 ID:c7S1fDRL.net] NHKのドキュメンタリーの話だけど、 個人的にはやっぱり星さんのコメントが一番見たかったね 彼は今回の番組制作にも陰で関わっているのに顔は出さずにあくまで裏方に徹していたあたり、 やはり師匠からそういう指示がでているんだろうね 彼は半年ほど前も、IUTの正しさを強く確信していると思われるツイートをしていたけど、 絶対に批判派に反論しないのも師匠からの指示としか考えられないね 442 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 19:30:26.91 ID:1mr4js41.net] 勉強してない人に一から教えるのは面倒くさいので教えない 勉強してる人に教えるのは研究で先を越されちゃうかもしれないのでやっぱり教えない 443 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 20:19:52.16 .net] >>420 素人は教えたって理解できないから教えない 玄人は教えたら証明できてないってバレちゃうからそれこそ教えない なんだ嘘つき詐欺師じゃねえか ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!（嘲りまくり） 444 名前：１３２人目の素数さん mailto:sage [2022/04/19(火) 20:21:15.36 ID:dds25QH9.net] >暗号技術は誰もが分かってしまえば価値は失くなりますよね RSA暗号はじめ公開鍵暗号はみんな仕組みが分かってますが、価値を保ってますが。 「誰もが分かってしまえば」価値がなくなるというのも誤解。 暗号化してるつもりでも、一人でも他人が密かに復号できてる状況が一番まずい その時点で暗号としては無価値。 そもそもIUTは暗号理論ではない。 445 名前：１３２人目の素数さん [2022/04/20(水) 07:32:55.87 ID:N6Jzz7Gn.net] ＜NHKスペシャル＞ https://www.nhk.jp/p/special/ts/2NY2QQLPM3/blog/bl/pneAjJR3gn/bp/pzwyDRbMwp/ 数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（前編）2022年4月10日 ワルドシュミット 博士「たし算は、受け継がれるはずの数の遺伝子を、いわば壊してしまうのです。たし算で生まれる数がどんな遺伝子を持つのかは、あらかじめ予測できません。遺伝子をどこまで破壊してしまうのか。破壊の程度を予測する方法はないのか。こうした難しい問題が存在することは、本当に喜ばしいことです」 さらに博士は、興味深い話をしてくれました。数学に、簡単に解くことができない「難問」がたくさんある理由。それは数学の世界に、かけ算だけでなく、遺伝子を破壊してしまうたし算が存在しているからだというのです。 博士は、「あの遺伝子で考えてみれば分かる」というんです。 ａ＋ｂ＝ｃという、たし算を思い浮かべてください。親の遺伝子の形からは、たし算で生まれる子どもｃの遺伝子の形がどうなるか全く見当がつきませんでしたよね。 それに対し、博士の数式の意味をざっくり説明するなら、親であるaとbの遺伝子の情報から、子どもｃの遺伝子がどうなるか、ある程度、予言できるというのです。 例えば、ちょっと難しいかもしれませんが、n個の数をかけ合わせた2のn乗と3のn乗のたし算。子どもの遺伝子の形がどうなるかなんて、想像もつきませんよね。 でも、博士の数式は次のように予言するというのです。 「子どもの遺伝子は、nがどんな数だったとしても、『長さ1の枝しかない』または『長めの枝があったとしても5の位置にしか生えない』。そのどちらかに限られるはずだ」というのです。 この予言、本当に合っているのでしょうか？ 「n」に、いろんな数（５、１０、１５など）を入れて調べてみると･･･、 どうです？博士の数式の予言どおりになっていると思いませんか？ エステルレ博士が偶然見つけた、ちょっと不思議な数式。ただし、この数式が、どんなたし算に対しても正しい予言をするのか。それは博士にも分かりませんでした。そこで博士は、これをａｂｃ予想として数学界に問いかけることにしたのです。 (引用終り) つづく 446 名前：１３２人目の素数さん [2022/04/20(水) 07:33:27.12 ID:N6Jzz7Gn.net] >>423 つづき ここ、小山先生が昨年の「日本一わかりやすい ABC予想」で、ほぼ同じ説明をしていた たし算が、ｎ乗という山の高さｎを崩して、低くしてしまう だから、フェルマーのa^n+b^n=c^n は、n>=3 のときに、整数解を持たないと (参考) https://www.bks.co.jp/item/978-4-8283-0898-2 日本一わかりやすい ABC予想 東洋大学理工学部教授　小山信也 　著 発　行 2021年6月15日 ジネス教育出版社 ABC予想の証明は、いったい何がそんなに「すごい」のか？ 数学がちょっぴり苦手な佑くん、数学が得意な沙耶ちゃん、そして数学雑誌の編集長Zeta先生の会話形式で、数学の超難問で、2020年査読が終わり証明が確定的となったABC予想について、日本一わかりやすく解説します。 《主な目次》 第１話　夏休みの宿題 第２話　「予想」って何？ 第４話　「ABC予想」は役に立つ？ 第11話「ABC予想」はフェルマーよりすごい？ 第21話　イプシロンの役割 第24話　宇宙際タイヒミュラー理論の意義 (引用終り) 以上 447 名前：１３２人目の素数さん [2022/04/20(水) 07:45:21.42 ID:N6Jzz7Gn.net] >>423 追加 ＜NHKスペシャル＞ https://www.nhk.jp/p/special/ts/2NY2QQLPM3/blog/bl/pneAjJR3gn/bp/pBg9n63J4m/ 数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（後編）2022年4月10日 2015年、徹底的に議論しようという国際会議が開かれました。集まったのは、望月博士を正しいと考える数学者たちと、さまざまな疑問で頭がいっぱいの数学者たち。ここで問題となったのが、宇宙際タイヒミューラー理論が出発点とした、あの二つの数学世界でした。全く同じものだと説明される二つの数学世界。 しかしつながりまで考えると、Aの4はBの16につながっているのに� 448 名前：ABの4はAの2につながっています。だったら、二つが同じとはいえない。論理が矛盾しているというのです。 アデレード大学 助教 デイビッド･ロバーツ 博士「望月の理論で奇妙なのは、まず全く同じものだといいながら、次に、それらを完全に異なるものとして扱う点です。数学では同じと見なせるものは同じとするのが原理原則です。同じでありながら同時に異なるものなんてありえるのか、真剣に考えてみましたよ。いやいや、絶対無理ですよね」 デュピー 博士「こんな感じの違和感です。誰かがあるものを持っていて、『それはこれと同じものでもあるし、また同時に異なるものでもある』といったときのような。多くの数学者は、それは『2が4と等しい』といっているようなもので、そんなことをいえば、数学は破綻すると反論したんです」 議論は紛糾。証明の核心へと迫る前に、会議は閉会となりました。 つづく [] [ここ壊れてます]

---

---

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

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