20/04/13 17:17:45.91 ukZx7597.net
>>564
申し訳ないのう
・・・といいつつ、>>563の話を続けるわけじゃが
URLﾘﾝｸ(magfesta.jp)
SU-METALの名前がない！
ま、分かるヤツは分かる
生田絵梨花もよう分かっとるｗ
URLﾘﾝｸ(www.bilibili.com)
597:１３２人目の素数さん
20/04/13 17:18:41.01 AZP114W1.net
>>562
ショルツが対称性を例にIUTの痛いところ
を突いているとか、
スマートで容赦ないから非常に
好感が持てる。
598:１３２人目の素数さん
20/04/13 17:19:13.67 CNPa1jiZ.net
スキームの局所環付き空間としての定義が分からないという代数幾何勉強中の人はいないだろうし
例えば50年くらい駆け上がったとしてもきちんと論証すれば分かるのでは？
599:１３２人目の素数さん
20/04/13 17:22:02.94 my5S7sSz.net
>>559
>あんた「箱入り無数目」も間違っとると思うから間違いだといってるわけか
「箱入り無数目」は間違！
もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな
”「箱入り無数目」は間違！”が分かるから
そこが、分からないレベルで IUT語るなんて、おへそが茶を沸かすレベルでしかないよねｗ（＾＾；
600:野暮天
20/04/13 17:24:58.88 ukZx7597.net
>>566
＞もともと、”99％”という言い回しがさ自然言語の常套句なんだよね
なるほど 数字には意味がない と認めるわけじゃな
つまり 詐欺じゃった と認めるわけじゃな
ちなみに光速の99％はラピディティで置き換えると2.64…程度
光速そのものはラピディティでは∞じゃから 大したことない
まあ、光速より小さいならラピディティは有限じゃから
どんなに大きくても「大したことない」んじゃがのう
（注：ラピディティとは速度をvとしたときのarctanh(v/c)
速度の合成により、ラピディティは可算される)
601:１３２人目の素数さん
20/04/13 17:28:00.73 my5S7sSz.net
>>560
>望月がそんな間違いをするかってレスがあるが、むしろ実際以上に柔軟に考え過ぎて失敗した可能性はあるな
>スキームを統制するパターンとかスキームを超える遠アーベル幾何っていう考えに魅せられて
>単純な事実依拠を怠ったという可能性
勿論、可能性はあるけどね
でも、2018年に指摘されて
その後、2年間かけて査読して
玉川先生も、OKのお墨付き
望月先生一人なら、まだしも、4月3日の記者会見したってことは、RIMSはショルツ氏の指摘にはちゃんと数学的に反論できる自信があるってこと
それは、まだ出てきてないけど
それを待たないと、外野が良いの悪いのって、言えないよね
そのうち出てくるでしょ、出なきゃおかしい（国際会議では出るよ）
602:野暮天
20/04/13 17:29:20.17 ukZx7597.net
>>571
＞「箱入り無数目」は間違！
＞もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな
で、あんたはどこの誰に聞いたんじゃ
わしはその人に直接尋ねてみるから
大阪大学理学部数学科の誰に尋ねたんじゃ？
まさか 工学部の専門外の教授に尋ねたわけではあるまい？
そんなん無意味に決まっとるじゃろ
603:１３２人目の素数さん
20/04/13 17:30:04.77 my5S7sSz.net
>>567
>もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて
>登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、
>置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が
>起こっているのか？
同意
ただ、そのことは、今年の国際会議が終われば
はっきりすると思う
それを待ちましょう！！（＾＾；
604:１３２人目の素数さん
20/04/13 17:30:24.13 vWi06T7g.net
ショルツの最新のコメントはSSレポートに更にわかりやすい情報を付加してる
エタール基本群から出発して、対称性通信による無数の異なる特異な対数加群を構成するというの
605:は 根本的におかしくないかと言ってる しかしこれ、結局ポストモダンの人などが言ってたことと基本的には同じ bizarre、ある意味で手品みたいな話なんだな
606:１３２人目の素数さん
20/04/13 17:32:19.16 my5S7sSz.net
>>574
>で、あんたはどこの誰に聞いたんじゃ
>わしはその人に直接尋ねてみるから
そんなことは、誰に聞いても良いよ
あなたが、東大の確率論の専門のだれそれとか、別に地方大でも だれそれとか
知っている人に聞け
それで決着するよｗ（＾＾；
607:１３２人目の素数さん
20/04/13 17:32:59.91 Y9js0GVd.net
>>571
おまえ隔離スレで↓から逃亡しといて何言ってんの？
>１．しっぽの同値類は可能
>２．決定番号を決めることは可能
決定番号は自然数である。 Y/N
{d(s^i)|i∈{1,2,...,100}}:=Mは、100個の（重複を許す）自然数の集合である。 Y/N
Mは有限全順序集合である。 Y/N
Mは最大元を持つ。 Y/N
Mの最大元は1個または複数個である。 Y/N
Mの単独最大元は1個または０個である。 Y/N
k∈{1,2,...,100} をランダム選択したとき、d(s^k)がMの単独最大元である確率は1/100または0である。 Y/N
P(s^k(D)=r^k(D))≧99/100（但しD:=max{d(s^i)|i≠k}） Y/N
>３．しかし、確率計算は正当化できない
は誤りである。 Y/N
608:野暮天
20/04/13 17:33:51.70 ukZx7597.net
＞4月3日の記者会見したってことは、
＞RIMSはショルツ氏の指摘には
＞ちゃんと数学的に反論できる自信があるってこと
それなら、反論した後で、記者会見するじゃろ
ショルツが認めなくても、他の数学者が認めればええじゃろ
なぜ、そうせんのかのう できんのかのう
できんのに記者会見するっちゅうのは、素人の文科省の官僚を
だまくらかせば、科研費がもらえるっていうハラかのう？
それ、国民を欺く詐欺じゃのう
あんた国民として怒らんのか
あんたの収めた税金が不当に使われるんじゃぞ
609:１３２人目の素数さん
20/04/13 17:35:41.26 my5S7sSz.net
>>572
>なるほど 数字には意味がない と認めるわけじゃな
>つまり 詐欺じゃった と認めるわけじゃな
数字には意味がない
↓
詐欺じゃった
この証明には、大きなギャップあり！！
さて、ギャップはどこでしょうか？ｗ
QED
ｗｗ(゜ロ゜;
610:野暮天
20/04/13 17:37:19.37 ukZx7597.net
>>577
>>で、あんたはどこの誰に聞いたんじゃ
>>わしはその人に直接尋ねてみるから
>そんなことは、誰に聞いても良いよ
耳が遠いようじゃから、耳元で大声でいわせてもらうが
「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ？」
あんたまさか誰にも聞かずにフカしとるんか
じゃ、群論や順序数の件と同様、初歩的誤りじゃろうな
あんたが数学を全然わかっとらんのは数学板の読者の常識じゃからのう
臆面もなく書き込めるのは面の皮が鋼鉄製だともっぱらの噂じゃ
611:１３２人目の素数さん
20/04/13 17:39:09.69 my5S7sSz.net
>>579
>それなら、反論した後で、記者会見するじゃろ
記者会見は、文系の記者相手で、広報は一般大衆向け
プロ向けには、今年国際会議が予定されているでしょ
そして、秋と春の日本数学会と
そして、2022ICMがあるよ
>ショルツが認めなくても、他の数学者が認めればええじゃろ
その通り
これから、数学オセロゲームが始まります
おれら、ヤジウマは、数学オセロゲームを楽しむんだよ～ｗ(゜ロ゜;
612:１３２人目の素数さん
20/04/13 17:39:30 Lx5viamn.net
望月博士とショルツ博士の議論は、
ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって
議論なんですか？
結局どっちも正しくて、一つの真理を別々の理論で同時に書き表せるのに、互いに
違う理論の言葉を使おうとするからコミュニケーションミスが起こってる
あるいは、望月博士の理論はカロリックやエーテルを仮定するような大局観から疑われ
ているんでしょうか？
大局観が間違ってなくて理論の方向性自体がすばらしいのであれば、議論を重ねる
ごとに理論はよりブラッシュアップしていくと期待していいのではないでしょうか？
素人ですいません。
613:１３２人目の素数さん
20/04/13 17:41:30 my5S7sSz.net
>>581
>耳が遠いようじゃから、耳元で大声でいわせてもらうが
>「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ？」
あんた、大学レベルの確率論・確率過程論 やってないでしょ
おれは、やったよ
それだけのこと
「箱入り無数目」は、大学レベルの確率論・確率過程論やってないと、嵌って抜けらないってことよｗ（＾＾；
614:野暮天
20/04/13 17:41:40 ukZx7597.net
>>578
その昔、見栄坊の大阪人が
「決定番号は自然数である。」
という質問に
「N! 確率１で∞！」
と答えたときはズッコケまくったもんじゃ
決定番号の定義を読んで理解したならこんな回答は決してできん
できんことをするっちゅうのは、理解できてないちゅうこっちゃ
見栄坊氏はディスレクシアかのう？
URLﾘﾝｸ(ja.wikipedia.org)
615:１３２人目の素数さん
20/04/13 17:43:43 AZP114W1.net
>>567
IUTは大言壮語で役立たずです。
IUTはabc予想から天気予報まで
有効と言ってます。
が実際は、
天気予報よりシンプルな感染症現象の数理モデルでも役立たずです。
気象なら水蒸気から相転移し雲になり
クラスター化して集中豪雨のスーパーセルになります。
感染モデルはウィルスの変異は仮定しませんしibmモデルもシンプルです。
まあRIMSの新型コロナウィルス対策なら
RIMS封鎖が最も有効でしょう
616:野暮天
20/04/13 17:44:00 ukZx7597.net
>>584
＞あんた、大学レベルの確率論・確率過程論 やってないでしょ
＞おれは、やったよ
あんた自習じゃろｗ
わし、やったが・・・箱入り無数目の否定にはつながらんな
ああ、そうそう、あんたここでは匿名にしたいようじゃが
便宜的にHN入れてくれんか そう名前は「見栄坊」で
617:１３２人目の素数さん
20/04/13 17:44:38 my5S7sSz.net
>>583
>望月博士とショルツ博士の議論は、
>ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって
>議論なんですか？
その例えで言えば
１．量子力学の確率解釈を支持したパウリ一派
VS
２．量子力学の確率解釈を拒否したアインシュタイン、シュレーディンガー一派
って構図だと思うよ
どっちがどっちか
これから、はっきりすると思うけどね（＾＾；
618:１３２人目の素数さん
20/04/13 17:45:54 Y9js0GVd.net
>>584
なんでおまえは>>578から逃げるんだ？
逃げるなら自分の間違いを認めろ
619:１３２人目の素数さん
20/04/13 17:46:58 my5S7sSz.net
>>587
＞あんた自習じゃろｗ
おれと、天才ショルツを比べる気ないけど
天才ショルツ氏も、ほとんど自習らしいよ、数学
>わし、やったが・・・箱入り無数目の否定にはつながらんな
だから、あなた、抜けたんでしょ
学んだことが、というか、理解できてないかだな（＾＾；
620:１３２人目の素数さん
20/04/13 17:48:07 Lx5viamn.net
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは？ それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
621:１３２人目の素数さん
20/04/13 17:48:07 Lx5viamn.net
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは？ それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
622:野暮天
20/04/13 17:49:03 ukZx7597.net
>>583
＞望月博士とショルツ博士の議論は
むやみに大袈裟な仕掛けを考えた、マッドサイエンティストMに対して
洗練されたヨーロピアンスタイルの天才Sが
「あれもいらない、これもいらない・・・
最低限これだけですけどこれじゃ仕掛けは動かないですね」
と指摘し
「わしの長年の労作を・・・貴様ごとき若造が否定するとか百年早いわい！」
とMが激怒
これを聞いてSの捨て台詞
「あああ、年齢は関係ないですよ
数学者としての盛りを過ぎた老人って・・・哀れなもんですね」
漫画の読み過ぎかｗ
623:１３２人目の素数さん
20/04/13 17:50:12 TnD+4OAc.net
>>446
>数論幾何の専門家が中高年になるまで心血注ぎ込んで掛けて来た時間と人数にくらべて、
>若い天才といっても１人の専門外の人がチョチョイと直ぐ見抜ける
>「修�
624:ｳ不可能なギャップが根幹に有って誰も専門家が気が付かなかった」 >って考え難いんですよね 違う。望月は証明できたとし、周囲の人間は理解できないけれども身内びいきの感情で、 認めてしまったというだけのこと。 周囲の「専門家」が誰一人説明できないことは、望月応援団の誰もがわかっていない証拠である。 望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。 また、望月の証明の欠陥を指摘したのはSSだけではない。 名前が知られているだけで、コンラッズ・woit・越川が、同じ個所で同じ指摘をしている。
625:１３２人目の素数さん
20/04/13 17:51:34 Lx5viamn.net
>>593
漫画と芸能ゴシップ誌と競馬予想誌読み過ぎだと想像しますｗ
よくわかんないけど
626:１３２人目の素数さん
20/04/13 17:55:51 AZP114W1.net
>>592
プリミティブ方程式がわかれば
予測可能になるの？
雲もなる仮定も超水滴法とか色々ある
し、
集中豪雨の予測もドップラーレーダーの
データが必要でしょ
627:野暮天
20/04/13 17:55:58 ukZx7597.net
>>594
＞望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。
なるほど、箱入り無数目で
「見栄坊が、ここの読者の指摘にたいして、強情はってるだけ」
というのと同じじゃな
阪大が見栄坊の論文をアクセプトし出版する際には教えてくれるか
ま、そんな事態は永遠に訪れないと思うが
628:１３２人目の素数さん
20/04/13 17:56:31 dqNdeGIH.net
>>594
え？
「証明は正しい」って会見済みですが。
629:１３２人目の素数さん
20/04/13 17:56:34 TnD+4OAc.net
>>483
望月の側に査読者を選ぶ権利無し。
こんなことをいう時点で世界の笑いもの
630:１３２人目の素数さん
20/04/13 17:57:11 Y9js0GVd.net
ID:my5S7sSz
クダラナイこと言ってないで>>578に答えなさい
答えないなら間違いを認めなさい
631:野暮天
20/04/13 17:58:29 ukZx7597.net
>>592
＞2世紀前の数学理論で十分なんでは？
そうじゃろな
２１世紀になってやっと双曲幾何が利用される状況じゃからな
632:１３２人目の素数さん
20/04/13 17:59:48 Lx5viamn.net
>>596
モデリングに使う構成方程式や境界条件式を計測から求めた実測値をはめ込んで
方程式系をcloseさせるってこと普通にやりますけど、
それならいよいよ純粋数学理論の正しさとは筋違いの話ですよね
633:野暮天
20/04/13 18:01:19 ukZx7597.net
>>595
＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
634:野暮天
20/04/13 18:01:19 ukZx7597.net
>>595
＞漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
635:１３２人目の素数さん
20/04/13 18:05:01 TnD+4OAc.net
>>598
分かってないまま正しいと認めたんだろう。
636:野暮天
20/04/13 18:05:03 ukZx7597.net
>>600
見栄坊は自分の長年の主張を撤回することは
自分の体面を失うことだと思っとるようじゃが・・・
そもそも数学を知らん素人に体面なんかないじゃろ
なに思い上がっとるんかのう あの大阪人は
637:１３２人目の素数さん
20/04/13 18:05:46 vvVnRe9y.net
>>582
順序が逆なんだよね
普通プロ向けに国際会議でそれなりのコンセンサスを得てから記者会見でしょう
プレプリントを公開したことでかえって批判されているのに、関係者ばかりが正しいと叫んでいる状況は明らかにおかしい
638:野暮天
20/04/13 18:07:14 ukZx7597.net
>>605
玉川は、望月が天才だと思い込んどるんじゃろうな
京都の数論幾何グループ全体が集団催眠にかかってる
と考えたほうがよさそうじゃ
柏原氏はもらい事故みたいなもんじゃな
639:１３２人目の素数さん
20/04/13 18:08:56 dqNdeGIH.net
>>605
なぜそんな事が分かるんですか？
640:野暮天
20/04/13 18:09:41 ukZx7597.net
>>582
＞これから、数学オセロゲームが始まります
＞おれら、ヤジウマは、数学オセロゲームを楽しむんだよ～
見栄坊氏はアルツハイマー型認知症じゃろか
なんか不健康な生活を送ってそうじゃからなあ
641:１３２人目の素数さん
20/04/13 18:10:45 Lx5viamn.net
>>603
そうでしたかそれは失礼しました
モデリングの正しさは経験則（実験との整合性）ですが、数学理論の正しさとは
いまだにわかりません。嘘くさい数学理論で整合性だけはどう試しても満たしてるっぽい
数学理論でも、騙されたと思ってその数学理論でモデリングして数値計算したり、
間接測定した実測値があってたら、しかも何度追実験してもあってたら、
もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。
数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。
642:１３２人目の素数さん
20/04/13 18:11:46 TnD+4OAc.net
>>609
説明できていないから.
ちなみに、ギャップのない証明があるならば、機械で検証できる。
望月応援団は機械で検証できる証明を提示していない。
ゆえにギャップのない証明は存在しない。
事実として今現在存在しない。
643:野暮天
20/04/13 18:13:19 ukZx7597.net
＞数学理論の正しさとはいまだにわかりません。
数学理論の正しさは無矛盾性じゃな・・・ただし証明不可能じゃが
644:１３２人目の素数さん
20/04/13 18:15:07 y67whNyF.net
>>599
査読者っていうのは最低限会話しなきゃ能力がないから選べないの。
望月が選ぶんじゃなくてもな。
645:１３２人目の素数さん
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!)
アホはお前だ、いやお前だ状態