21/12/04 07:41:04.98 MFYszNPQ.net
望月さんはメディアの取材は受けません(キッパリ)とか言ってたのに
なぜ突然アサヒの取材を個人的に受けたのだろう
コメントを取れることが分かったからには取材攻勢を掛けられそうだけど
アサヒがいつも好意的に取り上げてくれてるからかな
それとも旗色が悪いことを感じての宣伝工作か
好意的な記事を出さないと取材に応じてくれないというのは世間でよくある話
717:132人目の素数さん
21/12/04 08:02:16.00 qhA6cGXM.net
>>679
>なぜ突然アサヒの取材を個人的に受けたのだろう
>旗色が悪いことを感じての宣伝工作か
単にIとかいう記者がウカツでMSに利用されとるだけ
まあ他の連中はそもそも数学に興味ないから
そんなもん記事にならんとポイ捨て
結果的にはそれが完全正解だけどな
素人が下手に興味もつとトンデモになる
718:132人目の素数さん
21/12/04 09:24:19.96 oc9AgduJ.net
>>635 補足
妻と義母の隠し絵(下記)で、”老婆”に見える
あるいは、どこにでも人面(下記)を見て、人面瘡だとか
つまり、人には自然に人の顔を識別する能力がある。しばしば、顔でないところに人面を見る。車のデザインなどもそうだ
同様に、ドイツの天才はしばしば、モノドロミーを見る。IUTにも「幻のモノドロミー」を見たのでしょうね
そして、お得意の「理論をコンパクトな形で提示する」(下記)手法を使ってね(SS文書内では”simplification”=単純化という)
まあ、これは あくまで個人の推理で、見てきたようなことですが
天才は、大真面目に「IUTにモノドロミーが見える。こう”simplification”=単純化したら、皆にも見えるだろ。だから、不等式は導けない!」という
しかし、一般論として、「simplification”=単純化したら、不等式が導けない。だから、元の理論が矛盾だ」というロジックはヘンです>>635
でも、この絵は老婆だ、いやこれは人面瘡だと、思い込んで先入観にとらわれた人には、だれかが正論を言っても耳をかさないのです
天才は、自分が間違っているなんて そんなことは今まで無かったから、それは夢にも思わないのでしょうね。やれやれですね
URLリンク(ja.wikipedia.org)
妻と義母 (つまとぎぼ, My Wife and My Mother-In-Law) は、多義図形に分類される隠し絵のひとつ。 一枚の絵で、若い女性と年老いた女性の二通りに捉えることができる。
URLリンク(upload.wikimedia.org)
W.E.ヒルによる絵
つづく
719:132人目の素数さん
21/12/04 09:24:43.31 oc9AgduJ.net
>>681
つづき
URLリンク(dic.pixiv.net)
ピクシブ百科事典
URLリンク(i.pximg.net)
人面とは、人間の顔面のことだが、顔そのものを指すよりも、その顔が人間の頭部前面以外の、ありえない場所にあったときに強調するために使われることが多いようだ。
URLリンク(ja.wikipedia.org)
人面瘡(じんめんそう、人面疽)は、妖怪・奇病の一種。体の一部などに付いた傷が化膿し、人の顔のようなものができ、話をしたり、物を食べたりするとされる架空の病気。
URLリンク(ja.wikipedia.org)
ペーター・ショルツェ
ゲルト・ファルティングス、ジャン=マルク・フォンテーヌ、そして後にキラン・ケッドラヤによって開発された以前の基本的な理論のいくつかをよりコンパクトな形で提示した。ウェイト・モノドロミー予想を部分的に証明した[12]。パーフェクトイド空間の概念を導入した[13]。
(引用終り)
以上
720:132人目の素数さん
21/12/04 10:12:00.44 qhA6cGXM.net
>>681
>IUTにモノドロミーが見える。
はい誤読w
望月新一が書いた「非数学的な文章」を取っ払うと
モノドロミーによってCor 2.13が導けず
自明な不等式が導かれると指摘した
反論するなら、モノドロミー問題を解決する定義を示せばいいだけ
しかし望月新一は全然関係ない∧と∨の話で誤魔化した
その時点で望月新一は負けたの 死んだの
悔しかったら望月新一の代わりに定義示せよ
できない?だったら諦めろよ人間失格の中卒ニホンザル
ギャハハハハハハ!!!(嘲笑)
721:132人目の素数さん
21/12/04 10:17:16.01 7z6oFG3B.net
>>676
だったら私費で研究してください
高価な実験設備が必要なわけじゃないんだから不可能じゃないでしょう
722:132人目の素数さん
21/12/04 10:23:25.47 ubstjMrK.net
>>678
科学と数学は無関係
723:132人目の素数さん
21/12/04 11:02:04.11 eX7Uoxu4.net
>>685
笑かすなよ
数学の進歩があって科学が伸びるんだろ
724:132人目の素数さん
21/12/04 11:52:25.05 oc9AgduJ.net
>>214-215 補足
再録
>>12より (IUTに対する批判的レビュー)URLリンク(zbmath.org)
(原文引用)
In parts II and III, with the exception of the critical Corollary 3.12,
the reader will not find any proof that is longer than a few lines;
the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”,
which is in line with the amount of mathematical content.
in line withは、熟語 ~と一致して
URLリンク(eikaiwa.dmm.com)
DMM英会話 Words
(引用終り)
<google訳を手直し>
パートIIおよびIIIでは、重要な結果3.12を除いて、
読者は、数行より長い証明を見つけることができません。
典型的な証明は、「Corollary 2.3のさまざまなアサーションは、これらのアサーションのステートメントで引用された定義と参照の直後に続きます。」と書かれています。
これは数学的内容の量と一致しています。
(引用終り)
ここショルツェ氏はヘン
1.数行より長い証明を見つけることができません→数学的内容の量と一致しています
つまり、証明が数行と短い→数学的内容の量と一致→数学的内容が数行で乏しい
と主張している
2.しかし、証明の長さと、数学的内容の量とは必ずしも一致しない
歴史の示すところ、しばしば、証明が改良されて、短くなることがある
では、証明が改良されて、短くなれば、数学的内容が変化したのか? そんなことはない
3.そもそも、ご自身の成果で、>>682より
「・・ジャン=マルク・フォンテーヌ、そして後にキラン・ケッドラヤによって開発された以前の基本的な理論のいくつかをよりコンパクトな形で提示した」
が有名ですけど、まさか、”よりコンパクト”にしたら内容が薄くなった? まさかね
4.あと、階段で、1段の高さを小さくしても、段数を増やせば、一段の高さが大きい場合と、トータル高さは同じだよね
望月先生は、前者を選んだってことでは
5.ここは、ショルツェ氏は、望月IUTに対し感情的になっているとしか思えないね
お互いさまかもだがw
725:132人目の素数さん
21/12/04 12:05:48.63 eX7Uoxu4.net
狂ってるのか?
機械訳にレスして原語の発表者がおかしいとか
原語と同じ言語で反論しろや
教えんけど、日本語訳の方がおかしい部分あるぞ
英語板に行って訳してもらってこい
726:132人目の素数さん
21/12/04 12:09:46.72 eX7Uoxu4.net
機械訳を手に一連の流れ追うのやめた方が良いよ
英語の原文で読める人をイラつかせるだけで
望月教授の援護になってないから
むしろ望月教授をイライラさせるだけだと思うわ
727:132人目の素数さん
21/12/04 12:12:17.05 eX7Uoxu4.net
ああ、そうだ
無能な働き者って知ってるか?
728:132人目の素数さん
21/12/04 12:14:30.57 ullCXsf
729:B.net
730:132人目の素数さん
21/12/04 12:28:42.41 oc9AgduJ.net
>>687 補足
> 5.ここは、ショルツェ氏は、望月IUTに対し感情的になっているとしか思えないね
> お互いさまかもだがw
おおやけのレビューでは、書いてはいけないことがあるよね、限度が
その限度を超えると、”殿! ご乱心! お気を確かに!!”と周囲から、止めが入るよね
それに近いか
なんだかね
731:132人目の素数さん
21/12/04 13:06:59.24 oc9AgduJ.net
>>670 補足
> 1.例えば、星先生が数学会の数学誌に、遠アーベルの論説を頼まれたって話しがあったよね
これ、下記情報ですね
>>14より
URLリンク(hissi.org)
必死チェッカーもどき
数学 > 2021年11月06日 > 36fx/MEI
書き込みレス一覧
Inter-universal geometry とABC 予想47
85 :132人目の素数さん[]:2021/11/06(土) 13:29:10.24 ID:36fx/MEI
次号の「数学」に星さんの論説が載りますね
日本の数学者を語るスレ
708 :132人目の素数さん[]:2021/11/06(土) 13:39:09.36 ID:36fx/MEI
数学 74巻1号 予定
論説
星裕一郎:遠アーベル幾何学の進展
五味清紀:トポロジカル絶縁体入門
ートポロジーの視点からー
-------------------------------------------
このほか、企画記事、書評、学会ニュース等が掲載
される予定です。
(引用終り)
思うに、
1.編集委員から「こんな内容で」と頼まれているはず
2.当然、プロ数学者向けで、遠アーベルの最近の動きで、かつ隣接する分野の数学者にも、興味があり役立つものを
3.下記<IUTと類体論> 2dAAG=2d adelic analysis and geometry で、加藤和也先生の分野
4.IUTは、anabelian geometryの2d(=two-dimensional)の位置づけ
5.そして、対応する 2dLC?=2d Langlands correspondences (LC)がある (日本にも(LC)研究者いますよね)
ここらを、書いてくれという要望と思うよ(IUTはマスコミを騒がしているしね)
それなら、日本の分厚い数論研究者たちにも、興味があり役立つものになる
IUTに深入りしないならば、玉川先生の方が適任かも
つづく
732:132人目の素数さん
21/12/04 13:07:53.48 oc9AgduJ.net
>>693
つづき
(参考) >>11より
<IUTと類体論>
URLリンク(ja.wikipedia.org)
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である。イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている
URLリンク(www.maths.nottingham.ac.uk)
Ivan Fesenko - Research in texts
URLリンク(www.maths.nottingham.ac.uk)
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021
P16の後半に面白い図がある
コピーペースト下記
Here are some relations between the three generalisations of CFT and their further developments:
2dLC?-- 2dAAG--- IUT
l / | |
l / | |
l/ | |
LC 2dCFT anabelian geometry
\ | /
\ | /
\ | /
CFT
注)記号:
Class Field Theory (CFT), Langlands correspondences (LC), 2dAAG = 2d adelic analysis and geometry, two-dimensional (2d)
(P8 "These generalisations use fundamental groups: the etale fundamental group in anabelian geometry, representations of the etale fundamental group (thus, forgetting something very essential about the full fundamental group) in Langlands correspondences and the (abelian) motivic A1 fundamental group (i.e. Milnor K2) in two-dimensional (2d) higher class field theory.")
URLリンク(www.kurims.kyoto-u.ac.jp)
Fesenko IUT and modern number theory
(引用終り)
以上
733:132人目の素数さん
21/12/04 13:34:50.94 eX7Uoxu4.net
だから、止めろって言ってんだろうが
無能
734:132人目の素数さん
21/12/04 13:37:29.21 OJnzWNJ5.net
他人が自分に従ってくれないと悔しいよね
735:132人目の素数さん
21/12/04 14:31:46.00 eX7Uoxu4.net
いや有能ならいいけど
無能だから言ってる
736:132人目の素数さん
21/12/04 14:46:35.52 cEaluWtD.net
確かに有能ならそもそも止めて欲しいと思うこともなく、
自分に従って欲しいという悔しさも味わわずに済んでたね
737:132人目の素数さん
21/12/04 17:05:55.03 qhA6cGXM.net
>>691
>高木も尿瓶もセタも見事に知能の発達が高校の低学年くらいで止まってる
つまり微分積分が理解できなかった、と
無限が分からん奴には解析学なんかわからんよ
738:132人目の素数さん
21/12/04 17:16:58.26 qhA6cGXM.net
eX7Uoxu4氏へ
ナニワの中卒ヤンキー君は、数学板では
「国立O大学卒の賢い人」を演じたいようです
「変態数学の系譜 雑談 ◆yH25M02vWFhP」
とかいうイタイタシイ中二HNで、ムキになって
「俺だ!俺だ!!俺だ!!!」
とアピールするのは中卒という
「学歴社会の完全な敗北者」
だからでしょう
しかし、大卒を装うにも肝心の理解がない
だから必死に専門用語を検索してみつけた結果を
読みもせずに丸写しするしかない
彼が数式表記で文句言うのも、ただ丸コピペできないからで
数学に対する深い理解に基づいた上の発言でないことは
皆先刻ご承知です
彼の地の文は呆れるほど低レベルで はっきりいって
高校1年の数学で落ちこぼれたのは明白です
これでは理系はまったく無理ですね 三角関数分からないんじゃね
文系でも経済学とか無理かも 指数・対数も分からないんじゃね
739:132人目の素数さん
21/12/04 18:14:29.41 9LUfYBBk.net
>>700
君もMara Papiyasとかいうコテ名付けてたけどなんでやめちゃったの?
740:132人目の素数さん
21/12/04 18:36:09.09 2fTR6PCi.net
In parts II and III, with the exception of the critical Corollary 3.12,
the reader will not find any proof that is longer than a few lines;
the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”,
which is in line with the amount of mathematical content.
パートII及びIIIには重要な系3.12を除くと数行の証明しか見当たらない:
それはだいたいこんな感じだ「系2.3の様々な主張は定義及び引用された参照から直ちに従う。」
まったく数学的内容に乏しい。
741:132人目の素数さん
21/12/04 18:49:06.76 2fTR6PCi.net
要するにパートII,IIIで思慮に値するのは系3.12�
742:セけってこと その系3.12がダメなんだからパートII,IIIはダメ、つまりIUTはダメってこと
743:132人目の素数さん
21/12/04 18:54:27.46 Xu8r0pI3.net
結構ナンセンスなジャーゴン集にしれっとABCを導く主張を混ぜ込んだってのが真相なんだね。
段ボール肉まんレベルw
744:132人目の素数さん
21/12/04 19:10:46.13 qhA6cGXM.net
>>701
私はMPではないよ
MPが消えた理由?
飽きたんじゃない?w
>>703
Cor 3.12の真偽については知らんが
IUTTによる証明が失敗してるのは確かだろう
ショルツに言わせると、
Cor 3.12からABC予想が導けるのは
そう難しいことではないらしい
つまり、望月新一は大したことしてない、と
745:132人目の素数さん
21/12/04 19:23:35.05 3TlHVO8J.net
コテの話題はコテスレで
SET Aを語るスレ
スレリンク(math板)
猿石を語るスレ
スレリンク(math板)
746:132人目の素数さん
21/12/04 20:16:58.41 oc9AgduJ.net
>>702-704
>パートII及びIIIには重要な系3.12を除くと数行の証明しか見当たらない:
>それはだいたいこんな感じだ「系2.3の様々な主張は定義及び引用された参照から直ちに従う。」
>まったく数学的内容に乏しい。
>要するにパートII,IIIで思慮に値するのは系3.12だけってこと
>その系3.12がダメなんだからパートII,IIIはダメ、つまりIUTはダメってこと
全くその通りです
”結構ナンセンスなジャーゴン集にしれっとABCを導く主張を混ぜ込んだってのが真相なんだね。
段ボール肉まんレベルw”
だと、天才ドイツ人は思っているってことです
では、天才ドイツ人が思っている通りだと仮定すると
IUTの査読も柏原・玉川の記者会見もデタラメで
5人論文もデタラメで、5人は狂気で、それを査読した工大mathも狂気なら
Promenade in Inter-Universal Teichmuller Theoryも狂気
IUTの4回の国際会議も狂気だし、
それに名を連ね参加した東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生も狂気
天才ドイツ人の主張が正しいならば、
IUTについて最近起きたことは全部狂気の沙汰となる
両者は、完全に矛盾だよね
もし、後者が正しいならば、
背理法により、天才ドイツ人の主張が間違っているってことですよw
747:132人目の素数さん
21/12/04 21:08:36.62 Xu8r0pI3.net
そういうのを正常性バイアスという。
もしこうならこんなことになっちゃうからそんなはずない!
ってねw
748:132人目の素数さん
21/12/04 22:14:59.86 KcCnWp0c.net
ショルツに言わせると、Cor 3.12が
まずこの理解の時点で理解がしてないとわかるんだけど、
プロになると主定理っぽいところから端折ってさかのぼって
斜め読みしようとするから、読まずに批判しようと頑張ると
こういい始めてしまうわかる。
749:132人目の素数さん
21/12/04 22:58:44.94 2DbuQ217.net
>>709
なるほど。それで、どう読み違えているんです?
750:132人目の素数さん
21/12/04 23:06:40.58 Xu8r0pI3.net
さっさと白旗上げて敗戦処理しとけばよかったのに、
目先のカネにめがくらんだのかな。
751:132人目の素数さん
21/12/04 23:48:20.39 nnbnJ8lK.net
>>684
お前の趣味数学なら私費で十分だろw
752:132人目の素数さん
21/12/04 23:50:15.64 oc9AgduJ.net
>>711
>さっさと白旗上げて敗戦処理しとけばよかったのに、
>目先のカネにめがくらんだのかな。
例のドイツ人のことだね
テングさんになっとるね、彼は
>>709
>プロになると主定理っぽいところから端折ってさかのぼって
>斜め読みしようとするから、
その読み方は正しいだろうな、一般論としては
下記「2012年10月にヴェッセリン・ディミトロフ[10]とアクシェイ・ヴェンカテシュにより誤りの指摘[11]があり」
は、明らかに、主定理っぽいIV内の定理のところから読んでいるよね
でも、ドイツ人は読み違いをしている
それは、だめだよ
URLリンク(ja.wikipedia.org)
宇宙際タイヒミュラー理論
2012年10月にヴェッセリン・ディミトロフ[10]とアクシェイ・ヴェンカテシュにより誤りの指摘[11]があり
>>708
>そういうのを正常性バイアスという。
>もしこうならこんなことになっちゃうからそんなはずない!
それは双対で、お互い様
かつ、非対称なのは人数で
アンチは、例のドイツ人一人
IUT側は、軽く10人は居るよね。10人全員が間違う確率は、1/2^10=0.1%。 つまり正しい確率は99.9%以上
753:132人目の素数さん
21/12/04 23:50:59.81 7z6oFG3B.net
>>712
プロの数学者はどうして金がかかるんですかね?
754:132人目の素数さん
21/12/04 23:52:41.02 nnbnJ8lK.net
自己満足の知ったか数学じゃないからだよ
755:132人目の素数さん
21/12/04 23:53:37.16 d84ddLH0.net
間違えることを独立と考えるのは、妥当でないよね。
同じ間違えをするわけだし。
あと、私もアンチだよ。
756:132人目の素数さん
21/12/04 23:56:19.24 EP9zfZDv.net
>>571
> 数学的帰納
757:法だってウソ帰納法をでっち上げて > 0.999…<1だ!と絶叫発狂する始末 あぁそんな奴だから無限重シングルトン解釈トンデモ妄想者に成るんだな
758:132人目の素数さん
21/12/04 23:57:05.46 nnbnJ8lK.net
>>714
お前さ私怨で精神が腐ってるぞ
759:132人目の素数さん
21/12/04 23:58:20.76 7z6oFG3B.net
>>715
自分の理論に賛同するよう他の数学者を買収したり
反対する数学者にヒットマンを送り込むために金が必要というわけですか
なるほど確かに
760:132人目の素数さん
21/12/04 23:59:34.48 nnbnJ8lK.net
>>673
お前さ私怨で精神が腐ってるぞ
761:132人目の素数さん
21/12/05 00:00:00.12 5ZVp0j9p.net
科研費余っているから、可能なら719のような使い方をしたいwww
762:132人目の素数さん
21/12/05 00:02:12.38 AVkq/R4m.net
IUTが数学界の政治問題と言われるだけのことはありますな
763:132人目の素数さん
21/12/05 02:32:21.30 fpGZZPSt.net
>>719
その反駁にすらならない話のすり替え方100%広島の都落ちだろ?
お前さ何年経っても全然進歩ねーなww
物理はどうなった?数学ぶん投げたんじゃなかったのか?
論文全然書いてないんだろ?私怨と私費がテーマなら書けそうかw
764:132人目の素数さん
21/12/05 02:52:36.05 fpGZZPSt.net
>>719
お前の垂れ流した野糞を始末してくれる親切な人がいっぱい出て来たぞwww
きちんと全員に礼を言っとけよクズ野郎
URLリンク(twitter.com)
URLリンク(twitter.com)
URLリンク(twitter.com)
(deleted an unsolicited ad)
765:132人目の素数さん
21/12/05 03:02:06.20 fpGZZPSt.net
>>684
大した税金払ってないお前がいうなアホw
森毅より論文書いてないお前がいうなボンクラww
URLリンク(twitter.com)
(deleted an unsolicited ad)
766:132人目の素数さん
21/12/05 05:31:48.65 6BfXcHXo.net
IUTを理解しているという人たちは解説論文を書くだけで業績に出来るというのになぜしようとしないの?
いくつかサーベイ論文出てるけどたいして役に立たないから全然参照されてないよねw
もしかして本当に理解している人は一人もいないの?
767:132人目の素数さん
21/12/05 07:47:36.73 SVbdAHZX.net
>天才ドイツ人が思っている通りだと仮定すると
仮定しなくてもいいが
>IUTの査読も柏原・玉川の記者会見もデタラメで
同じ専門の他の数学者がことごとく理解できないのに
査読を通過した時点で「何見てたんだ?」と思われる
査読通過の記者会見は
「RIMSという組織を守るために
PRIMS査読に関する不祥事を隠蔽した行為」
と見られるね
>5人論文もデタラメで、
5人論文はCor 3.12の改良版を前提しているだけで
Cor 3.12もその改良版も定理だと示してないから
その意味では問題ないが、同時に価値もない
>5人は狂気で、
望月とFesenkoについてはなんとも言えないが
星と南出とPorowskiは状況を理解した上で
どう転んでも論文として成り立つように書いた
と理解している ご苦労様
情緒不安定な師匠を持つと弟子は苦労するね
>それを査読した工大mathも狂気なら
査読者を明確に書いたら? どうせ加藤文元だろ?
彼は狡猾だから、逃げ道を用意してるよ
「Cor 3.12(の改良版)を前提して」というのがそれ
要するにここではCor 3.12の改良版を前提してるだけだから
Cor 3.12の改良版が定理か否かについては述べてないということ
>Promenade in Inter-Universal Teichmuller Theoryも狂気
会議自体は開催するのは勝手だよ
開催で正
768:当性が示されるわけじゃないし >IUTの4回の国際会議も狂気だし、 何回開こうが勝手だよ 回数で正当性が示されるわけじゃないし >それに名を連ね参加した東大の重鎮 >Atsushi Shiho (Univ. Tokyo, Japan)先生も狂気 会議に出席するのも勝手だよ 会議に出たからIUTの正当性を認めたことになるわけじゃないし oc9AgduJ 君、狂ってる?
769:132人目の素数さん
21/12/05 07:58:55.30 SVbdAHZX.net
>アンチは、例のドイツ人一人
ああ、やっぱり oc9AgduJ は完全に狂ってるね
まずアンチという言い方が完全に狂ってる
正しくは
「望月新一のIUTによるABC予想の解決に対して懐疑的」
そして、そういう人はショルツだけではなく沢山いる
デュピュイだってCor 3.12は正しいだろうと予想してるだけで
望月がそれを証明できていると思ってるわけではないから
(そういう意味でいえば、ショルツは別にCor 3.12が誤りだと云ってるわけではない)
>IUT側は、軽く10人は居るよね。
でもIUTを理解してる人は実は一人もいないよね
(書いている望月自身、肝心なところをつめてない点で理解してない)
フェセンコはあきらかに願望で幻惑されてる
山下と星は結局諦めたと思ってる
南出がどう思ってるかは不明だが、Cor 3.12を前提するという態度なら
それが定理だろうが予想だろうがどっちでもいいから問題はない
(数学的に意味があるかどうかはともかくとして)
ところで
>10人全員が間違う確率は、1/2^10=0.1%。
素人ってなんで「正しいか誤りかは1/2」って決めつけるんだろうねえ
場合の数を2つに限ったとして、両者の確率が等しいと思い込む理由は何だろう?
ついでにいうと、独立性を前提してるようだけど、そういえる根拠は? 無いよね?
770:132人目の素数さん
21/12/05 08:06:23.26 SVbdAHZX.net
>>726
フェセンコと山下と星は解説に挑戦した
フェセンコは自分では解説し切ったと思ってるらしい
この人はやたら他人につっかかるとか
望月新一同様情緒不安定の傾向があるので
自分の仕事を冷静に反省する能力があるとは思えない
山下と星はさすがになにかおかしいと気づいてしまったようだ
前者は今どうなってるのかわからんし
後者は明らかにIUTから距離を置こうとしている
771:132人目の素数さん
21/12/05 08:10:50.52 e0gyQODW.net
>>726
>IUTを理解しているという人たちは解説論文を書くだけで業績に出来るというのになぜしようとしないの?
いくつかあるよ
最近のだと、>>3 <IUT国際会議 2つのシリーズ>
1.URLリンク(www.kurims.kyoto-u.ac.jp) Promenade in Inter-Universal Teichmuller Theory
2. URLリンク(www.kurims.kyoto-u.ac.jp) 宇宙際タイヒミューラー理論の拡がり (4回とも無事終了です)
2については、望月先生の (過去と現在の研究)世界の数学者に向けた、今年度の宇宙際タイヒミューラー理論関連集会のビデオ閲覧の招待状を掲載
URLリンク(www.kurims.kyoto-u.ac.jp)
がある
>いくつかサーベイ論文出てるけどたいして役に立たないから全然参照されてないよねw
山下サーベイは、Promenade in Inter-Universal Teichmuller Theory中で参照されていたよ
>>717
>あぁそんな奴だから無限重シングルトン解釈トンデモ妄想者に成るんだな
可算多重シングルトンありま~すw
有限多重シングルトンに上限はない。
だから、一階の理論では、可算多重シングルトンの存在は否定できない(レーヴェンハイム?スコーレムの定理(下記)より、存在しても矛盾はしない)
URLリンク(ja.wikipedia.org)
レーヴェンハイム?スコーレムの定理
可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
772:132人目の素数さん
21/12/05 08:11:37.59 e0gyQODW.net
>>730
つづき
>>716
>間違えることを独立と考えるのは、妥当でないよね。
例外的に独立でないのは認めるが、まずは数学者達は独立として扱っても、大きな間違いではないでしょう
いま世間を騒がす日大事件(みんなイエスマン)みたいなのはあるだろうけど、例外でしょ
>>714
>プロの数学者はどうして金がかかるんですかね?
2021年現在の数学は情報戦でもあり、また、私見だが個人戦から団体戦に近づいている気がする
つまり、古代ギリシャからかぞえても、2000年くらいの歴史のある学問だから
いま、どんな(オイラー、ガウス、ラマンジャンを凌駕する)天才が出現しても、
天才「朝起きたら、新定理が閃いた。神のお告げだ!」
21世紀数学者「その定理は正しいが、20世紀には既に知られている定理の一つの系でしかないね」
となるでしょうね、多分。(ラマンジャンが数式を英国数学者に送ったとき、多くは知られている式だったが、幾つかは新しい式だったみたく)
なので、普通の数学者は、2021年現在の数学最前線をしらないと、プロの数学研究にならないのです
数学最前線をしらないで、論文書くと、下手すると、盗作と思われるかも(普通は、既知で没ですが)
で、最前線は前に進むから、個人でやっていると、アキレスと亀状態になる(自分が亀)
なので、5人論文みたいなのが普通になる
773:132人目の素数さん
21/12/05 09:04:31.58 e0gyQODW.net
>>707 補足
>>702-704 より
>パートII及びIIIには重要な系3.12を除くと数行の証明しか見当たらない:
>それはだいたいこんな感じだ「系2.3の様々な主張は定義及び引用された参照から直ちに従う。」
>まったく数学的内容に乏しい。
>要するにパートII,IIIで思慮に値するのは系3.12だけってこと
>その系3.12がダメなんだからパートII,IIIはダメ、つまりIUTはダメってこと
”パートII及びIIIには重要な系3.12を除くと数行の証明しか見当たらない:
それはだいたいこんな感じだ「系2.3の様々な主張は定義及び引用された参照から直ちに従う。」
まったく数学的内容に乏しい。”
英文では>>702
”In parts II and III, with the exception of the critical Corollary 3.12,
the reader will not find any proof that is longer than a few lines;
the typical proof reads “The various assertions of Corollary 2.3 follow immediately from the definitions and the references quoted in the statements of these assertions.”,
which is in line with the amount of mathematical content.”
これが正しい? こんな説明では、多くの数学者は、同意しないでしょうね
あまりにも極論です。これが正しいならば、査読が通ったり、21年の国際会議に多くの人が参加したことの説明がつかないし
一方、ドイツ人のレビューの主張の数学的根拠は、2018年のSS文書のみ
スケルトンの話があったが、
ドイツ人は2018年のSS文書で、”simplification”=単純化して>>681、IUTのスケルトンを示した気になっているのでしょうね
「単純化してスケルトンを見ると、モノドロミーが見える。そうすると、不等式は導けない」と思い込んだドイツ人
どっこい、単純化は下手をすると、藁人形になる(一般論としては、明らかに藁人形)
望月氏は、∧∨論文で、「そのスケルトンは正確ではない。∧∨の取り違えだぞ」と主張する
でも、IUT側から正しいスケルトンの提示はまだないのが、課題として残っている
その指摘は正しい、そこだけはね
正しいスケルトンの提示は、ある方が良いよね
774:132人目の素数さん
21/12/05 09:12:42.00 SVbdAHZX.net
>>730
>>あぁそんな奴だから無限重シングルトン解釈トンデモ妄想者に成るんだな
>可算多重シングルトンありま~すw
また、中卒🐎🦌が釣れたw
この件は以下で
スレリンク(math板:517番)
775:132人目の素数さん
21/12/05 09:12:42.25 SVbdAHZX.net
>>730
>>あぁそんな奴だから無限重シングルトン解釈トンデモ妄想者に成るんだな
>可算多重シングルトンありま~すw
また、中卒🐎🦌が釣れたw
この件は以下で
スレリンク(math板:517番)
776:132人目の素数さん
21/12/05 09:15:02.74 SVbdAHZX.net
>>732
>IUT側から正しいスケルトンの提示はまだないのが、課題として残っている
>その指摘は正しい、そこだけはね
IUT論文の意味って「正しいスケルトンの提示」だけじゃん
そこできてないんじゃ全然意味ないじゃん 自爆?なぁ、自爆?
>正しいスケルトンの提示は、ある方が良いよね
なきゃダメだろ それ以外ないんだから 馬鹿?なぁ、馬鹿?
777:132人目の素数さん
21/12/05 09:42:17.54 e0gyQODW.net
>>727
> 査読通過の記者会見は
> 「RIMSという組織を守るために
> PRIMS査読に関する不祥事を隠蔽した行為」
> と見られるね
なんか社会不適合で、おとなの社会に入れなかった
底辺ヒキコモリが、へんな理屈を言っているけど
RIMSから見て、(IUT、望月)は、ワンノブゼム
そんなの組織から見て、ほんの一部でしょ
「(IUT、望月)→成果無し」
が事実なら、そういう報告と処理の仕方はあるよ
テクニックとしてね
ちょうど、山下氏の科研費で、IUTでリーマン予想を目指して予算とった最終報告が参考になる
「ここまで出来た。課題はこれこれ。今後さらに課題
778:解決に向けて研究する」だよ (IUT、望月)でウソつく必要は全くないんだよね 上記は、社会不適合で、おとなの社会に入れなかった底辺ヒキコモリのルサンチマンの邪推だよ https://www.weblio.jp/content/%E3%83%AF%E3%83%B3%E3%83%8E%E3%83%96%E3%82%BC%E3%83%A0#:~:text=%E8%8B%B1%E8%AA%9E%E3%80%8Cone%20of%20them%E3%80%8D%E3%82%92,%E8%A1%A8%E8%A8%98%E3%81%99%E3%82%8B%E5%A0%B4%E5%90%88%E3%82%82%E3%81%82%E3%82%8B%E3%80%82 Weblio 辞書 > 辞書・百科事典 > 日本語表現辞典 > ワンノブゼムの意味・解説 https://www.weblio.jp/content/%E3%83%AB%E3%82%B5%E3%83%B3%E3%83%81%E3%83%9E%E3%83%B3 Weblio 辞書 > 固有名詞の種類 > 製品 > 漫画 > 漫画作品 > 日本の漫画作品一覧 > ルサンチマンの意味・解説
779:132人目の素数さん
21/12/05 09:48:29.04 AVkq/R4m.net
>>731
数学が団体戦だともう天才の出る幕はないみたいだな
夢のない話だ
780:132人目の素数さん
21/12/05 09:57:40.07 PB1BxUtj.net
細部を詰めるとか不足した知識を補うという意味では共同研究は重要だが、決定的なアイデアは
ケースバイケースだよ
何にせよ理解者は増やす努力をしたほうが良いけども。それが重要なアイデアであればあるほど
781:132人目の素数さん
21/12/05 10:07:59.07 AVkq/R4m.net
>>738
決定的なアイディアが既出であったり欠陥があったりするから
公表する前にそれを自前でチェックする人員が必要ってことだろ
もちろんチェックをすり抜ける可能性もある
782:132人目の素数さん
21/12/05 10:13:45.94 tysz2ZVW.net
常識的な誤解が面白い
783:132人目の素数さん
21/12/05 11:08:09.22 /5RpJ3Gw.net
著者1人の論文なんかアホほどあるわ
そういうあったりまえの常識もなんも無い人間が勝手な憶測と想像のファンタジーワールドの話してるとなんで自分で気づかないんかな?
もはやバカ通り越してキ○ガイ
784:132人目の素数さん
21/12/05 11:14:22.37 AVkq/R4m.net
>>741
でもそれだと金はかからないってことになるんじゃないか?
785:132人目の素数さん
21/12/05 12:41:18.29 e0gyQODW.net
>>741
>著者1人の論文なんかアホほどあるわ
なんか反論になってないし
論点ずれている
1.まず、議論は比率の問題だよね
戦前(1945まで)は、共著論文は少なかった気がする(DR論文とその指導者は別として)
2.で、自分の場合どうなん?
単独論文何本? 共著何本あるの?w
個人名はいいから、正直に本数書いてみなよ
で、最近、単著がないならば、共同研究を考えたら?
適当な相手がいない? 相手にされない? それなら仕方ないね
3.最近、共同研究増えているでしょ?
4.例えば、IUTの5人論文は、共同研究だし
谷山?志村予想は、下記の4人による共著論文で最終解決
さらに、フェルマーを解決したのは、ワイルズ氏とテイラー氏の共同研究だよね
(多分、最初の証明に穴があって、一人では精神的にも肉体的にも持たなくなっての共同研究)
さらに、IUT本体で望月先生も、下記”星裕一郎氏との共同研究”と書いているよ
6.よって、”著者1人の論文なんかアホほどあるわ”では、
近年の数学の共同研究増加傾向と、共同研究の有効性の否定には、つながらんよ
URLリンク(ja.wikipedia.org)
谷山?志村予想
一般の場合については20
786:01年にリチャード・テイラー(ハーバード大学教授)、ブライアン・コンラッド(英語版)(ミシガン大学教授)、フレッド・ダイアモンド(英語版)(ブランダイス大学教授)、クリストフ・ブレイユ(英語版)(IHES長期研究員)の4人による共著論文On the modularity of elliptic curves over Qにより肯定的に解決されたDiamond (1996), Conrad, Diamond & Taylor (1999), Breuil et al. (2001)。 つづく
787:132人目の素数さん
21/12/05 12:41:57.77 e0gyQODW.net
>>743
つづき
URLリンク(www.kurims.kyoto-u.ac.jp)
望月 感想・着想
2008年06月11日
この論文では、properな双曲的曲線の場合、配置空間
の次元が2から1に下がるときの単射性は証明されていないが、論文が
完成した後で、星裕一郎氏との共同研究でこの単射性を証明することが
できそうになった。この共同研究が完成すると、松本氏の定理のproper
な場合への拡張ができたことになる。この展開で特に面白いと思うのは、
スキーム論の枠組に留まる限りとてもできそうな感じがしなかったproper
な場合が、スキーム論に「パターンのヒント」を得ながらスキーム論の
枠組の外にある組合せ論的な理論を適用することによってすんなり解決
できたこと。即ちこの展開は、正に「IU幾何の精神」の有効性のよい例に
なったと思う。
2006年06月24日
一方、「点論性」については、学生の
星氏との共同研究によってそう遠くないうちにできそうだ。すると、現在
の認識では、「p進遠アーベル幾何のもっとも重要な未解決問題」は、
pro-pのabs pGCかな。これまで出来ていることを考慮すると、この問題は、
pro-p abs的な設定において曲線のspecial fiberの(閉点や既約成分の)
幾何を復元することと事実上同値である。
(引用終り)
以上
788:132人目の素数さん
21/12/05 13:39:36.17 SVbdAHZX.net
>>743
>論点ずれている
IUT分からんから、無関係なことで無駄口叩くね 中卒は
789:132人目の素数さん
21/12/05 13:41:37.04 SVbdAHZX.net
>>743
>戦前(1945まで)は、
戦争が1945年に終わったって、今日知ったんで早速書いたんか? 中卒は
>共著論文は少なかった気がする
「気がする」とかいう貴様の妄想を書くな 調べてから書け 中卒
790:132人目の素数さん
21/12/05 13:47:33.80 SVbdAHZX.net
>>743
>自分の場合どうなん? 単独論文何本? 共著何本あるの?w
論文なんか一本も書いたことない中卒がなにイキってんの?
>個人名はいいから、正直に本数書いてみなよ
個人名出さないんなら、おれは学士だ博士だ論文百本書いたとかホラふくな
>で、最近、単著がないならば、共同研究を考えたら?
論文とかいう以前に、日本語のまともな文章書けるようになれ 中卒
>適当な相手がいない? 相手にされない? それなら仕方ないね
なんならいい作文教師紹介してやるよ どうだ嬉しいか? 中卒
791:132人目の素数さん
21/12/05 13:51:27.83 SVbdAHZX.net
>>743
>最近、共同研究増えているでしょ?
人に聞かずに自分で調べろ 中卒
いっとくけど、誰も能無しの貴様と共著論文なんか書かないぞ
ギフト・オーサーシップってリッパな不正行為だからな 覚えとけ 中卒
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
研究活動上の不正行為
特定不正行為以外の不正行為
不適切なオーサーシップ
研究成果の発表物(論文)の「著者」となることができる要件を
満たさない者を著者として記載すること(ギフト・オーサーシップ)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
792:132人目の素数さん
21/12/05 13:54:26.87 SVbdAHZX.net
>>743
>”著者1人の論文なんかアホほどあるわ”では、
>近年の数学の共同研究増加傾向と、
>共同研究の有効性の否定には、
>つながらんよ
「気がする」と「でしょ?」は貴様の妄想であって
根拠としての事実の表明になってないぞ
793:貴様、正真正銘の●チガイか? 中卒
794:132人目の素数さん
21/12/05 13:55:54.27 SVbdAHZX.net
中卒よ 思い込みで文章書くな
795:132人目の素数さん
21/12/05 13:57:05.70 SVbdAHZX.net
中卒よ 文章に無駄な番号つけるな 馬鹿っぽいぞ
それともヴィトゲンシュタインの「論理哲学論考」の🐒マネか?(嘲)
796:132人目の素数さん
21/12/05 13:57:58.05 SVbdAHZX.net
中卒よ ウザいからリンクとコピペやめろ
自分の文だけ書け
797:132人目の素数さん
21/12/05 13:59:26.32 SVbdAHZX.net
中卒はいったん数学板への書き込みを全部やめろ
馬鹿が何も勉強せずにいくら書いても利口には絶対なれん
798:132人目の素数さん
21/12/05 14:00:25.42 SVbdAHZX.net
中卒よ 検索とコピペは勉強じゃない
大体一遍も読みもしないんじゃ意味ないぞ
799:132人目の素数さん
21/12/05 14:12:08.58 iG+iWKsx.net
読もうったって読めんやろ
対偶も数列も分からないんじゃ
800:132人目の素数さん
21/12/05 14:16:23.72 SVbdAHZX.net
>>755
つまづいたところから始めるしかないだろうな
中卒君の場合、高校一年の数学から
801:132人目の素数さん
21/12/05 14:24:37.73 1Y6yZU7X.net
瀬田とか猿石とか数学できない奴しかいないからねこのスレ
そういう奴らが延々じゃれ合う地獄の有様
802:132人目の素数さん
21/12/05 14:27:26.29 SVbdAHZX.net
>>757 そうか君が噂の猿石か
803:132人目の素数さん
21/12/05 14:43:50.79 1Y6yZU7X.net
>>758
スレリンク(math板)
この人だよ
804:132人目の素数さん
21/12/05 14:50:57.56 MqQ62sSb.net
相変わらず瀬田の似非帰納法はぶっ飛んでるな。ブットンデモだな。
瀬田の似非帰納法例
シングルトン
・単一シングルトンが存在する
・二重シングルトンが同様に存在する
・三重シングルトンが同様に存在する
…
・n重シングルトンが同様に存在する
…
・可算多重シングルトンが同様に存在する
↑これって↓こういう事を言ってんのと同じなんだけど
0.999…
・0.9<1
・0.99<1
・0.999<1
…
・0.999…999<1
…
・0.999…
↑これって↓こういう事を言ってんのと同じなんだけど
自然数
・1は有限値
・2は有限値
・3は有限値
…
・nは有限値
…
・∞は有限値
瀬田はつくづく、害悪だよな
805:132人目の素数さん
21/12/05 16:18:10.47 PB1BxUtj.net
>>226
そういうわかりやすい馬鹿晒すと全部読む価値ないとわかっちゃうからやめたほうがよいw
806:132人目の素数さん
21/12/05 16:35:20.13 e0gyQODW.net
>>761
ありがとう
Math Jin氏のタイムスリップに巻き込まれたんだw
>>760
ありがとう
時枝先生の可算無限個の箱(下記)
これを認めるならば、可算無限個の棒 | もある
これを認めるならば、可算無限個の右カッコ }もある
これを認めるならば、可算無限個の左カッコ {もある
これを認めるならば、可算無限個の左右カッコ {}もある
左に 可算無限個の左カッコ ・・{{
右に 可算無限個の右カッコ }}・・
左右合わせて 可算無限個の多重カッコ・・{{}}・・
みな同じだよね
まあ、石器時代は数が3つ以上は数えられなかったらしいが
そういう人には、レーヴェンハイム-スコーレム>>730は、難しいよな
(参考)
箱入り無数目を語る部屋2
スレリンク(math板:1番)
スレリンク(math板:401番)
時枝問題(数学セミナー201511月号の記事)
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
(再録)
URLリンク(ja.wikipedia.org)
レーヴェンハイム-スコーレムの定理
可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。この事実を定理の一部とする場合もある。
807:132人目の素数さん
21/12/05 16:52:35.97 AVkq/R4m.net
新規性のあるアイディアはみんな探してるから下手に相談するとパクられちゃうのだろう
だから自前でチームを作るしかないんだな
808:132人目の素数さん
21/12/05 17:02:32.86 SVbdAHZX.net
>>762
3つより大きい数が数えられない石器時代人とは君のことかい? 中卒君w
スレリンク(math板:518番)
ごめんなまた勝っちまった
大卒が中卒相手にちょっと本気だして大人げなかったね
でもなこれが大卒の実力なんだよ フハハハハハハ(大人げない)
809:132人目の素数さん
21/12/05 17:19:03.95 urc4ALMt.net
おい、お
810:前ら年齢書いてみろ 俺は44
811:132人目の素数さん
21/12/05 17:20:57.91 k6duegzl.net
名無しが年齢晒して意味あるのか?
812:132人目の素数さん
21/12/05 17:49:23.31 urc4ALMt.net
ある
年齢層知りたい
高齢化してる?
813:132人目の素数さん
21/12/05 18:06:52.34 .net
私は56
814:132人目の素数さん
21/12/05 18:13:38.26 iG+iWKsx.net
>>762
>これを認めるならば、可算無限個の左右カッコ {}もある
だから何度言わせるのか?
誰も可算無限個の左右カッコの存在を否定していない。
否定してるのはそれが集合であるというトンデモ論。
日本語も理解できんアホは書き込むなよ。
815:132人目の素数さん
21/12/05 18:30:29.63 TwQGD5st.net
年齢書き込んでない奴は書き込み禁止で
816:132人目の素数さん
21/12/05 19:08:21.21 MqQ62sSb.net
>>615
IUTこそ主流から「外され」ならぬ「外れ」てる事が分かっているか?
このスレに巣食うシンパどもは、能力もなく努力もせず、主流から外され環境にも恵まれない、場末の数学徒だろう。IUTを理解しようとする能力もなく努力もせず、単に理解できないものを排除しようとした場末の井戸端会議に過ぎない。
817:132人目の素数さん
21/12/05 19:37:26.34 MqQ62sSb.net
何でシンパはこんなパープー>>652なスレ主を庇うんだ?
シンパ諸君も知っての通り、こいつは無学で非学な上に帰納法解釈もブチ壊れてる人間だ。
「シングルトンは存在し多重シングルトンも存在し全ての有限重シングルトンも存在する、だから可算無限重シングルトンも存在する」と言い出したり
「0.999…も有限小数だけの数学なら0.999…<1になるよね」と言い出したり
「0.9<1、0.99<1、0.999<1、…、0.999…999<1、…、だから無限小数でも0.999…<1になる!」と言い出す奴だ。
見て分かる通り、こんなん「1は有限、2は有限、3は有限、…、全ての自然数は有限、…、だから無限大も有限」って言ってる様なもん。
似非帰納法の他にも数々の大恥トンデモ断言(案の定、どれも数学的に理非)をやらかしている。
こんな奴と意見を共にしてると、シンパ等もバカの同類に思われるぞ。
818:132人目の素数さん
21/12/05 19:38:35.41 2gOe2boN.net
別にシンパに限ったことじゃないでしょ
このスレろくな能力も業績も無い人たちの溜まり場だと思うよ
819:132人目の素数さん
21/12/05 19:39:51.22 2gOe2boN.net
>>772
庇ってるレスってどれよ
820:132人目の素数さん
21/12/05 20:49:21.34 MqQ62sSb.net
>>774
何で1人と限らん筈のシンパを代表する訳でも無く単独でお前が反応する?瀬田を除くスレ内シンパ、本当は1人なのか?
821:132人目の素数さん
21/12/05 21:19:58.35 0cYxRFPg.net
>>775
いやそもそもシンパになった覚えが無いのだが…
なんか思い込み激しそうな奴だな
その調子で何かの思い込みで擁護に見えてるだけじゃないのか
このスレそんな見てるわけでもないがセタを擁護するレスなんて一度も見たことないぞ
822:132人目の素数さん
21/12/05 21:53:12.98 QqgZa5ml.net
>>771
数学には主流とか傍流とがいう概念はない。
問題の重要性と、その解決の真偽があるだけ。
真理は一つしかないから、間違ってるかあってるかであり、
ABC予想は非常に重要な問題だ。
アホ丸出し。
823:132人目の素数さん
21/12/05 22:02:13.77 rFGae52V.net
>>771
シンパとアンチの意味がごっちゃになってて訳がわからんw
IUTアンチをdisってるのか
824:132人目の素数さん
21/12/05 23:17:31.00 e0gyQODW.net
>>764-778
なんか、面白い流れになっているね、このスレ
<客観的事実>
1.IUTは査読を終わって、出版された
2.IUTに続く強いABCを導く5人論文も公表されて、査読を終わって工大mathに載ると、新聞報道された
3.昨年末から今年にかけて、複数回の国際会議がなされ>>3、多くのプロ数学者が参加した
特に、
825:東大の重鎮 Atsushi Shiho (Univ. Tokyo, Japan)先生が、2回の国際会議に参加され、主催者にも名を連ねた 4.複数回の国際会議の主催者、講師、参加者は多数いる。北は北海道から広島大までは、確認できるよ もしいま、これを読むあなたが、大学内にいるならば、上記の先生にIUTについて意見を聞けば良いだろう 「ドイツ人のいう通り、IUTはクソ」というのか、それとも「ドイツ人が間違っているよ」というのか 5.星先生が、数学誌に遠アーベルの論説を書く(来年1月発行分) また、来年の整数論のサマースクールに呼ばれた 一方で、ドイツ人がIUTを否定するレビューを書いているが (私見だが、IUTの全否定であり極論すぎ。かつ、証明のギャップ指摘がない。「”simplification”したら、不等式が成立しない」という議論のみ) もう、ほぼ決着でしょ 慌てる乞食は貰いが少ない しばし待て、見ていれば、アカデミックなIUT評価の流れが、誰の目にも読めるだろう
826:132人目の素数さん
21/12/05 23:33:36.92 5ZVp0j9p.net
IUTは間違ってすらない。
Cor3.12については証明の体をなしていない。
827:132人目の素数さん
21/12/05 23:37:51.69 hh3Hu35q.net
って周りが言ってたのに対してそんなことないって言い始めたのがショルツェなんだよね
828:132人目の素数さん
21/12/05 23:41:41.33 E0ZWV59G.net
絵図はまさにこれ、なんだよね。
皇帝
新しい服が大好き。逆らえる者は誰もいない。
2人の詐欺師
布織り職人というふれこみ。ばか者には見えない布を織ると言って皇帝たちを騙す。
大臣
正直者で通っている年寄り。人が良い。布地が見えたふりをして嘘をつく。
役人
根はまっすぐ。
家来たち
町の人々
見栄や立場にとらわれ、誰も本当のことを言えない。
外部数学者
王様何で裸なの〜?笑
829:132人目の素数さん
21/12/05 23:46:18.43 e0gyQODW.net
>>779 補足
”simplification”について
>>8 星裕一郎先生より
宇宙際 Teichmuller 理論入門 PDF (2019) (Indexあり)URLリンク(repository.kulib.kyoto-u.ac.jp)
§ 0. 序
本稿は, 題目のとおり, 望月新一氏によって創始された宇宙際 Teichm¨uller 理論への入
門的解説をその目標として書かれたものです.
P81
本稿には, 多少 - というより, 無数の - “不正確な記述” が登場します.
これは, もしも “正確な記述のみ” を用いて理論の説明を試みると, 解説の方法が, 少なく
とも筆者の力では, 原論文での元々の理論の説明の方法とあまり変わらないものになり,
このような解説を行う意味がなくなってしまう, という事情から生じています. 理論が完
成した後の段階の正確な記述のみによる原論文における理論の “説明” とは別の, その理
論がどのような発想によって生じたものなのかを想像してそこからその理論が如何に自然
なものであるかを論じる “説明” において, 少なくとも筆者にとっては, その “不正確な記
述” が必要でした. この点, どうかご容赦ください.
(引用終り)
上記星先生のように、”simplification”は、多少“不正確な記述”を許容しても
説明をシンプルにして、読者の理解を促進するために行われるのが、本来のあるべき姿です
なので、本物のIUTと同じ方向を向いて、読者が理解を進めるためには、有力な
830:手法なのです ”simplification”無しで“正確な記述のみ” を用いると、原論文の記述と変わらないことになりがちで、そうなると説明文としての意味がなくなる 一方で、”simplification”有りは、おうおう不正確な記述が入り、元の理論と違う面が生じる。そこを強引に進めると、本来導ける定理(不等式)も導けないことに成る だから、対立する立場で”simplification”をやると、藁人形論法になる。藁人形論法で無いと主張するならば、”simplification”無しでも同じことがIUT内で生じるという厳密な証明が必要なところだが、ドイツ人はそれを示していないのだ ドイツ人は、若いから自分が藁人形論法に嵌まっているという自覚がないみたいだ
831:132人目の素数さん
21/12/05 23:56:38.07 5ZVp0j9p.net
証明にすらなっていないものを理解しようとして単純化して、
こりゃダメっぽい、ということでしょうか。
832:132人目の素数さん
21/12/06 00:12:58.68 05ZBE/sQ.net
別にショルツェは単純化したって言ってないでしょ?
833:132人目の素数さん
21/12/06 00:37:45.57 3PFD7s/J.net
IUTから新しい主張を出して普通の数学で追試するとかしてもらわない限りは
生産性ないとしか思えないのよね
834:132人目の素数さん
21/12/06 00:46:28.56 B6QSBlzJ.net
事実は小説より奇なり。
王様なんで裸なの〜?
のあと百ページ超に渡る
なぜ私が裸でないか
の怪文書が返ってくるとは。。w
835:132人目の素数さん
21/12/06 04:33:20.05 +s9WHdax.net
自分が編集委員長をやってる雑誌に載せて出版されたと主張するのは流石にヤバくね?
客観的に見た正しさを自分から否定しているようなものだろ
836:132人目の素数さん
21/12/06 04:45:47.96 kIGp8VFY.net
眉をひそめられる行為だと思うよ
837:132人目の素数さん
21/12/06 04:55:09.16 CqR2Adtf.net
coqに突っ込んではっきりさせればいいのに
838:132人目の素数さん
21/12/06 05:38:16.89 .net
>>779
>しばし待て
なんか待ってばっかじゃん 期限切ろう
来年の国際数学者会議で 望月新一が賞はもちろん招待講演すらなかったら
IUTの負けってことでいいよな? 2018年の「SSの変」から4年経ってるし
839:132人目の素数さん
21/12/06 05:42:53.93 .net
>>783
コピペ要らん
simplicationが気に入らんみたいだけど
だったら望月新一が具体的にrefine(詳細化)すればいい
なんでそうしないの?
840:132人目の素数さん
21/12/06 05:46:10.76 .net
余談だけど「浪人さん」はID消せるんで教えてあげるね
名前欄に !id:ignore って書くだけ
コピペ小僧のもっちー応援団の人はどうせ浪人さんなんでしょ?
やってみたら?
841:132人目の素数さん
21/12/06 07:13:57.39 xRA6hKZL.net
>>731
いい加減なこと書くなよ数学は今でも単著論文が基本
842:132人目の素数さん
21/12/06 07:48:19.53 kIGp8VFY.net
どれどれ
843:!id:ignore
21/12/06 07:49:33.68 kIGp8VFY.net
騙されたかと思った
間違ってただけならやだな
844:!id:ignore
21/12/06 07:50:20.88 kIGp8VFY.net
どーなってんの?
浪人がないといけないの?
845:132人目の素数さん
21/12/06 07:50:41.10 kIGp8VFY.net
死ね
846:132人目の素数さん
21/12/06 08:00:58.05 eAJcN2NP.net
>>794
>いい加減なこと書くなよ数学は今でも単著論文が基本
Q1. で、あなたの単著論文は何本? 共著は何本?
Q2.”単著論文が基本”ってルールは、どこのルールブックですか?w
>>793
>余談だけど「浪人さん」はID消せるんで教えてあげるね
>名前欄に !id:ignore って書くだけ
へー、面白いね
”名前欄に !id:ignore”で検索したら、たしかにそうあるね
でも、それやったら、大勢の中で一人id無しなら、コテ付けているのと変わらんでしょ。だったら、匿名性が薄れるじゃんw
いつでも、気が向いたらコテ付ける。それは私の選択肢の一つです
>>785
>別にショルツェは単純化したって言ってないでしょ?
言っているよ、下記ですよ
>>7 (IUTに対する批判的レビュー)
URLリンク(zbmath.org) 中のリンク
URLリンク(www.math.uni-bonn.de)
2.1. Glossary: IUTT-terminology and how we may think of these objects.
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.
847:132人目の素数さん
21/12/06 08:27:51.83 eAJcN2NP.net
>>799 追加
共著論文について:これが多いのも、才能だよね(下記)
URLリンク(ja.wikipedia.org)
ポール・エルデシュ
エルデシュは生涯に約1500篇の論文(多くは共著)を発表した[5]。これ以上の論文を発表した数学者は、18世紀のレオンハルト・オイラーのみである。
彼は数学は社会活動であるという信念を持っており、他の数学者と数学論文を書くという目的のためだけに巡回生活を営んでいた。エルデシュが多くの研究者と論文を執筆したことから、エルデシュ数が生まれた。これは、論文の共著者同士で研究者をつないだときに、エルデシュとの間の最短経路上の人数を表したものである。
スレリンク(math板:223番)
URLリンク(fuchino.ddo.jp)
黄色いスミレの咲く頃の昔 渕野 昌
本稿は,数学セミナー,vol.36, no.7 (1997), 2?5 に掲載された文章に(少しの)加筆補正を加えたものである.
Shelah のことを高慢だと言う人がいるが,これはあたっていないと思う.
多くの天才がそうであるように,Shelah は自分自身がいかに天才であるかと
いうことを正確に把握していて,それを変に隠したりしないので,彼が誰で
あるかをよく分かっていない人が,このことを高慢だと感じるのではないか
と思う.
僕がエルサレムに長期滞在した年の次の年にイスラエルのハイファという
ところで数理論理学協会の国際学会があり,僕は再びそこで Saharon に会っ
たのだったが,この学会での食事のときに彼の隣になったことがあった.ちょ
うどその直前に僕の知らない数学者に話かけられて,共著の論文の話をして
いたので,「Saharon, あんなにいっぱい共著者がいてよく全員覚えていられま
すね」と言うと,「いやあ,実は今の人はどこの人だったかちょっと自信がな
かったんだけどね」と答えて,しばらく考えてから,「古代シリアの王様は兵
卒の一人ひとりの名前を覚えていたということだけれど,そういうやつじゃ
ないかな.」金の鍬で畑を耕したというのもシリアの王様ではなかっただろうか?
このハイファの学会のプログラムには,Shelah の 600 番目の論文の完成
を祝うというバンケットがあった 3).
848:132人目の素数さん
21/12/06 11:17:52.19 1n4h7g9B.net
掲示板にコピペペタペタ貼る奴って何がしたいん?
849:132人目の素数さん
21/12/06 11:22:44.28 Gs/1YBHS.net
掲示板にコピペペタペタ貼る奴のスレに通う奴って何がしたいん?
850:132人目の素数さん
21/12/06 11:40:32.41 xRA6hKZL.net
>>799
いい加減にしろ単細胞
851:現代数学の系譜 雑談
21/12/06 14:01:33.42 sA3eXLb0.net
>>801-803 >掲示板にコピペペタペタ貼る奴のスレに通う奴って何がしたいん? 同意だ いやなら、 来なけりゃいいんだよw
853:現代数学の系譜 雑談
21/12/06 14:17:05.67 sA3eXLb0.net
>>800
サハロン・シェラハ:
「誰かが未解決問題をシェラハのところに持っていくと、彼がその場ですぐに解いてしまうため、その結果できた共著論文が大量にあるといわれる」(下記)
要するに、だれかが、未解決問題と解決済み問題を 腑分けしてやらないと、解決済み問題ばかり解いてしまいかねないんだろうねw
で、共著が多くなるのは、「サハロン・シェラハに手伝ってもらおう!」ってなるから
で、普通は「彼に声かけてもね」と思われると、共同研究の話がこない(自分から仕掛けるのはありとしても)
自分で、研究を進めて、世間の進むスピード以上のパフォーマンスが出て、論文書ける人はそれで良いよね
けど、世間の進むスピード以上のパフォーマンスが出ないと? アキレスと亀の亀でさ。あとは分かるよね
(参考)
URLリンク(ja.wikipedia.org)
サハロン・シェラハ
1945年7月3日 -
URLリンク(ja.wikipedia.org)
現代屈指の天才数学者と言われている。超人的な仕事量で知られ、発表した論文の数が2012年に1000を超え[1]、2014年現在では1044本の論文がシェラハによって発表されている[2][3](共著を含む)。
誰かが未解決問題をシェラハのところに持っていくと、彼がその場ですぐに解いてしまうため、その結果できた共著論文が大量にあるといわれる。ちなみに、2005年6月8日の日付のあるシェラハの共著者のリストには196人の共著者中7人の日本人数学者が含まれている。
854:132人目の素数さん
21/12/06 14:18:43.69 o4q444Cb.net
単著論文が基本ってのはよく分からんな
arXiv見れば共著論文の方が多いと思うが
855:132人目の素数さん
21/12/06 14:54:33.85 xRA6hKZL.net
分からんならもういいよ
856:132人目の素数さん
21/12/06 15:52:16.94 8V/KioOF.net
>>776
> このスレそんな見てるわけでもないがセタを擁護するレスなんて一度も見たことないぞ
はい嘘。何で「このスレそんな見てるわけでもない」奴が断言なんて随分とふざけた真似なんかしてんだよオイ?
857:132人目の素数さん
21/12/06 16:20:14.58 7MwcW5Fr.net
>>808
いや何にそんなこだわってるのさ…
「俺が見たことない」ことは俺が知ってるんだからそりゃ断言するでしょ
なんか頭弱そうね
君こそ嘘だって断言するならこのレスがそうですとか挙げればいいだけじゃないの?
858:132人目の素数さん
21/12/06 16:21:58.86 6rOZNySj.net
>>806
物理だと論文どころか手紙の書簡がノーベル賞につながったこともあるしな
859:132人目の素数さん
21/12/06 16:29:39.76 H4jKu838.net
単にセタと同じ意見なんでしょ
860:現代数学の系譜 雑談
21/12/06 16:39:18.79 sA3eXLb0.net
おれは、名前の議論には参加しない。だれか全くの第三者に「あれはお前だろう」なんて、迷惑を掛けかねないからね。よって、肯定も否定もしない
さて
>>810
>物理だと論文どころか手紙の書簡がノーベル賞につながったこともあるしな
田中耕一さん、化学のノーベル賞だけど、
ノーベル賞の基準が、論文ベースじゃないという気がする
記憶では 田中耕一さんは、ろくに論文書いてなくて、欧州の大学教授たちが、”タンパク質などの質量分析を行う「ソフトレーザー脱着法」”(下記)の理論づけと発展の理論の論文を出していた
けど、ノーベル賞は、オリジナルの田中さんになった
同様に、青色ダイオードの発明は、主には発明であって、ちょっと理論物理の研究とは違う気がする
思うに、ノーベルさん自身がダイナマイトの発明で儲けた遺産で賞を創設したわけだから、純学術とは基準がちょっと違う気がする
その点、学会が出す賞は、基本はその学会の論文でしょうかね
ところが、日本数学会では,論文投稿
861:のベース雑誌が弱いから、ゆえに数学誌に論説でも書かせて、それをネタに賞を出している気がする (外野の野次馬の目だから、外しているかもだが) (参考) https://ja.wikipedia.org/wiki/%E7%94%B0%E4%B8%AD%E8%80%95%E4%B8%80 田中耕一 1985年(昭和60年)にタンパク質などの質量分析を行う「ソフトレーザー脱着法」を開発。この研究開発が後のノーベル化学賞受賞に繋がる。20回以上の見合いの後[4]、1995年に富山の同じ高校出身の女性[5]と見合い結婚する[6]。 2002年(平成14年)ノーベル化学賞受賞。受賞理由は「生体高分子の同定および構造解析のための手法の開発」。同年文化勲章受章、文化功労者となる。富山県名誉県民、京都市名誉市民、東北大学名誉博士などの称号も贈られている。受賞当時は島津製作所に勤める会社員であり、現役サラリーマン初のノーベル賞受賞として日本国内で大きな話題となった。
862:132人目の素数さん
21/12/06 16:59:48.89 6rOZNySj.net
>>812
以前から、ノーベル物理学賞はディラックとかそういう手紙による受賞があった
>日本数学会では,論文投稿のベース雑誌が弱い
昔は日本語の論文を投稿出来る雑誌があったが、今はそういうのがなくなった
863:132人目の素数さん
21/12/06 17:10:35.56 6rOZNySj.net
>>812
>思うに、ノーベルさん自身がダイナマイトの発明で儲けた遺産で賞を創設したわけだから、純学術とは基準がちょっと違う気がする
ノーベル賞の創設には、ノーベルとミッタークレフラーとがコワレフスカヤをめぐって犬猿の仲にあったという背景がある
864:132人目の素数さん
21/12/06 18:57:53.13 1n4h7g9B.net
>>802
コピペじゃないレスを読みたい
当たり前だろ、コピペほど無意味なものは無いと思わんのか?
865:132人目の素数さん
21/12/06 19:04:58.74 vj9zd8AD.net
普通ならコピペ嫌いがわざわざコピペ塗れのスレを覗きに来ないよね…
コピペじゃないレス読みたいなら他行けばいいわけで
866:132人目の素数さん
21/12/06 19:16:08.40 .net
>>797
>浪人がないといけないの?
そうみたいですね
867:132人目の素数さん
21/12/06 19:18:03.55 .net
>>801
>コピペペタペタ貼る奴って何がしたいん?
自慢じゃね?
>>802
>コピペペタペタ貼る奴のスレに通う奴って何がしたいん?
駆逐じゃね?
868:132人目の素数さん
21/12/06 19:21:19.66 .net
>>812
>おれは、名前の議論には参加しない。
そもそも名乗らなきゃいいんじゃね?
大したこと書いてないし
マジでIDも消しなよ
誰も読まないコピペも要らないよ
869:132人目の素数さん
21/12/06 19:22:08.61 h7pomBO2.net
全然駆逐できてないけどね
870:132人目の素数さん
21/12/06 19:25:42.38 .net
>>799
>大勢の中で一人id無しなら、コテ付けているのと変わらんでしょ。
>だったら、匿名性が薄れるじゃん
id無いと必死チェッカーに出てこないんだよね それはいいかな
君もやってごらんよ 快適だからさ
871:132人目の素数さん
21/12/06 19:28:10.54 0j9PrsHd.net
>>816
ここがコピペ塗れのスレって誰が決めたの?
一部の阿呆がコピペ連発しとるだけじゃないんか?
872:132人目の素数さん
21/12/06 19:29:01.20 .net
>>820 まあ集合の話は全くしなくなったね さすがに間違いに気づいて賢くなったのかな?
873:132人目の素数さん
21/12/06 19:31:54.61 .net
>>822 一部というか一人だね
874:132人目の素数さん
21/12/06 19:55:14.41 L3apoWDT.net
高木スレみたいなもんだな
セタのファンタジーワールド
ただ高木スレは流石に賛同者ゼロだけどセタスレはセタレベルのやつが何人かいる
875:132人目の素数さん
21/12/06 20:01:13.19 eFWzm3tS.net
まあセタレベルは言い過ぎにしてもそれに近いレベルの奴は結構居るよな
特に常駐してる連中
876:132人目の素数さん
21/12/06 21:18:56.24 8V/KioOF.net
そりゃ>>762みたいな自殺レスしてりゃ集合の話し難く成るな
877:132人目の素数さん
21/12/06 21:21:59.74 8V/KioOF.net
瀬田の似非帰納法例
>>762もそうだが
シングルトン
・単一シングルトンが存在する
・二重シングルトンが同様に存在する
・三重シングルトンが同様に存在する
…
・n重シングルトンが同様に存在する
…
・可算多重シングルトンが同様に存在する
↑これって↓こういう事を言ってんのと同じなんだけど
0.999…
・0.9<1
・0.99<1
・0.999<1
…
・0.999…999<1
…
・0.999…<1
↑これって↓こういう事を言ってんのと同じなんだけど
自然数
・1は有限値
・2は有限値
・3は有限値
…
・nは有限値
…
・∞は有限値
瀬田はつくづく、害悪だよな
878:132人目の素数さん
21/12/06 21:41:17.29 .net
>>827
瞬殺されて�
879:スね https://rio2016.5ch.net/test/read.cgi/math/1595034113/517-518 生兵法は大怪我の基 https://www.applek.com/blog/proverb/alittleknowledgeknowledge 十分に身に付いていない知識や技術、生半可な学問という意味で 中途半端に武術をおぼえた者は、それを頼りにけんかをするので、 かえって大怪我をする。 未熟な知識やうろ覚えの技術で軽率に物事を行うと大失敗をするものだ、 という戒めのことわざ。
880:132人目の素数さん
21/12/06 21:47:33.16 .net
瀬田じゃなくて勢田かもな
瀬田は関東に多いけど
勢田は関西に多いらしいから
まあどうでもいいけど
数学知らない一般人だし
881:132人目の素数さん
21/12/06 23:53:42.75 rEJwvDrF.net
>>814
ノーベルとミッタークレフラーって仲が悪かったというのは本当か、
ということをスウェーデン人数学者に聞いたら、
「そういうことをよく聞かれるけど、それは違うよ」
という答えだったよ。
小林と益川の仲が悪かったというほうが真実味がある?
882:132人目の素数さん
21/12/07 06:52:17.37 9RKwnGAc.net
>>831
ノーベルとミッタークレフラーがコーシーコワレフスカヤをめぐって何らかの関係にあったという話は、よく聞くし有名だと思う
最近のノーベル賞の受賞者の詳細は知らない
883:132人目の素数さん
21/12/07 07:31:06.64 9RKwnGAc.net
>>831
失礼、コーシーコワレフスカヤはコワレフスカヤの間違い
884:132人目の素数さん
21/12/07 08:38:20.19 Z1Ij38kG.net
>>828
アホでしょ、あなたw
なんで、わざわざアホ晒すの?
885:132人目の素数さん
21/12/07 09:39:56.72 cltX9XJ0.net
アホはセタでしょ どう見ても
886:現代数学の系譜 雑談
21/12/07 11:16:19.31 5ZVJfYJQ.net
>>830
いや、だから、おれは名前の議論はしない
ある人が、「5chの数学板にこんなことを書いていたけど、それお前じゃね?」と嫌疑をかけられても
「それは、おれじゃあない!」という証明はできないよね
普通の事件ならば、アリバイ証明という手法があって、
その時間にはアリバイがある(現場にはいなかった)とできるけど
5chじゃ、それもできまい
だから、「おれは名前の議論はしない」ってことさ
>>829
瞬殺したつもりになっているやつを、瞬殺してきたよw
>>821
>id無いと必死チェッカーに出てこないんだよね それはいいかな
>君もやってごらんよ 快適だからさ
ありがと
おれは別に今のままでこまらんし
例えば、実名が判明したところで困らん
敵対する相手はアホなサル一匹(>>5-6な)だし、こいつがアホであることは確定した
おれ? おれも勿論アホだけどね
>>815
>当たり前だろ、コピペほど無意味なものは無いと思わんのか?
コピペ爆弾をぶつけられる人は、だいたいそういう反論してくるよね
例えば、数学は基本一人でやるものだとかね
確かに、拓郎先生の3億円事件は、一人の論文だったと思うが(問題がすごすぎて共同研究できる人いなかった?)
でも、柏原予想を解いたらしいから、柏原先生が近くに居たってのが、大きい気もするんだよね
なんか、相談したとか、教えてもらったという話は全く聞かないけど
でも、じゃあ、柏原予想について、柏原先生と全く会話しなかったというと、そんなこともない気がする
だから、共同研究までいかなくても、
ちょっとしたヒントでも、役に立つ場合はあるし、そこらは「本当どうだったの?」と聞いてみたい気がする
887:132人目の素数さん
21/12/07 12:09:05.10 cltX9XJ0.net
>>836
> 例えば、数学は基本一人でやるものだとかね
また幻聴か まだ精神病院行ってなかったのか?
888:132人目の素数さん
21/12/07 12:17:01.39 cltX9XJ0.net
>>836
> >>830
>いや、だから、おれは名前の議論はしない
>>830は一言もおまえのことなんて言ってないのに突然どうした?
それって自分の名前がセタだと白状してるも同然じゃんw バカだろおまえw
889:132人目の素数さん
21/12/07 12:37:48.12 /lEGS5Ql.net
コテって
書き込みの証明ならIP開示で可能ってしらんの?
書き込みの証明が可能だから犯行予告とか
逮捕できるんだぞ
ここで○○に対して××の犯罪します
って書いたら警察が証明して俺は刑務所行きだよな?
反例の証明終わり
コテには知恵が足りない
890:132人目の素数さん
21/12/07 16:20:44.43 ZzUty44J.net
>>788
ポアンカレ予想を解決してフィールズ賞の受賞を辞退した、
ペレルマンはその論文をarXivに掲載しただけで、
出版すらしていない。
891:132人目の素数さん
21/12/07 16:21:45.71 ZzUty44J.net
>>791
勝ち負けなんてねえよ。論文の真偽があるだけ。
今のところ間違ってなさそう。
そのご、シュルツ沈黙してるし。
892:132人目の素数さん
21/12/07 16:31:51.30 wvLZX0OC.net
>>841
そう、間違ってるか、否か
現時点ではダメやな
世界の一流の数学者が読んで行間を埋めて繋がった証明を眼前に再構成することが出来ない人が多数いる
出来たと言ってる人の方が少ないし、その人達ができない人の参考になるような補完文書もまるで出てこない
9年も経ってコレではダメ
もう数学経験者は単に“補完するが難しい論文”ではなく“補完するのが不可能な論文”という評価だよ
そうでないと言うなら君が読んで補完文書書いてみればいい
893:132人目の素数さん
21/12/07 16:48:17.45 cltX9XJ0.net
>>841
> 今のところ間違ってなさそう。
>そのご、シュルツ沈黙してるし。
じゃダメじゃんw
894:132人目の素数さん
21/12/07 16:57:26.49 HGO03Dwc.net
>>842
論理ギャップを指摘できないきゃ、証明できてることになる。
指摘した人いないから論証に成功しているってこと。
>>843
シュルツは論理ギャッぶの指摘をできていない。
895:132人目の素数さん
21/12/07 17:05:22.73 wvLZX0OC.net
>>844
ショルツが指摘しているギャップはcor 3.12以前とcor 3.12のギャップ
その間のギャップを埋められる文書はまるで出てこない
多分もう出ないでしょ
896:132人目の素数さん
21/12/07 17:14:31.20 HGO03Dwc.net
>>845
指摘できいないよ。
単純化したものが成り立たないというのは、その単純化が
本質部分を損ねてないことが論証されてないといけない。
そこが欠けてんのよ。
897:132人目の素数さん
21/12/07 17:17:49.84 FFS7iwK5.net
リーマン予想は自明である
↑論理的ギャップを指摘してみ?
連中がやってるのはこのレベル
898:132人目の素数さん
21/12/07 17:22:33.02 wvLZX0OC.net
>>846
指摘できてないと言うならそこにはギャップがないと言うことになる
では君が3.12以前の帰結から3.12を導出する手順を示せばいい
coqに入力でもして全世界に公開すれば良い
899:132人目の素数さん
21/12/07 17:30:12.73 RNhbLAXv.net
>>846
ギャップは指摘されているが、ギャップを指摘しなきゃならないなんてルールは無いぞ
意味が論理的に通らないとコミュニティが感じたらはじかれる
その感じるというのは曖昧なわけではなく、ショルツと遜色ない数学者達が読んで出てくる集合知だし
900:132人目の素数さん
21/12/07 17:32:22.59 w3ajKQCo.net
論理的に通らない証明ってそれギャップがあるだけなのでは
901:132人目の素数さん
21/12/07 17:37:34.16 HGO03Dwc.net
>>848
論文自体がギャップがないと言ってんのよ。
アホなのか?
>>849
論理が通らないという主張が示されなければ、
論理が通ってるとみなされます。
だって査読通ってるからね。
902:132人目の素数さん
21/12/07 17:39:38.78 RNhbLAXv.net
何かアスペ感あるな
査読は規則守ってるから常に正当ですなんてわけではないのに
903:132人目の素数さん
21/12/07 17:42:29.38 HGO03Dwc.net
>>852
数学の場合、査読は
904:論理が通っていて主張が真であるかどうかを第三者が確かめるものだよ。 通った以上、査読者は真だと判断したんだよ。 あんたもよんで判断すればいいのよ。できるもんなら。
905:132人目の素数さん
21/12/07 18:01:19.19 vZMpC9Ch.net
>>851
ギャップがない論文など存在しない
ギャップかないとはそのままcoqに何も考えず打ち込める状態
そんな状態で論文が出る事はない
通常いくばくか行間を埋めなければ論文ば証明は完成しない
もちろん完全にギャップがない論文を出しても構わないし望月論文がそうかもしれない
なら君がその内容をcoqに打ち込めばいい
906:132人目の素数さん
21/12/07 18:04:30.18 cltX9XJ0.net
つまり査読通したもん勝ちって言いたい訳ね?
907:132人目の素数さん
21/12/07 18:06:20.45 9w5QxHF+.net
>>854
ギャップがあるというのは、査読者のレベルで論理を追えない場合をいうの。
当然行間はその分野の専門家の知識で埋められる。
査読が通った以上、査読者は論理が通ってると主張してるわけ。
どこのだけだかわからん、あんたのことより査読者を信じるのが普通。
908:132人目の素数さん
21/12/07 18:07:27.58 bLWddiKp.net
>>809
> 「俺が見たことない」ことは俺が知ってるんだからそりゃ断言するでしょ
> なんか頭弱そうね
…いやいやいやいや!一から十まで見てない人間が断言なんて、普通の一般社会じゃしないって。
言うにしても「見た限り」という条件付きで発言はするが断言は避けるよ。
研究畑にしろ経営畑にしろ下働きにしろ、そんなん法度だし、やらかしだよ。
人に頭が弱いとか言って来る前に自分の甘さを見直したらどうだ?
> 君こそ嘘だって断言するならこのレスがそうですとか挙げればいいだけじゃないの?
一人、瀬田の他に過言多犯のシンパが今でも居るだろ。そいつだよ。
今でこそそいつは余りのバカさ加減を曝し続けて来て今もなお曝し続ける瀬田の擁護を控える様になったが
前は「スレ主さん」とか言って「盲目的に」擁護してたんだよ。そう、「盲目的に」。
下手すると今でも瀬田がどうバカなのか分かってない可能性が有るIUTミーハー。
単に分が悪過ぎる事だけは察して瀬田の擁護を控える様に成った節も無きにしも非ず。
何せ「IUTで量子論のジレンマが解消したり天気予報精度も上がるでしょう」とかほざいてたタイプの人間だ。
Part46あたりまで瀬田の擁護をしてたと思ったが、まぁPart23まで遡れば確実に居るぜ。
断言するなら断言する前に思い出しとけよ、その位。
909:132人目の素数さん
21/12/07 18:08:19.19 RNhbLAXv.net
>>853
そうやって読んだ数学者達がいるから未だに予想扱いなんだよ。話はそれで十分
910:132人目の素数さん
21/12/07 18:09:15.32 9w5QxHF+.net
>>855
査読する能力があると認められず選ばれないものが、査読することはできないけど、
同じことをして、ここの論理が通らないと主張すればいいのよ。
きちんと実名で責任のある数学者がしたならそれは意味がある。
でも、シュルツは反論をうけて沈黙しちゃったし、他の人もする人いないから、
証明はできてると一般に見られるわけだ。
911:132人目の素数さん
21/12/07 18:09:18.08 vZMpC9Ch.net
>>856
今回はホントに査読者がギャップが埋められるか確認できたのかについて疑義が上がってるのだからその論は通らない
実際にギャップが埋められてcoqが通せる事を示してみせる以外数学界が納得する事はない
912:132人目の素数さん
21/12/07 18:11:16.84 9w5QxHF+.net
>>858
それはよんでないあんたが判断できることではない。状況的に、証明成功してるんだろう状態だよ。
913:132人目の素数さん
21/12/07 18:11:56.94 vZMpC9Ch.net
>>859
一般にww
どこの一般www
君の脳内ファンタジーワールドは君だけの世界だよwwwwwww
914:132人目の素数さん
21/12/07 18:12:09.07 wvLZX0OC.net
>>859
一般にww
どこの一般www
君の脳内ファンタジーワールドは君だけの世界だよwwwwwww
915:132人目の素数さん
21/12/07 18:12:32.44 9w5QxHF+.net
>>860
そもそも、ショルツの主張は単純化したものが成り立ってないというもので、
論理ギャップを�
916:ヲせてない。
917:132人目の素数さん
21/12/07 18:13:11.43 xbNMXX7j.net
>>857
えぇぇぇぇ、そんな遅レス付けてまで拘る論点かコレ
つまり「見たことない」じゃ「(俺が)見たことない」とはわからないから「俺が見た限り」を付けろってこと?
日本語不自由過ぎるでしょ…
918:132人目の素数さん
21/12/07 18:13:22.68 9w5QxHF+.net
>>862
そもそも、あんた匿名じゃん。
919:132人目の素数さん
21/12/07 18:16:03.38 vZMpC9Ch.net
>>864
だから君はショルツの2つの主張を混同して誤解してるんだよ
もちろんメインの主張は3.12以前から3.12を導出する事はできないと思われる、少なくともショルツ本人は失敗したと言ってる
それがショルツ本人の個人的なミスだと言うなら君が示して見せればいい