[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
810(1): 2022/04/30(土)14:16 ID:Vf6bDvV+(19/26) AAS
>>809
＞SSは前者の考え方を伝えるのを諦めて、後者に寄り添い、その上で「基本群の同型は元の双曲線の同型に統制されるという単純化」を説明したという流れだろう
ありがとうございます
まあ、”諦めて”は、いい
そして、フェセンコ 外部ﾘﾝｸ[pdf]:ivanfesenko.org
P5
Scholze unilaterally withdrew from any further correspondence or study of IUT.
まではいい
けど
次の
省9
811: 2022/04/30(土)14:31 AAS
>>086
＞いま言っているのは、
＞「出来ているプログラミングを、
＞ 他人が読んで、どう理解し、
＞ 改善とか不具合があれば直すのか？」
＞そのためには、
＞「フローチャートや、中にコメントが入っていたら、良いよね」
＞って話ですよ
まず、フローチャートで可読性は向上しません
図示が必要なのは、字が読めない人だけでしょう
省6
812: 2022/04/30(土)14:32 ID:vz0MgWS9(3/3) AAS
>>810
なんでやねん
その文章読んで「その通り」と思うあたりがもはやなんもわかってないんだよバーカ
813(1): 2022/04/30(土)14:35 AAS
>>808
＞いまの議論の重要論点は、
＞・「可読性」です
＞・「プログラム開発」ではありません
＞・「プログラムのバグ取り」や「プログラムのテスト」でもない
いや
・プログラムの検証ですよ
・プログラムのバグとりもできたらいいですね
・プログラムの説明はその後のことですよ
プログラムにもなんにもなってない記述に
省1
814(2): sage 2022/04/30(土)14:37 ID:QdWl7JVy(1) AAS
>>762
>>770
SS文書の誤りについて、フェセンコ指摘の対訳ありがとう。
思い出した。
SS文書は２個あって、１個めが５月で、２個めが９月だったけど、
いま公開されて残っているのは９月の文書だね。
下記ので５月の方は、
＞これらのコメント21を読んだ後、彼らは考えを変え、その時点で自分のレポートを投稿する計画を断念しました
は、望月に送られた文書と回答がブログに載って、望月の回答文章にSSへの質問があったけど、無回答だったね。
初心者レベルだと望月に指摘されたのは、５月のSS文書の方だった。
省6
815(1): 2022/04/30(土)14:38 AAS
ABC予想
「a + b = cを満たす、互いに素な自然数の組 (a, b, c) に対し、
積 abc の互いに異なる素因数の積を d と表す。
このとき、任意の ε > 0 に対して、
c > d^(1+ε)
を満たす組 (a, b, c) は高々有限個しか存在しない」
もし
「任意の ε > 0 に対して、
c > d^(1+ε)
（ｄは積 abc の互いに異なる素因数の積）
省3
816: 2022/04/30(土)14:46 AAS
>>815の追記
いっておくがプログラムというからには停止する必要がある
（現実には”停止しないプログラム”もあるが、
別にOSとかリアルタイム制御システムの話
をしてるわけではないので除外する）
つまり何が言いたいのかというと、
「与えられたε＞０について
延々と（無限に存在する）（ａ，ｂ，ｃ）の組をチェックして
c > d^(1+ε)
を満たすものだけを列挙しつづけるプログラム」
省3
817(1): 2022/04/30(土)14:53 ID:fC6aB6+3(1/3) AAS
その考えだと有限個以外0という条件は人間にしか使えないのか
たとえば自然数の列
1,2,...,n,...
これも人間にしか考えられないのかな
818: 2022/04/30(土)15:02 AAS
>>817
０個、つまり存在しない場合
「存在しない」と出力する
819(1): 2022/04/30(土)15:17 ID:UbP0G6x1(1) AAS
>>814
ショルツエは可読できてなかった。
取り下げた５月のSS文書は特に。
820: 2022/04/30(土)15:18 ID:fC6aB6+3(2/3) AAS
形式言語及び有限オートマトンを勉強してから質問します
821: 2022/04/30(土)15:31 ID:QDqkNpTQ(1/2) AAS
>>819
たれwww
英語やドイツ語はlimたれwww
822: 2022/04/30(土)15:33 ID:QDqkNpTQ(2/2) AAS
ぉ慈悲~
ぉ慈悲~
たれwww
823(2): 2022/04/30(土)16:00 ID:Vf6bDvV+(20/26) AAS
>>814
どうもです
>その後の９月のSS文書だけが公開で残っているけど、
>あの５月のSS文書への望月質問の回答は、確かに答えないままだが、どうなったのだろう。
いや、いろいろ公開あるよ
下記をご参照
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
望月新一 過去と現在
・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 （および関連文書）
外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp
省5
824(2): 2022/04/30(土)16:24 AAS
>>823
下げマスはまず望月新一に以下の件泣きついて頼んでみろよｗｗｗ
「ネットの馬鹿どもから
”ABC予想が正しいっていうんなら
任意の ε > 0 に対して、
c > d^(1+ε)
（ｄは積 abc の互いに異なる素因数の積）
を満たす組 (a, b, c) の全てを列挙するプログラム”
が書けるだろ、書いてみろやｗｗｗ”
となじられます。
省1
825: 2022/04/30(土)16:28 AAS
>>824の続き
なんなら
「組 (a, b, c) の全て」を
「最大のｃの組(a,b,c)」に
変えてやってもいいぞｗ
（有限個だから必ず存在する）
826: 2022/04/30(土)17:16 ID:fC6aB6+3(3/3) AAS
>>824
ｗ
827(2): 2022/04/30(土)17:49 ID:vde4VtIl(1) AAS
>>823
>>753での
ショルツェが ＞証明が可読でない、からの流れだよ。
＞いや、いろいろ公開あるよ
＞下記をご参照
は、フェセンコのレポートを、もう少しゆっくり読んでみましょう。
>>770で、
＞ドイツの数学者は自分たちのレポートをオンラインで利用できるようにするつもりでしたが、
IUTの著者の包括的なレポート20とこれらのコメント21を読んだ後、彼らは考えを変え、
その時点で自分のレポートを投稿する計画を断念しました。
省8
828(1): 2022/04/30(土)19:53 ID:Vf6bDvV+(21/26) AAS
>>813
>いや
>・プログラムの検証ですよ
>・プログラムのバグとりもできたらいいですね
>・プログラムの説明はその後のことですよ
>プログラムにもなんにもなってない記述に
>説明もヘッタクレもないですから
あなたは、数学あんまし出来ないんじゃない？
事態を、抽象化して、その後に 個別具体的事象に当て嵌めるって
そういう操作が苦手なのかな？
省7
829(2): 2022/04/30(土)19:54 ID:Vf6bDvV+(22/26) AAS
>>828
つづき
・通常の数学論文では、IUTほど「可読性」が問題になることは少ない
（皆無ではない。古くはガロアの第一論文とか、カントールの非可算無限集合論とかがある）
・そこで、プログラムに例えると
1）プログラムの設計と書き方
2）プログラムの検証
3）プログラムの可読性
に分けて考えることが出来る
・「プログラムの設計と書き方」は、C言語を使うとか、サブルーチンと本体プログラムとの関係とか
省15
830: 2022/04/30(土)19:56 ID:Vf6bDvV+(23/26) AAS
>>827
＞その流れを考えると、ショルツェが ＞証明が可読でない。
どうもです
そうかも、きっとそうかも ですね
831: 2022/04/30(土)21:07 AAS
>>827
＞あなたは、数学あんまし出来ないんじゃない？
中卒下げマスにはいわれたくねえなあｗ
下げマスはそもそも
・定義が読めない
・公理の論理的意味が理解できない
・定理の証明の論理が理解できない
それじゃ大学数学は初歩から無理だわｗ
＞専門の論文の可読性は、読み手のレベル問題もあるのです
ＩＵＴの件に関してはそれウソな
省3
832: 2022/04/30(土)21:22 AAS
>>829
＞（証明を）プログラムに例えると
＞ 1）プログラムの設計と書き方
＞ 2）プログラムの検証
＞ 3）プログラムの可読性
＞ に分けて考えることが出来る
ほんまけ？
＞・「プログラムの設計と書き方」は、
＞ C言語を使うとか、サブルーチンと本体プログラムとの関係とか
＞ 「プログラムの検証」は、論文の査読に相当する
省31
833: 2022/04/30(土)21:35 AAS
>>829
＞玉川先生など、IUTの検証は終わったと言っている
＞（これを正当と認めるか否かの議論は別として）
別とするのが卑怯卑劣なネトウヨｗ
そもそも検証なんか全然してないのに査読しました
とかいうことが不当だといってるわけ
日本人は卑怯卑劣嘘つきだと馬鹿にされてるわけ
ニホンザルのネトウヨ 下げマスは
「卑怯卑劣で何が悪い 嘘でもなんでも勝てば官軍！」
と野蛮なこといってるわけ 実に不快なわけ 分かる？ｗ
省32
834(1): 2022/04/30(土)22:09 ID:EqjUIJse(1) AAS
千葉雅也『現代思想入門』発売@masayachiba 2時間
望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。
うーん。可能世界論と似てる気がするけど、でも、全く同じクローン世界同士で操作するのは哲学的可能世界論にもないことか。
あとこういうこと言うと、また千葉がテキトーな、と言われるに決まってるが、
ちょっとラリュエルっぽさがある気がした。むしろラリュエルについて考えたくなった。
と言ってもわかる人がほぼいないわけだが。ラリュエルの論理構造をある程度読んでる人は日本に数人しかいないと思うので。
数学にはその正しさの承認があるから、世紀の大理論が公共的に認められるけど、哲学だと曖昧になってしまう。
デリダによる脱構築の発明とかって、数学者の大理論に匹敵すると思うが、そういう扱いは受けない。
省2
835(1): 2022/04/30(土)23:14 ID:Vf6bDvV+(24/26) AAS
>>834
ありがとうございます
その話は面白いね
フランスは哲学が盛んなんだね
数学者のヴェイユの妹が、哲学者だったかな
外部ﾘﾝｸ:ja.wikipedia.org
シモーヌ・ヴェイユ（ヴェーユ、Simone Weil, 1909年2月3日 - 1943年8月24日）は、フランスの哲学者である。父はユダヤ系の医師で、数学者のアンドレ・ヴェイユは兄である。
ヴェイユは第二次世界大戦中に英国アシュフォード（ケント）でほぼ無名のまま客死した（享年34）。戦後、知人に託されていたノート(カイエ)を編集した箴言集『重力と恩寵』が出版され、ベストセラーとなった。その後もあちこちに残されていた膨大な原稿・手紙・ノート類を、知人やヴェイユの思想に感銘を受けたカミュが編集・出版するにつれてその深い思索への評価は高まり、多言語で翻訳されるようになった。遺稿は政治思想、歴史論、神学思想、労働哲学、人生論、詩、未完の戯曲、日記、手紙など多岐に渡る。
外部ﾘﾝｸ:ja.wikipedia.org
千葉 雅也（ちば まさや、1978年12月14日 - ）は、日本の哲学者、小説家。 研究分野は哲学および表象文化論。学位は博士（学術）（東京大学・課程博士[2]・2012年）。立命館大学大学院先端総合学術研究科、同大学衣笠総合研究機構生存学研究所教授。栃木県宇都宮市出身。
省7
836(2): 2022/04/30(土)23:15 ID:Vf6bDvV+(25/26) AAS
>>835
つづき
外部ﾘﾝｸ:ja.wikipedia.org
フランソワ・ラリュエル（Francois Laruelle, 1937年8月22日 - ）は、フランスの哲学者。国際哲学コレージュとパリ第10大学ナンテールで教鞭を執った。1970年代初頭から執筆活動を開始し、これまでに約20冊の著作を発表している。高等師範学校の卒業生であるラリュエルは、非哲学（non-philosophy）という概念を提唱したことで知られる。
外部ﾘﾝｸ:ja.wikipedia.org
非哲学 (フランス語: non-philosophie）は、フランスの大陸哲学者フランソワ・ラリュエル（元国際哲学コレージュおよびパリ第十大学：ナンテール）が展開した概念である。
ラリュエルによる非哲学
ラリュエルは、（古代哲学から分析哲学、脱構築などに至る）あらゆる形態の哲学は、ある先行する決定を中心に構造化されているが、この決定に対して構成的に盲目のままであると主張する。ラリュエルがここで念頭に置いている「決定」は、世界を哲学的に把握するためになされる世界の弁証法的分割である。
(引用終り)
以上
837(1): 2022/04/30(土)23:42 ID:Vf6bDvV+(26/26) AAS
>>836
＞ラリュエルによる非哲学
「ラリュエルによる非哲学」は、哲学か？
もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾
”「ラリュエルによる非哲学」は、哲学ではない”？ では、それは何か？ きっと それを哲学的に考察する必要があるなｗ
まあ、冗談ですが
>望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
>一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
>全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。
望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います
省12
838(1): 2022/05/01(日)00:02 ID:txhCGf0/(1/7) AAS
>>836
>ラリュエルによる非哲学
「ラリュエルによる非哲学」は、哲学か？
もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾
”「ラリュエルによる非哲学」は、哲学ではない”？ では、それは何か？ きっと それを哲学的に考察する必要があるなｗ
まあ、冗談ですが
>望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。
>一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、
>全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。
望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います
省7
839: 2022/05/01(日)00:25 ID:txhCGf0/(2/7) AAS
>>837 追加
(参考)
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月） PDF
P16
§4. 宇宙際性と遠アーベル幾何
主定理: O-link の 左辺に対して、軽微な不定性を除いて、右辺の「異質」な環構造しか用いない言葉により、 明示的なアルゴリズムによる記述を与えることができる。解釈:「狭いパイプ」でしか繋がっていないような状況(=例えば、 宇宙船にいる宇宙飛行士や地下の鉱山で働く作業員等)において、 限られた情報を賢く利用することによって「向こう側」の状況を復元し、 把握することができる。
P18
宇宙=集合に対するラベル付けの仕組み の変換
(引用終り)
省2
840: 2022/05/01(日)02:38 ID:6LpCNPT7(1) AAS
>>703
判決前例を知らないの？故意にしろテメェで曝した個人情報はテメェの責任でしかなくなる事が示され済み｡
しっかし、だから、女みたいな口調で書くなって言っとるじゃろ｡
しっかし、何ぞ？女の悪い所を煮詰めた様な雰囲気を滲み出させるほどの悪化が見受けられる、そのフェミニン口調は？
知っとるか？男のド腐れは「桁違いの違う仕打ち」で治してやる事が出来るが
昭和の死語『女の腐ったのより酷い』奴は、『立場を落としつつ桁違いどころか次元が違う仕打ち』でないと治せん事を｡
何故かは知らんが、育ちの男女差に理由がある様じゃ。外遊びしてる人間ほど空間認識能力や危機感が育つ事が
最近は言われとるが、そこに付け加え親が厳しく叱る時の男児女児の差にもある事は誰の目にも明らかじゃろう｡
つまりこれは男女差別的な評価ではあるが不当曲解評価ではなく正当事実評価である｡
841: 2022/05/01(日)07:14 AAS
中卒下げマス
「必要なのは、プログラムのコメントではなくプログラム自体」
に全く反論できず、フランス現代哲学とかいうホラ話に逃避
ほんとこいつ日本人失格のニホンザルだなｗ
842: 2022/05/01(日)07:29 AAS
外部ﾘﾝｸ:ja.wikipedia.org
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ラリュエルは、哲学の決定的構造は非哲学的にしか把握できないと主張している。
この意味で、非哲学は哲学についての科学である。
しかし、非哲学はメタ哲学ではない。
というのも、ラリュエル研究者のレイ・ブラシエが述べているように、
「哲学は既にその構成的な再帰性を通してメタ哲学的」だからである。
ブラシエはまた、非哲学を
「超越論的な公理を経て進行し、哲学的に解釈不可能な定理を生み出す
哲学の理論的実践」と定義している。
省21
843(1): 2022/05/01(日)07:35 AAS
ところで、推移律的な考えで接続していって
元のところに戻ってきたつもりが実はズレていた
というのはまさにモノドロミーであるｗ
対数関数のリーマン面もらせん面状であり
原点のまわりを一周してもどってくると
２πｉだけズレるのである
ここで望月新一のトリックとショルツの指摘が
つながっちゃうのである
したがって望月新一はショルツの
「モノドロミー、どうすんの？」
省6
844(1): 2022/05/01(日)07:39 AAS
テレンス・タオじゃないけど
「ABC予想が解けたっていうのに
任意のε＞０に対して
c > d^(1+ε)
（ｄは積 abc の互いに異なる素因数の積）
を満たす組 (a, b, c) の個数やらｃの上限やらについて
何の情報も得られないってなんか胡散臭くね？」
とは思う
845(3): 2022/05/01(日)09:24 ID:txhCGf0/(3/7) AAS
>>843
(引用開始)
ところで、推移律的な考えで接続していって
元のところに戻ってきたつもりが実はズレていた
というのはまさにモノドロミーであるｗ
対数関数のリーマン面もらせん面状であり
原点のまわりを一周してもどってくると
２πｉだけズレるのである
ここで望月新一のトリックとショルツの指摘が
つながっちゃうのである
省17
846(1): 2022/05/01(日)09:24 ID:txhCGf0/(4/7) AAS
>>845
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
リーマン面
全てのリーマン面は向きづけ可能な実 2 次元の実解析的多様体（従って曲面）であって、正則関数を一義的に定義するために必要な追加的構造（特に複素構造）を含む。
リーマン面は、でき得る限り良い特性を有しているという幾何学的事実から、他の曲線、多様体または代数多様体に対し一般化の直感および動機をしばしばもたらす。リーマン・ロッホの定理は、この影響の第一の例である。
外部ﾘﾝｸ:ja.wikipedia.org
楕円曲線（だえんきょくせん、英: elliptic curve）とは種数 1 の非特異な射影代数曲線、さらに一般的には、特定の基点 O を持つ種数 1 の代数曲線を言う[1]。
楕円関数論を使い、複素数上で定義された楕円曲線はトーラスの複素射影平面（英語版）への埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。
省4
847: 2022/05/01(日)09:33 AAS
>>845
>>ところで、推移律的な考えで接続していって
>>元のところに戻ってきたつもりが実はズレていた
>>というのはまさにモノドロミーであるｗ
（中略）
>>したがって望月新一はショルツの
>>「モノドロミー、どうすんの？」
>>に真正面から回答して論破して見せる必要がある
>>できなきゃ望月新一の負けである
＞そこは同意。
省14
848(1): 2022/05/01(日)09:35 ID:txhCGf0/(5/7) AAS
>>844
>テレンス・タオじゃないけど
>「ABC予想が解けたっていうのに
> （ｄは積 abc の互いに異なる素因数の積）
> を満たす組 (a, b, c) の個数やらｃの上限やらについて
> 何の情報も得られないってなんか胡散臭くね？」
テレンス・タオの批判は、下記の”Explicit Estimates ・・”が出る前の批判でしょ？
組 (a, b, c) の個数やらｃの上限について、下記に多少の記載はあるよ
ちょっと覗いてみて（Introductionとか、μ6-Theory for [IUTchIV] 32 あたりを）
(参考)
省7
849: 2022/05/01(日)09:41 ID:BSGlvyYe(1) AAS
ショルツェや望月ほどではなくても
この程度のモノドロミーなら
高校生にも理解できる。
だから、この言葉を弄り回しても
多くは得られないだろう。
Nスぺでは望月は(踏み込んだ)説明は
数学者相手でも難しいと言ったそうだし
ショルツェはといえば
この件に関しては
もう一切語りたくないということだった。
850(3): 2022/05/01(日)09:45 AAS
>>846
＞log(z+2πni)=log(z)
＞として、それで止まるのが普通の人
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
そもそも
log(z+2πni)=log(z)
が誤りだぞｗ
下げマス、logも理解できないのか？ｗｗｗ
＞しかし、log(z+2πni)=log(z)
＞とすると、一価関数でないという欠点がある
省19
851: 2022/05/01(日)09:50 AAS
>>845
＞楕円曲線を種数1の複素トーラスとして、
＞二重周期を持つ格子で割った
＞商空間と考える・・・
下げマス、日本語も正しく書けないのか？
正しい日本語の文章は以下
「楕円曲線を種数1の複素トーラスとして、
”複素平面を”二重周期を持つ格子で割った
商空間と考える」
省4
852(1): 2022/05/01(日)10:00 AAS
>>848
Explicit Estimatesで組 (a, b, c) の個数やらｃの上限が評価できるなら
その結果ついて具体的なεで反例があるかどうかチェックしたかね？
反例が見つかっていないから正しい、とはいえないが
少なくともその程度はやってほしいね
853(1): 2022/05/01(日)13:53 ID:Xw2KCRRH(1) AAS
IUT肯定派でさえCor 3.12の証明どころかΘやqが何を意味してるのかすら語れないぐらいだしもうダメだろうな
854(3): 2022/05/01(日)15:02 ID:txhCGf0/(6/7) AAS
>>850
>log(z+2πni)=log(z)
>が誤りだぞｗ
ああ、訂正ありがと
正しくは下記だな
だから、z = reiθ・e 2πin
を考えろってことね
外部ﾘﾝｸ:ja.wikipedia.org
複素対数函数
極形式を用いて z = reiθ (r > 0) と書くならば、w = ln r + iθ は z の対数の一つを与えるが、これに 2πi の任意の整数倍を加えたもので z の対数はすべて尽くされる[1]。
省11
855(1): 2022/05/01(日)15:52 ID:txhCGf0/(7/7) AAS
>>854 補足
>その結果ついて具体的なεで反例があるかどうかチェックしたかね？
Explicit Estimatesの論文が出たときに、下記数値と比較した記憶がある
そのときのレスも、過去スレにあると思うが
ともかく、Explicit Estimatesの数値は、下記との比較で「荒い」という印象を受けた
まだまだ、改善・改良の余地ありと思う
外部ﾘﾝｸ:ja.wikipedia.org
ABC予想
4 コンピューティング（演算）による成果
q は上記で定義した abc-triple (a, b, c) の質 q(a, b, c) である。このとき、c の上限によって、質 q は以下のような分布を取る。
省10
856: 2022/05/01(日)16:02 AAS
>>854
＞ああ、訂正ありがと
＞正しくは下記だな
＞だから、z = reiθ・e 2πinを考えろってことね
全然違う 考えろ？
日本語も正しく書けないのか？
サルか？え？人間になりそこねたサルか？
exp(z)が周期関数だから
その逆関数である
log(z)は必然的に多価関数
省5
857: 2022/05/01(日)16:05 AAS
>>854-855
Explicit Estimatesで示されている数値とはなにか？
貴様、やっぱり、ABC予想から全然わかってないな
εが変わればｃの上限は変わるぞ 定数じゃなく関数
そんなことも分からん馬鹿か貴様はｗ
858: 2022/05/01(日)16:20 ID:Mf8kAJsh(1) AAS
Nスぺだとabc予想の例外でないほうが本質みたいな言い方してたね
859: 2022/05/01(日)16:31 AAS
下げマスは、expとlogも正しく理解できてない中卒だと証明されたｗ
まったく、そんな馬鹿が国立大学の工学部に入れるわけなかろうが
万が一入れたとしても出られるわけがない
そんな奴がつくる製品なんか信頼でけんわ（嘲）
860(1): 2022/05/01(日)16:39 AAS
AA省
861: 2022/05/01(日)16:40 AAS
AA省
862(1): 2022/05/01(日)16:43 AAS
AA省
863: 2022/05/01(日)16:45 AAS
AA省
864: 2022/05/01(日)16:51 AAS
逆関数も分からん下げマスが、
d(log(w))/dw=1/w
を理解してるとは思えんｗ
関数w(z)の微分が以下の等式を満たすとする
dw/dz=w
その場合逆関数z(w)は以下の等式を満たす
dz/dw=1/w
下げマスは 写像fの核 Ker f も理解できんのと違うか？ｗ
それじゃ代数分かるわけないわｗｗｗ
865: 2022/05/01(日)16:58 AAS
下げマスはかつて
「正方行列の全体は（乗法で）群を成す
なぜなら任意の正方行列は逆行列をもつから
余因子展開の公式で計算できる（キリッ）」
と発言し、速攻でこう返された
「じゃ、行列式０の行列の逆行列、計算してくれる？」
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
下げマスは出来が悪いオチコボレだから
わけもわからず公式だけ丸暗記し
「これでおれは数学を全て理解した」(￣ー￣)
省3
866(1): 2022/05/01(日)16:58 ID:Y7jiIfKx(1) AAS
この理論の場合のモノドロミーの話ってのは具体的にどういうことなんです？
867: 2022/05/01(日)17:00 AAS
下げマスは 論理的な思考が必要な数学は必ずといっていいほど間違えるｗ
要するに漫然と計算するしか能がないサルだからｗ
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
868: 2022/05/01(日)17:05 AAS
>>866
＞この理論（＝IUT？）の場合のモノドロミーの話ってのは
＞具体的にどういうことなんです？
そういうマジメな話は以下の正統スレでするとマジメな人が答えてくれる
Inter-universal geometry とABC 予想49
2chｽﾚ:math
ここは下げマスとかいう粋がった中卒馬鹿が、わけもわからず
「望月新一は日本人だから彼のいうことは全て正しい」（キリッ）
という狂った信仰のもとに立てた正真正銘の💩スレなので
マジメな質問をしても内容空疎な発言と
省3
869: 2022/05/01(日)20:12 ID:/jbNwAea(1/2) AAS
>>303
一応あグロ
870: 2022/05/01(日)20:12 ID:/jbNwAea(2/2) AAS
>>315
一応ダブルあグロ
871(1): 2022/05/02(月)02:25 ID:a6j6J2kp(1/2) AAS
>>850
『学問価値片っ端から下げmath』は先月じゃか先々月じゃったか
数学理学の理解に対する自信を深める為に遥か先を先取りする事を常習しとる事をゲロっとったな｡
つまり高括り且つ出鱈目解釈で自ら虚飾に塗れ尽くした自信造り、要するにデフォで過信造り｡
自らの理解そのものの確度ではなく理解の自信の確度を深めると言う､
素人ゴルファーの練習方法にも有りがちな「自主練量を下手に拡大し過ぎて『下手を固める』」下策の更なる改悪版｡
こんな奴に数学解説流布を許し罷り通ってるのは、ある意味アカデミア文化の敗北｡
まぁ此奴に正しい解説なんて読める知力は無いんじゃが｡
正に『非学者、論に負けず。』の諺を体現せし非学独善自説開陳者。世界共通公害｡
872(1): 2022/05/02(月)04:12 ID:a6j6J2kp(2/2) AAS
>>850
『学問価値片っ端から下げmath』は先月じゃか先々月じゃったか
数学理学の理解に対する自信を深める為に遥か先を先取りする事を常習しとる事をゲロっとったな｡
つまり高括り且つ出鱈目解釈で自ら虚飾に塗れ尽くした自信造り、要するにデフォで過信造り｡
自らの理解そのものの確度ではなく理解の自信の確度を深めると言う､
素人ゴルファーの練習方法にも有りがちな「自主練量を下手に拡大し過ぎて『下手を固める』」下策の更なる改悪版｡
こんな奴に数学解説流布を許し罷り通ってるのは、ある意味アカデミア文化の敗北｡
まぁ此奴に正しい解説なんて読める知力は無いんじゃが｡
正に『非学者、論に負けず。』の諺を体現せし非学独善自説開陳者。世界共通公害｡
873: 2022/05/02(月)08:28 ID:vQOHScQM(1) AAS
>>871-872
蕎麦屋さん、ご苦労様です
ところで、あんたも数学素人だろ？
素人が素人相手に、玄人談議か？
ご苦労様ですｗ
874(1): 2022/05/02(月)17:11 ID:w+MjblLF(1) AAS
ブログ更新したね
875: 2022/05/02(月)18:03 ID:/hdzuoX2(1/2) AAS
哲学者や宗教関係者っぽいひとが食いつくトンデモな説明だったとさ。
876: 2022/05/02(月)18:07 ID:D32+lJLN(1) AAS
>>874
有益な情報ありがとうございます。
見ました
面白いところ抜粋します
（参考）
外部ﾘﾝｸ:plaza.rakuten.co.jp
望月新一
2022.05.02
2022年4月のNHKスペシャルに対する「合格発表」： 前半はぎりぎり合格、後半は不合格
残念ながら、多くの視聴者の誤解を招くような、様々な不正確な内容もありました。誤解や不正確な情報の拡散に歯止めを掛けるためにも、また最も中核的な当事者である私自身の考えに関する明示的な記録・「証言」を残すためにも、番組内の不正確な内容について、この度、ブログ記事という形で補足的な解説を公開し、警鐘を鳴らすことに致しました。
省9
877: 2022/05/02(月)18:43 ID:/hdzuoX2(2/2) AAS
Hiroyasu Kamo
@kamo_hiroyasu
・
4月12日
「同じものを違うとみなす」が数学の伝統に反するは言い過ぎ。同じ台集合に違う位相を入れてみるなんて普通にすることです。#数学者は宇宙をつなげるか
878: 2022/05/02(月)20:22 ID:Bm4ClGqt(1) AAS
フィールズ賞受賞者の3人
ペーター・ショルツはCondensed mathematicsのコンピュータによる証明に取り組んだ
ウラジーミル・ヴォエヴォドスキーはunivalentのアイデアを用いてコンピュータによる証明に取り組んだ
ティモシー・ガワーズは距離空間における数学的問題を解決するコンピュータプログラムに取り組んだ
日本の数学者ってこういう優秀な数学者がやってきたような取り組みやってる？
879(2): 2022/05/03(火)10:25 ID:ozawVvfN(1/3) AAS
ファルティングスに対する嫌みとか
京都に帰ってきてからしばらく死にそうだったとか、
よっぽどアメリカ生活が合わなかったんだろうな
アメリカ人の血が半分流れているのに
ここまで合わないのって珍しいんじゃないかね
880(2): 2022/05/03(火)12:09 ID:dXE12YVX(1) AAS
>>879
アメリカに住んでたことあるけど、面白くも無いのにハーイって、作り笑顔したり、けっこう疲れるよ
881(1): 2022/05/03(火)13:02 ID:tW03F0xO(1/13) AAS
>>879-880
>アメリカ人の血が半分流れているのに
>ここまで合わないのって珍しいんじゃないかね
>アメリカに住んでたことあるけど、面白くも無いのにハーイって、作り笑顔したり、けっこう疲れるよ
どうもです
細かくは、存じ上げないが
・職場の雰囲気と人間関係
・転校や飛び級を繰り返したので、クラスメートとかの人間関係が希薄（友だちがいない）
・若くして、米大学数学教員として、多分、望月氏は教師としては、教え方が下手だと思う
「なんで、こんなことが分からんの？」みたいな
省7
882(1): [sag] 2022/05/03(火)13:09 ID:6VtcLbaw(1/2) AAS
ショルツェがｐ進幾何や幾何的ラングランズで
どんどん成果を上げてる今日この頃ＩＵＴには
何の進展も見られないようだが、大丈夫なのか
883(1): 2022/05/03(火)13:23 ID:tW03F0xO(2/13) AAS
望月ブログに
ちょっとコメントしておきます
まず、望月新一先生は、自分が「スーパーサイヤ人」だということに気付いていない
（例えれば、普通の人が居て、プロ数学者が「サイヤ人」クラスとして）
外部ﾘﾝｸ:plaza.rakuten.co.jp
望月新一
2022.05.02
2022年4月のNHKスペシャルに対する「合格発表」： 前半はぎりぎり合格、後半は不合格
から引用
?・”不思議な形で繋がった状態の?
省7
884(1): 2022/05/03(火)13:24 ID:tW03F0xO(3/13) AAS
>>883
つづき
・”数学的に・論理的に相容れない、二つの主張を同時に肯定しないと気が済まないという、??
NHKの制作陣の方針上の矛盾を、無理矢理、?
理論の数学的内容に責任転嫁しようとする、?
制作陣の、まさしく文字通り無責任な姿勢が窺えます”
が、全くNHKに対する非常識な批判で、そんなことを、普通人のNHKに要求するのは酷です
（同様の普通人のNHKに対する勘違い多数）
・”ファルティングス氏の場合
インタビューでは、数学の理論は、論文を丁寧に読まなくても大まかな方針・アイデアを手短に伝えただけで理論の正否が判断できるものでないといけないことを主張しています。まず、一般論のレベルで考えても、これは全く可笑しな話”
省7
885: 2022/05/03(火)13:28 ID:tW03F0xO(4/13) AAS
>>882
かなり同意です
特に、IUT周辺の若手たち
>ショルツェがｐ進幾何や幾何的ラングランズで
>どんどん成果を上げてる今日この頃ＩＵＴには
>何の進展も見られないようだが、大丈夫なのか
IUTも成果上げているけど
世間から認められない
若手からすれば
20年後に認められても
省5
886(1): 2022/05/03(火)14:19 ID:tW03F0xO(5/13) AAS
>>884 補足
>・”ファルティングス氏の場合
> インタビューでは、数学の理論は、論文を丁寧に読まなくても大まかな方針・アイデアを手短に伝えただけで理論の正否が判断できるものでないといけないことを主張しています。まず、一般論のレベルで考えても、これは全く可笑しな話”
> だけど、私は、ファルティングス氏が正しいと思う。普通人でも、IUTを理解したいと思っている（だからNHKスペシャルが皆から見られる）
> サイヤ人の数学者たちも同様。天才スーパーサイヤ人には、理解できないみたい
若くして飛び級
そして、”16歳でプリンストン大学へ進学、19歳で学士課程を卒業（次席）[7]。23歳で博士課程を修了しPh.D.を取得[2]”>>881という
天才スーパーサイヤ人には
1）RIMSの予算が国民の税金なんだということ
2）国家予算は、文科省の文系のお役人が査定し決めている（最終決定は国会としても、予算案は文系のお役人）
省9
887: 2022/05/03(火)14:23 ID:tW03F0xO(6/13) AAS
>>886
補足の補足
天才スーパーサイヤ人には
俗世間の下世話な話が理解できないんだろうね
高等数学は理解できてもね
それが言いたかったことです
888: [sag] 2022/05/03(火)15:27 ID:6VtcLbaw(2/2) AAS
加藤和也氏やファルティンクスに匙投げられたら終わり
若手がいくら頑張っても理解できないしどうにもならん
889: 2022/05/03(火)15:50 ID:G//wsbk5(1) AAS
デュプイじゃなくてファルティングスに味方について欲しかったんだろうね
支持者にファルティングスがいるのといないのでは見え方も全然違うだろうし
IUT周辺に秀才が集まらないからどうしようもない
890(1): 2022/05/03(火)16:51 ID:fc6LQ7Gl(1) AAS
近くの若手が「今自分は変革の瞬間に立ち会っている」とか言うのでなくて
自分でIUT使って何か研究しないことには何も進まないし学界で理解も得られない
891(2): 2022/05/03(火)17:51 ID:tW03F0xO(7/13) AAS
>>890
>自分でIUT使って何か研究しないことには何も進まないし学界で理解も得られない
同意
それはそう思う
あと、望月ブログの
”論文を丁寧に読んでなおかつ場合によっては相当の時間をその内容の消化・理解に費やさないと、論文の内容を理解することはできません。これは数学全般に通じる常識と言い切ってよいと思います。なお、ファルティングス氏の場合、ご本人の研究（＝1980年代後半の、p進ホッジ理論における「殆どエタール拡大」の研究が特にそうですが）の歴史的経緯から考えても上述の主張はとても不思議な主張に聞こえます。ご本人の研究論文の場合、他のp進ホッジ理論の専門家が論文のアイデアをちょっと聞いただけで論文の正否の判断が簡単にできたかというと、実態は（関係者の間ではよく知られている話ですが）それには程遠いものでした。実際、同氏は当時、まさに自分の論文を丁寧に読んでくれる研究者が余りいないことによって的外れな批判が多発しているだけだと盛んに主張していたように記憶しております。つまり、同氏の主張を時間軸に沿って総括しますと、「自分の論文を丁寧に読んでくれない研究者は断じて許せないが、他者の論文を丁寧に読むことを自分に期待するなんて到底承服できない」という、身勝手極まりない、一方的な主張のようにしか聞こえません。”
ここ、望月氏はちょっとおかしい
・例えば、いまどき、EGAやSGAで代数幾何を学ぶ人少ないと思う。いま、いろんな人のテキストが出ている
・モーデル予想/ファルティングスの定理も、下記の解説本出ているし、21世紀のいま原論文を読むこともない（読みたい人を否定しないが）
（ガロアの第一論文の解説本など百冊以上出ている）
省2
892: 2022/05/03(火)17:51 ID:tW03F0xO(8/13) AAS
>>891
つづき
外部ﾘﾝｸ:ja.wikipedia.org
ゲルト・ファルティングス
外部ﾘﾝｸ:ja.wikipedia.org
モーデル予想/ファルティングスの定理
外部ﾘﾝｸ:www.アマゾン
モーデル‐ファルティングスの定理―ディオファントス幾何からの完全証明 (ライブラリ数理科学のための数学とその展開) Tankobon Hardcover ? April 25, 2017
by 森脇 淳 (著), 川口 周 (著), 生駒 英晃 (著)サイエンス社
susumukuni
省6
893: 2022/05/03(火)18:01 ID:tW03F0xO(9/13) AAS
>>891 補足
>・例えば、いまどき、EGAやSGAで代数幾何を学ぶ人少ないと思う。いま、いろんな人のテキストが出ている
>・モーデル予想/ファルティングスの定理も、下記の解説本出ている
モッチは、スーパーサイヤ人だから、普通人のことが 分かってない
それと、専門の論文と上記解説本との差も分かってない
1）専門の論文は、紙数の制限もあり、あくまでその分野のエキスパートが、読めるように書けば可
2）一方、解説本は、学部なり院生向けで、想定読者のレベルを下げて、不足する知識を丁寧に補いながら
かつ、多少冗長でも分かり易い表現で、分かり易い例示も入れ、たまにエクセサイズで読み手の理解を確認しながら、
その理論について、原論文よりも楽に、学習者に理解させようとするもの
3）スーパーサイヤ人は、「解説本なんかいらね」「原論文読んだ方が早い」「おれはEGA、SGA読んだぞ」なんだろうね、本音はｗ
省1
894: 2022/05/03(火)18:09 ID:HMt5BDDX(1) AAS
数論系の人あるあるやろ
なんでも使う、なんでも知ってるが突っ込んだ事はなんも知らん
実はあんまり詳しく知らない事をちゃんと自覚してれば問題は起こらないハズだけど、その自覚が足りなかったから暴走してしまったんやろ
895: 2022/05/03(火)18:26 ID:tW03F0xO(10/13) AAS
まあ、ブログ読む限り
ちゃんと、説明しよう、説明すべき
そういう意識が希薄だね
また、説明のスキルもあんまり無いみたい
天才スーパーサイヤ人に、あるあるかもね
896: 2022/05/03(火)18:31 ID:ya/j8L/z(1) AAS
能力の問題ではないぞ
加藤和也は解説については遅筆で有名だが、しかしそれなりにちゃんと書いてるだろう
望月も30そこそこの頃にはちゃんと解説文を寄稿していただろう
心理的にはIUTに関して過保護的に警戒を強めているというのが真相ではないか
897(1): 2022/05/03(火)18:33 ID:CDJ5oY6c(1) AAS
望月氏の言う通り、ファルティングスの論文は読みにくいものなのか？
専門家には読んで理解できるものではないのか？
898(1): 2022/05/03(火)18:47 ID:ozawVvfN(2/3) AAS
「ＮＨＫは国民の血税でまかなわれている」
とか書いてあるし
相当世間知らずだよね、このひと
頭はいいんだろうけど
899: 2022/05/03(火)19:02 ID:x3TXocm1(1) AAS
>>880
> アメリカに住んでたことあるけど、面白くも無いのにハーイって、作り笑顔したり、けっこう疲れるよ
いや、あれこそが移住民主体の国アメリカのコミュニケーション｡
ボイストレーニングにしてみてもアメリカでは歌唱時発声力訓練ではなく会話時発声個性大袈裟化訓練の事｡
デコにシワが寄らせる話ぶりだの顔を一々、斜に向けたりだの、下唇をひんむく発声だの､
あれが急激に多民族を集結し過ぎたが為のコミュニケーション。あの作り顔反応も現地では単なるサイン｡
900: 2022/05/03(火)21:08 ID:tW03F0xO(11/13) AAS
>>898
>「ＮＨＫは国民の血税でまかなわれている」
まあ、半分冗談で半分本気です
例えば、国民健康保険がある
国民健康保険料＝税なんですよ（下記）
NHK受信料は？
法律によって、半税金化されています（下記の通りです）
外部ﾘﾝｸ[html]:www.mhlw.go.jp
厚生労働省
各法令の規定に基づき、具体的な国民健康保険料（税）の算定方法や徴収期限・方法などについて、各市町村の条例（国民健康保険組合の場合は規約）などで定められています。国民健康保険料（税）は、世帯単位で算定し、世帯の被保険者ごとに応益分・応能分の各種類を計算し、それらを合計したものとなります。
省5
901(1): 2022/05/03(火)22:31 ID:tW03F0xO(12/13) AAS
>>897
>ファルティングスの論文は読みにくいものなのか？
本当にそうかは知らない
下記は別の例だが
"[V1] はとても読みにくい論文である"
”まだまだ発展途上であったし、現在では考えられないよ
うな間違いも含まれていた”
ってありそうですよね
良いんじゃね？ 間違いや、読みにくさ、そういうのも、数学者のメシのタネだろう
(参考)
省20
902: 2022/05/03(火)22:32 ID:tW03F0xO(13/13) AAS
>>901
つづき
私の対数的小平次元に関する飯高予想の論文
[F5] は、中山の数値的小平次元に関する Lehmann の論文に穴が見つかっ
たことにより、証明に穴が空いた。この Lehmann の論文の穴は影響力大
で、極小モデル理論の基本的な結果の証明にも一瞬穴が空いてしまった
ほどである。その穴は未だ塞がれていないが、応用に必要な程度の少し弱
い不等式を証明するという方向で一応の解決を得ている ([F9] 参照)。ま
た、f?ω○xmX/Y のネフ性に関する論文は思いのほかさっさと掲載が決まった
のであるが、出版されるなり証明に穴を見つけてしまうという大失態を
省6
903(1): 2022/05/03(火)23:35 ID:ozawVvfN(3/3) AAS
一応味方のはずのデュピュイだけでなく
制作協力の星さんや文元の顔にまで泥ぬってるもんなあ
IUTの内容の晦渋さもさることながら、本人の性格の異常な面倒くささも
理論普及の大きな足かせになってると思うぞｗ
904(1): 2022/05/04(水)00:37 ID:hCJqhNoE(1) AAS
IUTはやっぱだめだったんだろうなと俺は思ってるけど、あのブログでのNHK批判周りは
割とまともだと思ったがな。
905(1): 2022/05/04(水)02:50 ID:VC0XffWw(1/2) AAS
相対性理論を英語圏に紹介して広めたアーサー・エディントンのような存在が必要かも
一人の人間が発信するだけでは駄目で複数の人がそれぞれの言葉で語り直すことによって
理論は広まっていく
906: 2022/05/04(水)07:21 ID:GBk2MoT6(1/4) AAS
レスありがとうございます。
>>905
>相対性理論を英語圏に紹介して広めたアーサー・エディントンのような存在が必要かも
同意です。東工大に期待したい。東工大で、「IUT入門」みたいな講義で1年ものをやったらどうか？ 星先生にも協力を願って
>>904
>あのブログでのNHK批判周りは
>割とまともだと思ったがな。
NHKが、数学的に”まとはずれ”な部分がある にはその通りと思うけど
NHKは、天才スーパーサイヤ人ではないし、視聴者の多くも天才スーパーサイヤ人ではないからね
例えば、望月ブログ 外部ﾘﾝｸ:plaza.rakuten.co.jp
省13
907(2): 2022/05/04(水)11:21 ID:VC0XffWw(2/2) AAS
相対性理論を英語圏に紹介して広めたアーサー・エディントンのような存在が必要かも
一人の人間が発信するだけでは駄目で複数の人がそれぞれの言葉で語り直すことによって
理論は広まっていく
908(1): 2022/05/04(水)15:28 ID:GBk2MoT6(2/4) AAS
>>907
>一人の人間が発信するだけでは駄目で複数の人がそれぞれの言葉で語り直すことによって
>理論は広まっていく
完全同意
望月おじさん、きっと天才すぎ
彼は、数学で「難しくて理解できない」ということが殆ど無かったのかもしれない
望月ブログ 外部ﾘﾝｸ:plaza.rakuten.co.jp より
ファルティングス氏の場合
”大まかな方針・アイデアを聞いただけで理論の正否の判断が付くことがあるとしても、多くの場合、つまり読む側の研究者が偶々慣れ親しんでいる範囲から外れている数学的手法を用いる論文ですと、論文を丁寧に読んでなおかつ場合によっては相当の時間をその内容の消化・理解に費やさないと、論文の内容を理解することはできません。これは数学全般に通じる常識と言い切ってよいと思います。”
って、違う気がする
省11
909: 2022/05/04(水)15:58 ID:GBk2MoT6(3/4) AAS
ワイルズによるフェルマーの最終定理の証明
下記で、3通りの証明の解説が出ている
（3次元）ポアンカレ予想についても、いろいろ解説が出ている
IUTにも、それがあっても良い時期じゃね？
外部ﾘﾝｸ:ja.wikipedia.org
ワイルズによるフェルマーの最終定理の証明
3 証明の発表とその後の発展
3.1 証明の発表と最終的な証明 (1993?1995)
3.2 その後の発展
6.1 ワイルズの証明の解説
省14
上下前次1-新書関写板覧索設栞歴
あと 93 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.057s