[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 50 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
564: 2020/04/19(日)09:46 ID:UbuHltnc(1/43) AAS
>>524
基本的に、論文の誤りもしくはギャップは論文の著者以外が見つけるもの
今回、多数の人から望月の論文のギャップが示されている
ショルツによる「誤り」の指摘が当たっていなかったとしても
ギャップがある以上、数学の成果とは認められない
これは「犯行の証拠がない限り、犯行を犯したとみなさない」
という考え方と基本的に同じかと思う
567: 2020/04/19(日)09:55 ID:UbuHltnc(2/43) AAS
>>533
＞第一審判決は出ました。
＞裁判官は、主審柏原先生、副審玉川先生、覆面検察官（２〜３名）
＞判決：「望月の論文を認める！」
喩えとしては不適切か
被告：ABC予想
検察：望月
省6
569(1): 2020/04/19(日)10:06 ID:UbuHltnc(3/43) AAS
>>558
＞なぜ、異例な記者会見をしたのか？
「ABC予想成功」に基づく科研費を正当化するためか？
＞異例な記者会見をやる以上、RIMS側は絶対の自信があるはず
「日米開戦する以上、日本軍には対米戦に絶対の自信があるはず」
というのと同類の発言かと
実際には、日本はアメリカに惨敗したわけだが
省6
571(1): 2020/04/19(日)10:14 ID:UbuHltnc(4/43) AAS
ところで・・・
そもそもABC予想ってどうして思いついたもんなんだ？
あと
ｃ＞rad（abc)＾(1+ε) （ε>0）
となるa,b,cに何か意味があるのか？
575(1): 2020/04/19(日)10:30 ID:UbuHltnc(5/43) AAS
>>574
ほほう・・・面白いね
これはやっぱりフェルマー予想を解くための補題として思いついたんだろうか？
579(1): 2020/04/19(日)10:34 ID:UbuHltnc(6/43) AAS
「多項式ABC定理」とその証明は、ここにあるヤツだろうか？
外部ﾘﾝｸ:paiotunoowari.hatenadiary.jp
この位なら、数学科の大学３年生なら分かるレベルだろうな
586(2): 2020/04/19(日)11:13 ID:UbuHltnc(7/43) AAS
あっちのスレッドでは一人で騒いでるけど
情報化時代と関係なく、証明はギャップがあったら無効
PRIMSが捕食雑誌(Predatory journal)並といわれなきゃいいがな
外部ﾘﾝｸ:ja.wikipedia.org
588: 2020/04/19(日)11:17 ID:UbuHltnc(8/43) AAS
>>586
過剰に魅力的な電子メールで研究者からの論文投稿を呼び込む出版社を
「オープンアクセス出版の黒い羊」というらしい
黒い羊・・・どっかで聞いたことあるな
動画ﾘﾝｸ[YouTube]
593(2): 2020/04/19(日)11:32 ID:UbuHltnc(9/43) AAS
数解研における望月は、欅坂における平手みたいなもんなんだろうか？
だとすると、行きつく先は・・・脱退？
ちなみに私は長濱ねる推しですが、何か？
外部ﾘﾝｸ:tv.kakao.com
598: 2020/04/19(日)11:46 ID:UbuHltnc(10/43) AAS
>>597
（自動翻訳）
私自身、2013年の3か月前のほとんどの時間を論文の調査に費やしましたが、
何も証明されていないことに気づいたのは、コロラリー3.12に到達したときのショックでした。
（これは私の理解の欠如を示していると言われるかもしれませんが、
要点は望月自身がこれが彼の証明の重要な部分であると言っていることです、
そして証明がどのように書かれているかを見ると、ここに深刻な問題があることは明らかです。）
600: 2020/04/19(日)11:51 ID:UbuHltnc(11/43) AAS
>>599
＞区別が付かない
そうかな？
単に証明ができてないという指摘に対して
望月が「読者が理解できてない」といって
何の対処もしようとしないだけにもとれるが
603: 2020/04/19(日)11:57 ID:UbuHltnc(12/43) AAS
>>601
望月が平手だとしたら、星、山下、玉川は、
欅坂のなんとかファイブみたいなもんかな
605: 2020/04/19(日)11:59 ID:UbuHltnc(13/43) AAS
>>602
ん？おサルって誰？
＞「クスリしっかり飲んでくれ」
おなかの調子を整えるためにビオフェルミンは飲んでますが、何か？
616: 2020/04/19(日)12:31 ID:UbuHltnc(14/43) AAS
>>604
まあ、平手の歌唱力が大したことないのは明らかでしょう
正直 坂系で歌で生きてけるのはこの二人くらいじゃないかな
☆白魔術師
動画ﾘﾝｸ[YouTube]
★黒魔術師
動画ﾘﾝｸ[YouTube]
618(1): 2020/04/19(日)12:43 ID:UbuHltnc(15/43) AAS
>>614
全然似てないかな
修士の頃もさほど勉強してなかったし
数学の事はほぼ忘れてるな
大体 一応数学科だけど、やってたのは
代数でも幾何でも解析でもないし
今の仕事はざっくりいえば事務
省5
620: 2020/04/19(日)12:55 ID:UbuHltnc(16/43) AAS
>>619
妄想狂かな？
＞e'=e、eは微分しても変わらない不思議な定数
いくらなんでもそこまで馬鹿じゃないよ
d(a^x)/dx は l(a)a^x となるけど、l(e)=1ってことでしょ
（実はl(y)は、y=e^xの逆関数となるわけですが）
＞「偽の仮定は真」
省5
622: 2020/04/19(日)12:59 ID:UbuHltnc(17/43) AAS
>>619
＞オドレ
正しくは「おのれ」ね ま、方言なんだろうけど
＞儂のコテハンの由来
そんなん知らんよ 「いっきょう」でも「すいきょう」でもどうでもいいよｗ
だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
623: 2020/04/19(日)13:03 ID:UbuHltnc(18/43) AAS
>>621
一応数学科卒だからね 工学部卒よりは数学分かってるよ
そうじゃなきゃ大学卒業できないし
ついでにいうと高卒の君よりも全然分かってるよ
残念だったね
で、KingOfUniverse って誰？
Destroyer of the Universeのほうが好きだな
省1
625: 2020/04/19(日)13:06 ID:UbuHltnc(19/43) AAS
>>624
なんか妄想が酷いようだね・・・クスリ飲んだら？
629: 2020/04/19(日)13:15 ID:UbuHltnc(20/43) AAS
Jan Bergstra オランダの計算機科学者だね
オランダは証明系に関してはAUTOMATH以来の長い伝統があるんだよ
de Bruijnはその筋ではいろいろ有名だよね
名前、正しく読めるかな
656: 2020/04/19(日)14:56 ID:UbuHltnc(21/43) AAS
某スレッドにて
＞説明の何百ページの文書はいらないんだ
＞ただ、「国際会議でちゃんと説明するから」くらいでいいんだ
説明は十分かどうか決めるのは、説明する側でなく説明される側
こういう基本的なことが分からない会社員は…無能だよね
659: 2020/04/19(日)15:01 ID:UbuHltnc(22/43) AAS
>>642
＞?反証可能性が残されるように、開かれていなければならない
＞?反証が存在しないことが示される
数学の場合
?主張したい命題が論理式として記載可能
?主張したい命題の否定から矛盾が導かれることを示す（これが証明）
?は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
省2
670: 2020/04/19(日)15:26 ID:UbuHltnc(23/43) AAS
>>662
＞論文に書いていないコツがあるんだろ
ＳＴＡＰ細胞かｗ
678: 2020/04/19(日)16:19 ID:UbuHltnc(24/43) AAS
>>672
ショルツの指摘が成立しなくても、望月の論文は?を満たしてないから無意味だけどな
つまり望月はそもそも山に登ってない 山に登るところから始めよう
679: 2020/04/19(日)16:22 ID:UbuHltnc(25/43) AAS
>>676-677
あなたなんでそんなに必死なの？
681: 2020/04/19(日)16:24 ID:UbuHltnc(26/43) AAS
日本人だからって望月を無条件に支援する理由にはならないよね
むしろ今回の京大数理解析研の措置は日本人として恥ずかしいよね
いかにも内輪の都合で無理矢理アクセプトしたみたいでさ
そういう恥ずかしい真似してほしくなかったよ
682(2): 2020/04/19(日)16:28 ID:UbuHltnc(27/43) AAS
>>677
＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
外部ﾘﾝｸ:ja.wikipedia.org
687: 2020/04/19(日)16:51 ID:UbuHltnc(28/43) AAS
>>684
正規部分群の定義も誤読した人が何言ってるんだろう
＞単なる用語の濫用ならぬ、”乱用”の方と思うぜ
そんなこという人がなんで望月は正しい！と言い張るのか分からん
本当は望月の論文は無意味と思ってるんでしょ？
688: 2020/04/19(日)17:00 ID:UbuHltnc(29/43) AAS
◆e.a0E5TtKEの態度は
「どうも望月の論文はまったく証明の体をなしてないらしいが
いまさらそんなことを認めたら日本国の恥だから
徹底的に隠し通して誤魔化そう」
というふうにしか見えない
◆e.a0E5TtKEは「間違うことが恥」と思ってるらしいが
間違うことは全然恥じゃない。
省2
692(1): 2020/04/19(日)17:30 ID:UbuHltnc(30/43) AAS
>>690
set-theoretic universesって書いてあるじゃん
集合論の宇宙、知らないんだね
外部ﾘﾝｸ:ja.wikipedia.org
697(3): 2020/04/19(日)17:58 ID:UbuHltnc(31/43) AAS
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
省1
699(3): 2020/04/19(日)18:03 ID:UbuHltnc(32/43) AAS
>>697の続き
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
省11
701(1): 2020/04/19(日)18:09 ID:UbuHltnc(33/43) AAS
＞望月IUTの「宇宙」とは？
＞集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
グロタンディーク宇宙だろ 山下剛もそう書いてるけど
で、グロタンディーク宇宙は、フォンノイマン宇宙と無関係ではない
Vkでｋが強到達可能基数ならば、グロタンディーク宇宙
702: 2020/04/19(日)18:13 ID:UbuHltnc(34/43) AAS
>>698
>>604は平手信者以外の一般のアイドル好きの見解 大した話じゃないな
ついでにいうと
「SU-METAL？ありゃ声がデカいだけだろ？」
とかいうとメイト(BABYMETALのファン）に張り倒される
703(1): 2020/04/19(日)18:18 ID:UbuHltnc(35/43) AAS
どうもIUTの神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
704: 2020/04/19(日)18:28 ID:UbuHltnc(36/43) AAS
>>703
誤 これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
正 これは正直、圏論とは全然別の話だから、それこそ丁寧な説明が必要だろう
709(1): 2020/04/19(日)20:07 ID:UbuHltnc(37/43) AAS
>>707
これは酷い・・・
＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
＞なら、inter-scheme logic が素直だろ？
論をlogicって訳す馬鹿 はじめてみた
theoryって言葉 知らんのか？
＞Grothendieck 宇宙は、1つだろ？
省3
711: 2020/04/19(日)20:31 ID:UbuHltnc(38/43) AAS
>>710
な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから
ＩＵＴの前途は闇だよ
715(2): 2020/04/19(日)20:48 ID:UbuHltnc(39/43) AAS
>>714
な、コイツ正真正銘の馬鹿だろ？
718(1): 2020/04/19(日)20:53 ID:UbuHltnc(40/43) AAS
>>712
毎度恒例の馬鹿の自爆ショーです
第１回 正規部分群はgHg^(-1)がHと同型な群
第２回 数セミ記事「箱入り無数目」はマチガッテル！
第３回 順序数のZermelo構成で、ωは{{{…(無限個)…}}}
第４回 Grothendieck宇宙は、同型を除いて一意に定まる ←今ココ
数学書はウマに食わせるほど買ってるらしいが
省2
720(1): 2020/04/19(日)20:58 ID:UbuHltnc(41/43) AAS
>>717
＞ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します〜！！！
◆e.a0E5TtKE が「数学の筋が通っている」と思ってる主張
「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
こんなヤツが否定派に入ろうとしても門前払いを食らうのがオチｗ
722: 2020/04/19(日)21:14 ID:UbuHltnc(42/43) AAS
>>721
見当違いな自爆を嘲笑され逆上
見当違いな質問返しでさらに自爆し嘲笑される
いい加減学習しようよ
数学板は勉強嫌いの馬鹿が書くところじゃないって
723: 2020/04/19(日)21:16 ID:UbuHltnc(43/43) AAS
＞次元際なら上手く行くかもね
これも素人ならではの馬鹿発言
こんな馬鹿発言に喜んでレスする
◆e.a0E5TtKEは正真正銘の馬鹿
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s