Inter-universal geometry と ABC予想 (応援スレ) 61

1 名前：１３２人目の素数さん [2021/11/05(金) 23:29:18.43 ID:PpafSVAT.net] （前“応援”スレが、1000又は1000近くになったので、新スレ立てる） 前スレ： Inter-universal geometry と ABC予想 (応援スレ) 60 https://rio2016.5ch.net/test/read.cgi/math/1633176556/ 詳しいテンプレは、下記旧スレへのリンク先ご参照 （手抜きです。） Inter-universal geometry と ABC予想 (応援スレ) 52 https://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13 （参考） https://twitter.com/math_jin math_jin 出版序文リンク Andrew Putman 2021年3月6日 https://drive.google.com/file/d/1n1XMCNyQxswQGrxPIZnCCMx6wJka0ybh/view 望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。 査読が終り出版されました。また、“Explicit”版が公開され、査読は完了したようです。 IUTの4回の国際会議は無事終わり、Atsushi Shiho (Univ. Tokyo, Japan)先生が、参加したようです。 IUTが正しいことは、99％確定です。 このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。 （なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；） つづく (deleted an unsolicited ad) 156 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 15:00:38.67 ID:03GPanA7.net] 不利を感じ取って感情的になったのなら 納得できる 証明に自信がある数学者の態度とは思えない 157 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 15:30:39.26 ID:9YueP58n.net] アメリカの教育は進んでるな 米国「2+2=4は人種差別」「正しい方程式や解答を押し付けたり間違いを指摘するのは白人優越主義文化 tps://www.chosun.com/international/us/2021/11/09/DHP6ZKS2WFCVTL7TJVJPRPCD4U/ カリフォルニア州教育省は今年8月、幼稚園で12年生（K12）まで適用される「数学教育指針」（framework）を改正した。 この指針は、数学の時間に教師が生徒たちの間違いを正確に指摘すること、正しい答えを出すこと、公式に従って数学を教えること、生徒たちに答えと導出過程を見せること、「主観的」事案について採点することはすべて「白人優越主義文化の表出になり得る」と指摘した。 「数学は完全に客観的になり得るという概念は明らかに間違っており、常に正しい答えと間違った答えがあると主張するのは『客観性』を永久化し、これは人種差別的だ」ということだった。 一言で、「2+2=4」と教えるのが人種差別的になり得るという指針だった。 158 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 15:51:35.67 ID:Ci/bJtJU.net] >>142 >話は逆 いいや、これこそ話が順方向 「望月新一の定式化が肝心なところで無定義」だから 明確にそう主張した ショルツェ氏が定義されてない「がん細胞」をバッサリ切る”simplication”を 実行して主張がくっきりはっきり明確になった そして「定式化が肝心なところ」を 望月新一が回答できなかった時点で 彼の数学的敗北が2018年に確定した 2020年のRIMSの論文採択と出版は 日本数学界のスキャンダル NHKスペシャルがこのスキャンダルに どう切り込むのか（あるいは切り込まないのか） 問われるところ >>144 >あんたの正体分からんけど ５ｃｈで正体とかいう🐎🦌初めて見た 別にこっちは LFoQx2jW の正体　すなわち 氏名・生年月日・本籍・妻子・出身校・職業・年収・資産額等々 にはまったく関心ない いくつだろうがどこの大学でようが金持ちだろうが 数学的には∈も対偶も知らん素人　と� 159 名前：ｵか認識されない [] [ここ壊れてます] 160 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 15:55:21.78 ID:yhntapOI.net] >>114 北京大学はどちらかというと文系大学であって中国の理系トップは昔から清華大学だ 清華大学は昔からランクインしてる有名大学だ 北京大学は清華大学より落ちる 日本にも外資系を中心に清華大学OBはたくさん働いてる 161 名前：１３２人目の素数さん [2021/11/14(日) 16:10:11.70 ID:VUvPzdEp.net] 望月のFrobenioids(2008年）に、ショルツェのPerfectoid(2011年）って、何か似通った名前なんだよね〜 後発のジェネリックみたい、、 笑 162 名前：１３２人目の素数さん [2021/11/14(日) 16:12:29.65 ID:LFoQx2jW.net] >>148 >「望月新一の定式化が肝心なところで無定義」だから >明確にそう主張した 妄想激しいな あんた、理系に向いていない 事実と異なることを、事実と誤認して主張しても、それは説得力ないぜよ 163 名前：１３２人目の素数さん [2021/11/14(日) 16:17:53.07 ID:2uXkl5CY.net] Perfectoidとか、鼻をつまむような名前だな 164 名前：１３２人目の素数さん [2021/11/14(日) 16:18:09.22 ID:LFoQx2jW.net] >>150 >望月のFrobenioids(2008年）に、ショルツェのPerfectoid(2011年）って、何か似通った名前なんだよね〜 そだねー 下記のモノイドの変形 というか、モノイドに味付けをしたものでは？ そして、圏論を意識していると思う https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%8E%E3%82%A4%E3%83%89 モノイド 単系（たんけい、英: monoid; モノイド）はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をもつ半群（単位的半群）であるので、半群論の研究対象の範疇に属する。 モノイドの概念は数学のさまざまな分野に現れる。たとえば、モノイドはそれ自身が「ただひとつの対象をもつ圏」と見ることができ、したがって「集合上の写像とその合成」といった概念を捉えたものと考えることもできる。 モノイドの歴史や、モノイドに一般的な性質を付加した議論などは半群の項に譲る。 圏論との関係 モノイドは圏の特別なクラスと看做すことができる。実際、モノイドにおいて二項演算に課される公理は、圏において（与えられたただ一つの対象を始域および終域とする射の集合だけで考えれば）射の合成に課される公理と同じである。すなわち、 モノイドはただひとつの対象をもつ圏（単一対象圏）と本質的に同じものである。 もっとはっきり述べれば、モノイド (M, ・) はただひとつの対象をもち、M の元を射として小さい圏を成す（射の合成はモノイド演算 ・ で与えられる）。 これと平行して、モノイド準同型は単一対象圏の間の函手とみなされる。ゆえに、今考えている圏の構成は（小さい）モノイドの圏 Mon と（小さい）圏の圏 Cat のある充満部分圏との間の圏同値を与えるものになっている。同様に、（小さい）群の圏は、Cat の（モノイドの圏とは別の）ある充満部分圏に同値である。 この意味では、圏論をモノイドの概念の一般化であると考えることができ、モノイドに関する定義や定理の多くを（ひとつまたはそれ以上の対象を持つ）小さい圏に対して一般化することができる。例えば、単一対象圏の商圏とは、剰余モノイドのことである。 165 名前：１３２人目の素数さん [2021/11/14(日) 16:27:26.72 ID:A1p2YlrU.net] ショルツェが後だからパクリ？ 166 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 16:49:00.09 ID:Ci/bJtJU.net] >>151 >妄想激しいな 「日本は世界一！」と心底思ってる人にいわれてもねぇ >理系に向いていない 正則行列も∈も対偶も知らん人にいわれてもねぇ >事実と異なることを、事実と誤認して主張しても、説得力ない あなた、それ他人から言われたこと一度もないの？ 言われても聞きたくないから記憶しないのか それともあなたにはいっても無駄だから誰もいわないのか どっちにしても不幸だねぇ 167 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 16:51:53.65 ID:Ci/bJtJU.net] >>153 コピペでドヤる🐎🦌な癖　治そうね 168 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 18:56:11.02 ID:3u4IByDX.net] セタの思考はoversimplification 169 名前：１３２人目の素数さん [2021/11/14(日) 19:29:23.99 ID:LFoQx2jW.net] >>157 蕎麦屋のおっさんかい？ｗ http://hissi.org/read.php/math/20211114/M3U0SUJ5RFg.html 必死チェッカーもどき 数学 > 2021年11月14日 > 3u4IByDX 書き込みレス一覧 雑談はここに書け！【５９】 806 ：１３２人目の素数さん[sage]：2021/11/14(日) 18:46:39.10 ID:3u4IByDX つまり儂は東京理科大でkingと有っとったかも知れん言う事か｡ 一部じゃと一回生は北海道長万部キャンパス→二回生以降は千葉県野田キャンパスになる工学部言うても 儂は二部じゃったんで理学部と同じキャンパスじゃったしのう｡ [] [ここ壊れてます] 171 名前：１３２人目の素数さん [2021/11/14(日) 19:43:15.91 ID:LFoQx2jW.net] >>154 〜noid （〜オイド）が、ハヤリかも 圏論使ってね 下記 スキーモイドとかあるらしい 言ったもの勝ちみたいな https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/237137/1/2053-18.pdf 色付けられた圏に同伴するトポスについて : スキーモイドのコホモロジー (有限群・代数的組合せ論・頂点作用素代数の研究) 栗林, 勝彦 数理解析研究所講究録 (2017), 2053: 142-150 1. はじめに 代数的組合せ論をより圏論的な立場から考察する一つの枠組みとして,スキーモイ ドの概念が2015年Kuribayashi‐Matsuo [10] により導入された *1 。(代数的) 組合せ論的 手法により研究された個々の対象を未知の対象と比較すること,またはそれらを入力 データとして構成される新しい対象を調べる手法の確立を,一連の研究では目指して いると言って良い。ちょうど代数的トポロジーにおける Mayer‐Vietoris 完全列,ファイ ブレーションがつくるホモトピー完全系列の比較さらにスペクトル系列の比較や,接 着や引き戻し等による新しい位相空間の構成手法の類似を念頭に置いている。小圏の 強ホモトピー論をスキーモイ ドの圏で展開して,ホモトピー同値の不変量である自己 ホモトピー同値写像の作る群の研究 [9] もここで掲げるテーマの一つと言える。研究の スローガンとしては 『圏論の積極的利用』 であるが,スキーモイ ドのコホモロジーの 概念も幾つか候補が挙げられており *2 , こうした研究はまだ模索の段階であることを始めに断っておきたい。 172 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 19:44:52.18 ID:Ci/bJtJU.net] >>158 SET Aは大阪大学工学部と詐称してるが 実は中卒で工業高校中退らしい 数学のレベルがその程度 173 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 19:51:05.22 ID:Ci/bJtJU.net] >>159 以下の用語の定義を書け 　Caucasoid 　Mongoloid 　Negroid 　Australoid 関西では「おいど」とは・・・ www.asahi.com/special/kotoba/archive2015/danwa/2015030500001.html 174 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 19:55:49.01 ID:Ci/bJtJU.net] Monoid 孤独を愛する人種 Perfectoid 完璧主義な人種 175 名前：１３２人目の素数さん [2021/11/15(月) 08:18:59.74 ID:rki1vL4O.net] >>142 補足 ”simplication”って、本当は大事なんだよね 狭い良いではなく、広い意味でね 本当は、IUT側が正しい”simplication”を提供するべきなんだ それが出来ていない だから、文元本などが、対プロ数学者向けの”simplication”になったりして 噴飯ものです それは、IUT側の大きな課題 　>>3より Promenade in Inter-Universal Teichmuller Theory とか 宇宙際タイヒミューラー理論の拡がり ４回 ここらをしっかり纏めつつ さらなる”simplication”（広い意味での、かつ正しい）を行うべしだな 176 名前：１３２人目の素数さん [2021/11/15(月) 08:20:08.69 ID:rki1vL4O.net] >>163 タイポ誤変換訂正 狭い良いではなく、広い意味でね 　↓ 狭い意味ではなく、広い意味でね 177 名前：１３２人目の素数さん mailto:sage [2021/11/15(月) 13:16:30.88 ID:3UNEaLqk.net] おいどんは西郷どん 178 名前：１３２人目の素数さん mailto:sage [2021/11/16(火) 07:01:38.92 ID:gRzlGBz8.net] >>163 >”simplication”って、本当は大事なんだよね >本当は、IUT側が正しい”simplication”を提供するべきなんだ >それが出来ていないから、文元本などが･･･”simplication”になったりして、噴飯もの… なに愚痴ってんだ　中卒の負け犬野郎 >IUT側の大きな課題をしっかり纏めつつさらなる”simplication”を行うべしだな もう諦めろ　中卒の愛国🐎🦌 179 名前：１３２人目の素数さん [2021/11/16(火) 08:02:20.83 ID:zELQeDp3.net] >>163 補足の補足 >”simplication”って、本当は大事なんだよね >狭い意味ではなく、広い意味でね ”simplication”は、数学でもとっても大事 例えば、私がIUT論文を丸暗記して、もちろんその中の式なども全部暗記して 何か聞かれたら、「それは論文では、xxxです」と答えられるようになったとする しかし、それでは、IUT論文を理解したとは、だれも言わない ちゃんと、IUT論文を理解したならば、「IUTとは、要するにyyyです」と、自分なりの”simplication”ができる状態でないとね で、ショルツェ氏は、”simplication”の天才なんだろうね 理解が早い。IUTで自分なりの”simplication”ができる状態になったんだ でも、”simplication”は正しくないといけない。正しくないと、”藁人形”論法になるよ ショルツェ氏は、天才すぎて、そこに思い至らないんだ 話は飛ぶけど、数学外では、”simplication”は必須です 日米関係を論じるとき、日本と米国とを、何らかの”simplication”をして論じないと、議論にならない 要するに、政治なら政治、経済なら経済に、特化した何らかの、”simplication”は必須です でも、こと「数学の証明」を論じるとき、”simplication”をすると、非常に危険だということ 特に、公に数学の証明を論じるときは、普通はギャップの指摘か、反例を示すか、どちらかなのです 数学の証明を論じるとき、”simplication”の正当性は、”simplication”を主張する側がすべきです ところが、ショルツェ氏の場合、それがない（少しはあるが、厳密ではない） つーか、”simplication”の正当性の厳密な証明は、きっとIUTと同じくらいの分量になるでしょうね それならば、公の議論では、”simplication”で探った、ギャップの指摘か、反例を示すか、 どちらかに、すべきなのです ショルツェ氏は、天才すぎて、そこに思い至らないんだ 180 名前：１３２人目の素数さん [2021/11/16(火) 08:04:59.85 ID:zELQeDp3.net] >>167 (参考) https://www.weblio.jp/content/%E8%97%81%E4%BA%BA%E5%BD%A2%E8%AB%96%E6%B3%95 ストローマン (藁人形論法 から転送) 出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/03 06:25 UTC 版) ストローマン（英: straw man）は、議論において、相手の主張を歪めて引用し、その歪められた主張に対して反論するという誤った論法、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう。 181 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 10:14:13.37 ID:3qd3I7FZ.net] アホセタ懲りんなぁ 能無しの辞書には懲りるという文字はないんやな 182 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 18:32:18.45 ID:vXkaIV3o.net] 自己成果過大評価他者成果過小評価 自己失敗過小評価他者失敗過大評価 そんな自己愛性人格障害そのものなSetAが懲りるわけが無い。懲りても何かの所為、何かの所為に出来なければ不可抗力主張、不可抗力主張も出来なければ 「ここは便所の落書き5ちゃんねる、風説の流布になるとか子供への悪影響になるとか気にしない、責任なんてクソくらえ｣ と言って糞を口から吐き出す人間失格 183 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 18:33:55.15 ID:vXkaIV3o.net] SetAの生産量 0 社会保障乞食 184 名前：１３２人目の素数さん [2021/11/21(日) 19:56:50.56 ID:fskC7CH9.net] そう慌てるな 慌てる乞食は貰いが少ない 日本国内は、IUT肯定で決まり 世界を見回しても、英仏は日本同様 あと、米と独を押えれば、決まりだよ 185 名前：１３２人目の素数さん [2021/11/21(日) 20:14:34.40 ID:kGLZHwLL.net] effective abcを主張する論文が Kodai Math J にしか 通らない現実をしっかり受け止めろよ 186 名前：１３２人目の素数さん [2021/11/21(日) 21:08:19.56 ID:AoEb6RZg.net] >>172 そういうのはwishful thinkingと言って嫌われる 187 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 21:33:27.95 ID:+LwTeuHH.net] >>172 なにこだわってんだ　愛国🐎🦌野郎 自分が中卒で自慢できないから 自国を自慢しようってことか 🐎🦌はどこまでいっても🐎🦌だな 日本が滅亡するわけだｗ >>174 日本語でいってあげなよ 「希望的観測」って https://ja.wikipedia.org/wiki/%E5%B8%8C%E6%9C%9B%E7%9A%84%E8%A6%B3%E6%B8%AC 188 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 21:38:46.24 ID:+LwTeuHH.net] 愛国🐎🦌のSET Aに真っ先に読ませたい NIH症候群 https://ja.wikipedia.org/wiki/NIH%E7%97%87%E5%80%99%E7%BE%A4 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー NIH症候群（英: Not Invented Here syndrome）とは、ある組織や国が 別の組織や国（あるいは文化圏）が発祥であることを理由に そのアイデアや製品を採用しない、あるいは採用したがらないこと。 また、その結果として既存のものとほぼ同一のものを自前で再開発すること。 独自技術症候群と訳されることもある。端的に「自前主義」とも。 "Not Invented Here"（ここで発明したものではない）という用語は、 既存の製品や研究や知識を発祥が異なることを理由に 利用・購入しない社会や企業や業界の風土・文化を指す用語である。 一般に軽蔑的な意味をこめて使う。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 189 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 22:08:45.80 ID:vXkaIV3o.net] 真っ先に乞食のSetAに物言うに資する働きはしていない 親に乞食し祖父母に乞食し国や自治体に乞食するSetAって何も国の為に成ってないじゃん 間違ってたら便所の落書きを言い訳に開き直る危険物だし 190 名前：１３２人目の素数さん [2021/11/23(火) 19:59:30.91 ID:ky+E+9bV.net] 旧聞だが、下記貼る https://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html 望月 2021年11月17日 　・（過去と現在の研究）世界の数学者に向けた、今年度の宇宙際タイヒミューラー 　　理論関連集会のビデオ閲覧の招待状を掲載。 https://www.kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf Dear Colleagues, A subsequent paper by five authors on explicit estimates in IUT, which gives a new proof of Fermat's Last Theorem, was recently accepted for publication in the Kodai Math. J. Moreover, three mathematicians have begun writing a new series of papers on a generalized version of IUT with various new applications. In particular, IUT continues to be a field of active research and exciting new developments. 191 名前：１３２人目の素数さん [2021/11/23(火) 20:30:04.68 ID:ky+E+9bV.net] メモ https://www.kurims.kyoto-u.ac.jp/~yuichiro/index.html 星 裕一郎 案内 https://sites.google.com/view/rimsant-2021/ 代数的整数論とその周辺 2021 2021年12月13日（月）〜 https://drive.google.com/file/d/1NpWytmX0xvERskddB0YNYA0_TJ0wneV1/view RIMS Workshop Algebraic Number Theory and Related Topics Organizers: Shinichi Kobayashi (Kyushu University) Tomokazu Kashio (Tokyo University of Science) Shinichi Mochizuki ?,z (RIMS) On the logical structure of inter-universal Teichmuller theory I, II, III Arata Minamide ?,z (RIMS) Explicit estimates in inter-universal Teichmuller theory In the final paper of a series of papers concerning inter-universal Teichmuller theory, Mochizuki verified various numerically non-effective versions of the Vojta, ABC, and Szpiro Conjectures over number fields. In this talk, we will give various numerically effective versions of Mochizuki’s results. This is joint work with Shinichi Mochizuki, Ivan Fesenko, Yuichiro Hoshi, and Wojciech Porowski. Shin-ya Koyama z (Toyo University) Chebyshev’s bias with its generalizations We unravel the mystery of Chebyshev’s bias in terms of zeta-parametrization of the counting function of primes. As applications we obtain newly discovered biases. For example, we find the biased distributions of 1) non-principal prime ideals in number fields of class number two, 2) non-splitting primes in certain abelian extensions. (Joint work with Miho Aoki) https://www.kurims.kyoto-u.ac.jp/~yuyang/confer/Kyoto-Hefei-3rd.html 3RD KYOTO-HEFEI WORKSHOP ON ARITHMETIC GEOMETRY Date: December 6-8, 2021 (Japanese Local Time, GMT+9) Taylor Dupuy (The University of Vermont) Angle Ranks of Abelian Varieties over Finite Fields Arata Minamide (RIMS, Kyoto University) Anabelian group-theoretic properties of the absolute Galois groups of Henselian discrete valuation fields 192 名前：１３２人目の素数さん [2021/11/24(水) 11:33:41.68 ID:0Xiu/WHx.net] フェルマーの最終定理「おまけで証明」　IUT理論、京大・望月教授 https://news.yahoo.co.jp/articles/9d175e05decb1b6581cae4599af99a036162b910 193 名前：１３２人目の素数さん [2021/11/24(水) 12:13:42.04 ID:TBZtbCkk.net] 東工大も望月側に付いたか 194 名前：１３２人目の素数さん mailto:sage [2021/11/24(水) 14:40:00.99 ID:0pgDOHR/.net] >>180-181 かぶるが、貼る https://news.yahoo.co.jp/articles/9d175e05decb1b6581cae4599af99a036162b910 フェルマーの最終定理「おまけで証明」　IUT理論、京大・望月教授 11/24(水) 8:00配 朝日 yahoo 　京都大数理解析研究所の望月新一教授らが「宇宙際（うちゅうさい）タイヒミュラー（IUT）理論」を拡張し、解決までに350年以上かかった超難問「フェルマーの最終定理」を新たな方法で証明したとする論文が、東京工業大が発行する数学誌「Kodai　Math.J.」に掲載されることが分かった。数学誌の編集委員会が、論文を受理したことを朝日新聞の取材に明らかにした。 　IUT理論は、望月さんが約20年かけて築いた数学の理論。「足し算やかけ算をする世界（=宇宙）を縦横無尽につなげ（=際）、数を自在に行き来させる」という斬新なアイデアで、難問「ABC予想」を解いたとする論文が今春、京大の数学誌に載った。当初から、IUT理論ならABC予想に限らず、様々な難問を解けるのではないかという声があった。 　IUT理論が今回、挑んだのは、仏ピエール・ド・フェルマーが1637年ごろに提案した「nが3以上の自然数（正の整数）の時、（xのn乗）+（yのn乗）=（zのn乗）を満たす自然数x、y、zは存在しない」という予想。 つづく 195 名前：１３２人目の素数さん mailto:sage [2021/11/24(水) 14:40:22.30 ID:0pgDOHR/.net] >>182 つづき ■「余白が狭すぎる…」解決まで350年以上 　nが2だとピタゴラスの定理となってx、y、zは無数に存在するが、3以上だと証明は極めて難しく、1995年に英国のアンドリュー・ワイルズ氏が楕円（だえん）曲線に関する「谷山・志村予想」の一部を解いて解決するまで証明されなかった。ワイルズ氏はこれで「数学のノーベル賞」とされるフィールズ賞の特別賞を受けた。 　フェルマーは生前、蔵書の余白に「私は真に驚くべき証明を見つけたが、それを記すにはこの余白は狭すぎる」という有名なメモを残したことで知られる。蔵書のメモはたくさんあったが、これだけが350年以上解かれず、「最終定理」と呼ばれるようになった。 　望月さんと京大数理研の星裕一郎准教授、英ノッティンガム大のイワン・フェセンコ教授ら5人は今回、IUT理論を拡張。「足し算とかけ算に関係する特別な不等式」を導いて最終定理の式に代入し、証明に行き着いたという。 　従来のIUT理論では、この不等式に未知の変数があったが、今回、この値が特定でき、突破口につながったらしい。チームは昨年にもほぼ証明したと発表していたが、修正した今回が「完全証明」としている。 (引用終り) 以上 196 名前：１３２人目の素数さん mailto:sage [2021/11/24(水) 14:43:30.35 ID:YX6dr+Ej.net] 朝日って本当にバカ新聞になったんだな。 日刊スポーツとかと変わらんゴシップ記事 197 名前：１３２人目の素数さん mailto:sage [2021/11/24(水) 18:27:22.76 ID:0pgDOHR/.net] >>184 ＞朝日って本当にバカ新聞になったんだな。 えーと、朝日記事の裏に東工大がいるんですけど？ｗ 分かるよね あなたは、東工大をひっくり返せるの？ 出来ないでしょ？ｗ いま、日本国内の大学のほとんどに、IUTを支持する数学者がいる 例えば、IUTの4回中2回の国際会議に参加した、Atsushi Shiho (Univ. Tokyo, Japan)先生含め 阪大には中村博昭先生、広大には松本眞先生、北大には安田正大先生などなど そろそろ、日本国内の学会賞がありうると思っています 大予想を解決した論文の筆者は、過去例外なくそうなっています 198 名前：１３２人目の素数さん mailto:sage [2021/11/24(水) 19:27:38.80 ID:V7507mjy.net] 5人論文って、結局 「”望月予想”ことCor3.12から、フェルマー予想が証明できる」 っていう論文でしかなくて、肝心のCor3.12が証明できてないから 「はあ、そうですか」っていうだけのもんだよな どうせブンゲンあたりが査読して通したんだろうけど、 Kodai　Math.J. がいいとこだな Annals of Mathematics なんてとても無理 注）Wilesの論文は Annals of Mathematics に掲載された 199 名前：１３２人目の素数さん [2021/11/24(水) 23:19:20.93 ID:3mpZv6zy.net] >>185 国際会議に参加したから、支持をしているとはならないだろう 200 名前：１３２人目の素数さん mailto:sage [2021/11/24(水) 23:47:01.20 ID:stS8XgI7.net] こんなもの数学じゃないんだから もう話題にするのも止めたほうがいいな 201 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 00:00:57.82 ID:K58UydDK.net] >>185 10年ぐらい前はIUTの国際会議に大勢の数学者が参加してたのに今やワークショップすら開催されなくなったでしょ この斜陽の状況を肯定的に捉える人はちょっと感覚がおかしいと思う 202 名前：１３２人目の素数さん [2021/11/25(木) 08:01:35.51 ID:4nOEoLu2.net] >>187 >国際会議に参加したから、支持をしているとはならないだろう それは、正しい が、国際会議に参加したのは、少なくとも、ショルツェ氏説は却下ってこと ショルツェ氏説は、「IUTは全く無価値」だという。zbmath>>12 は先刻承知での参加だからね IUTの4回中2回の国際会議に参加した、Atsushi Shiho (Univ. Tokyo, Japan)先生含め IUTの国際会議に参加した数学者多数いる 彼らは、a)ショルツェ氏説「IUTは全く無価値」、b)IUTは参加の価値あり このa)ｓかb)かの二択で、後者を選んだってことです つまりは、ショルツェ氏説の否定であり、IUTの手放し支持ではないにしても、「b)IUTは参加の価値あり」と思っているってこと それ、当然でしょ >>189 > 10年ぐらい前はIUTの国際会議に大勢の数学者が参加してたのに今やワークショップすら開催されなくなったでしょ >この斜陽の状況を肯定的に捉える人はちょっと感覚がおかしいと思う 今年の4回のIUTの国際会議で、IUTの普及の会議は打ち止めじゃないかな？ IUTは、フェセンコ先生が書いているように、 　>>7 　[R5] Class field theoryの拡張であり、 　[R4] On asymptotic equivalence of classes of elliptic curves over Qであり 　[R8] Higher adelic theory であり 今後は、IUTの普及ではなく、IUTの発展形の形で語られていくべきもの 星先生が、来年の整数論サマースクールに呼ばれたのもそれでしょう>>27 203 名前：１３２人目の素数さん [2021/11/25(木) 08:35:08.36 ID:HVuF4eiI.net] >>190 ＞ショルツェ氏説は、「IUTは全く無価値」だという。 カギカッコつきで「IUTは全く無価値」って引用してるけど、 Scholze氏がどこでそんなこと言ってる？ 嘘でないというのなら引用よろしく 価値の有無は主観的なものだから、自身の考えがどうであれ、 氏がそんなことを公に言うわ 204 名前：けないと思う 氏は誰かと違って主観に基づいた攻撃をするような人じゃない [] [ここ壊れてます] 205 名前：１３２人目の素数さん [2021/11/25(木) 08:46:05.95 ID:HVuF4eiI.net] ある業績、論文に価値があるか否かの判断を表明することは もちろんあるが、IUT論文に関する論争はそれ以前の話であるから、 弁えた人はこの時点でその辺を混ぜたりしないということ 206 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 09:10:20.54 ID:b2J3r4R0.net] IUTを使ったフェルマー定理の証明は楕円曲線上の有理点に関して新たになんらかの定理が得られたのかね 207 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 09:42:16.01 ID:Jea8x11K.net] なにげに修正論文が載るんだな 欧米が気にしてたギャップが治ってればモッチー大勝利やん 208 名前：１３２人目の素数さん [2021/11/25(木) 09:47:22.70 ID:7MSXYmCF.net] 志甫先生かわいそう。「IUT支持してる」なんてデマ流されて。 209 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 10:49:33.53 ID:/pR75lvD.net] >>194 そもそもモッチ先生が間違うはずがない 強大はダブルモッチーでウハウハだな 210 名前：１３２人目の素数さん [2021/11/25(木) 12:01:01.31 ID:Gj8Imhqq.net] >>190 Scholzeが否定しているのはcor 3.12だけど、Joshiは cor 3.12を使わずにIUTからアイデアを得て新しい研究をスタートさせてる Joshiは君のいうa)とb)のどちらにも属さない しほ先生も、IUTに意味があり何か得られると考えているのは確かかもしれないけど、scholzeの否定するcor 3.12を認めているかどうはわからない 211 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 12:16:26.52 ID:5CIF01HY.net] >>197 >Scholzeが否定しているのはcor 3.12だけど、Joshiは cor 3.12を使わずにIUTからアイデアを得て新しい研究をスタートさせてる >Joshiは君のいうa)とb)のどちらにも属さない >しほ先生も、IUTに意味があり何か得られると考えているのは確かかもしれないけど、scholzeの否定するcor 3.12を認めているかどうはわからない １．Scholzeが否定しているのはcor 3.12だけど、cor 3.12以外は自明なことしか書いていないという。だったら、IUTは無価値でしょ ２．Joshiは、IUTを肯定しているよ。読めば分かる。その上で、IUTを自分なりに消化して、新しい理論を作ろうとしているんだよ 　　だから、明らかにb)に属する ３．しほ先生がどう考えているかは、半年から１年くらいで分かってくると思う 　もし、東大生ならば、直接質問すれば良いと思う。 　もし、「IUT会議に出たけど、IUTはダメ」というならば、そう書いてくれれば良い。フェイクでない根拠も付けてね 　別に、IUTを無理押しするつもりないので 　「IUT会議に出たけど、IUTはダメ」もありと思うよ（多分そうではないだろうが） 212 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 13:13:59.94 ID:MnckPFuM.net] 雑魚がどーでもいい応用やろうと、焼石に水。 213 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 13:52:46.08 ID:0G8x8Ir7.net] ショルツェってcor 3.12否定してるんだ？ 導出だけだと思ってた 214 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 14:28:33.80 ID:MnckPFuM.net] Corollary 3.12はnot a proofで、 IUTはclearly insufficient to prove the ABC とのこと。 215 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 14:41:05.99 ID:8Tz2gmv1.net] ショルツはホッジシアターさえ理解できないのに、ほんとピエロ 216 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 15:16:27.20 ID:5CIF01HY.net] >>201-202 >ショルツェってcor 3.12否定してるんだ？ >導出だけだと思ってた いいかな １．ショルツェってcor 3.12に対する反証（反例か不成立の証明）が出来ているならば、かつ数学的に厳密ならば、それはそれで決着です ２．でもショルツェが やったことは、IUTを勝手かつ適当に簡単化して、不等式は導けないとした。これは、厳密な反証（反例か不成立の証明）ではないってことだ。ヤクザの因縁と同じ。（勿論、cor 3.12の肯定ではないよ） ３．”導出”が厳密でないということは、当然その不等式自身も「アヤシイ」ってことを含意しているよね ところで、”IUT&フェルマー関係でマスコミ各社が（なんで今？というタイミングで）色めきたっていて応対に苦労する”だって（下記）ｗ https://twitter.com/math_jin?ref_src=twsrc%5Egoogle%7Ctwcamp%5Eserp%7Ctwgr%5Eauthor math_jin math_jinさんがリツイート Fumiharu Kato 加藤文元（Bungen） 20時間 IUT&フェルマー関係でマスコミ各社が（なんで今？というタイミングで）色めきたっていて応対に苦労する、とKodai Math. J.の編集長のT先生がボヤいているけど、皆さんが知りたいことは、実は私がすでに週刊ダイヤモンドの今年の5月29日号のコラムに（おそらく全部）書いているんですよね… (deleted an unsolicited ad) 217 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 16:17:32.83 ID:MnckPFuM.net] トネさんとんだとばっちり。 これ見てニンマリとかサイコパスだな。。。 218 名前：１３２人目の素数さん [2021/11/25(木) 17:15:37.72 ID:HVuF4eiI.net] >>198 嘘を重ねるのはよしてください ＞１．Scholzeが否定しているのはcor 3.12だけど、 ＞cor 3.12以外は自明なことしか書いていないという。 Scholze氏がどこでそんなことを言っていますか？ あなたScholze氏の書いたものなんてこれっぽっちも読んでいないでしょう ZBのレビューを読めば"these may be of interest to specialists"と書いてあります "the content of these nontrivial proofs is"とも書いてあります （どちらも肯定的な文脈ではありませんが、自明とは一切言っていません） 219 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 17:52:03.43 ID:6PomQE5H.net] この自分に都合のいい切り方wwwwww 220 名前：１３２人目の素数さん [2021/11/25(木) 17:59:57.02 ID:0erp03Ci.net] >>202 そこを突くとは さては相当の理解者ですね 221 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 18:49:55.58 ID:5CIF01HY.net] まず >>203 訂正 　>>201-202 　　↓ 　>>200-201 さて、>>205については、下記です 　>>12より （IUTに対する批判的レビュー）https://zbmath.org/07317908 Mochizuki, Shinichi Inter-universal Teichmuller theory. I: Construction of Hodge theaters. Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021). Reviewer: Peter Scholze Google訳(抜粋) いずれにせよ、系3.12の証明のある時点で、物事は非常に曖昧になり、あるオブジェクトがNS-値または Θ-値は、当然のことながらある程度のぼかしまで、定義的に両方に等しいと主張されているため、目的の結果が得られます。 最後に、個々の論文の内容を簡単に要約します。パートIIとIIIでは、重要な系3.12を除いて、読者は数行より長い証拠を見つけることができません。典型的な証明は、「コロラリー2.3のさまざまなアサーションは、これらのアサーションのステートメントで引用された定義と参照からすぐに続きます。」と読みます。これは、数学的な内容の量と一致しています。パートIでは、最初の2つのセクションで、遠アーベル幾何学に典型的な特定の群論的結果を扱います。 ホッジシアターのカテゴリーは非常に複雑な定義を持っています、Z / 2 Z、実際には、上の楕円曲線のカテゴリと標準的に同等です。 NS 与えられたものと同型 E（両方向のファンクターは建設的でさえあることに注意してください）。言い換えれば、どのホッジシアターも、同型の楕円曲線から E。したがって、著者が後でそのようなホッジ劇場の無限のコレクションを選択するとき、彼は同型の楕円曲線の無限のコレクションを選択したほうがよいでしょう。 最後に、パートIVには、パートIIIの結果3.12をABC予想に変換するための数論の標準的な特定の技術計算が含まれています。レビューアは、J。Stix と一緒に、京都で1週間過ごしてこれらの問題について著者と話し合い、「なぜABCがまだ推測であるのか」というタイトルの原稿で調査結果を詳しく説明しました[ https：//www.math.uni- bonn.de/people/scholze/WhyABCisStillaConjecture.pdf ]では、問題についてもう少し詳しく説明しています。この原稿で表明された懸念は、公開されたバージョンでは対処されていません。 222 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 19:18:56.35 ID:8Tz2gmv1.net] 最初ショルツ側だったロバーツも最近は望月と議論してショルツを見限ったらしいし、雪崩打ってるね、望月側に 223 名前：１３２人目の素数さん [2021/11/25(木) 19:54:40.49 ID:HVuF4eiI.net] >>208 嘘やごまかしはいいかげんにしたらいかがでしょうか？ 一体どこにcor 3.12以外は自明なことしか書いていないって書いてありますか？ パートIIとIIIには数行より長い証明がないという事実についての指摘なら見えます パートIについては別の部分で述べています >>190ではカギカッコつきで「IUTは全く無価値」って引用していますが、 どこでそう言っているのですか？ 224 名前：１３２人目の素数さん [2021/11/25(木) 21:10:40.10 ID:4nOEoLu2.net] >>210 なにを必死になっているの？ >パートIIとIIIには数行より長い証明がないという事実についての指摘なら見えます 違うよね その直後に ”典型的な証明は、「コロラリー2.3のさまざまなアサーションは、これらのアサーションのステートメントで引用された定義と参照からすぐに続きます。」と読みます。 これは、数学的な内容の量と一致しています。”>>208 と、ショルツェ氏は述べているよ つまり、定義があって、証明は数行。「引用された定義と参照からすぐに続きます」という証明で終り 定義だから、勝手に決められる部分だ そして「引用された定義と参照からすぐに続きます」が典型例だという つまり、殆ど定義即定理で、”数学的な内容の量と一致しています”だから、数学の内容が殆ど無いと、ショルツェ氏は述べているよね ショルツェ氏は、IUTは、系3.12以外はほとんど全部 225 名前：こんな調子で、”定義即定理”状態で、数学的内容が殆ど無い(2〜3行)という 定義なんて人が恣意的に決められる面があって 望月氏のIUTは 系3.12以外は数学的内容が殆ど無い＝殆ど自明＝勝手に定義作って勝手にそれが定理だと主張しているんだ ってことですよ、ショルツェ氏の主張はね そして、一転、系3.12については、今度は”ホッジシアターのカテゴリーは非常に複雑な定義を持っています”と言い出して>>208 ”系3.12の証明のある時点で、物事は非常に曖昧になり、あるオブジェクトがNS-値または Θ-値は、当然のことながらある程度のぼかしまで、定義的に両方に等しいと主張されているため、目的の結果が得られます” と主張するのです で、系3.12が複雑だから、J. Stixと共同で、系3.12に関連するところを、単純化したら、不等式が導けなくなった だから、系3.12ダメだという（結局は、IUT全体がダメ） つまり、系3.12以外は、簡単すぎて、数学的内容が殆ど無いと言いながら 一方、系3.12は、複雑すぎるから、逆に簡単にしてやったら、不等式が導けないからダメという ダブルスタンダードも良いところじゃね？ 彼の言っていることは [] [ここ壊れてます] 226 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 21:28:18.76 ID:8Tz2gmv1.net] ホッジシアターの構成に全くついていけないから、半ば放り出した形で批判のための批判に終始してるよね 227 名前：１３２人目の素数さん [2021/11/25(木) 21:50:21.35 ID:4nOEoLu2.net] >>212 そこらの深いところは、正直ついていけないけど ショルツェ氏の言っていることは、変ですよね 228 名前：１３２人目の素数さん [2021/11/25(木) 21:51:27.23 ID:4nOEoLu2.net] >>211 補足 　>>12より （IUTに対する批判的レビュー）https://zbmath.org/07317908 （原文引用） 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. (引用終り) これが IUTの全面否定でないとすれば 何なのでしょうか？ 229 名前：１３２人目の素数さん [2021/11/25(木) 21:54:25.63 ID:4nOEoLu2.net] >>214 補足の補足 in line withは、熟語 〜と一致して https://eikaiwa.dmm.com/app/uknow/word/in-line-with/zga0ELstQmCjlQAAAABf8g DMM英会話 Words in line withの意味 熟語 〜と一致して 230 名前：１３２人目の素数さん [2021/11/25(木) 22:06:53.54 ID:HVuF4eiI.net] 証明の長さがその証明の含む数学の内容と一致しているという指摘が 当該論文の否定につながるという意見でしょうか？ 一致していない方がより問題だと思います 該当文の主語を見れば、それがあくまで証明について述べたことであり、 定義定理について述べたわけでないことも分かります こうした使い分けが理解できない人にはScholze氏がいかに プロフェッショナルに対応しているかも理解できないでしょう 結局、どこにも自明だなんて書いてありませんし、 「IUTは全く無価値」とも言っていません むしろ"these may be of interest to specialists"と言っていますし、 パートIには"nontrivial proofs"があると言っています 231 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 22:49:59.23 ID:CIaR2vrX.net] 「望月ってメールも論文と全くおんなじスタイルで書いてくるのな、 初めて知ったわ」 と、わざわざ斜体・ボールド入りのツイートで馬鹿にするRobertsさん https://twitter.com/HigherGeometer/status/1461848418754596864 (deleted an unsolicited ad) 232 名前：１３２人目の素数さん mailto:sage [2021/11/25(木) 23:03:23.39 ID:CIaR2vrX.net] > 「このような誤解は不必要な混乱を引き起こし、 > ときには数学分野の運営の正常性に深い破壊をもたらしかねません。…」 > （https://kurims.kyoto-u.ac.jp/~motizuki/Invitation%20to%20view%20IUT%20workshop%20videos.pdf） > > ナレーター：そんなことはありません。 https://twitter.com/HigherGeometer/status/1462303000823689226 (deleted an unsolicited ad) 233 名前：１３２人目の素数さん [2021/11/26(金) 07:59:35.65 ID:+Jhp2ZIL.net] >>216 >証明の長さがその証明の含む数学の内容と一致しているという指摘が >当該論文の否定につながるという意見でしょうか？ Yes というか、そうとしか読めないでしょ？ そもそも、レビューとは、元論文の一種のアブストだが、他人の論文読者に対する 234 名前：助けになるもの かつ、本文が700頁にもなる論文を読もうする人にその価値を伝えることを、第一の使命とするものです ”which is in line with the amount of mathematical content.”>>214 は、明らかに前段“longer than a few lines;”に関連する評価です そして、 系3.12にダメ出し >パートIには"nontrivial proofs"があると言っています でしょ？ だから、In parts II and III は、"trivial proofs"ばっかりだということです そして、パートIはその道の専門家には興味があるかもしれない つまり”these may be of interest to specialists”と、ちょこっと付け足ししているけど 結局は、“longer than a few lines;”＝”which is in line with the amount of mathematical content.” だと酷評しているってことですよね >>198＆>>208 [] [ここ壊れてます] 235 名前：１３２人目の素数さん mailto:sage [2021/11/26(金) 08:43:48.27 ID:F5zjrEv6.net] >>201 cor 3.12は命題であって証明ではないでしょ 236 名前：１３２人目の素数さん mailto:sage [2021/11/26(金) 18:11:42.82 ID:3Zp5TRQm.net] まあ、日本国内は、IUTを認める方向で、決まりでしょう あと、海外では仏、英も同様 米には、Dupuy、Joshi ２名の支持者がいる あとは、徐々に広がっている感じですね もう、テイクオフして IUTを認める流れは、出来たってことですね 237 名前：１３２人目の素数さん mailto:sage [2021/11/26(金) 18:25:31.39 ID:Uw8Lpyzy.net] 売名目的の雑魚がいくら同調してもなぁ。。。 238 名前：１３２人目の素数さん mailto:sage [2021/11/26(金) 18:29:56.10 ID:3Zp5TRQm.net] >>222 >売名目的の雑魚がいくら同調してもなぁ。。。 売名って、フェセンコ先生は、その門下からフィールズ賞を出した人ですよ 完全に英数学会の重鎮であり、ロシア数学会にも影響力ありでしょう そもそもが、IUTアンチがいうような、「IUTは箸にも棒にも掛からぬクソ論文」だとすれば 売名の全く逆で、悪名を轟かせるだけにしからならんぞｗ 239 名前：１３２人目の素数さん mailto:sage [2021/11/26(金) 19:53:49.89 ID:0wGpvqbo.net] IUTが完全リジェクトされ次第、自殺レベルに恥ずかしい物書きとなるレス 185:１３２人目の素数さん 2021/11/24(水) 18:27:22.76 ID:0pgDOHR/ >>184 ＞朝日って本当にバカ新聞になったんだな｡ えーと、朝日記事の裏に東工大がいるんですけど？ｗ 分かるよね あなたは、東工大をひっくり返せるの？ 出来ないでしょ？ｗ いま、日本国内の大学のほとんどに、IUTを支持する数学者がいる 例えば、IUTの4回中2回の国際会議に参加した、Atsushi Shiho (Univ. Tokyo, Japan)先生含め 阪大には中村博昭先生、広大には松本眞先生、北大には安田正大先生などなど そろそろ、日本国内の学会賞がありうると思っています 大予想を解決した論文の筆者は、過去例外なくそうなっています 240 名前：１３２人目の素数さん [2021/11/26(金) 22:10:08.60 ID:+Jhp2ZIL.net] >>224 >IUTが完全リジェクトされ次第、自殺レベルに恥ずかしい物書きとなるレス それ、ブーメランで自分のことだよ IUTが、世界の数学者から完全にアクセプトされ次第、自殺レベルに恥ずかしいレスじゃんか 世界情勢が読めてないね ショルツェ氏の勘違いだよ、明らかに 241 名前：１３２人目の素数さん [2021/11/26(金) 23:12:46.13 ID:+Jhp2ZIL.net] Edward Frenkelまで、 IUT/加藤文元側についたようだな https://twitter.com/math_jin math_jinさんがリツイート Edward Frenkel 2017年11月18日 Fumiharu Kato, a mathematician from Tokyo Institute of Technology, gave a 90-minute public lecture on Mochizuki's IUT in Tokyo in October. According to the organizers, it was watched online in realtime by more than 100,000 people (via Niconico website). Wow! (h/t Ivan Fesenko) (deleted an unsolicited ad) 242 名前：１３２人目の素数さん [2021/11/26(金) 23:48:26.33 ID:Uw8Lpyzy.net] どう読んだら「ついた」って読めるんだろう。。。しかも何年前の話してるんだか。。。 知能に障害ある人は生きるのも大変ですね。頑張ってください。 243 名前：１３２人目の素数さん [2021/11/26(金) 23:58:02.97 ID:+Jhp2ZIL.net] ”simplication”はとても大事な手法だが>>167 数学の証明の不備を指摘するときだけは、”simplication”だけでの主張はダメダメです つまり、「”simplication”をしたら、不等式が導けないくなった」という主張では 常に反論として「じゃ、その”simplication”をしなかったら、不等式が導けるんだろ？」が、可能 だから、”simplication”をして、「ここが怪しい」というところを絞り込んだら、その周辺のギャップや矛盾を突き止めるべきなのだ 「”simplication”をしたら、不等式が導けないくなった」という主張は、 プライベートな議論ではありだろう しかし、「”simplication”をしたら、不等式が導けないくなった」だけで、それを根拠に「IUTはダメ」と言ったり あるいは、それだけを根拠に公式のレビューを書いたり、IUTを批判するのは、絶対にまずい ”simplication”をしたら、「本来 244 名前：導ける式が導けなくなる」って話 そんなの普通に、”あるある”の話ですよ 勝手に、”simplication”をしたら、 完全に元の議論からずれてしまいますよね [] [ここ壊れてます] 245 名前：１３２人目の素数さん [2021/11/27(土) 00:17:27.27 ID:oXttPu9S.net] >>227 ああ、そうか 　>>226は、math_jinさんのタイムスリップかよ 失礼しました タイヒミューラー祭りの動画の話だと思っていたよ https://www.youtube.com/watch?v=RUNZB1XAQjY 東工大理学院×すうがくぶんか「現代数学レクチャーシリーズ 2021」~数理ファイナンス＆タイヒミューラー祭り~ 3,166 回視聴2021/09/12 株すうがくぶんか 先生方にさらに詳しく講義していただく機会を設けました。こちらのページをご覧下さい。 https://sugakubunka.com/gendaisugaku-5-8/ 第8回　加藤文元（東京工業大学理学院数学系教授） 予習回：開催未定 本講義：2022年3月20日（日）13:00-18:00 場所 Zoomを使用したオンライン開講となります。 各回とも 予習回＋本講義　25,000円（税込） 本講義のみ　　　15,000円（税込） 予習回のみ　　　10,000円（税込） ※複数回受講の場合はそれぞれの回でお支払いいただきます。 第2部「タイヒミューラー祭り」は、2012年に京都大数理解析研究所の望月新一教授によって発表され、8年半もの年月を経て今年専門誌に論文が掲載された数学界の一大トピック「宇宙際タイヒミューラー理論によるABC予想の解決」に関するパートです。望月先生の盟友・加藤文元先生と、正井秀俊先生、若林泰央先生の3名が、タイヒミューラー空間の理論からはじまり、p進タイヒミューラー理論、宇宙際タイヒミューラー理論と、望月先生の理論に到るまでの発展を丁寧に紐解きます。 246 名前：１３２人目の素数さん mailto:sage [2021/11/27(土) 00:39:57.62 ID:bjKMHJD2.net] >>225 恥ずかしいヨイショだな ピエロ行為は楽しいか？ 247 名前：１３２人目の素数さん [2021/11/27(土) 07:41:24.82 ID:oXttPu9S.net] >>230 ありがと いまさら、ヨイショなんか必要ない 勝負はついた 日本中、そこらで、IUTマンセー、IUTヨイショが始まった 世界を見ても、仏と英では日本類似。米にも、IUTマンセー、IUTヨイショ あとは、独を落とせば世界制覇だ もうすぐだよ それと、日本国内では、あと半年か1年、早ければ来年春の数学会で、IUTは何か賞を貰えるんじゃないかな？ 遅くとも、来年秋の数学会 実際、もしIUTがABC予想を解決しているとすれば、受賞にはだれも文句言えないよね そして、事実として、IUTはABC予想を解決している 248 名前：１３２人目の素数さん [2021/11/27(土) 07:53:50.43 ID:oXttPu9S.net] >>231 >それと、日本国内では、あと半年か1年、早ければ来年春の数学会で、IUTは何か賞を貰えるんじゃないかな？ 英国でも、同様じゃないかな？ 英国は、独数学者の影響を、 それほど受けないと思われるから https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%B3%E3%83%89%E3%83%B3%E6%95%B0%E5%AD%A6%E4%BC%9A ロンドン数学会（ロンドンすうがくかい、The London Mathematical Society、略称：LMS）はイングランドにある有数の数学学会である。 4 賞 ド・モルガン・メダル ポリヤ賞 (ロンドン数学会) シニア・ホワイトヘッド賞 シニア・ベリック賞 Naylor Prize and Lectureship ベリック賞 Frohlich Prize ホワイトヘッド賞 https://en.wikipedia.org/wiki/London_Mathematical_Society London Mathematical Society 249 名前：１３２人目の素数さん mailto:sage [2021/11/27(土) 08:28:04.07 ID:SjlB8nPt.net] Sの大勝利でTに続く受賞ラッシュが来るのですね？ 250 名前：１３２人目の素数さん mailto:sage [2021/11/27(土) 10:00:06.00 ID:ea9X/bAY.net] 2021年11月26日 +Jhp2ZIL 2021年11月26日 3Zp5TRQm　 　>>219-228　(除く220,222,227) 2021年11月27日 > oXttPu9S 　>>229-232　(除く230) 「可算多重一元豚」とかいう自称最終兵器で挑んだ 「無限大戦」で玉砕した中卒素人SET A君が、ま~た 「ボクの祖国、ニッポンが誇るIUT！！！」 とかわけもわからず自慢おっぱじめたねえ いいかげん自分が 「数学のスの字もわからんド素人」 だってこと思い知って永遠に黙りなよ 口を開けば次から次へと間違って大恥かくんだからさ でも死ぬのがコワくて自●もできない🐤でしたか 参考（実数論の初歩から間違うSET A） https://rio2016.5ch.net/test/read.cgi/math/1623019011/371 https://rio2016.5ch.net/test/read.cgi/math/1595034113/509 251 名前：１３２人目の素数さん [2021/11/27(土) 10:29:03.73 ID:PgVJV7pe.net] >>234 メンドがらずにコンマ使え >>1-10,20-23,26,30-34 252 名前：１３２人目の素数さん mailto:sage [2021/11/27(土) 10:47:48.08 ID:ea9X/bAY.net] >>235 リンクされてないけど？ 253 名前：１３２人目の素数さん mailto:sage [2021/11/27(土) 11:04:50.35 ID:5Jbs++eZ.net] 3.12の証明が出来たとしてIUTから数論上の予想や定理証明の類が全く出てこない事の方が大丈夫なのかと思ってしまう フェルマーは今回出たけどabcと命題としては親戚みたいなもんだし 254 名前：１３２人目の素数さん [2021/11/27(土) 11:49:43.85 ID:PgVJV7pe.net] >>236 センブラ使え 255 名前：１３２人目の素数さん mailto:sage [2021/11/27(土) 12:01:41.50 ID:ea9X/bAY.net] >>239 断るｗ 256 名前：１３２人目の素数さん mailto:sage [2021/11/27(土) 12:06:53.25 ID:ea9X/bAY.net] ニセ論理学講座 今日のテーマ 結果に訴える論証 −−−−−−−−−−−−− 肯定形 P ならば Q が起きる。 Q は好ましい。 したがって P は真である。 否定形 P ならば Q が起きる。 Q は好ましくない。 したがって P は偽である。 −−−−−−−−−−−−− SET A（Ｏ阪府Ｏ阪市Ｎ成区　６０代男性）の例 −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−− 肯定形 　IUTTによるABC予想証明が正しいならば　望月新一が数学に関する賞を受賞する 　望月新一の受賞はニッポン人にとって好ましい 　したがってニッポン人はIUTTによるABC予想証明を応援するのが当然である 否定形 　IUTTによるABC予想証明が誤りならば　RIMSの責任が追及され最悪取り潰される 　RIMSが取り潰されればニッポン数学は壊滅する 　したがってニッポン数学擁護の為IUTTによるABC予想証明を支持せねばならない −−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef