20/04/13 18:16:50 y67whNyF.net
>>612
あなたのいう機械って何。
646:１３２人目の素数さん
20/04/13 18:17:24 dqNdeGIH.net
>>612
ここに書き込まれるより
望月先生のブログで指摘されてはいかがでしょうか
647:１３２人目の素数さん
20/04/13 18:19:54 TnD+4OAc.net
コンピュータによる証明検証だよ。
今はそれが可能。
近い将来
「証明がわかる」ということを、コンピュータで証明可能な書き下しをすることを意味するようになるだろう。、
「証明になっている・なっていない」の押し問答でエネルギーを無駄に消費するのは意味がないから。
648:１３２人目の素数さん
20/04/13 18:21:31 Lx5viamn.net
数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、
有名なゲーデルの不完全性定理で証明されているんですよね
だとしたら、ある数学理論が無矛盾であることの調査は、
コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の
再現を試みさせてみて、すごーーーーく長い時間（人力なら10000年分とか）
理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を
発見できなさそうなほどの無矛盾な数学理論って主張できるって方針
で行うんですかね？
もちろん、矛盾探索アルゴリズムに不備がないことを何等かの検証をしつつ
どういうアルゴリズムでどういう検証なのかよくわかんないですけどｗ
649:１３２人目の素数さん
20/04/13 18:22:54 TnD+4OAc.net
望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。
これだからアジアンは、って言われないことを希望するよｗ
650:１３２人目の素数さん
20/04/13 18:27:39 vWi06T7g.net
>>608
現役の遠アーベル専門家の玉川さんとたまたま担ぎ出された御大では全く違うし、御大に責任を
問う必要はない
651:１３２人目の素数さん
20/04/13 18:28:16 Ot14yWWM.net
>>557
ももクロとは比較しないでいただきたい
BABYMETALは文字通り桁違い
唯一世界でブレイクしたスター
ももクロはBiSHにすら追い抜かれたヘタレ
世界で全く通用しないからこうなってる
Reddit（世界最大の掲示板）
コミュニティーのメンバー数(2020年4月9日)
BABYMETAL 26292
AKB 5483
BAND-MAID 3968
Perfume 3796
さくら学院 3568
Aimar 2848
ONE OK ROCK 2410
きゃりーぱみゅぱみゅ 1874
乃木坂 1350
宇多田ヒカル 994
モーニング娘 974
欅坂 787
X JAPAN 578
嵐 576
ヨルシカ 519
マキシマム �
652:U ホルモン 479 LiSA 419 BiSH 377 ももクロ 345
653:１３２人目の素数さん
20/04/13 18:29:29 Oetq8pjs.net
>>612
> 望月応援団は機械で検証できる証明を提示していない。
> ゆえにギャップのない証明は存在しない。
未だかつて普通の数学者(Mac Laneの教科書のタイトルにある“working mathematicians”の意味で）が
機械つまりコンピュータで検証できるレベルの証明を提示したことなんて一度としてない
Coqのようなコンピュータ上の証明検証システムで検証できる証明を提示していないのがNGというのならば
フィールズ賞やアーベル賞の受賞者全員から賞を剥奪しないといけなくなる
654:１３２人目の素数さん
20/04/13 18:34:43 vWi06T7g.net
>>611
個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
655:１３２人目の素数さん
20/04/13 18:35:26 TnD+4OAc.net
>>622
ケプラー予想の証明はこの度機械で検証した。
査読者は99％正しいとといっていたが、残り1％の可能性を消すためにも必要だったのだろう。
今までの数学の確立された業績で、証明に疑問のあるものは存在しない。
望月のは現に異議存在する以上機械で検証にかけるよう求めるのは当然だろう。
656:１３２人目の素数さん
20/04/13 18:43:57 E/8DKtpa.net
ケプラー予想の機械検証は提出者本人が主導してる。
逃げ回ってるRIMSとは真逆の対応。
657:１３２人目の素数さん
20/04/13 18:44:52 Lx5viamn.net
コンピュータなんて結局1と0の二進数演算してるだけで、アルゴリズム書くのは今のところ
でも、モンテカルロ法で「でたらめな」数学オブジェクト？を文字どうり「テキトー」に
組合せてみた記号列（文字列の文字の代わりに数学記号の組み合わせ）を乱暴にも公理と
見立ててマシンパワーつかって頭から矛盾性を検証する。もちろん、ほとんどのでたらめな
記号列は最初の一回の検証でNG判定になるので次の記号列を試す。
まったくの「テキトー」だと時間がかかりすぎて無駄なので、既存の数学理論に数学者の
直感で当たりをつけて初期条件に多少の作為を入れる。
たとえばユークリッド幾何学公理系なら第5公準に当たりを付けて何通りかいじくる
あるいは、機械学習かエキスパートシステムを使って、他の数学理論がブレークスルーした
ときの発想をパターンで覚え込ませたり、教師付き学習させて、すべてランダムな試行錯誤
に多少インテリジェンス性をもたせる。
こうやって基本的にはランダムな数学オブジェクトの組み合わせを総当たりかすこし
入れ知恵を加味した探索をさせて、コンピュータが無矛盾そうな数学理論を発見すること
「待つ」。
量子コンピュータのように破格のマシンパワーをつかえば、見通しの良い初期条件や、
入れ知恵や探索アルゴリズムや矛盾判定プログラムのセンスが良ければもしかしたら、
機械が新しい数学理論を自動で発見して、ある程度の検証までしてくれるかもしれない。
よくわかんないけど。
すいません数学の素人です。
機械学習で
658:１３２人目の素数さん
20/04/13 18:57:43.10 TnD+4OAc.net
最近の一流の棋士は将棋ソフトで学ぶそうだが、
もうすぐ数学者たちも機械にセンスを学ぶようになるだろう。
659:１３２人目の素数さん
20/04/13 18:58:14.02 Lx5viamn.net
>>623
>個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
>ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
「基本的な問題意識」の定義がわかりません。
もしかして数学者の研究動機をあなたの個人的な哲学で制限しようとしてますか？
「強い理論」の定義がわかりません。
現代残っている数学理論は矛盾が発見されていない理論またはさしあたり矛盾が見つからなさそうと数学者たちから考えられてる理論ですよね？
数学は専門外なのでよくわかんないんですけど。
660:１３２人目の素数さん
20/04/13 19
661::01:57 ID:R2NiC+iT.net
662:１３２人目の素数さん
20/04/13 19:02:05 dqNdeGIH.net
>>619
そうなら良いですね
「アジアンだから」の欧米からの塩対応でなければ倫理的には問題無しですもんね
663:１３２人目の素数さん
20/04/13 19:09:47 sx2gcUJv.net
508, 528-530, 560, 562, 569, 594あと野暮天さんは真相を語っている気がしますね
my5S7sSzは消えてくれないかな
664:野暮天
20/04/13 19:32:46 ukZx7597.net
>>621
すまんかった ももクロは個人的には好きなグループじゃがな
BiSHはよう知らんのじゃ BiSは知っとるが
テラシマユフは脱北できてよかったのう
Redditでさくら学院が上位に来とるのう
今お薦めのコは広島から来たスーパールーキーの戸高美湖（元 革命少女）じゃ
あ、もう二年目になったからルーキーじゃないか
665:野暮天
20/04/13 19:35:55 ukZx7597.net
>>631
＞my5S7sSzは消えてくれないかな
見栄坊自身のためにもそれがよいじゃろう
数学書を山ほど買い込んでもちっとも読みもせんとか無駄じゃろう
さっさと全部売り払って、山でトマトでもつくったらよかろう
グロタンディクみたいに
666:野暮天
20/04/13 19:41:39.16 ukZx7597.net
＞これだからアジアンは
それはないじゃろ
岡潔はともかく、S.S.Chern（陳省身）も小平も認められたんじゃから
667:１３２人目の素数さん
20/04/13 19:42:03.19 Ot14yWWM.net
iTunesアルバム ワールドワイド(最新アルバム)
BABYMETALが日本の頂点である
ワールドワイドに人気の無いアーティストは下位となる
Worldwide iTunes Album Chart
1位 BABYMETAL - METAL GALAXY 2019/10/11
2位 宇多田ヒカル - 初恋 2019/06/27
4位 ONE OK ROCK - Eye of the Storm 2019/02/15
4位 The GazettE - Ninth 2018/06/13
10位 BAND-MAID - CONQUEROR 2019/12/04
19位 DIR EN GREY - The Insulated World 2018/09/26
28位 RADWIMPS - Weathering With You -Complete Version- 2019/11/26
31位 coldrain - THE SIDE EFFECTS 2019/08/28
34位 ヨルシカ - Elma 2019/08/28
36位 錦戸 亮 - Nomad 2019/12/11
39位 ずっと真夜中でいいのに。 - 潜潜話 2019/10/28
40位 LUNA SEA - Cross 2019/12/18
45位 King Gnu - CEREMONY 2020/01/16
47位 Official髭男dism - Traveler 2019/10/09
48位 Poppin'Party - イニシャル/夢を撃ち抜く瞬間に 2020/01/08
54位 あいみょん - 瞬間的シックスセンス 2019/02/13
54位 Toshl - Im a Singer Vol. 2 2019/11/21
54位 藤井 風 - 何なんw 2020/01/23
55位 Perfume - Perfume the Best "P Cubed 2019/09/18
57位 GLAY - No Democracy 2019/10/02
57位 浜崎あゆみ - M()DE IN JAPAN 2016/06/29
58位 サカナクション - 834.194 2019/06/18
59位 Crossfaith - EX_MACHINA 2018/08/01
668:野暮天
20/04/13 19:49:40.53 ukZx7597.net
>>635
宇多田ヒカルを抜いたのか�
669:H！ そりゃスゲェ！！！
670:１３２人目の素数さん
20/04/13 19:49:41.71 DYqPl9DE.net
>>611
>もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
>理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。
>数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。
どうも
その感じよく分かります
ところで、数学にも、モデル理論があります
逆数学：数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラム
こういうのを知ると、数学の厳密性が、20世紀のそれと21世紀とでは、異なっていることが分かりますよ（＾＾；
参考
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録 第2050巻 2017 48-56
1 980年代半ば,米国中西部のモデル理論,そして未来 モデル理論賛歌 板井 昌典 東海大学 理学部 情報数理学科
筆者のモデル理論研究との関わりを中心に,モデル理論の過去30年の進化について解説する.
米国でモデル理論研究を開始する契機を与えて下さった角田譲先生にあらためて感謝いたします.
1 はじめに
モデル理論研究を始めることになったのは 「偶然」 であった.1983年3月に神戸大学大学院を修了したのち米国の複数の大学院への入学を希望していた.いろいろ曲折はあったが,米国イリノイ大学シカゴ校への入学が決まったのは,1983年の夏であった.
実は,この時点ではモデル理論のことも,その後大変お世話になる John T Baidwin のことも何も知らない状態であった.振り返ってみれば,1980年代半ばに米国中西部でモデル理論研究を始めることが出来たのは実に幸運であった.
拙稿は,講究録の通常の論文とは異なり,個人史的観点からの 「モデル理論」 論であり,過去30年間のモデル理論発展の全体を網羅しているものでないことを予めお断り しておく.
前置きはこれく らいにして本題に入ろう
URLﾘﾝｸ(ja.wikipedia.org)
逆数学
(抜粋)
逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである
逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる
671:野暮天
20/04/13 19:52:09.03 ukZx7597.net
>>637
見栄坊よ おぬしの職場 まだ社員を出勤させとるのか
5chに書き込みするだけの社員とか 出勤させる意味なかろう
672:野暮天
20/04/13 19:55:03.41 ukZx7597.net
>>637
＞数学にも、モデル理論があります
数理モデルのモデルと、モデル理論のモデルが
同じじゃと思うヤツをはじめてみたわい
定義を確認せんヤツはこれじゃから困るのう
673:１３２人目の素数さん
20/04/13 19:56:44.17 sMk8UGpY.net
望月の証明は正しい。
ショルツの指摘は正しい。
つまり、3.11から3.12は導かれるとも、導かれないとも言える。
ＡＢＣ予想は証明できたとも、証明できていないとも言える。
俺が前々から言ってるように、ＡＢＣ予想は決定不能な命題なんだぜ。
674:野暮天
20/04/13 19:59:14.47 ukZx7597.net
>>618
もし、ショルツが「IUTは矛盾している」と主張しているなら
その証明責務はショルツにあるじゃろうな
しかし、ショルツがいってるのは
「系3.12について、望月の方法では証明できそうもない」
ということじゃから、証明になっていることを示す責務は望月にある
675:野暮天
20/04/13 20:01:23.87 ukZx7597.net
>>640
もしABC予想が決定不能問題なら
望月の証明は間違ってることになるのう
望月とショルツの主張が両立することはない
676:野暮天
20/04/13 20:03:47.24 ukZx7597.net
もし見栄坊が望月を応援する行動が
「オリンピックで日本人選手を応援する行動」
と同じじゃとしたら
数学には全く興味がないっちゅうことじゃのう
数学者にとって、ある問題を解いた人が
自国の人間か否かはどうでもええことじゃ
677:１３２人目の素数さん
20/04/13 20:03:58.86 ZctrM3uq.net
>>640
ゴミクズは黙ってろ
決定不能なら証明したではなく決定不能が答えだ
678:１３２人目の素数さん
20/04/13 20:06:43.00 ZctrM3uq.net
日本はもうダメだな
この望月関連で確信した
数学がこの体たらくならもう日本に未来はないね
679:野暮天
20/04/13 20:07:44.55 ukZx7597.net
ところで、この次のスレは数学板じゃのうて
ニュー速板にでも立てたらどうじゃろう？
どうせ数学の話などできんのじゃろう？
680:１３２人目の素数さん
20/04/13 20:11:00.99 B1CiQ8tU.net
abc予想が正しいと思えない
681:野暮天
20/04/13 20:13:29.17 ukZx7597.net
>>645
＞日本はもうダメだな
わしはコロナの件でそう確信したがのう
検査はせん 補償は出さん 下らん動画はのせる
この国の首相は国民を蔑ろにしとる
URLﾘﾝｸ(www.instagram.com)
これが民主主義か？
こんな民主主義ならもういらんじゃろ
議会制は根本的に間違っとる
682:１３２人目の素数さん
20/04/13 20:17:23.81 vWi06T7g.net
>>645
少なくとも望月やらショルツやらこの件に関わってる数学者なんかごく一部だからな
目立つからって全てであるかのように扱うのはおかしい
683:１３２人目の素数さん
20/04/13 20:17:50.72 y67whNyF.net
盲人象をなでる以前かと
684:１３２人目の素数さん
20/04/13 20:20:20.61 B1CiQ8tU.net
みんなすごいと言ってるけど何がどう凄いのか全然わからない
すごいからすごい
685:１３２人目の素数さん
20/04/13 20:21:19.78 vWi06T7g.net
>>628
それについて具体的に述べるのは勿体ないから言わないw
686:野暮天
20/04/13 20:21:43.48 ukZx7597.net
今に日本でも感染爆発がおきる
検査しとらんのじゃからそこらに潜在的感染者は山ほどおるじゃろ
貧困層を中心に死者が出るのは目に見えている
みんな今の政権の富裕層優遇政策のせいじゃ
だれが本当に働いてるのかわかっとらんな
金持ちは金だけ持っててもちっとも働きもせん
働くヤツがおらなくなったら金なんか無意味じゃ
所得分布 資産分布について全く言及できない
経済学は根本的に無意味じゃな
687:１３２人目の素数さん
20/04/13 20:23:02.19 DYqPl9DE.net
>>648
648 名前：野暮天[sage] 投稿日：2020/04/13(月) 20:13:29.17 ID:ukZx7597 [63/63]
[63/63]か、暇人だなｗ（＾＾；
688:１３２人目の素数さん
20/04/13 20:23:34.65 DYqPl9DE.net
>>653
ID:ukZx7597 [64/64]か
暇人だなｗｗ
689:野暮天
20/04/13 20:27:04 ukZx7597.net
＞暇人だな
うらやましいか？
おぬし 仕事やめたらよかろう
どうせ職場でも５ｃｈにかきこみするだけじゃろう
まさにデヴィッド・グレーバーのいう🐄💩仕事じゃな
690:野暮天
20/04/13 20:30:15 ukZx7597.net
>>656
＞デヴィッド・グレーバーのいう🐄💩仕事じゃな
いかんいかん、正確には🐂💩仕事らしい
691:１３２人目の素数さん
20/04/13 20:30:37 B1CiQ8tU.net
たかだか有限個のたかだかって何？
数学者特有の言い回し？
692:１３２人目の素数さん
20/04/13 20:43:17.16 DYqPl9DE.net
>>657
おサル、今度は”野暮天”名か
クスリ変わったかのか？ ｗ（＾＾；
693:１３２人目の素数さん
20/04/13 20:44:31.66 DYqPl9DE.net
>>659 訂正
クスリ変わったかのか？ ｗ（＾＾；
↓
クスリ変わったのか？ ｗ（＾＾；
ロリっちまったな
分かるとおもうが（＾＾
694:野暮天
20/04/13 20:46:32.13 ukZx7597.net
>>659
見栄坊は、サイコパスに効く💊が無くて残念じゃのう
695:野暮天
20/04/13 20:53:21.03 ukZx7597.net
さてそろそろBS-TBSの酒場放浪記でも見るか
696:１３２人目の素数さん
20/04/13 21:12:07.66 rJ1EYo/f.net
math_jin
697:という方が、やたらと、ショルツが読めないと言っている Cor 3.12の説明は、望月のどこそこ、星のどこそこ、山下のどこそこ に書いてあるとツイードしているが、math_jin自身は読めているから そういうツイードをしているのでしょうか。自分が読めないのに なんでそんなツイードが可能なのだろう。
698:１３２人目の素数さん
20/04/13 21:22:47.83 fhSCJULt.net
>>663
なんでこのスレにそれを書くんだ
直接言ってこいよチキンが
699:１３２人目の素数さん
20/04/13 21:23:00.01 vWi06T7g.net
>>663
ショルツはIUTでやりたいことも最低限は理解してる
仕組みをわかった上でおかしいと言ってる。論争は普通の数学者からすればSSが有利だが、
別に誰も全否定はしてない。説明できるまで認めないよ、という状態。アンチとか関係なくWoitの言う通り
まあ現状これ以上ああだこうだ言うのは確かに無駄だろう。アクセプトしたからって正しい前提で
見てくれるほど甘くはないってこと
700:１３２人目の素数さん
20/04/13 21:25:45 vvVnRe9y.net
読めるならWoitのブログのコメントに対して何か反論するだろう
701:１３２人目の素数さん
20/04/13 21:34:59 y67whNyF.net
>>665
普通の数学者って誰のこと?
そもそも、シュルツに対しての望月の返答が放置されてる時点で
外径的にはSSが不利に見えるが。
702:１３２人目の素数さん
20/04/13 21:46:09 xkqYGVs+.net
ジョン・コンウェイがコロナで亡くなったね
2020年4月11日、2019新型コロナウイルス（COVID-19）が原因で死去。82歳没。
703:１３２人目の素数さん
20/04/13 22:05:43 GJRuKvRa.net
モッチーの反論に再反論せずに、査読完了まで何やってたん？ｗ ショルツさん
704:１３２人目の素数さん
20/04/13 22:22:54 2GaqU2jz.net
>>668
マジか…もう一つぐらい面白い有限群本を書いてほしかった
ご冥福をお祈りいたします
705:１３２人目の素数さん
20/04/13 22:45:15.10 gu1owv/0.net
ショルツはRemark5で赤っ恥間違い、そして望月再反論に対しだんまり
706:１３２人目の素数さん
20/04/13 22:50:33.55 vWi06T7g.net
>>667
普通の数学者とは、SSレポートと望月レポートを比較する者のこと
それは多くて千人いそうだが、論文まで読んでるのは百人いるかどうか
勿論望月が正しい可能性自体はゼロじゃない
707:野暮天
20/04/13 22:51:00.15 ukZx7597.net
誤 ツイード
正 ツィート
綴り確認しような 坊や
708:◆QZaw55cn4c
20/04/13 22:53:35 2HELtJr7.net
>>668
ライフゲームの人ですか！
709:１３２人目の素数さん
20/04/13 22:55:18 y67whNyF.net
>>672
日本でSS支持してる人いる?
海外に数人しかいないと思うが。
それに、議論の経緯だけ見たら、SSの分が悪いけどな。
710:１３２人目の素数さん
20/04/13 23:02:36 vWi06T7g.net
>>675
それはただの印象論じゃん。議論の経緯ってレポートの構造論を比較することよ？
あと、SSを完全支持するのとIUTに懐疑的なのは近いけど別の話だから
711:１３２人目の素数さん
20/04/13 23:04:42 y67whNyF.net
>>676
いやそもそも批判になってなかったんよ。
レポートが。
だから、すれ違いになってたので、
再批判が不可欠だったのにしなかった。
712:１３２人目の素数さん
20/04/13 23:06:34.74 vWi06T7g.net
>>671
コミュニティが公にSSレポートの誤りを認識しない理由は何だと思う？
単純に望月が望月レポートで否定してるから？
713:１３２人目の素数さん
20/04/13 23:06:57.98 ijj1CEvS.net
>>663
マジレスすると過去スレの書き込みをそのまま呟いてるだけ
math_jinに内容を理解する能力はない
URLﾘﾝｸ(archive.is)
その証拠に、奴は「Corollary 3.12に関する説明は、山下剛氏のサーベイでは358ページ」と言っているが、これは間違い
正
714:しくは359ページから360ページ http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf
715:１３２人目の素数さん
20/04/13 23:09:38.86 y67whNyF.net
>>678
SSの誤りを指摘するのと、
望月の誤りを指摘しないのとは
後者の方が本質的だからでは。
716:１３２人目の素数さん
20/04/13 23:12:15 ijj1CEvS.net
奴が呟いてる写真(GoサーベイのRemark 13.13.2)は
Θ標対象の対数体積の計算方法を述べている部分であって
Corollary 3.12そのものの説明部分ではない
URLﾘﾝｸ(archive.is)
717:１３２人目の素数さん
20/04/13 23:13:20 vWi06T7g.net
>>677
根拠は？まさかあんたまでremark5？w
718:１３２人目の素数さん
20/04/13 23:13:26 DYqPl9DE.net
>>588 訂正
１．量子力学の確率解釈を支持したパウリ一派
↓
１．量子力学の確率解釈を支持したボーアなどコペンハーゲン 一派
「パウリ一派」は、不適切でした
慎んでお詫びと訂正を致します ｍ（＿＿）ｍ
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
ニールス・ヘンリク・ダヴィド・ボーア（デンマーク語: Niels Henrik David Bohr[1]、1885年10月7日 - 1962年11月18日）は、デンマークの理論物理学者[2]。量子論の育ての親として、前期量子論の展開を指導、量子力学の確立に大いに貢献した。王立協会外国人会員。
エルヴィン・シュレーディンガーが波動力学を発表したときには、コペンハーゲンに招きよせ、討論に疲弊して倒れたシュレーディンガーの病床で議論を続けたことは有名である。アルベルト・アインシュタインが量子力学に反対するようになると、尊敬するアインシュタインとも論争を続けて説得しようとした。
ボーアは、量子論の解き明かした粒子と波動の二重性、位置と速度の間の不確定性などの世界像を「相補性」と名付け、後半生には量子物理学と東洋哲学に類似性があるとして東洋哲学、特に易経を研究していた。
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
コペンハーゲン解釈（コペンハーゲンかいしゃく）は、量子力学の解釈の一つである。
量子力学の状態は、いくつかの異なる状態の重ね合わせで表現される。このことを、どちらの状態であるとも言及できないと解釈し、観測すると観測値に対応する状態に変化する（波束の収縮が起こる）と解釈する。
「コペンハーゲン解釈」という名称は、デンマークの首都コペンハーゲンにあるボーア研究所から発信されたことに由来する。
719:１３２人目の素数さん
20/04/13 23:14:33 y67whNyF.net
>>682
違うよ。望月の反論。
720:１３２人目の素数さん
20/04/13 23:17:21 vWi06T7g.net
>>684
というと？望月を信じる、というだけなのかあなたなりの解釈があるのかどっち？
721:野暮天
20/04/13 23:18:04 ukZx7597.net
夜になると胡散臭いヤツが現れるのう
722:野暮天
20/04/13 23:19:02 ukZx7597.net
日本人だというだけで望月を支持する人は
数学には興味ないんじゃろう
723:１３２人目の素数さん
20/04/13 23:22:11 GJRuKvRa.net
ID:ukZx7597
↑
終日わいてる胡散臭いヤツ
誰も興味ない国籍の話してるはコイツ
724:野暮天
20/04/13 23:22:19 ukZx7597.net
math_jinも見栄坊と同じ穴の貉じゃろうな
数学をオリンピックと勘違いしてる素人
数学に興味ない人は数学をなめとるんじゃな
725:野暮天
20/04/13 23:23:09 ukZx7597.net
>>688
図星を突かれると吠える狂犬には困ったもんじゃ
726:１３２人目の素数さん
20/04/13 23:26:22 GJRuKvRa.net
ID:ukZx7597
↑
嫌われてるってこと
727:だよ、去れ
728:野暮天
20/04/13 23:31:31.98 ukZx7597.net
>>691
図星を突かれると吠える狂犬には困ったもんじゃ
729:野暮天
20/04/13 23:33:31.12 ukZx7597.net
＞モッチーのIUTは未来を開く数学やぞ
「紅衛兵」には困ったもんじゃ
730:１３２人目の素数さん
20/04/13 23:46:43 a7oAoHHg.net
もっちー
コロナ対策で一人住まいなのに家でもマスクしてそう
731:１３２人目の素数さん
20/04/13 23:46:49 vWi06T7g.net
>>680
論外
数学コミュニティが前者を軽視するはずがない
ところが公には、越川すらremark5はおかしいと言わない。つまり大した間違いじゃないってこと
732:１３２人目の素数さん
20/04/13 23:47:45 a7oAoHHg.net
もっちーがしゃべらないからBさんがしゃべりまくってるな
733:１３２人目の素数さん
20/04/13 23:52:52 ZIW7OSQQ.net
今の問題ってさ、この論文の“同義反復的な解決”って奴が受け入れられてないんでしょ？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(lecture%20note%20ban).pdf
734:１３２人目の素数さん
20/04/14 00:15:14.38 KBbdfDDX.net
>>697
これ見たら小学生でもわかるわ
URLﾘﾝｸ(special.sankei.com)
735:１３２人目の素数さん
20/04/14 00:18:16.80 6pxMDvbr.net
まあ研究集会が終われば大勢が判明する
736:１３２人目の素数さん
20/04/14 00:26:50.68 JNHc90j6.net
研究集会できるのかな。
737:１３２人目の素数さん
20/04/14 00:41:37 IrY4eK9l.net
仮に開催しても欧州、米国、アジアからの参加者がいなさそう
738:１３２人目の素数さん
20/04/14 00:42:55 IrY4eK9l.net
もっちーもUber Eatsでしのいでるんだろうか？
まさかわずか三ヶ月かそこらでこんな戦争みたいな世の中になるとは思わなかったな
739:１３２人目の素数さん
20/04/14 00:44:12 FJ+FFLkg.net
掲載はいつごろの予定なの？
740:１３２人目の素数さん
20/04/14 01:31:05.56 sg8godhv.net
もっちーって家族いないの？
741:１３２人目の素数さん
20/04/14 01:32:38.65 KBbdfDDX.net
>>704
新垣結衣はお嫁さん候補としてベストだな
742:粋蕎 ◆C2UdlLHDRI
20/04/14 02:20:51 x0tX+KLS.net
新型コロナウイルス病毒で発見物取ゲームと超現実数で有名なコンウェイ氏が亡くなったと
雑談スレで聞かされた。陳痛じゃが御冥福を御祈り申し上げる｡
743:１３２人目の素数さん
20/04/14 02:31:12 KBbdfDDX.net
100年前のスペイン風邪のパンデミックによる著名人の死者
竹田宮恒久王（皇族）
末松謙澄（政治家、元内務大臣）
徳大寺実則（公爵、元内大臣）
辰野金吾（建築家）
島村抱月（劇作家）
大山捨松（女子教育者、元老大山巌夫人）
折田彦市（教育者、元第三高等学校（現在の京都大学前身）校長）
村山塊多（画家）
西郷寅太郎（軍人）
ギヨーム・アポリネール（文学者）
マックス・ヴェーバー（政治学者）
グスタフ・クリムト（画家）
エゴン・シーレ（画家）
ヤーコフ・スヴェルドロフ（政治家、全ロシア中央執行委員会（ロシア語版）議長）
エドモン・ロスタン（劇作家）
744:１３２人目の素数さん
20/04/14 03:15:23.25 SoWSg2rl.net
Woitのブログは、そろそろ閉まりそうな流れですかね。
Woitは「理論のギャップは特定されているのに、著者らは認めることを拒否しており、このような状況で議論を費やせない」のように書き始めてますね。
これにDupuyは” I kind of felt like Peter W.’s comments were a call
745:to close the dialogue."と書いて、打ち切りされそうな前に、 Scholzeのギャップの議論について、矛盾点を突っ込んで、特定するには至ってない(meta argument)と書き込んだね。
746:１３２人目の素数さん
20/04/14 03:25:55.36 cqO7hgv8.net
数学界からの事実上の追放ムードが漂ってますね。
747:１３２人目の素数さん
20/04/14 03:39:19.20 7Aprh3ql.net
何でこういうのにpolymath使わないんだろうね
結局よくわからないがほとんど誰も証明を理解してないって話になるのか
748:１３２人目の素数さん
20/04/14 03:43:32.75 o2y5SfaS.net
>>710
polymathってなんぞ
749:１３２人目の素数さん
20/04/14 04:14:22 x0tX+KLS.net
沈痛じゃった遺憾。陣痛は弟の嫁、困ったのう此のパニック下で｡
750:１３２人目の素数さん
20/04/14 04:24:14 G3rA8umE.net
>>269
いつまで待つの？
↓
>では
特別号で編集委員名と投稿規定と
編集規定をお願いします
751:１３２人目の素数さん
20/04/14 04:30:31 dVxOzZQx.net
そもそも何でブログで「議論」しているつもりになっているのかわからないけどな
一方の当事者いない状態では議論なんて最初からできるわけない
ScholzeもDupuyもブログに書き込むべきじゃないし、
Woittに至っては身の程知らずにもほどがある
結局Scholzeをレフェリーにして査読やり直ししか問題解決にはならないよ
752:１３２人目の素数さん
20/04/14 05:05:23.04 7Aprh3ql.net
>>714
いや、本当にショルツが十分反証できるのか話を洗練させる意味はあるし、Dupuyが思ったより
わかってなかったことが明らかになったのも有意義
あくまで数学的内容の話だから、別に当事者いなきゃ全て無意味ってわけじゃない
753:１３２人目の素数さん
20/04/14 06:09:01.84 Uie7cPX9.net
>>712
４月１４日～１５日までの
お生まれなら。。。
１４星座ではﾓｯﾁﾝと同じ。。。
🐳⭐くじら座🐳💕
になりますね。。。
１４星座では１番興味深い星座です。。。
母子ともにご健やかであります様に。。。🍀*゜
754:１３２人目の素数さん
20/04/14 06:11:46.89 Uie7cPX9.net
>>716
↑訂正↓いたします…
＞ご健やか
✨お健やか✨🍀
755:１３２人目の素数さん
20/04/14 06:20:24.66 wND5Nn81.net
>>702
バイオ兵器使用時(ウイルス戦)にも基本的には同じ対策が有効でしょうから、パンデミック下に進行する諸事態は関係機関各所で参考にされるんでしょうね
756:１３２人目の素数さん
20/04/14 07:09:18 JNHc90j6.net
>>718
これ、バイオ兵器でしょ。
情報隠したんだから。
757:１３２人目の素数さん
20/04/14 07:13:59 7/dFQfBL.net
数学版もレベル下がったな。自分の研究進めろよ
758:１３２人目の素数さん
20/04/14 07:22:15 JNHc90j6.net
>>714
ショルツにレフリーは務まらないよ。話が噛み合ってないどころか、
返答を放置するなど十分に誠実な対応してるとは言い難い。
759:１３２人目の素数さん
20/04/14 07:25:30 7Aprh3ql.net
ショルツの最新の反論は、部分的にはワンチャンあるって感じではあるが
トータルで見たらやっぱり間違いだという主張だな。相当自信あるなやっぱり
760:粋蕎 ◆C2UdlLHDRI
20/04/14 07:32:39 x0tX+KLS.net
抜かったわ…
「ご冥福をお祈りします」を使ってはダメ？ほかの言い回しとは？｜小さなお葬式
URLﾘﾝｸ(www.osohshiki.jp)
761:１３２人目の素数さん
20/04/14 07:33:17 7Aprh3ql.net
>>721
だから、噛み合ってないのはむしろ望月側の反論だってのがショルツの見解なんだって
ちゃんとその辺最新コメントで論点整理してるわ
762:不定性の議論が一般論的に有意義でありえても、少なくともIUTが正しいようには見えないと改めて言ってる あまり譲歩しそうな感じではないね
763:１３２人目の素数さん
20/04/14 07:42:11 JNHc90j6.net
>>724
だから、噛み合ってないというのは両方があってそういう状態になるので、
それが、まさに噛み合ってない状態だよ。
その、議論のギャップが埋められてないだから、生産的な議論になってないし、
そもそも、議論から逃げてんじゃん。
話にならん。
764:１３２人目の素数さん
20/04/14 08:20:34 RK8zb15/.net
はじめて解析接続に触れた時にこんなのアリかって思ったけどその、感覚に近いのかな
それでショルツ的には無しとなったと
765:１３２人目の素数さん
20/04/14 08:27:58 6N8V40pW.net
>>704
ぼっちーもっちーだよ
数学ナード人生だったみたい…
ゲイなのかな?って思ってたら
ドルヲタ拗らせちゃってるみたいだから、あってもトランスぐらい…?
…もう５１歳なのに…
「…ガッキー可愛ｅ💗…」
とか仰ってる場合じゃないのにな…と…
766:１３２人目の素数さん
20/04/14 08:51:31 JM86L/WY.net
今後はRIMS関係者ですらIUT論文の引用はしないだろうが
時既に遅し・・・
RIMSは全員が集合論を勘違いしていて
PRIMSは集合論を勘違いした研究者が査読してるという認識を持たれているから
所属がRIMSだとか投稿先がPRIMSというだけで他の研究者からは村八分よ
767:野暮天
20/04/14 08:57:40 KeVcPD0N.net
ｽﾚﾘﾝｸ(math板:48番)
>「ショルツ氏が間違っていて、正しいのはＲＩＭＳ（含む）＆英Ｆ＆米Ｄ、Ｊ」
>という仮定を置けば
自己中心的なネットウヨクと同じじゃな
「反日外国人が間違っていて、正しいのは日本人とそれを支持する親日外国人」
という仮定の底にアロンアルファを塗りたくって床にくっつけるヤツ
哀れじゃのう 国家を狂信しても国家に殺されるだけじゃろうに
ま、仮定から矛盾が導かれれば、仮定が否定されるだけじゃ
それが背理法じゃからのう
768:野暮天
20/04/14 09:00:26 KeVcPD0N.net
>>727
>「…ガッキー可愛ｅ💗…」
昔は💩ガキだったようじゃ
URLﾘﾝｸ(xn--r8jwmybtf1e156q0uov96ggnm.jp)
IUTを象徴しておるようじゃのう
769:１３２人目の素数さん
20/04/14 09:04:51 G3rA8umE.net
村八分というよりIUT汚染の封じ込め
でしょ。
770:野暮天
20/04/14 09:05:31 KeVcPD0N.net
乃木坂一期主力メンバーの幼少期写真
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
誘拐するなら
?＞?＞その他
の順じゃな
771:心太
20/04/14 09:13:48 SrqUaQtE.net
>>730
野暮天様は🌸ガッキーさま🌷は
おﾀｲﾌﾟじゃなぃんですか…?
…もぅ👴おじいちゃん。。。
ってほんとなんですか…?
…まさか…
…ﾑｽｺさんが先に寝たきりに…?…
772:野暮天
20/04/14 09:13:54 KeVcPD0N.net
乃木坂メンバーの幼少期写真
URLﾘﾝｸ(sakamichijyoho46.blog.jp)
この中じゃったら
お＞J＞その他
じゃな
J は今テレ朝の女子アナやっとるな
URLﾘﾝｸ(www.tv-asahi.co.jp)
お は「顔だけなら最強メンバー」といわれたあのコじゃろう
URLﾘﾝｸ(www.excite.co.jp)
PはSU-METALの姉
773:じゃが・・・ゴメン、フツウじゃ
774:１３２人目の素数さん
20/04/14 09:14:50 7xw+tROW.net
>>728
RIMSが全員集合論を分かってないのは間違いないが、
文元が既存の公理の上ですって言ってるから、IUT4章の3節辺りだっけ？以降はカットなのではないかと
であれば、査読者は集合論に関しては何も触れてないので勘違いしてるとは言えないということになる
775:野暮天
20/04/14 09:22:19.92 KeVcPD0N.net
乃木坂メンバーの幼少期写真
URLﾘﾝｸ(nogizakaotaku.blog.jp)
１の左のつぶらな瞳の美少女がのちのSU-METALじゃ
やはり小さい頃から美少女じゃのう😄
右が姉のひめたんじゃが・・・フツウじゃな
で、後ろの半分見切れておるのが、一番上の姉
・・・見なかったことにしておく
776:心太Ｋ事
20/04/14 09:24:30.28 SrqUaQtE.net
逮捕しますたー！◎>>732◎
777:野暮天
20/04/14 09:29:44.93 KeVcPD0N.net
ザンコクな千原せいじｗ
URLﾘﾝｸ(babymetalmatome.com)
778:心太
20/04/14 09:30:52.95 SrqUaQtE.net
爺さんがﾑｽｺさんに先立たれて
良かったのかも知れなぃ…
犠牲者を出さずに済みそぅ…?…
779:１３２人目の素数さん
20/04/14 09:34:02.98 KBbdfDDX.net
＜NG野郎＞
ID:jmK8b/PK
ID:OlsRjmnt
ID:ijoqd/ZI
ID:ukZx7597
ID:KeVcPD0N ← いまコレ
780:野暮天
20/04/14 09:34:41.51 KeVcPD0N.net
>>739
＞ﾑｽｺさんに先立たれて
ちん太殿は現役かのう
じゃ、ワシはちょっと遠方へ・・・
URLﾘﾝｸ(natalie.mu)
781:１３２人目の素数さん
20/04/14 09:39:17.53 SrqUaQtE.net
>>740
すごぃ!また正解！
w
782:野暮天
20/04/14 09:40:29 KeVcPD0N.net
>>740
なんか「紅衛兵」が発●しとるのう
数学のスの字もわかっとらんのに
「望月有理！」
と絶叫するさまは滑稽じゃのう
そんなこといっとる間にコロナにかかって
治療どころか検査もさせてもらえず野垂れ死ぬぞ
お前が心酔する日本国は一貧乏人のお前に何もしてくれん
これが現実じゃ
783:心太Ｋ事
20/04/14 09:43:13 SrqUaQtE.net
>>741
…やはり〇対を/◎◎\見張る必要があるな…
…今日も一日、ﾔﾂを行確か...
784:１３２人目の素数さん
20/04/14 10:14:12 o2y5SfaS.net
あらし(´д｀)ｲｸﾅｲ!!
785:１３２人目の素数さん
20/04/14 10:20:33 lY8AVF5Y.net
511 １３２人目の素数さん 2020/04/13(月) 13:29:28.04 ID:vvVnRe9y
Woitのブログの最新コメントの人が過激派でワロタ
>mahmoud says:
>April 13, 2020 at 12:04 am
>...
> (I’m tempted to say that IUT appears to be not even wrong.)
>...
これで「IUTTは超ひも理論と同等の価値があると認められた！」
786:１３２人目の素数さん
20/04/14 10:20:41 SrqUaQtE.net
…ｺﾞﾒﾝﾅｻｨ…
787:１３２人目の素数さん
20/04/14 10:20:48 lY8AVF5Y.net
って信者釣ろうぜ
788:１３２人目の素数さん
20/04/14 10:29:02 IrY4eK9l.net
もっちーは物理的に同じ位置にとどまっていたとしても心は世界を駆け巡ってるから
女子の整形ごときでウダウダ抜かさないと思います
789:野暮天
20/04/14 10:33:04 KeVcPD0N.net
女子の整形は美容の範囲内じゃろうが
理論の整形は立派な詐欺じゃろうな
790:野暮天
20/04/14 10:36:12 KeVcPD0N.net
>>745
そうじゃのう
嵐はいつ新国立競技場ライブの延期を発表するんじゃろう？
URLﾘﾝｸ(www.tokyo-sports.co.jp)
791:１３２人目の素数さん
20/04/14 11:10:47.77 6jeBBFwW.net
>>734
おＪと産地一緒w
おちゃん乙女＆Ｊちゃん水瓶
792:w 坂道坂道書かれるとﾁｮｯﾄ…(ﾄﾞｷｯ…!…) w
793:１３２人目の素数さん
20/04/14 11:10:48.71 6jeBBFwW.net
>>734
おＪと産地一緒w
おちゃん乙女＆Ｊちゃん水瓶w
坂道坂道書かれるとﾁｮｯﾄ…(ﾄﾞｷｯ…!…)
w
794:１３２人目の素数さん
20/04/14 11:14:06.02 6jeBBFwW.net
軽めにﾊﾟﾆｯｸ気味で２投になっちゃってました… (焦
|=3 ﾋﾟｭｯ! 失礼しました―!
795:１３２人目の素数さん
20/04/14 11:36:14 SZfdSsuJ.net
>Note that this particular comment thread is being moderated with an even heavier hand than usual: most submitted comments are getting deleted in an effort to keep the discussion focused and informative.
Woitが最新のコメで↑っつてるけど
このスレにいるようなクソみたいなやつらのクソコメが大量に投稿されては削除されてるんだろうなと思うと草生える
796:１３２人目の素数さん
20/04/14 12:03:10 np+40nhX.net
ブログで、しかも論文の執筆者本人がいない状況でおこなっている
「議論」なんてそもそも意味ないんだけどな
797:１３２人目の素数さん
20/04/14 12:24:33.47 TRBhjEPr.net
>>755
ワロタ
798:１３２人目の素数さん
20/04/14 12:28:04.11 KBbdfDDX.net
>>756
ショルツは再反論しないで査読おわったニュースの後にチマチマとブログにコメント
恥ずかしくないのかな・・
799:１３２人目の素数さん
20/04/14 12:29:53.81 oSSISEiH.net
ショルツと望月さんがお互い話しても堂々巡りで無駄だと感じてそうだから誰か間に入るしか無いだろ
800:１３２人目の素数さん
20/04/14 12:30:27.62 SP26aiRQ.net
>>758
再反論しなかったのはどういうつもりだったんだろうね。
日本人同士だと無茶苦茶失礼だが。
801:１３２人目の素数さん
20/04/14 12:31:17 SP26aiRQ.net
>>759
間に入りまくりでしょ。
いろんな人が発言してるし。
802:１３２人目の素数さん
20/04/14 12:32:33 KBbdfDDX.net
>>760
しかも子供くらいの年下のくせに 態度がおかしい
数学者としても社会人としても、ちゃんと再反論しろよと
803:１３２人目の素数さん
20/04/14 12:33:41 SP26aiRQ.net
>>762
それ。欧米だと文化が違うのか、
アジア人差別が入ってるのか
判断できない。
804:１３２人目の素数さん
20/04/14 12:35:29 TRBhjEPr.net
>>756
論文の著者本人がいないことは議論の有益性とは関係ない
多くの場合、著者は自分の論文が正しいと信じて疑わないし、ギャップに気付くことすらできない
議論が個人的な対話でなくブログという公の場で行われている理由は不明だが、
恐らくこの問題が非常に複雑であることと関連しているのだろう
IUTの不明瞭な点が公開されることは、他の数学者たちにとって有益だと思う
805:１３２人目の素数さん
20/04/14 12:35:30 1qnJddCc.net
反論っていうのは相手が論じてるときに使う言葉だからな
望月の主張はmeta argumentにすらなっていないので反論はそもそも出来ない
806:１３２人目の素数さん
20/04/14 12:37:02 KBbdfDDX.net
>>763
白人ごときにアジア人ｗっていう枠で差別されようが関係ないよｗ
数学者としての態度と礼儀の問題がそこにあるだけ
807:１３２人目の素数さん
20/04/14 12:37:39 tN0r41F3.net
新型コロナウィルス感染症。
1月14日東京都は対策を指令
1月23日に武漢封鎖
厚労省の新型インフルエンザ対策
にあるように日本で蔓延が予測される
危機にあった。
新型インフルエンザ対策は感染症
ibm数理モデルにもよる。
京都RIMSでは2020IUTカンファレンスを根拠もなく9月へスライド延期した後IUT論文を受理を発表した。
その後共産大クラスターをはじめ
感染拡大より京都府市は政府に
非常事態宣言を要望する事態になった。
現在 感染数理モデルの予測は北大
がリードしている。
京大数理解析研究所は数理と名乗る
割には全く感染数理モデルの予測に
無力でひきこもりIUT論文を眺めて
いるのだろうか
この際邪魔するよりは良しとしよう
京都は疫病が流行る独特の歴史があり
近代公衆衛生と異なるらしい、
住宅も密集し三密だが。
対策はペスト流行を検証したKM
方程式により自然に収束するまで今まで通りひきこもりだろうか
しかし方程式には進行波解がある
関西圏から首都圏へ更に世界へ向けて進行する
世界の女子も感染したなら原因の肺
に醜い箇所があり整形しても醜い痕が残るなら、、
ああ地中海のカミュ「ペスト」を超えた奇異な世界が京都の風土なのだろう
808:１３２人目の素数さん
20/04/14 12:39:29 SP26aiRQ.net
>>765
ショルツがそう判断したなら、そういすメタ・アーギュメントを返して
討論できないと通告する立場だったのよ。
わからんかな。
809:１３２人目の素数さん
20/04/14 12:42:04 SP26aiRQ.net
>>766
ですよね。討論こそ命なのに、放置したらアウトだよ。
810:１３２人目の素数さん
20/04/14 12:43:03 1qnJddCc.net
>>768
「反論しないのは失礼」かもしれないが、「反論するレベルじゃないことを伝えないのは失礼」とは言えないと思うが
811:１３２人目の素数さん
20/04/14 12:43:10 FFLuGRba.net
>>764
関係あるよ
ギャップを指摘されて、「それはギャップではない」という立場なんだから
今ブログでやっていることはショルツが「ギャップがある」という主張を
一方的に流しているだけでこれは議論ですらない
812:１３２人目の素数さん
20/04/14 12:44:49 tN0r41F3.net
>>767
× ひきこもりIUT論文を眺めて
いるのだろうか
⚪ひきこもり今まで通りIUT論文を
修正しているのだろうか
813:１３２人目の素数さん
20/04/14 12:47:23 KBbdfDDX.net
若くしてフィールズ賞受賞したイケイケの数学者が
自分の整数畑でとんでもない基礎理論をぶち上げた日本人数学者が出現
名のある数学者が理解できないと匙を投げる中がんばって読んで噛み付いたけど
そっこーモッチーに反論されてしまい査読が終わるまでの2年間再反論はしなかった
できなかったと言うのが本当のところじゃないかな
実は数学そのものの概念を変えてしまうほどの理論だったと若い天才は気付いたのかも
814:１３２人目の素数さん
20/04/14 12:52:07 s4jU93KL.net
ショルツは引かない撤回させるため
どこまでも追いかけてくるから心配ない
815:１３２人目の素数さん
20/04/14 12:55:13 SP26aiRQ.net
>>774
追っかけるなら討論続けてると思うが。
816:１３２人目の素数さん
20/04/14 12:58:42 TRBhjEPr.net
>>771
一方的ではないでしょう
コメント欄では誰でもショルツに反論できるわけで
正当性のある反論ができればショルツの意見を変えられるかもしれないぞ
あと、著者本人がブログに降臨してもいいんじゃない？
ブログの存在を知らないなら教えてあげてもいいんじゃないか？
先生、未だにショルツがうだうだ言ってるんでガツンと言ってやってくださいよって
817:１３２人目の素数さん
20/04/14 13:07:53.08 8FhN93Xm.net
>>776
ショルツが答える番なんだから、
ショルツがいくべき。
しないならしたくないと取るよ。
相手は。
818:１３２人目の素数さん
20/04/14 13:12:40.37 TRBhjEPr.net
>>777
逆に言えばコメント欄で論破できればショルツを黙らせることもできるよね
関係者がそれをしないのはなぜ？
ショルツに気を遣っているとでも？
819:１３２人目の素数さん
20/04/14 13:13:54.73 8FhN93Xm.net
>>778
気を遣ってんだろ。もちろん。言い換えると、タイミングの選択権は答える方にある。
でも待つにも限界があって、放置しすぎたから、答える気がないと判断されたってこと。
820:１３２人目の素数さん
20/04/14 13:18:42.39 TRBhjEPr.net
>>779
関係者優しすぎワロタ
状況を変えられる場があるのに利用しないなんてもったいないな�
821:
822:１３２人目の素数さん
20/04/14 13:21:23 FFLuGRba.net
>>776
たかが一個人、しかも数学者でない人のブログにいちいちコメントとかする方がおかしい
ショルツもDupuyも書き込むべきじゃないと思うよ
結局査読の過程で反論・再反論があるべきだった（だからRIMSはショルツを査読者にすべきだった)
それがかなわず、掲載ということになったら、ショルツは論文の修正・撤回を主張する
指摘を正式にPRIMSにおこなえばよい
823:１３２人目の素数さん
20/04/14 13:24:31 8FhN93Xm.net
>>780
理論の議論なんだから、当然だと思うが。
あんたの方が変だよ。
824:１３２人目の素数さん
20/04/14 13:25:52 FJ+FFLkg.net
現状、Woit氏と、Scholze氏にIUTは否定されているという状況は変わらんのね。
825:１３２人目の素数さん
20/04/14 13:26:15 1qnJddCc.net
反論するレベルにすら至っていない証明、説明であったから、放っておいても廃れるだけだろうと思っていたのに、
査読が通ったから口を出さざるを得なくなった、というのが正しい
きちんと真っ当にリジェクトされるのが本来の流れだったにも関わらずアクセプトしてきたから黙っていられなくなった、というのが流れだな
本来はショルツが反論するまでもなくリジェクトされて終わる理論だった
だからアクセプトされた途端コメントするのはある意味当たり前
826:１３２人目の素数さん
20/04/14 13:26:19 8FhN93Xm.net
>>781
ショルツにそんな権限もそんなことを認める文化もないだろ。
あと、返答もしない奴は査読の資格ない。
何回やりとりが必要なのかわからんのに。
アホなのか。
827:１３２人目の素数さん
20/04/14 13:31:30 6VXB16i6.net
>>780 さん
兄貴、こいつら何言ってもだめですぜ
828:１３２人目の素数さん
20/04/14 13:36:00 1qnJddCc.net
アクセプトされたあとの結果論から「ショルツはなんで反論しなかったんだ」って主張している人がいるが、
アクセプトされる直前までは「ショルツがなにか言うまでもなくリジェクトされる理論だった」んだからな
PRIMSが圧力に屈してアクセプトしたから、騙される人も増えた
だからショルツも口を出すしかなくなった
829:１３２人目の素数さん
20/04/14 13:37:41 8FhN93Xm.net
>>786
論文の査読のいみわからんやつは
どっか行ってくんない
830:１３２人目の素数さん
20/04/14 13:41:01 FFLuGRba.net
>>785
査読者じゃないんだからいちいち返答や反論する必要はないよ
ショルツを査読者にすればその義務が生じるけどね
831:１３２人目の素数さん
20/04/14 13:45:04 8FhN93Xm.net
>>789
そうだよ。
だから、
出版するわけだ。
なんの問題がある?
832:１３２人目の素数さん
20/04/14 13:46:46 oSSISEiH.net
ここには正誤を判断できる人はいないから時間が解決するしかない
833:１３２人目の素数さん
20/04/14 13:50:01 8FhN93Xm.net
>>791
外野は形式的な問題しか議論できないけども、
変な非難は排除しとかないと。
というか、明らかにここ位にいる変なの
それ狙ってるでしょ。
だから叩き潰した方がいいよ。
834:１３２人目の素数さん
20/04/14 13:54:40 JM86L/WY.net
ショルツからしたら
査読者が全員集合論を理解してないなんて想定外だろ。
反論しようにも正しい集合論のレクチャーからスタートしなきゃならないから
本業もあるのにやってられねぇよそんなん、
835:１３２人目の素数さん
20/04/14 13:59:56 FFLuGRba.net
>>790
うん
だから望月もショルツも何の権限もない私的なブログで議論する必要ないよね
836:１３２人目の素数さん
20/04/14 14:00:46 KBbdfDDX.net
>>793
じゃあ再反論しなくてもいいからオフィシャルな説明をモッチーサイドに返さないとねｗ
大人なんだから
837:１３２人目の素数さん
20/04/14 14:08:33 8FhN93Xm.net
>>794
シュルツ側から返答に変えてやるつもりでアプローチするとかはあり得ると思うで。
いずれにせよ、理論問題はいつとけるかわからんわけだから、
問題を持ってる方、つまり、返答する方が選択権がある。
やらんかったら、やるつもりないとみなされるし、
査読もむりだ。あたりまえ。
838:１３２人目の素数さん
20/04/14 14:11:42 TRBhjEPr.net
Woitのブログは、素人でもショルツを説得できる可能性があるという点で肯定派にも都合が良い場だと思うけどな
それができない野次馬が騒いでいるようにしか見えない
別に関係者だって匿名でコメントしてもいいんだぞ？
839:１３２人目の素数さん
20/04/14 14:28:01 KBbdfDDX.net
>>797
関係者ならなお
840:さらブログのコメントごときでやり取りしないだろ ガキじゃないんだから
841:１３２人目の素数さん
20/04/14 14:29:03 BIiNoqWe.net
最新コメントのUFは結構IUTに精通してそう
842:野暮天
20/04/14 15:13:15.49 KeVcPD0N.net
Woitのブログに誰一人書き込めない時点でIUT派は敗北じゃな
森重文は望月に無条件降伏の引導を渡すべきじゃろう
843:１３２人目の素数さん
20/04/14 15:16:09.58 rTviJ6yB.net
>>797
すでにわけわからないコメントが殺到している可能性あり
ピーター・ウォイトは言う。
2020年4月13日 6:34 pm
望月証明の数学的な問題についてここで行われている注目すべき
非常に貴重な対話を閉じたくありません。
しかし、テイラー・デュピュイは、数学的な議論がこれらの問題に
焦点を当てたものであることを確認するのを助けたいという
私の気持ちを正しく汲み取っていました。
数学のより広範な議論は、すぐにこのような何かを司会するための
私の限界的な能力を超えてしまうでしょう。
この特定のコメントスレッドは、通常よりもさらに重い手で
モデレートされていることに注意してください:
ほとんどの投稿されたコメントは、議論に焦点を当てて有益な情報を
提供し続けるために削除されています。
この後、まだショルツ派２名が投稿しているよ
擁護派あやうし
844:野暮天
20/04/14 15:20:56.62 KeVcPD0N.net
>>801
望月派は無知無能なネット右翼じゃからのう
日本人を侮蔑嘲笑するなとかいうわけのわからん文章を
英語に自動翻訳してコメントしとるんじゃろう
数学抜きのコメントが無意味だとわからんか？
845:１３２人目の素数さん
20/04/14 15:21:09.48 FJ+FFLkg.net
ショルツ側としては、凡庸でギャップのある理論
望月側としては、世界を変える自明な理論
846:１３２人目の素数さん
20/04/14 15:22:45.30 FJ+FFLkg.net
京都は魔京だから、ギャップの埋まるパラレルワールドなのかもしれん
それを証明できれば、ほんとに宇宙際だよ。
世界変わる。
847:野暮天
20/04/14 15:23:55.97 KeVcPD0N.net
>>803
＞世界を変える自明な理論
これまたおかしな言い草じゃのう
世界を変えるならその時点で「非自明」じゃろう
だいたい自明なら６００ページも書かんじゃろう 違うか？
848:１３２人目の素数さん
20/04/14 15:24:40.63 nMowBrOy.net
以前に
math jinが欧米コミュニティで大暴れ
しTwitterをブロックされた件があった。
IUT派は煽ると何するかわからないヨ
849:野暮天
20/04/14 15:25:18.58 KeVcPD0N.net
>>804
おぬし・・・ワンダーJAPANの読みすぎじゃ
URLﾘﾝｸ(www.104-0031.com)
850:１３２人目の素数さん
20/04/14 15:25:23.78 OLOgNoCJ.net
既存数学をチェスに例えれば、既存数学者たちはチェスの戦略をいっぱい研究してる
人たちだった。
そこへ数学のルールをチェスのそれから将棋に変えてしまう研究者が現れた。
新しく創り出された将棋のルールは論文発表されてアクセプトされたが、
既存数学者はチェスの戦略は研究済みでも、将棋の戦略は想像もつかなかった。
居飛車、振り飛車、棒銀、穴倉などの定石もこれから一手一手試すことから始める
ことになった。
チェスの世界チャンピオン（≒ショルツ博士）は将棋が分からないので、
とりあえず、キングの配置にいちゃもんをつけてみたが、望月博士は
それはキングではなく王将です最初から（将棋の）ルールをもう一度よく読んで
くださいと反論した。
例えが悪いかもしれないけど
851:野暮天
20/04/14 15:26:30.11 KeVcPD0N.net
>>806
math_jinか・・・正真正�
852:ﾁの●違いのようじゃな
853:１３２人目の素数さん
20/04/14 15:27:31.50 nLbbaypx.net
2名ともショルツ派？ なんていえない気がする
854:１３２人目の素数さん
20/04/14 15:27:46.16 WoQOi3cG.net
あんなに補題3.12が問題と言われてるのに、より詳細な証明を理解者と言われる人々が誰一人出せないってことを擁護派はどう捉えてるのか
855:１３２人目の素数さん
20/04/14 15:29:21 MZcHusms.net
ConradとStixの音沙汰ないのが気になる
もう関わりたくないのかな
856:１３２人目の素数さん
20/04/14 15:31:21 FJ+FFLkg.net
あ、あ、嵐、あ、あ、嵐
インター ユニーバサル あ、ら、し～～～～
（いや、この場合は国際なのか…、中身があれば論争はいいと思うよ、あれば）
857:野暮天
20/04/14 15:37:10 KeVcPD0N.net
>>808
こんな感じかのう
望月 「この世界は軍人将棋。私はスパイ。そして、ショルツ、あなたは…」
ショルツ「中将(￣ー￣)ﾆﾔﾘ」
望月 「え😲？・・・😱イヤァァァァァ 大将ドコ？」
軍人将棋
URLﾘﾝｸ(ja.wikipedia.org)
858:１３２人目の素数さん
20/04/14 16:01:52 cA9ZjX1e.net
やらかしたってこと？
859:１３２人目の素数さん
20/04/14 16:03:05 KBbdfDDX.net
ID:KeVcPD0N
また湧き出したか・・
860:野暮天
20/04/14 16:07:49 KeVcPD0N.net
やあ （´・ω・｀)
ようこそ、居酒屋 野暮天へ。
この付け出しはサービスだから、まず食べて落ち着いて欲しい。
うん、「また」なんだ。済まない。
仏の顔もって言うしね、謝って許してもらおうとも思っていない。
でも、このＨＮを見たとき、君は、きっと言葉では言い表せない
「ときめき」みたいなものを感じてくれたと思う。
殺伐とした世の中で、そういう気持ちを忘れないで欲しい
そう思って、このＨＮをつけたんだ。
じゃあ、注文を聞こうか。
861:１３２人目の素数さん
20/04/14 16:19:02 OLOgNoCJ.net
既存数学をfortranに例えれば、既存数学者たちはfortranのアルゴリズムやサブルーチンを
いっぱい研究してる人たちだった。
そこへ数学の言語をfortranからjavaに変えてしまう研究者が現れた。
新しく創り出されたjavaは論文発表されてアクセプトされたが、
既存数学者はfortranによる構造化プログラミングは研究済みでも、javaのオブジェクト指向
プログラミングは想像もつかなかった。
クラス、オブジェクト、メソッド、インターフェースなどの用語もこれからひとつずつ試す
ことから始めることになった。
fortranの天才プログラマ（≒ショルツ博士）はjavaが分からないので、
とりあえず、望月博士のクラスやインタフェースとオブジェクトにわざわざ分けて書くとコード数
が増えて無駄が多いから全部サブルーチンで書けばコード数を半分にできますよといちゃもんを
つけてみたが、望月博士はそれはプログラムの設計思想が初めから違いますのでソースコードを
もう一度よく読んでくださいと反論した。
例えが悪いかもしれないけど
862:海老天
20/04/14 16:30:10 6jeBBFwW.net
鳥カラ＆lemon🍋と
海老🍤とﾌﾞﾛｯｺﾘｰのﾀﾙﾀﾙｿｰｽ と
黒ラガー＆梅酒ソーダ。。。
863:海老天
20/04/14 16:35:11 6jeBBFwW.net
…夕飯買いに行かなきゃ…
(使命感)
ﾓｯﾁﾝ様は Ｏｕｃｈi 焼肉
。。。かなぁ。。。
864:１３２人目の素数さん
20/04/14 16:38:19 6jeBBFwW.net
皆さまも上手いことｺﾛﾅちゃん達を避けて。。。
無事美味しい夕食に辿り着けます様に…
865:野暮天
20/04/14 16:43:52 KeVcPD0N.net
>>818
fortranからjavaへの変更くらいなら大したことなかろう
ま、unlambdaとかBrainfuckのような言語は知らんが
866:１３２人目の素数さん
20/04/14 16:50:07.05 rTviJ6yB.net
>>808
そのたとえなら、将棋のルールが発表されれば、ショルツがわからないわけないじゃん
これ�
867:ｩら一手一手試すことから始めることになって、やってたら、突然、「丸」という駒がでてきた。 そんなのルール違反じゃないの？と
868:１３２人目の素数さん
20/04/14 17:10:51.94 IrY4eK9l.net
もっちんさまは年齢的にお魚を食べた方がよいと思われますね
869:野暮天
20/04/14 17:17:20.74 KeVcPD0N.net
今後の展開
１．IUTから矛盾が導かれる (望月破滅）
２．IUTが既存の圏論とは異なる理論と証明される （望月別世界に隔離）
３．IUTが圏論の拡張となると示されABC予想の証明が認められる （望月大勝利）
４．IUTは理論として理解されずABC予想の証明もギャップありで認められず （望月 忘却される）
まあ、４じゃろな
870:野暮天
20/04/14 17:20:41.27 KeVcPD0N.net
>>825
1と同様の例：内包公理による素朴集合論
2と同様の例：ユークリッド幾何に対する双曲幾何
3と同様の例は・・・いい例が思いつかんから誰か教えてくれんかのう
871:粋蕎
20/04/14 17:21:32.63 x0tX+KLS.net
>>817
其のコピペ…2chはいつからじゃ？
872:野暮天
20/04/14 17:25:59.72 KeVcPD0N.net
>>825-826
強いていえばこんな感じかのう
3と同様の例：到達不可能基数の存在公理を追加したZFC
しかし、この場合、>>825の「望月大勝利」はちょっと違うのう
書き直すとこんな感じかのう
１．IUTから矛盾が導かれる (望月破滅）
２．IUTが既存の圏論とは異なる理論と証明される （望月別世界に隔離）
３．IUTが圏論の拡張となると示される （望月別予想を発見）
４．IUTが圏論を保存すると示されABC予想の証明も認められる （望月大勝利）
５．IUTは理論として理解されずABC予想の証明もギャップありで認められず （望月 忘却される）
ま、５じゃろうな
873:野暮天
20/04/14 17:29:59 KeVcPD0N.net
>>827
ん？わしは2chができるまえからネット界におるぞ
いわばネット界のスーパーレジェンドじゃ（自分でいうか）
おぬしはNetNewsとか知らんのじゃろう
ほれfjなんとかいう奴じゃ
URLﾘﾝｸ(ja.wikipedia.org)
874:野暮天
20/04/14 17:33:34 KeVcPD0N.net
スーパーレジェンドの条件
１．mohtaを知っている
２．voidを知っている
３．lalaを知っている
2chができるまえから
「やたらと他人を馬鹿よばわりする輩」
はおったのじゃ 別に珍しい生き物ではない
875:１３２人目の素数さん
20/04/14 17:34:33 WoQOi3cG.net
>>827,829
同一人物じゃないのか……
876:野暮天
20/04/14 17:36:48 KeVcPD0N.net
わしにいわせれば2chの「ひろゆき」なんぞ只の香具師（文字通りの意味）
877:１３２人目の素数さん
20/04/14 17:41:24 dPjCWcgz.net
なんかショルツがIUTを説明する雰囲気になってるな
ウケるw
878:野暮天
20/04/14 17:43:28 KeVcPD0N.net
そうそう、voidといえばヘミ猫じゃ
void自身は似ても焼いても食えんヤツじゃったが
シグナチャのヘミ猫はカワイイので女子にも大人気じゃった
ヘ_ヘ
ミ・・ ミ
( ° )～
879:野暮天
20/04/14 17:44:29 KeVcPD0N.net
>>834
うーん、うまく再現できんのう・・・
伝統芸能の伝承は難しいもんじゃ
880:粋蕎 ◆C2UdlLHDRI
20/04/14 17:45:01 x0tX+KLS.net
>>829
其んな回答の仕方が有るか、十把一絡げに答えるな。2ちゃんねるはいつから覗いている？
881:野暮天
20/04/14 17:51:48 KeVcPD0N.net
>>836
できたころからじゃな
そもそもいつ頃できたか覚えとらん・・・おお、１９９９年か
URLﾘﾝｸ(ja.wikipedia.org)
そういえば「あめぞう」とか聞いたことあるな 見たことはないが
「ネオむぎ茶」も知っとるぞ あと「ネバダたん」とか
882:野暮天
20/04/14 18:00:04.19 KeVcPD0N.net
一杉裕志
URLﾘﾝｸ(staff.aist.go.jp)
この人がその昔NetNewsのfj.rec.idolで
有名な投票システムi-aurasを開発した人
なんてことはもはや忘れ去られてるのじゃろうな
883:１３２人目の素数さん
20/04/14 18:05:11.52 Th+t3KzP.net
>>833
論破するってのは相手の懐に入り込むってことだから、まあ致し方ないだろうな
Stixヘタレだなあと個人的には思うが
884:粋蕎
20/04/14 18:05:48.70 x0tX+KLS.net
>>837
なら数学板@2ちゃんねるも覗いてた言う訳じゃな｡
885:１３２人目の素数さん
20/04/14 18:13:33 PFls8jJA.net
>>840
粋蕎さん、あんたが相手をしているのは
常人ではない
真のサイコパスだよ
彼のいうことは、全部ウソと思うこと
相手にしない方が良い
もし、リアル界なら、まず関わらないことだ（＾＾；
（ご参考）
Inter-universal geometry と ABC予想 (応援スレ) 44
ｽﾚﾘﾝｸ(math板:2番)
サイコパスのピエロ（不遇な「一石」URLﾘﾝｸ(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）URLﾘﾝｸ(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
886:１３２人目の素数さん
20/04/14 18:14:01 8FhN93Xm.net
>>811
望月がわは、3.12は3.11から自明って言ってるんでしょ。
だから、自明じゃないとかえすか、それを認めるかしないと。
887:１３２人目の素数さん
20/04/14 18:16:43 8FhN93Xm.net
>>818
そんなかんじなんかなあ。
わからんけど。
888:１３２人目の素数さん
20/04/14 18:34:31 eovVzpiI.net
望月の弟子のボンクラが理解できる程度の概念をショルツの頭が固くて理解できないと見做すのはいくら何でもショルツの能力を見くびりすぎだよ
889:１３２人目の素数さん
20/04/14 18:38:55 WoQOi3cG.net
>>842
自明であっても証明を詳細に書くことはできるはずだが
世界中がわからないと言ってるんだから詳細な証明を出せば良い
890:１３２人目の素数さん
20/04/14 18:40:34 JM86L/WY.net
日本語の理解には忖度というニュアンスが含まれるが
英語のcomprehensionにそのようなニュアンスはないから誤解が生まれている。
891:１３２人目の素数さん
20/04/14 18:41:02 TRBhjEPr.net
IUT理論のプレプリントが公開されてから、8年経ちました
8年間の査読期間中に理論の理解者は徐々に増えていきました
しかし、ショルツ等は理論を理解できないと言っています
その一方で、論文はアクセプトされ、PRIMSに掲載予定だそうです
しかしながら、論文の掲載予定日は不明で、予定されていた研究集会も例のアレのせいで延期になってしまいました
nature等によれば、IUT理論は現在世界で認められているとは言い難い状況です
幸運なことに、Woitのブログのコメント欄にショルツが現れ、やはりIUT理論は正しくないと主張しています
ここでショルツに理解してもらえれば、IUT理論は世界に認められる可能性が高まるでしょう
ブログには世界中の誰でも自由にコメントすることができます
さあ、君もショルツにIUT理論を理解してもらえるようにコメントを書き込もう！
892:１３２人目の素数さん
20/04/14 18:45:57 Th+t3KzP.net
一昔前のたまごっちみたいな感覚でショルツを育てるのか
893:１３２人目の素数さん
20/04/14 18:47:17 dywi7RSi.net
コンピュータで機械的に証明の正しさ検証したりしないの
iut考えるのに比べりゃずっと簡単だろ
894:野暮天
20/04/14 18:50:11 KeVcPD0N.net
>>840
ごくごく一部しか見とらんな 巨大数とか
猫とかは名前だけは知ってるが、人物はよう知らん
KingなんちゃらいうJタレみたいな名前の奴も知らん
895:１３２人目の素数さん
20/04/14 18:53:12 Th+t3KzP.net
もしかして置換群の理論で数学界から追放された男の話？
896:野暮天
20/04/14 18:54:50 KeVcPD0N.net
>>841
＞あんたが相手をしているのは常人ではない
そう、ネット界のレジェンドじゃからな
＞真のサイコパスだよ
それは、数学の初歩で次から次へと間違えたにもかかわらず
臆面もなく書き続ける見栄坊、おぬしのことじゃろう
＞いうことは、全部ウソ
おぬしのいうことは、
正規部分群の件もウソ
Zermelo構成のωも件もウソ
箱入り無数目の件もウソ
どれもこれもウソだらけじゃな
いいかげん、自分には数学のセンスがないと気づいて
数学板から姿を消して、ニュー速板あたりで
「日本万歳！」とわめき散らすネットジャンキー生活
を送ったらどうか おぬしネットやめられんのじゃろ？
897:１３２人目の素数さん
20/04/14 18:58:42 JNHc90j6.net
>>845
望月の返答にショルツが答える番やで。
自明じゃないとかさ。
898:１３２人目の素数さん
20/04/14 19:00:54 JNHc90j6.net
>>844
ショルツがどうなのかはしらんけども、回答に、返答しないなら、
全否定なのか、わからないのか、どれかもわからん。
返答しないなら、無視するしかなかろう。
899:１３２人目の素数さん
20/04/14 19:01:26 o2y5SfaS.net
>>841 >>852
罵りあいは他スレでやってください
スレチですよ
900:１３２人目の素数さん
20/04/14 19:18:39.64 j/Zxnqd/.net
ショルツの反論特にリマークの5を酷評してる研究者
T川、Hし、Y下、SD、SH、KH、K川、南D、YY
これだけいれば結果は自明でしょ
901:１３２人目の素数さん
20/04/14 19:26:07.22 JM86L/WY.net
ショルツの説明は本当に分かりやすいな
天才だろ。ってそりゃフィールズ賞取ってるんだから天才か。
902:１３２人目の素数さん
20/04/14 19:27:40.02 Th+t3KzP.net
>>856
あんたも数学やってるんだろ？一応何が間違ってるかも聞かなかったの？
903:１３２人目の素数さん
20/04/14 19:28:27.28 ILB2SlGU.net
全角スペースオジサンか...
904:１３２人目の素数さん
20/04/14 19:42:29 TosO5VR6.net
Remark5の何が間違ってるかわからないorz
スタンダードなファルティングスの有限性定理そのものだと思うけど
905:１３２人目の素数さん
20/04/14 19:46:28 mIlcNUlX.net
>>855
私は
粋蕎さんを止めに行っているんだよ
（>>841）
止めなきゃ、もっと荒れるぜ
906:１３２人目の素数さん
20/04/14 19:46:37 gQcKrDtS.net
(Yes, Mochizuki can’t possibly mean this. But regardless of what he means, this inconsistency is simply there!)
アホはお前だ、いやお前だ状態
907:１３２人目の素数さん
20/04/14 19:53:50 TosO5VR6.net
>>860
望月反論ペーパー読んだら納得いきました
908:１３２人目の素数さん
20/04/14 19:54:01 WoQOi3cG.net
>>853
ショルツだけじゃなく世界中が納得していないから
番も何も無い
909:１３２人目の素数さん
20/04/14 20:00:14.83 TosO5VR6.net
Remark 5は確かにナンセンスだけど、このミス(？)を突いてSSの主張全てがナンセンスと切り捨てるのは難しいね
910:１３２人目の素数さん
20/04/14 20:03:39.17 j/Zxnqd/.net
>>865
問題はこのリマーク5のナンセンスな指摘を望月が反論でただしたのに、ショルツが無視してることなのよね
これさえショルツが認めたら、健全な議論になると思うよ、ショルツもIUT自体は好意的なんだし
911:１３２人目の素数さん
20/04/14 20:05:00.45 j/Zxnqd/.net
>>864
いや、番ですよ。科学的議論は厳密にやりとりしないと噛み合わない。今のショルツの態度はあまりに不遜。
912:１３２人目の素数さん
20/04/14 20:08:07.86 TosO5VR6.net
>>866
望月の「学部生でも。。。」って表現が厳しすぎて、ショルツも反応するのが嫌なんだろうね
「ごめんなさい。ファルティングスの証明を理解していませんでした」なんて、プ
913:ライドもあって言えないだろうし
914:野暮天
20/04/14 20:08:28.81 KeVcPD0N.net
j/Zxnqd/ のいいたいことってこれじゃな
:.,' . : : ; .::i'ﾒ､,_ i.::l ';:.: l '､:.:::! l::! : :'､:i'､: : !, : : : : : :l:.'､: :
'! ,' . : i .;'l;' _,,ﾆ';､,iｿ '; :l ,';.::! i:.! : '､!:';:. :!:. : : : :.; i : :'､:
i:.i､: :｡:!.i.:',r'ﾞ,rf"`'iﾐ,`'' ﾞ ';.i `Ｎ,_i;i＿__,,_,'､-';‐l'i'':':':':‐!: i : : '、
i:.!:'､: :.:!l :'ﾞ iﾞ:;i{igil};:;l' ヾ! 'i : l',r',ﾃr'‐ミ;‐ﾐ';i:'i::. : i i i : : :i
:!!ﾟ:i.'､o:'、 ﾞ､::ﾞ''".::ﾉ iﾞ:;:li,__,ﾉ;:'.､'､ :'i:::. i. !! : : !:
.' :,'. :ﾞ>;::'､⊂‐ﾆ;;'´ '､';{|llll!: :;ﾉ ! : !::i. : : : : i :
: :,' /. :iヾ､ ｀ ､._. ミ;;--‐'´. /.:i;!o: : : :i :
: ; : ,' : : i.: <_ ｀ ' ' ｀｀'‐⊃./. :,: : : O: i. :
: i ,'. . : :', ､,,＿ ,.:': ,r'. : , : : !: : あやまれ!!
:,'/. : : . :;::'､ ﾞ|llllllllllllF':-.､ ,r';､r': . : :,i. : ;i : : 望月先生にあやまれ!!
i,': : : :.::;.'.:::;`､ |llllH". : : : :｀､ ,rシｲ...: : ; : :/:i : i:!::i:
;'. : :..:::;':::::;':::::`.､ |ｿ/. : : : : : : ;,! ,／'ﾞ. /.:::: :,:': :./',:!: j:;:i;!;
i. : .:::;:'i::::;':::::::::i::`:.、;ﾞ､';‐ ､,;__;,／ﾉ . :,/.:::: :/. : :/.:::i. j:;;;;;;;;
l .:::;:'::;':::;':::::::::::i::::i::`:,`'-二'‐-‐''ﾞ_,､-.':ﾞ/.:::: ;ｨ': : :/.:::::i: j､;;;;;;;
.:::;:':::;':::;'::::::::::::::i:::i:::::..｀'‐､､､-＜ﾞ.::::::::/.::: ://. : /.:::::::i :j::.'､:;;;
915:野暮天
20/04/14 20:12:25.91 KeVcPD0N.net
>>868
＞望月の「学部生でも。。。」って表現が厳しすぎて
望月のショルツに対する劣等感が丸出しじゃな
ショルツは、人の些細な誤りをあげつらって
肝心なことには全く答えない姑息な奴を
見捨てたんじゃろうな
916:１３２人目の素数さん
20/04/14 20:22:36.48 FJ+FFLkg.net
業界の信用は、ショルツさんのほうがはるかに上だからなぁ。
「学部生でもわかる」は戦略ミスだな。
917:野暮天
20/04/14 20:23:46.93 KeVcPD0N.net
ｽﾚﾘﾝｸ(math板:64番)
>日本で、柏原、玉川、加藤、望月、星、山下・・らを知っているから
>まだ、IUT大丈夫って思えるけど、
見栄坊よ おぬしが知ってるのは名前だけじゃろ
そろいもそろってショルツに何も言えん時点で負けじゃろな
星は内心あかんと思うとるようじゃ
山下は髭だけ立派で全然使えん
加藤は金儲けできればIUTがトンデモでも困らんじゃろ
玉川は望月を信頼しとるようじゃが中身は全然わかっとらん
柏原は名前だけじゃろ
森重文が出てこんから代わりに引っ張りだされただけ
森重文が断ったのはショルツに理があると思うとるからじゃろ
918:野暮天
20/04/14 20:25:50.63 KeVcPD0N.net
森重文がショルツを呼んだ時点で
「ああ、これは相当ヤバイ状況だな」
と気づくのが本当じゃろ
問題ないなら、わざわざそんなことせんからのう
919:野暮天
20/04/14 20:25:50.63 KeVcPD0N.net
森重文がショルツを呼んだ時点で
「ああ、これは相当ヤバイ状況だな」
と気づくのが本当じゃろ
問題ないなら、わざわざそんなことせんからのう
920:１３２人目の素数さん
20/04/14 20:26:11.44 sXyUTq8/.net
柏原先生は専門全然違うから、いくら柏原先生といえどもIUT
921:を理解してるとは全く思えないな。
922:野暮天
20/04/14 20:28:03.22 KeVcPD0N.net
>>871
いや、そもそもIUTとかいう大袈裟な理論構築が戦略ミスじゃろう
ショルツの指摘に対して、真っ先にRemark5を攻撃するのが戦術ミス
目先３センチのことしか見えんかった日本軍と同じじゃな
923:１３２人目の素数さん
20/04/14 20:28:05.75 7IvBeSuk.net
>>872
星くん内心あかんって、どこから情報？
直接の関係者知ってるけど、彼は完全に理解してて正しいと断言してると聞いたけどね、直接。
あまり嘘はつかんようにね
924:１３２人目の素数さん
20/04/14 20:29:42.32 7IvBeSuk.net
>>876
Remark5ってショルツが間違えてるの？
925:野暮天
20/04/14 20:30:32.62 KeVcPD0N.net
>>875
理解しとらんし、する必要もないじゃろ
森重文は全然無関係じゃないから、間違ってたら言い訳できんが
柏原は分野が全然違うから、その点では責められることはない
組織運営に関してはいろいろ言われるかもしらんが
926:野暮天
20/04/14 20:31:35.31 KeVcPD0N.net
>>877
本心は言葉ではなく行動に現れるもんじゃ
927:１３２人目の素数さん
20/04/14 20:31:45.37 BR/oGB73.net
>>871
最初に、ぶっ込んだのがショルツ側だから
ある程度仕方ないんじゃね。
928:１３２人目の素数さん
20/04/14 20:32:11.63 rTviJ6yB.net
ここ数日のにわかですが、Woitのブログとか、
高名な数学者たちの賛同の声が聞こえてこないこととか
（柏原正樹氏は、かつがれた、と信じますが）どうみてもショルツさんの勝ちですよ
だいたい確信のある理論を発見したのであれば、広く知ってもらいたいはずだし、
広く知ってもらうために、できるだけわかりやすく説明しようとするはずです
望月氏はその逆をいっているようだし、だいたい８年もたってるのに、まだ多くの人から
異議がでてる証明などナンセンスです
929:１３２人目の素数さん
20/04/14 20:32:26.78 zlvn1Mv8.net
まぁ、森先生が出てこなかった時点でリムスの教員がどう思ってるかはお察しなんだよねw
930:１３２人目の素数さん
20/04/14 20:32:41.41 aTeGsTm3.net
紅月 東京ドーム 出だし部分 ファンカム
URLﾘﾝｸ(streamable.com)
SU-METALの東京ドームは円盤よりも現場の生歌のほうが上手かった
例えば紅月がこれ NRNRも同じ
反響音がエコー効果をもたらし 東京ドーム全体を揺らすかのごとく響き渡った
東京ドームすら箱が狭いよと言わんばかり
ファンカムでこれだからね。凄かった
この凄さはBlu-rayでは削ぎ落ちてしまって表現できていない
931:１３２人目の素数さん
20/04/14 20:34:35.28 7IvBeSuk.net
>>880
妄想だったのね
932:野暮天
20/04/14 20:34:50.50 KeVcPD0N.net
>>883
そもそも2年前に森重文がショルツを呼んだ時点で察するじゃろ
933:野暮天
20/04/14 20:40:12.91 KeVcPD0N.net
>>884
そういえば、こんなもんが流出しとった
URLﾘﾝｸ(www.youtube.com)
某TVで声楽家が選ぶ歌うまアイドルのランキングを放送してたが
SU-METALの名前はなかった
おおかた秋元康に忖度したんじゃろうが、メイトからは失笑されとった
934:１３２人目の素数さん
20/04/14 20:42:43.23 J4U7wL1b.net
全然関係ないバンドだかなんだかをしつこく書くやつなんなの？スレが見にくいからやめろ
935:１３２人目の素数さん
20/04/14 20:43:19.82 nLbbaypx.net
Woitのブログ最新のコメント、なんか少しだけ理解が進みつつあるような感じでは？
936:１３２人目の素数さん
20/04/14 20:43:20.52 nLbbaypx.net
Woitのブログ最新のコメント、なんか少しだけ理解が進みつつあるような感じでは？
937:１３２人目の素数さん
20/04/14 20:43:46.05 WoQOi3cG.net
流石にscholzeとstixに直接説得してもらえば変わるだろ……と思って呼んだら「彼らは学部レベルだ」などと突っぱねたわけだからな
森重文先生には同情する
938:野暮天
20/04/14 20:45:08.12 KeVcPD0N.net
諸君らはアイドルの虎の穴といわれる
アクターズスクール広島が
どんなところかご存知なかろう
URLﾘﾝｸ(about-ash.com)
URLﾘﾝｸ(about-ash.com)
939:１３２人目の素数さん
20/04/14 20:45:46.88 WoQOi3cG.net
>>867
ショルツが不遜でも不遜でなくても、
Cor 3.12の証明が証明になっていると思うのならば詳細に書いてみればいい
でも実際には誰も出来ない
940:１３２人目の素数さん
20/04/14 20:45:59.63 j/Zxnqd/.net
>>891
でもほんとにショルツは学部生レベル誤りを公にしちゃってるのよね
それをあからさまに指摘する望月も望月だが
941:１３２人目の素数さん
20/04/14 20:51:31.36 j/Zxnqd/.net
>>890
David RobertsもどちらかというとIUT肯定的な感じで書いてるね
直接対話で罵倒されたのに
942:野暮天
20/04/14 20:52:40.37 KeVcPD0N.net
>>894
ショルツの指摘が初歩的誤りに基づく無意味なものであるならば
数学界に対する支持が広がりそうなもんじゃが、実際にはそうなってない
つまり、ショルツの指摘は、誤りに関係なく意味のあるもので
望月はその点について答えられないので、相手のどうでもいい
つまらん誤りをあげつらって誤魔化した ということじゃろう
なるほどアメリカから日本に逃げてくるだけのことはあるのう
今時は日本の大学をでたまるっきりの日本人でも
アメリカの大学のポストにつく時代
半分アメリカ人で、アメリカの大学を出た人間が
わざわざ日本の大学の職につくのは都落ち以外の
何者でもないのう
943:１３２人目の素数さん
20/04/14 20:59:02.21 rTviJ6yB.net
>>890
確かになんか歩み寄りがみられるかもしれない
以下がショルツの意見ならば
UFは言う。
2020年4月13日10時16分
ペーター・ショルツェさん（@Peter Scholze）です。
(2)に関連した望月さんのコメントをありがとうございます。最も単純な状況を考えてみましょう。
この単純な状況（θリンクを省略するが、対数リンクを維持する）でさえ、
望月はCmt2018-05で（C7）、もし列内のΠ1(X)を剛体化するならば
（同一性マップを用いてそれらを識別し、対数をガロア等変にすることによって）、
２つの列をパーマネントする「スイッチング対称性」は存在しないと主張しているように見えます。
あなたが言うように、これは非常に奇妙なことのように思われます。
私は次のように考えています。
望月は、技術的な意味で「スイッチング対称性」を使っているようで、彼がよくやるように、
いくつかの合唱データから手元のデータ（ここでは、対数リンクの剛体化された列）を
再構築するアルゴリズムの「多放射性」と同義です。
彼の主張は、もし我々が垂直方向の列を剛体化した場合、（剛体化していない場合とは異なり）
あるコーリックデータからこの列を復元するためのマルチラジアルアルゴリズムは
存在しないということを意味しています。これは、（私には）もうそれほど不条理には聞こえません。
さて、彼はここでどのマルチラディアル・アルゴリズムのことを言っているのでしょうか？
私は、[IUT III, Cor 2.3 ]のマルチラディアル・アルゴリズム、より具体的には、
2.3 (ii)の最初の部分、ログリンクとの互換性に関する部分ではないかと提案します。
その近くにある[IUT III, Rem 2.1.1 (ii)]では、私たちが話している問題が「なぜ
only upto indeterminate iso? さらなる議論については、[IUT II, Rem 3.6.4 (i)]も参照のこと。
いずれにしても、これが追跡するための重要な問題であることに同意します。
(DeepL翻訳）
944:野暮天
20/04/14 20:59:19.71 KeVcPD0N.net
>>888
BABYMETALを知らんとは 不幸な奴じゃのう
望月新一なんか知らんでもええが
SU-METALを知らんと海外で恥かくじゃろう
「え？あのBABYMETALを知らないなんて あなた本当に日本人？」
945:１３２人目の素数さん
20/04/14 21:00:35.24 nMowBrOy.net
そろそろ気がついても良さそうだが、
いくらショルツを叩いても
IUTが奇異なことは変わらない
946:１３２人目の素数さん
20/04/14 21:03:46.48 j/Zxnqd/.net
奇異だけど間違ってる！っていう数学的議論を踏まえた論文がなかなかでないのよね
ブログのコメントでは何の反論にもなんないし
947:野暮天
20/04/14 21:05:01.61 KeVcPD0N.net
>>899
IUTが奇異であることは、誤りであることの証拠にはならんじゃろ
しかし、これだけ長い時間が経過してもなお
IUTが理解されず認められないというのは、
それ自体無意味である可能性が非常に高いじゃろうな
そもそも当人だけでなく弟子や同僚が説明できない時点でダメダメじゃな
だから森重文が懸念を示してショルツをつれてきたんじゃろう
今の京都の連中は数学をなめきっとるんと違うか？
948:１３２人目の素数さん
20/04/14 21:05:56.48 nMowBrOy.net
住んでいる世界が違うんだよ
949:１３２人目の素数さん
20/04/14 21:07:08.21 gQPOC93+.net
Ｓｃｈｏｌｚｅの駄文よんだんだけどさ
なぜタイヒミュラー理論と名づけられているかすらわかってないよｗ
950:野暮天
20/04/14 21:07:57.53 KeVcPD0N.net
>>900
「矛盾がある」というなら論文になるが
「ギャップがある」というのは論文にはならんじゃろ
しかし、ギャップがあるなら証明としては無価値
フェルマーの「証明」がいい例
フェルマーの定理は、実際に定理ではあったが
その定理を証明したのはフェルマーでなくワイルズじゃろ
そういうことじゃ
951:１３２人目の素数さん
20/04/14 21:09:47.57 nMowBrOy.net
なるほど、
あちらの世界からショルツを見れば
ショルツの駄文に見えるのだろう
952:１３２人目の素数さん
20/04/14 21:10:33.42 FJ+FFLkg.net
自明だって言い分は、証明の先送りにしか聞こえんのよね。
953:１３２人目の素数さん
20/04/14 21:11:54.61 lKRD7Etv.net
>>882
>ここ数日のにわかですが、Woitのブログとか、
> 高名な数学者たちの賛同の声が聞こえてこないこととか
>（柏原正樹氏は、かつがれた、と信じますが）どうみてもショルツさんの勝ちですよ
> だいたい確信のある理論を発見したのであれば、広く知ってもらいたいはずだし、
> 広く知ってもらうために、できるだけわかりやすく説明しようとするはずです
>望月氏はその逆をいっているようだし、だいたい８年もたってるのに、まだ多くの人から
>異議がでてる証明などナンセンスです
あなたの言っていることは全く正論なんだけど、ここにいる擁護派は数学的真理などどうでもいいんだよ。
ひたすら「望月がABC予想を証明したとみとめろ」と強情を張っているだけ。。まともな証明もなしに。
だいたい擁護派は二言目にはショルツの反論がないとかくだらないこと言っているが、
第1に、証明に疑問を持っているのはショルツだけではないから、ショルツだけ攻撃しても無意味。
第2に、数学はディベートじゃないから、反論の応酬などする必要もないし、する義務もない。
相手方が修正不可能なバカだと思えば、反論しないで放置も許される。
良くアスペが、相手が沈黙したのを論争に勝ったと勘違いしているが、
今の擁護派はまさにそのパターン。
数学に必要なのは、反論じゃなくて「厳格な証明」
それは望月の側が求められている。望月が出せなければ望月の負け。
954:１３２人目の素数さん
20/04/14 21:15:03.38 mIlcNUlX.net
>>860-868
ID:TosO5VR6さん
>Remark5の何が間違ってるかわからないorz
>スタンダードなファルティングスの有限性定理そのものだと思うけど
>望月反論ペーパー読んだら納得いきました
>望月の「学部生でも。。。」って表現が厳しすぎて、ショルツも反応するのが嫌なんだろうね
>「ごめんなさい。ファルティングスの証明を理解していませんでした」なんて、プライドもあって言えないだろうし
望月反論ペーパーに、ファルティングスの証明への言及ってあった？
もし、お手数でなければ
この文書の何ページって教えて貰えるとありがたいけど
955:１３２人目の素数さん
20/04/14 21:18:35.92 Th+t3KzP.net
>>895
いや、よくわからないしわかりたくもないと言ってるだけだろw
956:１３２人目の素数さん
20/04/14 21:20:20.13 TRBhjEPr.net
どうして自明なんですか？
957:１３２人目の素数さん
20/04/14 21:20:49.68 IrY4eK9l.net
もっちんさまは都落ちじゃあありません
英語をもうききたくない、故郷の日本にホネを埋めたいと言う強い覚悟のもと、ドクター終了そうそう故郷に帰ってこられてたのです
958:１３２人目の素数さん
20/04/14 21:21:20.95 VsRfDYDR.net
>>907 >>909
擁護派って馬鹿なんですか？
959:１３２人目の素数さん
20/04/14 21:22:27.54 Th+t3KzP.net
しかしこいつらの論点整理力凄いな
ブログで決着つけそうな勢いじゃん
960:１３２人目の素数さん
20/04/14 21:22:44.94 O+prQlBj.net
う～さ～ぎおいしい～か～の～や～ま～
961:１３２人目の素数さん
20/04/14 21:22:50.60 gQPOC93+.net
君たち得意げに語っているけど
次のうちでもと体の同型類を復元するのはどれ
代数体のガロア群
有限体のガロア群
混標数局所体のガロア群
有限体上関数体のガロア群
これくらいわかんなかったら白痴