21/04/24 13:00:14.82 Hm7Bx4Y1.net
>>232
Mochizukiが喋って終わり
補足講演
251:Mara Papiyas
21/04/24 17:01:33.09 dHO/i44V.net
>>233
誰も質問せんかったんか？
みんな質問してもまともな返答がないって諦めてる
・・・RIMSって、まんま中国だなｗ
252:１３２人目の素数さん
21/04/24 20:57:50.96 G+pryudC.net
修行するぞ！
253:１３２人目の素数さん
21/04/25 20:34:13.85 22fYDL7m.net
IUTはとっつきにくくて少なくとも『楽しい数学』ではないな
254:１３２人目の素数さん
21/04/26 00:13:51.58 ykNufJW1.net
IUTを数学と信じることは勝手だか
IUT語 p51
「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・
概念体系を基盤として構築されて
いる」
by 望月公認の加藤文元本
255:１３２人目の素数さん
21/04/26 00:32:54.32 bswjMCuW.net
こんな大風呂敷、
それ相応の成果がない以上
既成の数学を愚弄しているだけだが、
八年経って(自称)応用はABCのみ。
256:１３２人目の素数さん
21/04/26 01:08:50.90 GW7oC4Qv.net
数学は楽しくなきゃ意味がないんだよ
257:１３２人目の素数さん
21/04/26 07:45:47.72 WEpn+i9k.net
別の数学、Alternativeを標榜しているのかな。
258:エセ数学にならないといいのだけど。時間がかかるだろうね。最終的な評価が決まるのに。 デタラメをやっているとは思えない。望月氏はその道で国際的に認められている業績があるようだし。 ただ、その分みんなから注目されるけど、そのことだけで「正しい」「価値がある」とはならないのはあたりまえ。 とにかく本人と取り巻き以外の島から肯定的な評価がでることを祈るけど、もともと狭い分野なのかね。。
259:１３２人目の素数さん
21/04/26 10:28:51.80 AgN/qDmQ.net
abc予想が証明された数学と証明されていない数学とに分かれるわけか
260:１３２人目の素数さん
21/04/26 13:51:52.26 kBSTdHmq.net
誰かが言ってたメタ数学的な位置付けがIUTというのが凄くしっくりくる
議論の中心になるのはそれの必要性なんだよなぁ
既存数学内でabc予想が証明された瞬間にIUTは不要という事はあり得るかもな
261:１３２人目の素数さん
21/04/26 19:37:30.71 c6HE7tum.net
北白川のタダ飯は格別どすえ
262:１３２人目の素数さん
21/04/26 20:38:17.81 bswjMCuW.net
>>242 実体がない以上虚構としか言いようがないよね。
263:１３２人目の素数さん
21/04/28 07:21:27.41 abl7J6eu.net
実質的にabc予想にしか結果が出せないのなら、それが正しかったとしても、特殊な「証明」のひとつということになって、
幅広い応用、適用をもった「理論」という認識にはならないのではなかろうか？
264:１３２人目の素数さん
21/04/28 17:42:50.06 Gg315Vdz.net
多数のディオファントス方程式を解決するんだから新理論って言っていいだろ
未解決の方程式一つ解くだけで数学界ではビッグニュースなんだから
265:１３２人目の素数さん
21/04/28 23:20:41.20 3YtdrGLg.net
海外からもあたりまえの声が
きこえてくる
「I don’t think this is deliberate deception on Mochizuki’s part.
In my (extensive) experience with very
smart people unwilling to admit that an
idea they’ve worked on for decades is
flawed, all evidence I’ve seen is that the
human capacity for self-delusion under
such circumstances is an essentially
infinite quantity.」
266:１３２人目の素数さん
21/04/29 11:06:41.55 VCO4A3tC.net
数学者だったら理解出来る経験ではある
267:M
21/04/29 12:06:16.96 YRBKcfIC.net
アティヤの場合は、「齢だから」ですむが
モッチーの場合は、「そもそもオカシイから」といわれ
永遠にその存在自体が封印されるｗ
268:１３２人目の素数さん
21/04/29 14:57:43.96 JN8Li3Vk.net
コンコルド効果ね。見込みのないアイディアやテーマに
拘泥して時間を無駄にしてしまう例は少なくない。
望月氏もIUTを10年やった時点で失敗を認めて引き返せば
数学者としてもう一仕事できたと思うが実際にはそれは
難しい。
269:１３２人目の素数さん
21/04/30 01:16:33.97 VQJ0Vim1.net
数件の甘やかされた環境も良くなかったのだろう
270:。山月記と同じだね。廃人生産場。
271:１３２人目の素数さん
21/04/30 13:56:56.87 RycSyXlZ.net
半年待つ
272:１３２人目の素数さん
21/04/30 15:49:57.83 t7APcq6s.net
URLﾘﾝｸ(www.nikkei.com)
数学の難問ABC予想 「証明」にも学界は冷ややか
2021年4月30日 11:00 [有料会員限定] 日経 （編集委員 青木慎一）
「論評したくない」「話すことはない」。欧米の数学者にコメントを求めると、ほとんどが断ってきた。掲載が決まった2020年春以降、欧米メディアの報道はほぼない。取り上げた科学誌の論調も証明に問題があると指摘する研究者がいることから、懐疑的だ。
望月教授の理論を理解し、証明が正しいと主張する数学者は世界に10～20人といわれる。証明に問題があると主張する数学者も、数学のノーベル賞とされるフィールズ賞を受賞した独ボン大学のピーター・ショルツ教授ら一部の専門家。この両グループの議論は平行線のままで、多くは模様眺めになりがちだ。
こうした状況では、どうしても懐疑的な見方が残り、興味を失う数学者も増えてしまう。ある海外の数学者は「他にもやるべきテーマがある。以前は理解できないかと考えてきたが、もはやこの議論に費やす時間はない」と明かす。
米バーモント大学のテイラー・デュピュイ助教授は「望月教授の理論には、目を見張るべき部分がある。埋もれてしまうのは大きな損失だ」と主張する。同助教授ら海外の数学者には、新たな解説論文をまとめる動きが出てきた。多くの数学者が納得する形で解説し、論文の検証や応用への議論を促す狙いがある。
数学の世界では、時間がたってから証明が正しかったとわかることがある。例えば、ドイツのヒーグナーは1952年、史上最高の数学者といわれるガウスが予想した「類数問題」に関する証明を発表した。長い間無視されたが、60年代後半に複数の数学者がそれぞれ検討し、一部に問題があるものの本質的に正しかったと証明された。今は定理として名を残す。
論文の出版を機により優れた解説や証明の改善を目指す数学者が増えることが期待される。そうした中から優れた成果が生まれれば望月教授の理論を数学界が受け入れることにつながるだろう。
273:M
21/04/30 15:57:22.85 OJUi+u3R.net
デュピュイがそう思うんならやってみればいい
何も説明できないくせに査読を通すRIMSは明らかに悪だが、
望月の論文に何らかのアイデアを見出してそれを検証しよう
というのは健全な発想だからどんどんやってみればいい
274:１３２人目の素数さん
21/04/30 18:29:30.88 FeKb0Qek.net
>>253
×望月教授の理論を理解し、証明が正しいと主張する数学者
○望月教授の理論を応援し、証明が理解できたらいいなと願う数学者
それが世界でたった１０～２０人
多くの数学者は３．１１までは自明、３．１２は筋悪の主張でこの方向では何も得られないと思っている
275:１３２人目の素数さん
21/05/01 11:39:35.75 t5ZZrjAn.net
少なくともダイヤモンドの記事によれば、証明できた「と思ってる」らしいけど
時間などの制約で海外の数学者は取り組んでない、といったように読めるが、実際には取り組んでる人も少なくないんだよな
例えばショルツがあるブログのコメントでCor 3.12の証明について行けないと述べたときも、他の何人かの数学者も同様だった、と触れている
テイラーデュピュイもCor 3.12については証明できないと明言してる(その上でアイデアが埋もれるのはもったいないと考えてる)
また、著者が考えたフロベニオイドという概念も一部の数学者が取り組んで、SGAの概念を使えば分かりやすく書き直せることを発見しており、その上でフロベニオイドの有用性を見出だせていない
276:１３２人目の素数さん
21/05/01 14:23:33.02 hZG93SOo.net
無関心の理由は「証明に欠陥があるから」じゃないぞ
「ABCの証明手法(IUT)自体に価値が感じられないから」だぞ
ABCの証明手法に価値をみんながもし感じてるなら
証明の欠陥部分なんてむしろ逆にワクワクする興味の対象でしかなく
皆がこぞってその修正作業に群がるだろうけどね
277:１３２人目の素数さん
21/05/01 14:27:19.56 hZG93SOo.net
>>254
>望月の論文に何らかのアイデアを見出してそれを検証しよう
>というのは健全な発想だからどんどんやってみればいい
そんな応用のつかない膨大な孤立理論は他にも腐るほどある
そしてそれらの殆どはそのまま朽ち果てる
278:１３２人目の素数さん
21/05/01 18:55:49.15 pSMKQcdj.net
>>257
価値を感じるって具体的にどういうことだろう？
論文が引用されたら価値を感じていることになるのかな
279:１３２人目の素数さん
21/05/01 19:56:35.72 hZG93SOo.net
>>259
次の新しい豊かな景色を見せてくれる足場になるかどうかだよ
280:１３２人目の素数さん
21/05/01 20:43:11.43 pSMKQcdj.net
>>260
つまり関連研究の論文を量産できる可能性を見出せるかどうかということか
281:１３２人目の素数さん
21/05/02 09:56:30.61 NgorxVt/.net
>>253
＞「論評したくない」「話すことはない」。欧米の数学者にコメントを求めると、ほとんどが断ってきた。掲載が決まった2020年春以降、欧米メディアの報道はほぼない。取り上げた科学誌の論調も証明に問題があると指摘する研究者がいることから、懐疑的だ。
下記山下の現代数学の記事がだめなのは、電話取材でもして
数学者のコメントを取ろうとｌしていないことだ！
ジャーナリスト失格だよ！！
ちゃんと取材して記事を書け！！！
（参考）
ABC予想を証明した望月新一教授を語ろう
ｽﾚﾘﾝｸ(math板:99番)
99 名前：１３２人目の素数さん[sage] 投稿日：2021/04/10(土) 18:42:55.57 ID:jAJSNV85
雑誌現代数学の2020年6月号で山下純一がIUTへの批判について取り上げていたけど、
最新号の2021年5月号でも、出版された論文に対する批判を紹介している。
282:
21/05/02 11:05:09.10 MVpzBB75.net
>>262
>ジャーナリスト失格だよ！！
>ちゃんと取材して記事を書け！！！
ヤマジュンは別に新聞記者じゃないからなあｗ
もっちー論文を完全に理解してる人は当人も含め（ｗ）皆無であるが
その上で温度差も当然ある
Ｓョルツ 「モノドロミー考えたら、うまくいかないんじゃね？」
Ｄュピュイ「そんなん関係ねぇ！ なんかうまくいく可能性もあるかもしれん！」
Ｓョルツ 「上手くいったら教えてくれ でもその場合、望月じゃなくあんたの成果だけどな」
283:１３２人目の素数さん
21/05/02 15:39:07.60 d7UyCNGJ.net
>>263
当人含めって論文を自動筆記でもしたのか
天から降ってきたとか未来から送信されてきたとか
284:
21/05/02 16:20:43.45 MVpzBB75.net
>>264
自分でも細かいところを全く考えずに書いてて
実はそこが間違ってれば、当人も理解してないってこと
285:１３２人目の素数さん
21/05/02 17:03:07.96 NgorxVt/.net
余談だが、Kiran KedlayaがIUTの会議に参加みたく書いてあるけど、
Kedlayaのホームページの”Conferences in arithmetic geometry”には、IUT無いね、はて？
（参考）
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
286:.html Foundations and Perspectives of Anabelian Geometry, RIMS workshop, June 28 - July 2 2021 Confirmed participants include: Kiran Kedlaya (UCSD, USA), https://kskedlaya.org/confs.cgi Kiran S. (Sridhara) Kedlaya Conferences in arithmetic geometry Special notice (updated 9 Dec 2020): Due to the global outbreak of novel coronavirus (COVID-19), many events listed for the first half of 2021 are likely to be postponed, cancelled, or held in an online-only format. Please confirm with conference organizers before making any travel plans. Listing a conference in MathMeetings with the country code "Antarctica" (with any city) will make it show up as "online" in the following list. For a global database of online talks, see researchseminars.org (formerly mathseminars.org). 2021 Arithmetic Geometry - Takeshi 60, September 6-10, Tokyo, Japan https://www.ms.u-tokyo.ac.jp/~shiho/takeshi60/index.html Arithmetic Geometry - Takeshi 60 September 6-10, 2021 Graduate School of Mathematical Sciences, The University of Tokyo, Tokyo, Japan. A conference on the occasion of Takeshi Saito's 60th birthday https://www.ms.u-tokyo.ac.jp/~shiho/takeshi60/takeshi-photo.jpg つづく
287:１３２人目の素数さん
21/05/02 17:03:37.19 NgorxVt/.net
>>266
つづき
”Arithmetic Geometry - Takeshi 60”下記か
”遠山啓の『数学入門』を読んで、数学に惹きつけられた”と成っているけど、維新さん（おサル）と大違いかな？
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6%E8%80%85)
斎藤毅 (数学者)
斎藤 毅（さいとう たけし、1961年9月11日 - ）は、日本の数学者。
経歴
1980年 - 筑波大学附属高等学校卒業
1984年 - 東京大学卒業
1986年 - 東京大学大学院修士課程修了
1989年 - 博士号取得
東大助手、講師、助教授を経て、1999年より東京大学大学院数理科学研究科教授。専門は数論幾何。
元指導教官の加藤和也との共同研究もよく知られている。また加藤とともに多くの学生を育てている。
人物
遠山啓の『数学入門』を読んで、数学に惹きつけられた。
矢野顕子のファン。
弟子
伊藤哲史 - 京都大学理准教授
印林生 - 清華大学数理教授（2015年7月5日死亡）
落合理 - 大阪大学准教授
志甫淳 - 東京大学数理教授
安田正大 - 大阪大学准教授
単著
『Fermat予想』第1巻、岩波書店〈現代数学の展開 9〔11〕〉、2000年3月28日。ISBN 4-00-010659-7。
『Fermat予想』第2巻、岩波書店〈現代数学の展開 12〔12〕〉、2008年2月8日。ISBN 978-4-00-010662-7。
『フェルマー予想』岩波書店、2009年2月6日。ISBN 978-4-00-730858-1。 - 斎藤(2000)と斎藤(2008)の合本。
(引用終り)
以上
288:１３２人目の素数さん
21/05/02 18:01:22.29 IMKGUFl/.net
斎藤毅さんには、代数学の入門書も書いてほしいです。
雪江さんの本みたいに3巻とか複数冊
289:のシリーズで。
290:１３２人目の素数さん
21/05/02 18:02:19.04 IMKGUFl/.net
矢野顕子ってあの変な声のおばあちゃんですよね。
どこがいいんですか？
291:１３２人目の素数さん
21/05/02 19:13:45.84 d7UyCNGJ.net
>>265
そんなことできるのか
数覚とかいうやつ？
292:１３２人目の素数さん
21/05/02 20:32:37.56 NgorxVt/.net
>>270
逆じゃね？（＾＾
小説家が大河小説を書くみたい
あらすじがあって
そのあらすじを作るために
いろんな計算や手探りの思考錯誤をして
大体行けそうという目途がついて
書き始めて、4年から5年かかったかな
あらすじが、頭に浮かんでないと、書けませんよ、あんなものを
4年から5年かかったのは、一つ一つ証明をつけて、確認しつつだったからでしょ
そこが、適当につじつま合わせすれば良い
小説家との違いじゃないですか？（＾＾；
293:１３２人目の素数さん
21/05/02 20:40:54.34 NgorxVt/.net
>>271
こんな感じ（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 着想
2012年01月23日
・IUTeich理論の連続論文の進捗状況について報告する。連続論文の執筆
および最終点検は順調に進んでおり、4編でちょうど500頁位になる見込み
である。以前（＝2009年10月15日の項目を参照）から今年の夏までの完成
を目指しているが、夏に間に合うかどうかは別として今年の後半までの
完成を目指したいと考えている。
2011年06月20日
・IUTeich理論の連続論文の進捗状況について報告する。IUTeich IIIは
（イントロを除いて）一通り書き終え、現在、IUTeich IVを執筆中である。
IUTeich IIIとIVで取り上げられている内容について改めて考えてみた結果、
IUTeich IVの題名を、
IUTeich IV: Log-volume Computations and Set-theoretic Foundations
に変更することにした。IUTeich I～IIIでは、遠アーベル幾何、特に
「絶対p進遠アーベル幾何」の延長線上にある「IU幾何」の枠組みの下で
の「環構造の復元の議論」（＝環構造が存在しないような設定において）
という極めて抽象的な内容を扱っていたのに対し、IUTeich IVの「体積
計算」では、至って初等的な議論（＝議論の雰囲気は「Arithmetic
Elliptic Curves...」によく似ている）をするので、久しぶりの「モード
の切り替え」に少し戸惑っているところである。
2010年04月12日
・IUTeich理論の連続論文の進捗状況について報告する。最近、IUTeich II
を（イントロを除いて）一通り書き終えたので、（2008年7月に始めた）
このプロジェクト（＝つまり、連続論文の執筆）全体の約半分が完成したことになる。
2006年06月24日
・pro-(p,l)のabs pGCに関する補足：05月17日の時点ではまだ出来て
いなかった部分（＝Green自明化に関係する部分）があったが、これは無事
解決できたと思う。ただし、この「pro-(p,l)のabs pGCが出来た」という
話は全部「点論的」（＝「Cuspidalization」の論文の「point-theore-
tic」）という仮定の下での話。一方、「点論性」については、学生の
星氏との共同研究によってそう遠くないうちにできそうだ。
294:１３２人目の素数さん
21/05/03 14:16:17.89 dpP9+9QH.net
>>253
査読中からIUT論文がメディア記事を
根拠に評価され出版が決まったと
思われる、疑念が深い。
IUT論文の出版は検証が必要
・事実
H27年5月13日.中央審議会にて日本学術会議の課長が「(GCOEの)経過後の
フォローということにつきましても，
今のところは予定はない」と言明
しながら、GCOEの事後評価結果の
研究成果例ではそれまで京大G08の評価.報告になかったIUTTを取り上げて
京大G08事後評価結果を改変した。
また研究成果例京大G08は、abc予想を
解決したとするIUT論文が内外の
新聞より報道され大きな話題を提供
した、これを根拠に評価された。
本来査読中の数学論文の評価と
マスメディアの記事は無関係であり
極めて遺憾な事象である。
過去にも「宮岡ヤウ不等式からフェルマー予想が解決」とメディアが話題を
提供したが後に間違いが認められた
例もある。
・事実
H28年6月京大RIMSは大学 改革
支援・学位授与機構へ提出の現況
調査表で「査読中ながらIUT論文より
abc予想が解決」と公式に報告した。
京大 RIMSの教授はIUT論文が投稿
されたPRIMSの編集者でもあり、
IUT論文の査読中にRIMS教授は
「IUT論文よりabc予想が解決」
と結論つけた。
一方、現況調査表では「所員の発表
論文数」は「査読付き論文のみ」と
評価しており査読中のIUT論文のみ
例外として扱っている。
ps
IUT絶賛の朝日記者が2017年12月
にIUT論文受理のすっぱ抜き記事を
書いたが、意図と背景や京大RIMSから
どのように情報を得たかは不明だ
295:１３２人目の素数さん
21/05/03 14:27:09.08 dpP9+9QH.net
>>273
訂正
宮岡ヤウ不等式→宮岡の不等式
296:１３２人目の素数さん
21/05/03 15:22:40.03 qk8nyGP1.net
今日の日経に解説記事があったね
297:１３２人目の素数さん
21/05/03 19:02:01.85 uEeo+akB.net
新型コロナもひと段落ついていよいよ年貢の納め時か
298:１３２人目の素数さん
21/05/03 19:37:06.45 9vStq06J.net
>>275 kwsk またソースは取り巻きの提灯記事？
現状を取材してRIMSを糾弾する記事は一向に出ないのか？日本の科学ジャーナリストはレベルが低いな。
299:１３２人目の素数さん
21/05/03 23:24:41.44 qk8nyGP1.net
>>277
少なくとも、ヒステリックにRIMSを糾弾
という感じではなかったかな
とはいえ、証明が正しいことは確定というスタンスでもなく
硬直状態の現状を出来る限り中立に(無難に)報じたという感じ
300:
21/05/04 05:00:16.60 dRJ5yfhF.net
>>277
IUTは数学界のポストモダンになり果てたｗ
301:１３２人目の素数さん
21/05/04 06:58:41.32 zqdTTriL.net
「テイラーデュピュイもCor 3.12については証明できないと明言してる」
その多くの人が問題視している箇所って、選択公理みたいな話なのかね？
それとも技術的な欠陥なのかな。
そもそもその指摘に対してきちんと皆が納得できる形でなんらかの説明なり、補足がされていないのは、
IUT派側が「それは見解の相違、そして我々の思想が今後主流」みたいな態度なのかね。
選択公理をどう捉えるかはそれなりに面白い話だし、ある意味思想的な違いという面があるから、
もしIUTの問題の個所がそれと似たようなことなら、素人にもわかる解説がほしい。
加藤さんの本はそんな感じではないのだよね？
302:１３２人目の素数さん
21/05/04 09:53:03.57 TqZ336SD.net
冷静な態度に敬服
303:
21/05/04 10:02:14.28 dRJ5yfhF.net
>>280
>「テイラーデュピュイもCor 3.12については証明できないと明言してる」
>その多くの人が問題視している箇所って
ギャップ
要するに証明なしに正しいといってる箇所がある
304:
21/05/04 10:04:26.20 dRJ5yfhF.net
>>280
>加藤さんの本はそんな感じではないのだよね？
ブンゲンは細かいことは書かない
要は本売りたいから夢見がち�
305:ﾈこといって素人をたぶらかす 数学者以前に人間として信頼できない
306:１３２人目の素数さん
21/05/04 10:27:57.99 fbR98FXE.net
>>280
＞その多くの人が問題視している箇所って、選択公理みたいな話なのかね？
単なる技術的欠陥。たんなるモッチーの強がりです。
この場面でそういう言い逃れががまじめに取り上げられることはないと思う。
数学で新しい公理が必要というのは、すでに証明が確立された後、
逆数学検討等によってはじめてわかることで、最初から明らかに論理の飛躍がある証明が認められることはない。
それを言いたきゃ今の証明を集合論的基礎まで落とし込んで、今よりももっともっと厳格な論理を確立してから言ってくれというのが数学者の常識。
実際そこまでできれば機械的検証もできるだろうしｗ
機械的検証どころか自然言語による説得すらできないのに何言ってんだｗ
例えばＡBC予想はペアノ体系では証明できないとかはあるかもしれないけど、
それはそれで遠大な研究が必要だろう。この時点でそれを言い訳にするなんて根拠がなさすぎる。
307:１３２人目の素数さん
21/05/04 11:40:22.68 /XDnl8qI.net
>>273
訂正. 中央審議会
→ 文部科学省中央教育審議会
308:１３２人目の素数さん
21/05/04 12:06:45.54 zqdTTriL.net
なるほど。みなさんありがとう。
そうなるとScholzeが「abcはまだ予想のまま」というのはIUTはその根幹の部分が証明されていない事実に基づいている
ということなんですな。
それなりに深い数学観上のちがいみたいなものが浮き彫りになった話だったら面白そうと思ったのだけど。。
309:１３２人目の素数さん
21/05/04 12:16:07.56 /XDnl8qI.net
加藤文元本はIUTの資料として
大切だね。
・加藤文元氏は望月新一氏とセミナー
を行いIUT「構築者」の1人
・望月新一氏の前書きがあり望月新一
氏も推薦
・RIMSのIUT国際会議でも推薦さ
れている。
特に
・IUTの位置づけについては
「IUT語。IUT理論は、一般的な
数学のパラダイムの枠内では語れ
ない、 全く新しいフレームワークと
言語・ 概念体系を基盤として構築されている p51」
>>253
>ある海外の数学者は「他にもやる
べきテーマがある。
以前は理解できないかと考えてきたが、もはやこの議論に費やす時間はない」と明かす。
あたりまえですね。
310:１３２人目の素数さん
21/05/07 13:06:50.30 i5i5V+B3.net
誰か黒川氏からコメントを取ってくれないか
311:１３２人目の素数さん
21/05/07 14:09:01.71 9xBUi/UM.net
IUTは正しいのだが、魅力がない。
望月はこれを知っていて、「望月劇場」を演出したのだと思う。
10年間無視弾圧されたような形にして、悲劇の主人公を演じる
ガリレオ方式はほぼ成功している。
10年前にすぐに認められていたとしたら、
ABCとか望月という名前とかなど誰も覚えていないだろう。
312:１３２人目の素数さん
21/05/07 14:12:50.92 Y/ho//XE.net
>>289
>IUTは正しいのだが、
根拠のない発言 乙
313:１３２人目の素数さん
21/05/07 14:59:27.65 t9TWQSMQ.net
こんな年月が経っているのに、たかだか数百ページの論文が正しいか正しくないかを誰も判断できないというのが滑稽ですね。
ワンステップワンステップ確認していけばいいだけの話ではないでしょうか？
314:１３２人目の素数さん
21/05/07 15:17:23.42 RS00Bj/R.net
みんな自分の研究に夢中で他人の研究に構ってられないんだろ
学術界は危機に瀕している
315:１３２人目の素数さん
21/05/07 15:38:23.57 Y/ho//XE.net
>>291
ギャップがある
そして読んだ人はみな埋められない
しかし書いた人は何も説明しない
要するに論文になってない
もう明らかなんだが、MとRIMSが突っ張り通してる
オリンピックを実施したがるどっかの島国の政府と同じ
316:１３２人目の素数さん
21/05/07 15:53:25.86 t9TWQSMQ.net
いつかは明らかになる嘘をつくメリットは何でしょうか？
317:１３２人目の素数さん
21/05/07 16:18:52.39 RS00Bj/R.net
退官後の年金受給額
318:ではないかな
319:１３２人目の素数さん
21/05/07 16:52:20.58 i5i5V+B3.net
ITUをSTAPと同列に扱うのはよくない
320:１３２人目の素数さん
21/05/07 16:56:29.37 RS00Bj/R.net
国際電気通信連合に何の関係が
と素で思った
321:１３２人目の素数さん
21/05/07 17:40:40.73 0BGQ/HZ+.net
予算も人事も通したもん勝ちだからね。Gとか結局何もしとらんけど、定年まで安泰ですw
322:１３２人目の素数さん
21/05/07 22:50:07.60 ZLP3S5JD.net
>>289
IUTは正しくないよ。
四色問題の証明はブレークスルー的な面白さは全くないけれど、それでも四色問題を証明した人の功績は広く認められている。
ＩＵＴは純粋に正しくない。もっちーが強がってるだけ。
323:１３２人目の素数さん
21/05/08 09:01:35.29 rCW0Rgx6.net
IUTがUFOに見えてきた
324:１３２人目の素数さん
21/05/09 10:57:30.71 3Tu7SPz/.net
５ちゃんの結論は出ているみたいだ
325:１３２人目の素数さん
21/05/09 11:58:23.37 md5ZROHy.net
>>301
出てない。対立状態でどちらも引かない状態
君みたいのをあき盲という
326:１３２人目の素数さん
21/05/09 15:23:45.58 sl3N0UMr.net
どちらも引かないが
大方が認めそうな結論は出た
そんなことはUFOのときもあった
327:１３２人目の素数さん
21/05/09 15:40:28.58 33hnDItT.net
素人さんは勘違いしないで欲しいんだけど、どちらも引かない、ってのはイコール対等ってワケじゃないんだよね。
なぜなら説明責任は批判者でなく提出者にあるから。
望月や取り巻きが「全く新しいパラダイムシフト」と称するものの実態と正当性を有効に説明できない以上
何十年待とうと今後理論として受け入れられることはありません。
328:１３２人目の素数さん
21/05/09 15:59:02.08 uQkzT2A0.net
ではその辺がほぼ５ちゃんの結論ということで
329:１３２人目の素数さん
21/05/09 16:09:45.34 6xnjRD2S.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
COLLAS, Benjamin
See the page of each semester below for programmes, references, and list of participants. See also the Oberwolfach workshops 2021 and 2018 on Homotopic Arithmetic Geometry and Galois theory.
URLﾘﾝｸ(publications.mfo.de)
Homotopic and Geometric Galois Theory (online meeting)
Workshop Oberwolfach
2110a
Period
07 Mar - 13 Mar 2021
URLﾘﾝｸ(publications.mfo.de)
Report of the workshop (82 pages)
Mathematisches Forschungsinstitut Oberwolfach
Report No. 12/2021
DOI: 10.4171/OWR/2021/12
Homotopic and Geometric Galois Theory
(online meeting)
Organized by
Benjamin Collas, Kyoto
Pierre D`ebes, Villeneuve d’Ascq
Hiroaki Nakamura, Osaka
Jakob Stix, Frankfurt
7 March ? 13 March 2021
330:１３２人目の素数さん
21/05/09 16:18:47.36 6xnjRD2S.net
資料や動画とか
なんでもいいけど
公開してほしいね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in Inter-Universal Teichmuller Theory
Org.: Collas (RIMS); Debes, Fresse (Lille).
331:１３２人目の素数さん
21/05/09 16:58:58.80 6xnjRD2S.net
動きはある
URLﾘﾝｸ(ncatlab.org)
inter-universal Teichmuller theory nlab Last revised on April 3, 2021
Contents
1. Idea
2. Overview of the proof
Denouement
The key corollary
Pilot objects
3. Related concepts
4. References
2. Overview of the proof
Please note: everything in this section is heavily under construction! Contrary to possible current appearances, it is a serious attempt to shed some light on aspects of Mochizuki’s work, and is not in any way intended as a parody or to do any disservice to Mochizuki’s work, quite the contrary. We ask the reader for patience until such a time as what the page is intended to become is more clear.
Denouement
The logic of the final part of Mochizuki’s approach to the abc conjecture is fairly straightforward in outline, and not, as far we know, a point of contention. We describe it here, deliberately using completely different notation from the IUTT papers to bring out the structure of the argument. Throughout, we shall assume that we have certain data M, which we shall treat as a black box.
Assumption 2.1. Given M, there are real numbers tM and qM such that -tM≧-qM.
Corollary 2.2. Given any real number c such that -tM≦c?qM, we have that c≧-1.
Proof. Immediate.
Remark 2.5. That Assumption 2.1 holds is the fundamental result of the IUTT series of papers. It is Corollary 3.12 in IUTT III, and it is this corollary to which the objections raised by Scholze and Stix pertain.
That Assumption 2.3 holds is the main purpose of IUTT IV. It is established by Theorem 1.10 and Corollary 2.2. Theorem 1.10 establishes the particular inequality of the form cM≧-1 that will be made use of; Corollary 2.2 specialises and refines it to an inequality which directly implies the abc conjecture. As far we know, these parts of the argument are expected to be sound.
つづく
332:１３２人目の素数さん
21/05/09 16:59:19.30 6xnjRD2S.net
>>308
つづき
The key corollary
As discussed in the previous section, the cornerstone of the IUTT series of papers (at least with regard to the abc conjecture) is Corollary 3.12 in IUTT III. We attempt here to explain certain aspects of this corollary. We shall continue to use completely different notation from the IUTT papers to try to bring out certain key ideas. To begin with, we shall continue to assume that we have a black box of data M. We shall first indicate the logical structure of the corollary, devoid of any significant content.
There are two key aspects to Corollary 3.12 in IUTT III, which we now state.
Theorem 2.8. (If correct!) For any tM∈TM, we in fact have that tM≠∞, and thus that tM∈R. Moreover, -tM≧-qM.
Remark 2.9. A major point of confusion in attempts to understand Mochizuki’s work has surrounded what Mochizuki refers to as ‘indeterminacies’. At the level we are working at here, things are clear: all that matters is that tM may be any one of a set of possible real numbers (what this set is is described precisely by Mochizuki, but this is irrelevant to the question of understanding the logic of the overall argument), whilst qM is a specific real number.
In particular, the denouement of Mochizuki’s argument to prove the abc conjecture goes through regardless of the choice of tM amongst the set TM.
We now begin working towards explaining what TM and qM are.
(引用終り)
以上
333:１３２人目の素数さん
21/05/09 17:04:30.97 osmtObfM.net
SSは圏論の常識的に同型なオブジェクトは同一視すべきと言っていて
同型なオブジェクトを同一視すると証明が破綻することを指摘した
334:モッチーは同型なオブジェクトを同一視すべきでない例示で反論した。 IUTは新しい数学だから600ページ読んで 最初から常識を捨て去って数学の勉強やりなおさないと、 該当の箇所をこれまでの数学の常識で見てしまい誤っているように見えてしまう そのせいで勉強した理解者以外からは いつまでたっても理解されずっすよ 論文は出版されたんで理解者勢は IUT使って他の重要な予想の証明を提出してくるだろうね
335:１３２人目の素数さん
21/05/09 17:50:35.68 ylJMTaKl.net
>>310
提出してこないと思うよ
だって問題の箇所は２０１２年からずっと公開されており、実際は理解者など一人もいないので、だれひとり他の重要な予想など証明していないから。
あと悪いけど世界の数学者の総体としての数学脳を馬鹿にしちゃいけない。
望月は自分では６００頁に上る大論文だと思っているんだろうが、
世界は、３．１１までは大したこと言っていないほぼ自明のしょうもない内容で、３．１２はただの間違いって結論付けている。
世界の数学者の総体>>>>>>>>>>>>>>>>望月なのは明白。
336:１３２人目の素数さん
21/05/09 20:32:33.83 6xnjRD2S.net
>>311
なんだかな（＾＾；
>だって問題の箇所は２０１２年からずっと公開されており、実際は理解者など一人もいないので、
理解していると言っている人はいる
Dupuy先生は、昨年4月にショルツェ氏とバトルして、負けなかった
逃げたのは、ショルツェ氏だった
>だれひとり他の重要な予想など証明していないから。
あれれ？ 南出論文は？
オリジナルでは、明示公式で無かったところを
WOJCIECH POROWSKI
氏のアイデアを元に、南出氏たちとの共同研究が発表されたよ（下記PDF）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
そう結論を慌てないで
今年４回の国際会議があるでよ。そこにペーパー集まっているから、それを待て
>世界は、３．１１までは大したこと言っていないほぼ自明のしょうもない内容で、３．１２はただの間違いって結論付けている。
それを主張しているのは、ショルツェ氏一人
殆どは、様子見だよ、ショルツェ氏の尻馬はいるけどね
>世界の数学者の総体>>>>>>>>>>>>>>>>望月なのは明白。
いま、数学は細分化されているからね
専門外だと分からないと思うし、遠アーベルの専門家は少ないしね
結論を急ぐと
現代数学に批判を書いた山下みたいに、大外しになる気がするよ（＾＾
337:１３２人目の素数さん
21/05/09 20:41:44.10 kX4/nXnK.net
IUTの狂信者には理解不能だろうが、
遠アーベル幾何とIUTは違うね。
IUTは自称全く新しい「数学」、
昔からある妄想砂上の楼閣
338:１３２人目の素数さん
21/05/09 20:47:18.85 kX4/nXnK.net
なぜデュピュイが「Cor.3.12の証明が
できない」といいながら「望月教授
の理論には、目を見張るべき部分がある。埋もれてしまうのは大きな損失」
というのか？
・デュピュイがIUT語のIUTT体系
の立場の場合。
IUT語で書かれた系3.12は系だから
証明の必要がなく自明だ。
しかしパラダイムが違う普通の数学へ
IUTの書き換えは不可能だ。
・デュピュイはIUT語と全く違う
一般的な数学とその発展側の立場の
場合。
IUT論文を読み目を見張るお告げが
あったのかもしれないがこれは全く
個人的な体験である。
Cor3.12の証明は理解不能で
この場合もパラダイムが違う普通
の数学へIUTの書き換えは不可能だ
から書き換えてもIUTとは全く異なる。
(ショルツェは森重文氏に依頼され
望月新一星氏と議論して普通の数学
の立場から意見を述べている)。
・USでデュピュイは予算をもらいIUT
関連のセミナーを行ってきたから予算
関連の惰性かもしれない。
日本でも見られる例である。
デュピュイ立ち位置はIUT側と普通の
数学側を渡り歩いている親IUTの日和見
339:１３２人目の素数さん
21/05/09 22:40:00.12 6xnjRD2S.net
>>313
＞遠アーベル幾何とIUTは違うね。
星裕一郎のIUT入門には、そんなことは書いてないよ
IUTは、遠アーベルが基礎�
340:ﾉあるよ >>314 ＞なぜデュピュイが「Cor.3.12の証明が ＞できない」といいながら １．デュピュイ氏が話したのは、ブログだったかをのぞきに来たド素人に、3.12の証明を聞かれて （おまえには）3.12の説明はできないと答えた ２．Cor.3.12の証明には、定理3.11が使われ、定理3.11にはそれ以前のIUT I～IIIの全てが使われる それを、簡単に説明することは、当然ながら難しい（簡単にできるなら数百ページもいらない） ３．しかし、デュピュイ氏自身が3.12も含めて理解できていることは、ショルツェ氏との議論で 負けていないことから明らか ４．3.12も含めたIUT全体の解説は、IUT Promenade や、>>308のnlab inter-universal Teichmuller theory それに加えて、今年4回の国際会議（過去の反省（時間不足の）から、４ステップに分けてやることになった） まあ、国際会議が7月くらいから9月初めまで4回 現代数学の山下が外しているのは、IUT Promenade を落としていることと 今年の4回の国際会議を無視していることだ 特に、今年の4回の国際会議を無視しては そりゃ、大外しの可能性大だよね
341:１３２人目の素数さん
21/05/09 23:07:36.06 kX4/nXnK.net
再起
加藤文元本はIUTの資料として
大切だね。
・加藤文元氏は望月新一氏とセミナー
を行いIUT「構築者」の1人
・望月新一氏の前書きがあり望月新一
氏も推薦
・RIMSのIUT国際会議でも推薦さ
れている。
特に
・IUTの位置づけについては
「IUT語。IUT理論は、一般的な
数学のパラダイムの枠内では語れ
ない、 全く新しいフレームワークと
言語・ 概念体系を基盤として構築されている p51」
342:１３２人目の素数さん
21/05/10 01:35:11.15 oCX/m/mx.net
＞遠アーベル幾何とIUTは違うね。
⇒遠アーベル幾何をベースに、IU幾何に拡大した。
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
⇒IU幾何は、フェセンコは「遠アーベルから派生した」分類にしている。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(Hokudai%202003-11).pdf
⇒望月のアイデアで、ABC問題を解くために、スキーム論だけでは不十分で、
属性方程式を解くために必要な、通常の集合論からの拡大で、必要な要件を考察し、
”（圏）／圏同値”のIU幾何で、極限で属性方程式の解を得るスケッチがある。
ABC問題の足し算と掛け算の関係の解析に、２次元的な環を、一次元的な圏を用いて、
Logスキームで圏で扱うが、
、
遠アーベルは、様々な興味深い現象はあるが、特殊なスキームにしか使えないため、
§4.1定義の図のように、中間的な圏を考えて極限を考え、これを貼り合わている。
343:１３２人目の素数さん
21/05/10 01:54:40.58 +qiJdZLl.net
海外の某ブログで、Dupuy は Cor 3.12 の証明を理解したとは言っていないよ。
その部分は Black box として捉えているようだ。
一年前のプレプリントでも、abstractにわざわざ This paper does not give a proof of Mochizuki's Corollary 3.12. と書いてあるし。
万が一 Dupuy が Cor 3.12 の証明を理解したのならば、きちんと説明してくれると思うよ。日本人サポーターやご本尊とは違って。
344:１３２人目の素数さん
21/05/10 07:22:34.44 IUWIJtnb.net
>>315
Coro. 3.12の証明に何が使われるかだけなら
Coro. 3.12の証明が理解できない多くの人たちの間で
何年も前から有名になっている
半年後にはCoro. 3.12の証明が正しいことが
多くの人に認められるようになってほしいが
コロンビア大からのニュースでは
現在のところ出席予定者が京都とNottinghamの人たちに
限られるという
これは大きな不安材料なのだが
345:１３２人目の素数さん
21/05/10 11:39:06.72 3tUR+Z/g.net
>>318
Dupuyがそのプレプリントでは3.12を主題的に扱ってないというだけで、
彼が理解していないことを意味しないよ
346:１３２人目の素数さん
21/05/10 12:22:31.05 sTqVUp4Z.net
DupuyはTwitterではっきり「私はCor 3.12を証明することはできない」と言っていたはず
347:１３２人目の素数さん
21/05/10 12:26:31.18 sTqVUp4Z.net
>>310
>モッチーは同型なオブジェクトを同一視すべきでない例示で反論した。
これはscholzeがどこかのブログで「例を尋ねたが帰ってこなかった」「Joshiが『京都にはよく知られている例がある』と言っていて不思議に思い問い合わせたが、結果的に間違いだった」と言っていたと思う
348:１３２人目の素数さん
21/05/10 13:09:47.30 asSUo652.net
coro.3.12はIUTの肝というか、そこで明確にIUTが通常数学の領域から新たな領域に移るところのように聞こえる。
でも、Scholzeはある意味そこにたどり着くまでのIUTの内容は理解していると言っているわけだ。
でも望月氏たちはScholzeは理解できていないと言っているのだね。
ある意味焦点が絞られているから、決着つきそうなもんだけどね。
349:１３２人目の素数さん
21/05/10 14:30:46.27 gcyD9EmE.net
デュピュイはIUTの変異種かね
ああいえばデュピュイとか
350:１３２人目の素数さん
21/05/10 14:45:23.89 gcyD9EmE.net
>>317
>遠アーベル幾何をベースに、IU幾何に
拡大した
遠アーベル幾何からIU幾何へぶっ飛んで
Cor.3.12を系だから自明、としたんだろ
351:１３２人目の素数さん
21/05/10 15:51:56.35 s1WBchZ6.net
で、４つの研究会の面子は揃ったわけ？
352:１３２人目の素数さん
21/05/10 21:17:05.57 R2WkLGoW.net
ICMに招待されるかどうかが全てだろうな
これでスルーされたら厳しい
353:１３２人目の素数さん
21/05/10 21:32:07.52 KrCzzqF/.net
ICMとか妄想してんのか、信者どもはw
354:１３２人目の素数さん
21/05/11 01:34:59.52 ezGBMRM9.net
人類の存亡に関わる問題なら、急を要するが、
IUTは急ぐことはないよ。
１０年後にはAIが証明をチェックしてくれるよ。
355:１３２人目の素数さん
21/05/11 04:43:36.74 pq7QSriK.net
ICMは今年は8月イスタンブールみたいだけど、リモートなのかね。
望月理論にはあともうひとつブレークスルーがないと一般には受け入れられないようですね。
足し算と掛け算というのはとても基本的な認知機能だとおもうから、そこで革新的な見解が出てきているのなら、
数学だけではなくて、もっと根本的な思想の次元で興味深いことになると思ったのだけど、
なんだか、あんまりそういう具体的なものよりも、とにかく「新しいパラダイム」という切り口で止まっていて残念。
非常に専門的なため指摘できる人がいない特殊な勘違いだったらちょっと面倒。
356:１３２人目の素数さん
21/05/11 13:25:59.52 jx+h248H.net
次のICMはロシアだと思っていた
357:１３２人目の素数さん
21/05/11 16:46:00.24 hkkxU1z6.net
足し算やかけ算を同時に行うなんて妄想もいいとこだね
せめて１や２の三乗根ぐらい実例で示せないと机上の空論
358:１３２人目の素数さん
21/05/11 18:42:42.97 lWXv93uW.net
>新しいパラダイム
望月新一氏が推薦した加藤文元IUT本
では、
「全く新しいフレームワークと
言語・ 概念体系を基盤として構築されている 」
IUT語を修行して奇異なIUTの世界へ
行くか、
一般的な数学を発展させるか、
どちらかです。
359:１３２人目の素数さん
21/05/11 23:08:16.75 GNbgZ2O4.net
奇異なだけで内容がないからな
ABCは肝心のステップ(系3.12)で大ゴケしてご破産。
残ったのは無意味なジャーゴン群の墓場。
360:１３２人目の素数さん
21/05/12 00:24:31.16 Cx4U9czy.net
PRIMSの公式見解は？
361:１３２人目の素数さん
21/05/12 08:01:50.74 p7oz1PIl.net
「IUT語を修行して奇異なIUTの世界へ行くか、一般的な数学を発展させるか、」
なるほど、しかしそうなるといわゆる疑似科学、Alternativeっていう可能性もでてくるね。
数学はある意味最も不変および普遍であるべき学の規範部分があるから（もちろん数学のあり方にはいろいろ見解はあるけど）
「自己流」になりかねない理論は認められにくいよね。
362:１３２人目の素数さん
21/05/12 21:14:47.61 Cx4U9czy.net
その点については本人もわかってはいる
363:１３２人目の素数さん
21/05/13 05:32:21.42 Dxuy4orP.net
この証明が正しいと言ってる奴で、それを証明した奴は一人も居ない
364:１３２人目の素数さん
21/05/13 07:21:21.47 TkJ3LwGJ.net
数学には２つある、望月のIUTか数学かだ。とかいわれるくらいまでになって欲しいw
365:１３２人目の素数さん
21/05/13 11:32:21.64 sdXLuDC3.net
２つあれば無限にある
366:１３２人目の素数さん
21/05/13 18:17:19.22 gGTUZ5bO.net
(そうでない場合)を証明してるとは思えないなあ
(そうである場合)も抽出して証明してるってことだからなあ
367:１３２人目の素数さん
21/05/13 19:13:27.50 bM0V+s1+.net
>>341
も少しkwsk
368:１３２人目の素数さん
21/05/13 19:18:49.71 gGTUZ5bO.net
今は論文から削除したかもしれないがゴーの査読にも少しの例外を除いて、みたいな表記があったかと
369:１３２人目の素数さん
21/05/15 11:09:36.62 u8VNzVRh.net
小山信也 著
「第24話 宇宙際タイヒミュラー理論の意義」
URLﾘﾝｸ(www.bks.co.jp)
金融業界でグローバルに活躍できる人材を養成 ビジネス教育出版社
日本一わかりやすい ABC予想
東洋大学理工学部教授 小山信也 著
ABC予想の証明は、いったい何がそんなに「すごい」のか？
数学がちょっぴり苦手な佑くん、数学が得意な沙耶ちゃん、そして数学雑誌の編集長Zeta先生の会話形式で、数学の超難問で、2020年査読が終わり証明が確定的となったABC予想について、日本一わかりやすく解説します。
発 行 2021年6月15日
《主な目次》
第１話 夏休みの宿題
第２話 「予想」って何？
第４話 「ABC予想」は役に立つ？
第11話「ABC予想」はフェルマーよりすごい？
第21話 イプシロンの役割
第24話 宇宙際タイヒミュラー理論の意義
370:１３２人目の素数さん
21/05/15 15:06:04.18 UFsHYA/w.net
なぜ金融関連の出版社が数学の
ABC予想でIUTがらみの本を出版するの？
同一出版社の下記の本を合わせて買って読め、とのことだろうか？
[融資力]トレーニングブック
粉飾決算の見分け方
371:１３２人目の素数さん
21/05/15 17:04:43.86 /kNEAa6g.net
黒川さんが書いたのなら買って読むのだが
372:１３２人目の素数さん
21/05/15 18:18:27.39 u4ICuYIu.net
書いた人が誰かは重要だが出版社がどこかはどうでもいい
373:１３２人目の素数さん
21/05/15 18:36:44.37 tfFrsvhB.net
社長の趣味だろう
374:１３２人目の素数さん
21/05/15 18:43:21.41 UFsHYA/w.net
>>346
こちらをおすすめ
↓
粉飾決算の見分け方
375:１３２人目の素数さん
21/05/15 18:52:32.45 tfFrsvhB.net
粉飾は割り引いて読めるから大丈夫
376:１３２人目の素数さん
21/05/15 18:55:39.66 UFsHYA/w.net
>>350
粉飾決算は犯罪です
377:１３２人目の素数さん
21/05/15 19:15:30.06 jh03jHu0.net
>>344
ｽﾚﾘﾝｸ(math板:433番)
378:１３２人目の素数さん
21/05/16 10:39:07.94 OXUD+ZB9.net
今月号の数セミで吉田知之先生が
黒川理論を持ち上げている
今後の展開が楽しみ
379:１３２人目の素数さん
21/05/16 12:31:55.80 28hiU698.net
粉飾決算は監査を受け一見辻褄が合うが、マネーロンダリングの手口まで
あり巧妙だ
380:１３２人目の素数さん
21/05/16 15:02:46.05 U7AeIEwn.net
数学は切羽詰まったからやるもんではなかろう
381:
21/05/16 16:15:24.01 f1oLv7EJ.net
>>354
粉飾決算を公開情報から検出する技術的手法はすでに開発されていると聞いています
細野祐二（元会計士・会計評論家）公式ホームページ
URLﾘﾝｸ(yuji-)
382:hosono.com/dbksg/ 細野祐二氏のお人柄はこんな感じです https://www.videonews.com/marugeki-talk/948 このリンクはダイジェストですが、3ドルで全編を見ることができます
383:１３２人目の素数さん
21/05/16 17:15:32.41 U7AeIEwn.net
その手法でABCもRIMS論文から何とかできるとでも？
384:
21/05/16 18:57:11.74 f1oLv7EJ.net
>>357
会計上の粉飾決算は大概弾くことはできますよ、検出可能な対象は会計上の問題だけですが会計に限れば無敵ですね
385:１３２人目の素数さん
21/05/16 19:46:42.69 OXUD+ZB9.net
会計上のことなど訊いていない
386:１３２人目の素数さん
21/05/16 20:13:56.27 vPH1Cr+L.net
>>356
C++さん、どうも
スレ主です
お元気そうでなにより
RIMSが
粉飾決算なんかやってもね
意味ないし
あとでばれて
余計大変に
なるだけですよね
387:１３２人目の素数さん
21/05/16 21:51:31.95 jrjxeIjc.net
粉飾決算とは？
日本数学界にも類似事象があるだろう
>>273
>>316
388:１３２人目の素数さん
21/05/16 22:25:05.16 0M36dW4Z.net
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
望月先生の肉声初めて聞きました
かなり前の動画ですが
最近の講義の動画などはありませんかね？
389:１３２人目の素数さん
21/05/16 23:02:13.68 jrjxeIjc.net
>あとでばれて 余計大変に
なるだけですよね
390:１３２人目の素数さん
21/05/17 00:42:12.84 NsG9g0Sr.net
>>362
おお～これは貴重な映像だ
よく見つけてきましたね
391:１３２人目の素数さん
21/05/19 07:45:05.27 vaf8S7yc.net
NHKでの特集ないかな、今制作しにくいか。。
392:１３２人目の素数さん
21/05/19 12:51:20.57 Dza7fvIJ.net
取材はちらほらあるらしいよ
393:１３２人目の素数さん
21/05/19 14:27:00.64 pbMOq9WJ.net
こういう時期の取材は貴重な体験だろうね
394:１３２人目の素数さん
21/05/19 16:05:15.84 B8BU/0/S.net
はじまりはマスコミのIUT提灯記事から
ジャーナリストなら深層を暴け
395:１３２人目の素数さん
21/05/19 16:21:00.84 iwuxy2w5.net
新垣結衣結婚について一言！ ＞モッチー
396:１３２人目の素数さん
21/05/19 17:21:02.79 wPF+4F0o.net
>>361
無いよ。ちなみに粉飾決算の意味を知らないようだねw
無知にも程がある
397:１３２人目の素数さん
21/05/19 17:43:09.05 MrMlUUkB.net
望月先生がっかりかな？
398:１３２人目の素数さん
21/05/19 17:53:06.74 B8BU/0/S.net
RIMSの公式報告書でも矛盾した
報告をしている。
399:１３２人目の素数さん
21/05/19 18:00:02.06 B8BU/0/S.net
>>370
応援団やとりまきには類似がわかるまい、わかりたくないかも
400:１３２人目の素数さん
21/05/19 20:07:58.51 jqwAfMtM.net
新垣結衣が星野源と結婚「このような報告をする日が来るとは」
新垣結衣（32）が19日、自身の公式サイトで星野源（40）との結婚を発表した。
「私、新垣結衣は星野源さんと結婚する運びとなりましたことをご報告させて頂きます。10代の頃からこの仕事を始め、本当にたくさんの方に支えていただき、今日まで活動を続けて来ることができました。現場で試行錯誤する日々はそれは刺激的な毎日で、いつしかその分、私生活は低刺激な時間を求め心がけ過ごしてまいりました。そんな私が、皆様に私生活についてこのような報告をする日が来るとは」
2人は16年のTBS系「逃げるは恥だが役に立つ」で共演した。「逃げ恥」は、漫画家海野つなみさん原作の同名漫画のドラマ化作品。大学院を卒業したものの就職の機会を逸し、彼氏もいない森山みくりが、35年間恋愛経験のない“プロの独身”津崎平匡の家で家事代行業をする中で契約結婚する。そんな2人の間に恋愛感情は生まれるのかを描いた、社会派ラブコメディー。みくりと平匡は結婚し、1月に放送されたスペシャルでは、娘を生んだ2人を描いた。
また新垣は、所属のレプロエンタテイメントとマネジメント契約を終了し、フリーで活動していくことも併せて発表した。当面はマネジメント契約を一部継続し「引き続きサポートして頂くカタチで、自分のスタイルをじっくりと構築してまいります」と説明した。
◆新垣結衣（あらがき・ゆい）1988年（昭63）6月11日、沖縄県生まれ。01年「ニコラモデルオーディション」グランプリ受賞でモデルデビュー。06年「ポッキー」CMで注目される。07年映画「恋空」で日本アカデミー賞新人俳優賞など。ドラマは「コード・ブルー ドクターヘリ緊急救命」「リーガル・ハイ」など。168センチ、血液型A。
◆星野源（ほしの・げん）1981年（昭56）1月28日、埼玉県生まれ。00年バンド「SAKEROCK」結成。03年劇団「大人計画」所属。10年アルバム「ばかのうた」でメジャーデビュー。14年くも膜下出血治療からの復帰ライブを開催。ドラマはNHK大河「真田丸」、映画は「箱入り息子の恋」「地獄でなぜ悪い」など。15年から6年連続でNHK紅白歌合戦出場。昨年はインスタグラムにネット参加型楽曲「うちで踊ろう」を投稿し話題に。168センチ。血液型AB。
URLﾘﾝｸ(www.nikkansports.com)
401:１３２人目の素数さん
21/05/19 20:20:12.56 pbMOq9WJ.net
ネタが増えてよかった
402:１３２人目の素数さん
21/05/19 20:40:33.29 jqwAfMtM.net
モッチーの公式声明が待たれる
403:１３２人目の素数さん
21/05/19 21:53:09.59 wPF+4F0o.net
>>373
おまえ、簿記を知らないだろ
企業会計原則も知らないよな
アホ丸出しな妄想をしてる様子でよく分かる
安易に専門用語を持ち出すなってことだ
数学関係だってド素人が安易に使用したら笑っちゃうだろ。同じことだ
404:１３２人目の素数さん
21/05/19 23:09:00.54 J/0jjxBd.net
icm2022boycott.org
405:１３２人目の素数さん
21/05/20 00:45:00.00 0b8V7dOg.net
ガッキーの顔ってどうしても覚えられないんだよなぁ。
なんでだろ。なんか、特徴がないというか、美人って
感じがしないのよね。
星野源も華がないから、地味なカップルでお似合いな
感じはする。
なんてことはモッチーは言わないと思うけど。
406:１３２人目の素数さん
21/05/20 01:35:25.77 bOXIuzLY.net
>>377
必死だなw
407:１３２人目の素数さん
21/05/20 01:37:57.60 bOXIuzLY.net
ヒント 会計検査院
408:１３２人目の素数さん
21/05/20 07:51:49.45 3fPldE/a.net
現状は望月論文を読まないような人たちがいて、一方でIUTを勉強している（解読している？）人がいる感じなのかね。
勉強している人たちは日々理解が深まっているのだろうけど、もちろん理解できない人も出てくるのだろうね。
IUTに興味がなくなった人よりも、それを理解しようとしている人たちはそのうちその進展を報告して、理論の価値を宣伝したほ
409:うがいいわけだが、 まあ、自分は素人、門外漢なので、あまりそういう話が進まないよね。 そもそも望月さん自体がマスコミの取材を拒否しているからね。 スキーム理論の発展段階はいろいろセミナーをやってどんどん理解者、利用者がでてきて、代数幾何の重要な成果も積み上がっていったのだよね。
410:１３２人目の素数さん
21/05/20 08:44:07.82 oW8LL3ul.net
>>379
モッチーはプロの独身でプロ紳士だからもっと深いところを見ておられる
薬師丸といい、ガッキーといい、性格は抜群にいいんだよ
品もいい
顔だけではわからない品格まで感じ取ってファンになっておられるのだ
たぶん
411:１３２人目の素数さん
21/05/20 09:11:23.17 vHle2sZz.net
立派な人なんだろうけど、時代が悪かった。
量子コンピュータの時代に、IUTなんて優秀な若者が目指さないからな。
412:１３２人目の素数さん
21/05/20 09:54:37.18 g+9Q8elU.net
378
モッチーがこのICMに呼ばれたら
講演するだろうか
413:１３２人目の素数さん
21/05/20 19:52:32.94 utvEwNYO.net
>>icm2022boycott.org
日本数学会からの連絡事項に
これにふれたものがあったら教えてほしい
414:１３２人目の素数さん
21/05/21 00:38:15.11 9QpcA1Ve.net
>>382
スキームは普通の数学の発展でしょ。
415:１３２人目の素数さん
21/05/21 08:13:57.67 ZpJhiCJl.net
数学は神学論争が結局「考えの違い」ということで物別れするしかないのを極とすれば、
異論なく白黒つけられるものの代表だと今でもいえると思うのだけど（もちろん、基礎論的なところには異論もあるだろうけど）
こんな最先端なところだからこそ、白黒つかない感じなのだろうかね。ここで数学が望月派とそれ以外みたいになるなんてことはないよね。
416:１３２人目の素数さん
21/05/21 10:12:07.76 IKrxVdJY.net
ICMもリモートでやることになるとしたら
ボイコットの意味も変わってくる
417:１３２人目の素数さん
21/05/21 14:53:34.74 +sNMaRT8.net
ICMよりRIMSボイコットしようぜ。
418:１３２人目の素数さん
21/05/21 17:16:03.45 KZaOwLc/.net
証明ができてないことを認めない（現実を認めない）
くらいだから、ガッキーの結婚も認めないんじゃね？ｗ
419:１３２人目の素数さん
21/05/21 23:28:07.61 VCZM4gu2.net
ガッキーのカワイイペット、トカゲモドキちゃんのこともブログで認めてなかったなw
イメージにあわないとかなんとか
420:１３２人目の素数さん
21/05/22 09:34:09.96 CtBztXFt.net
>>388
最先端だから白黒がつけられないというのは、証明発表の直後なら言い訳として成り立つが
８年たってそれはないね。どこまでは自明でどこが飛躍なのかわかっているのだから。
そして飛躍部分を埋められる数学者が誰一人現れないという事は、
問題の困難さは本質的なもので解決には程遠いという事。
もっちーは駄々をこねているだけだよ。
421:１３２人目の素数さん
21/05/22 13:25:06.04 jJKCj9rx.net
取り巻きが引き下がらないというのは
異様とも思える
422:１３２人目の素数さん
21/05/22 13:37:03.44 lbQGQRGo.net
ゴーは機能停止してるんだから、事実上の敗北宣言だろ？
他はモチヅキ予想を認めたうえであれこれやってるだけ。
423:１３２人目の素数さん
21/05/22 15:42:03.39 jJKCj9rx.net
>>395
ABC予想を認めて書かれた論文を知らないのだが
424:１３２人目の素数さん
21/05/22 16:37:57.33 CtBztXFt.net
>>394
取り巻きは取り巻いてるだけ。
425:１３２人目の素数さん
21/05/22 17:20:04.88 jJKCj9rx.net
取り巻いているだけで数学していない
426:１３２人目の素数さん
21/05/22 17:43:08.08 lbQGQRGo.net
取り巻けばごぉでも数研テニュアになれるんだから、やめられまへんわー。
427:１３２人目の素数さん
21/05/22 19:35:00.22 Qr5E7lAx.net
おぼちゃんと結婚するしかない＾＾
428:１３２人目の素数さん
21/05/22 23:11:42.62 You38jEf.net
さいていですね。
429:１３２人目の素数さん
21/05/23 00:27:12.80 8WBxcsOA.net
多元といい数学の独立研究所は予算獲得の苦しさで腐敗していく運命なのか。。
長期的に考えれば数学界にとって絶対マイナスだが、
そのような視野を持つ、まった、ノーを突きつけられる人材が数学会の上層部にいないのが残念だね。
430:１３２人目の素数さん
21/05/23 07:33:21.94 MJUwd9EQ.net
結局IUTが何なのかすら分からなかった
『絵解き IUTがわかる本』とかないのか
431:１３２人目の素数さん
21/05/23 10:51:02.11 WzRObzH3.net
>>402
変なことにノーを突き付けた者たちを上層部から
排除する構造ができていたのが残念
432:１３２人目の素数さん
21/05/23 13:43:38.07 AYP/Xgjg.net
足すと掛けるが地平の彼方で繋がってると思い調べたら割と近かったてか
433:１３２人目の素数さん
21/05/23 14:51:46.38 2/e06WHM.net
そういうストーリーだけなら残してよい
434:１３２人目の素数さん
21/05/24 07:25:13.39 i2lu8jAo.net
>>393
十年以上たって正しいとされて数学の理論もあるみたいだから（具体的な名前は忘れたけど、記事であった）
IUTもまだ決定的なことは言えないと思う。
ただ、望月さん本人以外でちゃんと理解している人がどれくらいいるのだろうか。
そしてもしいるとしたらその人はIUTを認めない人たちを啓蒙しようとしているのだろうか？
まあ、そんなこと一般人に知らせる気もないようにも思うから、もう少し大きな進展まで待つしかないとは思うけど。
無価値だったら静かに消えていくだろうけど、やっぱり正しかったは大きなニュースになると思うよ。
435:１３２人目の素数さん
21/05/24 23:37:37.23 ham6aspa.net
注目を集められず忘れ去られたのと
大々的に報道されて大物に検証されて具体的な問題点が指摘されたのじゃ全然状況が違うと思うけど。。。
そもそも情報伝達の手段や速度が今は格段にいいんだから昔話と比較しても意味ないな。
436:１３２人目の素数さん
21/05/25 08:13:06.78 IRNr4XNz.net
確かに、昨今のネット（望月氏の論文自体WEB上で公開されたのだしね）環境からすれば、
ネットのなかった時代に「埋もれた」ものと比べるのは違うと言えるね。
ただ、逆に情報過多な分だけ、なるべく不必要なコストは払いたくないということで、
望月理論はこれ以上注目する必要なしとされてしまったのかもしれない。
素人にもなんとなく見当がつくようにどこが問題なのか解説してくれる人が批判者側から出てくるといいのに。
437:１３２人目の素数さん
21/05/25 08:53:57.52 g37cfrz0.net
>>409
ショルツのコメントが理解できない素人は興味もつなってことでしょう
438:１３２人目の素数さん
21/05/25 11:47:50.88 OisJ+MXq.net
望月理論の解説者には
ショルツのコメントをどこかで解説してほしい
439:１３２人目の素数さん
21/05/25 13:36:17.71 KyokzOXr.net
既存の疑念に勝手に名前付けてドヤってたの晒されて赤っ恥かかされたから、
名前出すのも嫌なんだろうね。だからこそのSS.
440:１３２人目の素数さん
21/05/25 13:52:38.53 XDQaxn44.net
既存の疑念て何の疑念のこと？
疑い始めたら怪しいことばかりだけど
441:１３２人目の素数さん
21/05/25 13:54:36.53 W0Q0mGms.net
まだ恥をかかされたことにはなっていないかもしれない
442:１３２人目の素数さん
21/05/25 13:57:20.18 KyokzOXr.net
というか、SSの報告書は置いてあるように見せてるけど、アクセス出来なくなってるんだな。
どこまでもやることが姑息な卑怯者だね。
443:１３２人目の素数さん
21/05/25 14:27:29.22 XDQaxn44.net
概念と疑念を素で間違えるほうも恥ずかしい
444:１３２人目の素数さん
21/05/25 16:33:26.33 OisJ+MXq.net
GINENは人によってはガイネンと読む
445:１３２人目の素数さん
21/05/25 21:01:41.14 S13qTP4E.net
既存の概念ってなんなの？IUTはその実既成の理論の「名前つけなおし」というのが、Scholtzeの指摘なの？
446:１３２人目の素数さん
21/05/25 21:06:26.82 Y3fzihEA.net
>>417
ちょっとワロタ
447:１３２人目の素数さん
21/05/25 23:48:33.27 KyokzOXr.net
で、なんでSS文献だけ削除されたの？他のは全部直リンなのに。
448:１３２人目の素数さん
21/05/26 01:49:53.83 KuaHXEWx.net
redundant copies school
↑こんな蔑称付けるの恥ずかしいと思わなかったのかね
449:１３２人目の素数さん
21/05/26 12:13:58.73 m80vGSmn.net
ほんと、人として恥ずかしいよね。
こっそり相手側の文章だけ消したり、会見にすら現れなかったり。
450:１３２人目の素数さん
21/05/26 19:53:59.25 YHoF0Uwa.net
カレガリがICM全体講演者に選ばれたんだってね。おめでとう！
451:１３２人目の素数さん
21/05/26 22:08:00.17 fEdfJwtC.net
ダニー・カレガリ
452:１３２人目の素数さん
21/05/27 15:12:53.71 sAkN/2DQ.net
これかな
URLﾘﾝｸ(en.wikipedia.org)
Danny Calegari
Danny Matthew Cornelius Calegari is a mathematician who is currently a professor of mathematics at the University of Chicago. His research interests include geometry, dynamical systems, low-dimensional topology, and geometric group theory.
Awards
Calegari was one of the recipients of the 2009 Clay Research Award for his solution to the Marden Tameness Conjecture and the Ahlfors Measure Conjecture.[4] In 2011 he was awarded a Royal Society Wolfson Research Merit Award,[5] and in 2012, he became a Fellow of the American Mathematical Society.[6] In 2012 he delivered the Namboodiri Lecture[7] at the University of Chicago.
453:１３２人目の素数さん
21/05/27 16:22:49.55 C8FhkDYZ.net
フェルマまでぶちまけても当然のごとくスルー
これが数学界の結論です。
454:１３２人目の素数さん
21/05/28 12:31:57.20 VDtDgrf7.net
望月教授の取り巻きがショルツの指摘に反論できないのはなんで？
455:１３２人目の素数さん
21/05/28 13:02:10.13 GXdMIR1n.net
見ぬが仏、聞かぬが花
456:１３２人目の素数さん
21/05/28 13:03:04.08 ruRmT9/V.net
ガロア「よろしい、ならば決闘だ！」
457:１３２人目の素数さん
21/05/28 13:30:23.12 Zx2Safld.net
>>427 反論どころか指摘文をこっそり見れなくしたからな。
ようやく彼らの指摘を理解して、そのヤバさを把握したのかな？
458:１３２人目の素数さん
21/05/28 17:59:34.46 +FMpSmLT.net
SSレポート消したの？
なんで
459:１３２人目の素数さん
21/05/28 18:39:43.11 m44YrgXE.net
ショルツが自分の間違いに気づいて、
「消してくれ」と泣きついたからだよ。
460:１３２人目の素数さん
21/05/28 18:45:49.38 Zx2Safld.net
>>432 kwsk
461:１３２人目の素数さん
21/05/28 18:54:42.23 8+JnSsYF.net
それが本当なら日経に載せるべきニュースではないか？
462:１３２人目の素数さん
21/05/28 20:00:42.98 V2R3sKr/.net
御本尊様と取り巻きで盛り
463:上がって ますな。
464:１３２人目の素数さん
21/05/28 20:03:35.84 m44YrgXE.net
>>433
すまん。 これは俺の推理。
しかし、これ以外の理由は思いつかない。
465:１３２人目の素数さん
21/05/28 20:11:25.46 V2R3sKr/.net
IUT公式本の加藤文元本によれば、
IUTは「間違い」よりIUT語の奇怪な
世界だろう
「IUT語。
IUT理論は、一般的な 数学の
パラダイムの枠内では語れない、 全く新しいフレームワークと 言語・
概念体系を基盤として構築されて
いる p51」
466:１３２人目の素数さん
21/05/28 22:23:18.15 kM/fUiCY.net
物理の標準理論に反する素粒子のふるまいが
発見された可能性があるそうだが
数学の世界はそういうものとは一線を画していると
思っていた
IUTでそれが覆されるかもしれない
467:１３２人目の素数さん
21/05/28 23:21:03.96 gbhO32B5.net
霊長研と合併してチンパンジーに数学やらせろよ
全く新しいフレームワークと言語・概念体系を駆使して
新たな数学をフレームアップしてくれるだろ
468:１３２人目の素数さん
21/05/29 08:32:40.75 G9pBgr5o.net
物理の素粒子標準モデルは高エネルギーの基本理論から低エネルギーの
有効場理論と位置づけられている。
ヒッグス粒子やニュートリノ振動
の発見などは素粒子標準モデルを超えるモデルも予兆しているし、
素粒子物理であたりまえの発展だ。
QCDの質量ギャップも格子の計算から物理的には常識になった。
一方、数学の問題で
「ヤンミルズ方程式の存在と
質量ギャップ」は公理論的場の量子論や構成的場の量子論などの発展に
基づく証明が必要。
ま、皆(取り巻きを除くらしい)がcoro.
3.12.証明を理解できないIUT語の別世界IUTとは全く無縁な話しだが。
こちらは「IUT語によるcoro.3.12証明のギップ問題」だろう。
469:１３２人目の素数さん
21/05/29 10:05:50.69 WmcfsSLD.net
解の存在ではなく
方程式の存在が問題になっているとは
初耳だ
470:１３２人目の素数さん
21/05/29 14:09:27.68 fi/E4J7v.net
>>436
同じ推理をした
但し、Stixが
取り下げを言ったのでは
と思った
だけど、それなら
取り下げる理由を、公表したら
良いとも思った
なので
まだ、確かなことは言えないね
471:１３２人目の素数さん
21/05/29 14:14:21.09 w3GXiEW4.net
いずれにせよ半年以内には明らかになること
472:１３２人目の素数さん
21/05/29 15:08:19.40 fi/E4J7v.net
そうだね
473:１３２人目の素数さん
21/05/29 16:21:34.41 G9pBgr5o.net
>>441
まず
公理論的場の量子論のHaggの定理から
474:１３２人目の素数さん
21/05/29 16:33:03.84 yWS/KSL2.net
推理()
475:１３２人目の素数さん
21/05/29 19:24:26.98 LeftsDuF.net
>>443 半年という根拠は？
476:１３２人目の素数さん
21/05/29 20:08:40.29 G9pBgr5o.net
>>445
訂正 Hagg→Haag ハーグ
477:１３２人目の素数さん
21/05/29 22:22:03.16 WmcfsSLD.net
>>447
本格的な研究集会が半年の間に4回開かれると
このスレに書かれていたことを鵜吞みにした結果
そういう見解に達した
478:１３２人目の素数さん
21/05/30 09:12:31.06 zeN0ktr4.net
>>447
大方の意見はそうだと思うよ
479:１３２人目の素数さん
21/05/30 13:12:01.87 zd9+8XjV.net
>>443
いや。それはない。
２０１６年の新聞報道の時も、「あと半年もすれば結論がつく」
「桜の花の咲くころには結論がつく」と言われたが結論はつかなかった。
この問題に結論がつくのは、望月が「私の証明は不備でした」と認めるときであり、それは永久に来ない。
だから、とりまきと支持者はいつまでも「IUTは新しい数学！」と言い続けるだろう。
まともな人が相手にしないだけで。今時点がすでにそんな状態だし。
480:１３２人目の素数さん
21/05/30 13:53:15.60 K9
481:m4HI8A.net
482:１３２人目の素数さん
21/05/30 23:46:24.37 wASs17LD.net
その研究集会に懐疑派が殆ど参加しないのだから、進展は絶対にないよ
肯定派がやっぱり正しいねって再度主張するだけ
483:１３２人目の素数さん
21/05/31 01:36:00.95 6IbM6L7d.net
イエスマンの取り巻きだけ集めて満足してる小人なんだろね。
484:１３２人目の素数さん
21/05/31 07:47:55.32 EWJvgwFj.net
4回の研究会が懐疑派に何の影響も与えられなかったら
その時点でこの話は忘れてよい
485:１３２人目の素数さん
21/05/31 09:21:59.02 PqhlLiRv.net
Even Not Wrongのコメントだと、望月氏側がショルツなどの懐疑派の固有名詞や参照元を言うのやめてしまった感じに読めるけどね。
IUT派がこれらの批判および批判者の存在を無視するという意思表示に思えるけど。
数学でこういうことが起こるのはなんだか不思議だけど、望月氏の理論があまりにも独自だということなんだろうね。
486:１３２人目の素数さん
21/05/31 09:22:24.93 PqhlLiRv.net
Not Even Wrongでした。すいません。
487:１３２人目の素数さん
21/05/31 12:20:07.56 7Qi3ka4Q.net
懐疑派の意見が望月氏側に何の影響も与えなくなったことは分かった
しかし本当は逆向きが重要なのでは？
488:１３２人目の素数さん
21/05/31 16:22:22.92 50J4z65h.net
望月新一はペーター・ショルツェに負けましたぁぁぁぁぁｗｗｗｗｗｗｗ
489:１３２人目の素数さん
21/05/31 16:28:05.40 R1pVWM1E.net
何の勝負だったんだ？
490:１３２人目の素数さん
21/05/31 17:18:18.41 mF4iYNTh.net
謎の言葉「ショルツェを馬鹿にしやがって。」を何度聞かされたことか
491:１３２人目の素数さん
21/05/31 17:24:05.47 50J4z65h.net
真理の勝負
492:１３２人目の素数さん
21/05/31 17:25:08.38 50J4z65h.net
数学はオリンピックと同じ、といってた🐎🦌は今、別スレで焼かれている最中ｗ
493:１３２人目の素数さん
21/05/31 17:32:11.73 mF4iYNTh.net
オリンピックが国際的な競争になっているのが問題だと言う信じられない問題発言。
よくあるクーベルタンの理念とは全く違うものになっていて、『危険』らしい。
どこがどのように『危険』なのだろうか？
494:１３２人目の素数さん
21/05/31 18:05:04.60 50J4z65h.net
クーベルタンって極右だけどな
オリンピックが崇高だとか言ってるヤツは正真正銘の🐎🦌だろう
495:１３２人目の素数さん
21/05/31 18:58:39.26 308AggVq.net
数学のほうが崇高かというとそうでもなかろう
496:１３２人目の素数さん
21/05/31 23:19:19.61 kO70dltI.net
オリンピックは楽しい。それだけでいい。
スポーツで代理戦争すれば、ほんとの戦争より
格段にいいことじゃん。
497:１３２人目の素数さん
21/06/01 07:28:59.10 T1xsCg9a.net
運動会は好きじゃなかったけどな
498:１３２人目の素数さん
21/06/02 00:39:05.25 7S6CyQlK.net
おまえは好きじゃなくても親は喜んで見に来てたかも
しれんだろ。人の楽しみを奪うのは罪深いことだぞ。
499:１３２人目の素数さん
21/06/02 10:27:42.61 ztJNpc76.net
おまえには大坂なおみの気持ちはわからんだろう
500:１３２人目の素数さん
21/06/02 11:52:42.35 NG1LsVV7.net
モッチーなおみは無敵の鬱
501:１３２人目の素数さん
21/06/03 14:52:19.13 bzSTUuBO.net
大坂なおみも楽しいからテニスしてたんだろ。
「記者会見」という馬鹿げた義務がなければハッピーだったはず。
諸悪の根源はマスゴミ。
502:１３２人目の素数さん
21/06/03 14:53:19.92 bzSTUuBO.net
大坂なおみの試合は楽しみだけど、記者会見なんて誰も
興味ないし、楽しみににもしてない。
503:１３２人目の素数さん
21/06/03 16:42:08.04 s8hJ2dNC.net
それはない
テニスを志す子供にとっては、勝ったときの喜びだけじゃなく、
プロ選手がどんな風に生活してるのかとか、負けたときどうやって乗り越えるのかとか、結構参考にすると思う
ど�
504:ﾈ天才も私生活や変な癖や人間関係も含めて注目される だってそれが成績や作品や論文にどう貢献したか、またはどう破壊したかを研究する材料になるから 一線級の人は後世の人のためにきちんと語る責任があるとは思う でもまあ、うつ病で記者会見できないほどに弱り、まともな答えもできなくなった、というのを世界にアピールしたのも、其れはそれで意義があるでしょうな Wikiにうまいことまとめてくれると思う
505:１３２人目の素数さん
21/06/03 18:15:03.23 bzSTUuBO.net
>>474
あほか。
そんなくだらない目的のために記者会見の義務化とか
馬鹿もいいとこだろ。出たがりは勝手に出るんだから、
そいつらにやらせときゃいい。
出たくないものにまで記者会見を強いる理由はないよ。
506:１３２人目の素数さん
21/06/03 19:02:32.83 nYv8LATa.net
大阪なおみは北米国籍｡
其の北米での讃美は薄く､
擦り寄り讃美が日本から寄せられ､
その日本からも北米からも排斥的な意見を寄せられる｡
今、大阪なおみは心の故郷と出来る安堵の地を欠いている状態なのかも知れない｡
507:１３２人目の素数さん
21/06/03 22:47:15.26 bzSTUuBO.net
ハイチは？
508:１３２人目の素数さん
21/06/04 06:15:26.12 Xm/QYW07.net
ブンゲンがついに予防線張り始めた
数学は18世紀の無限小論争以来初めて解放されつつあるのではないだろうか。数学は宗教ではない。たとえ少人数であるにしても正しさに疑義を唱える人がいることはヘルシーなことだ。現代数学への過信が熟成した「数学は論争の余地なき学問である」という神話を乗り越える時期に来ているのかもしれない。
509:１３２人目の素数さん
21/06/04 07:31:05.64 UDLOa5ys.net
そんなにレベルの高い問題だったとは！
510:１３２人目の素数さん
21/06/04 08:52:23.15 lBzO/EmH.net
カントールの幻想とかヒルベルトの神学とかグロタンディックの革命とか岡キヨの不思議とかとは全くチガウということか
511:１３２人目の素数さん
21/06/04 09:00:04.14 Irxd6Hgd.net
>>478
別に予防線じゃなくね？
そもそも今までと意見が変わっていない気が
512:１３２人目の素数さん
21/06/04 09:53:48.78 I8eV5d1E.net
>>478
IUTはこれまでの数学と違うんだということを、まどろっこしく言っているだけ。
513:１３２人目の素数さん
21/06/04 12:49:59.73 u7sTrJBq.net
少なくともショルツ氏の疑念は
もうなくなったらしい
514:１３２人目の素数さん
21/06/04 13:29:28.40 JmkCUZe2.net
>>483
つまり、完全に(望月新一が)間違いだと明らかになった、と
515:１３２人目の素数さん
21/06/04 14:02:03.96 u7sTrJBq.net
>>484
そういうことが言える場所は
もうここ位しかなくなっていることに
まだ気が付かないとは不思議だ
516:１３２人目の素数さん
21/06/04 15:30:30.04 HhKJLEU3.net
>>485
応援するなら根拠を示したらいかが？
517:１３２人目の素数さん
21/06/04 17:01:46.10 TYHww48Q.net
>>486
ショルツェ氏が疑義を取り下げたことは
信じがたいわけでしょうか
518:１３２人目の素数さん
21/06/04 17:40:15.55 s2c4PAeR.net
信者は最近はそんな妄想してるのか。
519:１３２人目の素数さん
21/06/04 18:06:25.53 TYHww48Q.net
>>488
本当に取り下げていないの？
520:１３２人目の素数さん
21/06/04 20:28:43.26 JPCmTjSq.net
2021/03/08にライターの方がscholzeにメール取材をしているが、
Cor3.12の議論は改善されていない、2018年から見方は変わってないと答えている
521:１３２人目の素数さん
21/06/04 21:22:49.41 U7jHM55U.net
関係者の話だとSS側が3.12の論理をようやく理解できたことで、あのレポートは取り下げになったとの
522:こと 望月のホームランだよ
523:１３２人目の素数さん
21/06/04 21:29:23.07 s2c4PAeR.net
>>491 kwsk
524:１３２人目の素数さん
21/06/04 21:58:46.96 i+Cn9kWj.net
ほらな
望月新一に文句言ってる奴は「僕が頭悪いから理解できてないです」ってだけ
525:１３２人目の素数さん
21/06/04 22:05:33.15 HhKJLEU3.net
>関係者の話だと
具体的には誰です？
>SS側が3.12の論理をようやく理解
できた
ショルツェが理解したと発言したの？
526:１３２人目の素数さん
21/06/04 22:08:12.51 DfRQ2kEW.net
>>478 そんなブンゲンさんに偉大なるガウスからのお言葉
In mathematics there are no true controversies.
Carl Friedrich Gauss
527:１３２人目の素数さん
21/06/04 22:15:19.24 Irxd6Hgd.net
>>491
知ってた
528:１３２人目の素数さん
21/06/05 00:41:37.83 K9tiksVf.net
>>491
でたらめ乙
529:１３２人目の素数さん
21/06/05 00:42:56.41 biEZsimi.net
仮に撤回するならSSもアナウンスするだろ。
隠し通せるわけないしするメリットがないから。
530:１３２人目の素数さん
21/06/05 04:13:26.83 qtVJJrn5.net
>>491
あじ？
531:１３２人目の素数さん
21/06/05 07:31:36.19 ZIpcRF61.net
以前からそんなデマがあった
RIMSもマスコミも予算も査読も
IUTの証明もキーワードは
ブラックボックス
532:１３２人目の素数さん
21/06/05 09:21:34.86 gD4j7fUR.net
>>500
それがどこから発信しているかが
ブラックボックス
533:１３２人目の素数さん
21/06/05 09:31:59.84 ZIpcRF61.net
>>501
罵倒されるのは嫌
534:１３２人目の素数さん
21/06/05 11:19:44.31 gD4j7fUR.net
>>502
立場を理解しているならよろしい
535:１３２人目の素数さん
21/06/05 11:21:43.29 ZIpcRF61.net
>>503
IUT語の世界ではありません
念のため
536:１３２人目の素数さん
21/06/05 13:55:24.98 2NZwaH7Y.net
>>504
それって何語？
537:１３２人目の素数さん
21/06/05 14:04:33.10 ZIpcRF61.net
>>237
538:１３２人目の素数さん
21/06/05 14:12:54.17 2NZwaH7Y.net
>>504->>506
IUTとは違う言語かと思った
539:１３２人目の素数さん
21/06/05 17:57:11.90 z3IVckmx.net
500にはもうこのスレくらいしか
居場所がないようだ
540:１３２人目の素数さん
21/06/05 18:53:39.26 ZIpcRF61.net
あいかわらず論点ずらしw
541:１３２人目の素数さん
21/06/05 21:04:13.48 gD4j7fUR.net
望月理論に対して提出されていた重大な疑義が
実際に取り下げられたという事実を認めるというところから
論点はいささかも動いていません
542:１３２人目の素数さん
21/06/05 22:32:57.71 x/tRPFwH.net
あくまで推測ですが
1．取り下げは、Stix氏のみで、ショルツェ氏はまだ納得していないのでは？
（もし、両名合意の取り下げなら、その事実を公表するだろうから。公表がないのは、片方だけだからかも）
2．SS文書のリンクを切った意味は、「少なくとも片方が取り下げの意思表示を示した」でないと、説明がつかないよね
3．Stix氏の片方みの取り下げでも、もし それが事実なら、ショルツェ氏の納得も近いのでは？
以上
願望も込めて
543:１３２人目の素数さん
21/06/05 22:51:43.89 biEZsimi.net
全く筋の通らん妄想だな。
544:１３２人目の素数さん
21/06/06 00:29:57.69 5PO9kqq7.net
句読点を一切打たないのはネット書き込みのマナーなの？
それとも、単に馬鹿だからなの？
教えて、偉い人。
545:
21/06/06 03:30:12.67 dYI4klVq.net
>>513
読点は使いますが、句点はつかいませんね…
546:１３２人目の素数さん
21/06/06 04:37:57.36 m1XxTuuj.net
>>491
それ嘘じゃないなら何を担保にできる？最低でも110万円は担保に主張しろよ
547:１３２人目の素数さん
21/06/06 08:43:12.67 Uz3fzLst.net
妄想に対して妄想で返してなにが悪いって感じだな
548:１３２人目の素数さん
21/06/06 09:49:39.31 WzbO/x2Q.net
>>516
より正確には事態の変化に対する態度の違いが引き起こす�
549:ｬ競り合い 第二次世界大戦の終戦時にブラジルであったことと似ている
550:１３２人目の素数さん
21/06/06 10:46:44.60 czl/NB4K.net
>>514
>読点は使いますが、句点はつかいませんね…
C++さん、どうもです
そうです、句点はつかいません
数学板では、1レスに2048バイトの制約があり、
句点は、2バイト消費します
なので、基本は常に句点は省略して、2048バイト超えを防ぐうようにしています
551:１３２人目の素数さん
21/06/06 11:54:20.60 czl/NB4K.net
>>511 補足
・望月先生が、今回の件で合理的に行動していると仮定する
・SS文書のリンクを切ったのには、なにか合理的な理由があるはず
・すぐ思いつくのは、SS側から取り下げの申し出があったこと
・本来、取り下げなら、SS側が取り下げの事実を認め公表すべき。それが、マナーです
・その公表がないのは、SSの二人で意思の統一がまだないってことだろうと
・なお、Stix氏はショルツェ氏と異なり、望月IUTへの言及は控えてきており、どちらかと言えば、ショルツェ氏よりも望月よりの立場を取ってきた
・だから、Stix氏のみが取り下げを申し出たことは、可能性としては、大いにあると思います
以上
552:１３２人目の素数さん
21/06/06 12:05:24.26 SWQqPmMu.net
数学と数学界の慣習については何も知らないけれど、
誤りなら誤りで、機能するなら機能するで、仲良く理路を深めていってくれたら嬉しいなと思いました
553:１３２人目の素数さん
21/06/06 12:46:09.66 czl/NB4K.net
多分、数学界に限らず、理系では、意見の対立はあるも
普通は、決着がつくべきもの
どちらかが正しく、どちらかが間違っている（文系では、なかなか決着しないこともある）
しかし、決着がつくまでの論争もまた
学問の進歩には必要不可欠なものであって
学問的な決着のあかつきには、お互いまた学問の正道に戻ってゆきます
IUTはその途中です
そのうち
決着すべきところへ、決着しますよ
554:１３２人目の素数さん
21/06/06 13:36:33.48 eXIz01FK.net
>>513
原理主義者は使いません
それが必要な長文を書くことがまずナンセンスという感覚
555:１３２人目の素数さん
21/06/06 14:55:35.32 czl/NB4K.net
おれも、大概は長文は書かないが
例えば、100字くらい書いて
あと、裏付けの参考文書のURLとそこからのコピーを1900字ほど付けることがある
結果として、投稿は総計2000字くらいになることはざらだ
そして、2048バイトによく引っかかるんだ
それだけ
556:１３２人目の素数さん
21/06/06 16:27:28.93 6OvcHOW/.net
望月の新論文は、6/4付で書き加わっているよ。
RCS-IUT以外に、「ANDを認めて途中で実質ORに代わる」EssOR-IUTとか。
また、
<URLﾘﾝｸ(thehighergeometer.wordpress.com)
では新論文の§2.3.1のi)にて、Robertsは"すべての点が特定されると、どんな空間も一点に集約される"（エッシャーの階段に近いことになるけど）との意見に、
Pedro：スケルトンカテゴリーの場合は間違いであると指摘
Roberts：スケルトンカテゴリー（§2.3.1-i)の場合は、§2.3.1-ii)以降のM理論とは違う
でブログが終わっているが、初期で間違った思い込みのあった感がある。
そこで論議された同型については、新論文ではExmaple 3.5.2でも扱うが、
6/4付で「item (v)のExmaple 3.5.2の追記」がある。 同型の話とかは終わってなさそう。
でも、だんだん追記内容は深くなって、もっちーの分野に入った感がある。
557:１３２人目の素数さん
21/06/06 19:30:20.77 czl/NB4K.net
>>524
ありがとう
難しすぎで
Roberts のURLだけ、ちょっと覗いた
望月擁護の人もいるんだね
だんだん煮詰まってきたかな？
558:１３２人目の素数さん
21/06/06 19:58:01.36 BzkjKVbH.net
もっちー完全勝利なのか
559:１３２人目の素数さん
21/06/06 20:28:37.14 ENDPHnvk.net
望月の勝利でいいと思う
560:１３２人目の素数さん
21/06/06 20:52:36.80 kK0RVMKr.net
完全敗北だろｗ
オリンピック開催を強行したいスガーリンみたいな🐎🦌発言すんなよｗｗｗ
561:１３２人目の素数さん
21/06/06 20:59:21.32 WzbO/x2Q.net
>>528
それって両方ともwishful thinking?
562:１３２人目の素数さん
21/06/06 21:56:40.87 5PO9kqq7.net
IOCがやれるつってんだからやれるだろ。ってか、やるしかない。
IUTもどこもダメ出ししてないんだから勝利だろ。
563:１３２人目の素数さん
21/06/06 22:45:09.99 WzbO/x2Q.net
長かったね、ここまでが。
564:１３２人目の素数さん
21/06/06 23:46:29.09 AYqu2Mws.net
>IUTもどこもダメ出ししてないんだから勝利だろ。
取り巻きで盛り上がっているんだな
世界的にIUTを避けているだけじゃん
565:１３２人目の素数さん
21/06/07 00:14:48.04 84zHFY4l.net
出版されたら勝ち。
開催されたら勝ち。
まだ、後者は実現してないな。
566:１３２人目の素数さん
21/06/07 05:17:17.61 X7oYVbXS.net
>>533
今後起きる展開
１．五輪中止の大規模デモ開催される
スガーリンが自衛隊を動員して
鎮圧しようとするが自衛隊が拒否
２．天皇が「オリンピック中止」を宣言
567:１３２人目の素数さん
21/06/07 07:44:03.43 7K0TGqht.net
大規模デモは自己矛盾した行動ではないか？
568:１３２人目の素数さん
21/06/07 09:35:46.32 4pi9Uma1.net
Schltzeの指摘は結局どうなったの？
まだ明確に払拭されたわけではないよね。そこはきちんと両陣営経緯と結果を公表するよね。
569:１３２人目の素数さん
21/06/07 10:18:44.05 X7oYVbXS.net
>>535
何が？
570:１３２人目の素数さん
21/06/07 10:20:58.66 7K0TGqht.net
密ではないのか？
571:１３２人目の素数さん
21/06/07 12:29:08.83 X7oYVbXS.net
密ではない
（完）
572:１３２人目の素数さん
21/06/07 14:51:38.00 g20A6Fai.net
>>539
五輪中止のデモだから密ではない（完）
というロジックを使った？
573:１３２人目の素数さん
21/06/07 14:55:56.14 84zHFY4l.net
>>540
密でなくても人の流れがどうたらっちゅう神経質な
連中が大規模デモはおかしいだろ。馬鹿すぎるｗ
574:１３２人目の素数さん
21/06/07 14:56:46.08 84zHFY4l.net
パヨクの劣化が叫ばれて久しいが、ほんと最近の
左巻きは馬鹿ばっかりｗ
575:１３２人目の素数さん
21/06/07 15:04:31.37 VPQUkv0F.net
バカに絡まれて
高橋洋一かわいそうだったよな
576:１３２人目の素数さん
21/06/07 15:23:31.24 84zHFY4l.net
それは平気だったらしいが、家族から、屁とか言うのは
下品だからやめて、って言われたのはこたえたらしいｗ
577:１３２人目の素数さん
21/06/07 15:38:58.55 HuMZ04eA.net
まだ決着つかんの？
578:１３２人目の素数さん
21/06/07 15:56:44.64 84zHFY4l.net
昔の左巻きが賢かったかと言われれば、それも怪しいけどね。
�
579:u村五郎が自伝的エッセイで、学生時代に遭遇した共産党 かぶれの連中をさんざんこきおろしてる。
580:１３２人目の素数さん
21/06/07 16:28:10.41 KSIhYyj6.net
>>524
EscherOR-IUT
581:１３２人目の素数さん
21/06/07 16:39:57.13 1Zc0vwMJ.net
もっちーの勝ちでエンドか
このスレの勢いも無くなったし確定っぽいな
582:１３２人目の素数さん
21/06/07 16:54:33.45 X7oYVbXS.net
>>540
いや、密にならないデモが可能、という意味
君の想像力が貧困なんだよ