[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 65 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 65 http://rio2016.5ch.net/test/read.cgi/math/1644632425/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
815: 132人目の素数さん [sage] 2022/04/30(土) 14:38:51.30 ABC予想 「a + b = cを満たす、互いに素な自然数の組 (a, b, c) に対し、 積 abc の互いに異なる素因数の積を d と表す。 このとき、任意の ε > 0 に対して、 c > d^(1+ε) を満たす組 (a, b, c) は高々有限個しか存在しない」 もし 「任意の ε > 0 に対して、 c > d^(1+ε) (dは積 abc の互いに異なる素因数の積) を満たす組 (a, b, c) の全てを列挙するプログラム」 が書けるならそれがまさに 「疑いの余地がない、ABC予
想の初等的証明」 http://rio2016.5ch.net/test/read.cgi/math/1644632425/815
816: 132人目の素数さん [sage] 2022/04/30(土) 14:46:44.30 >>815の追記 いっておくがプログラムというからには停止する必要がある (現実には”停止しないプログラム”もあるが、 別にOSとかリアルタイム制御システムの話 をしてるわけではないので除外する) つまり何が言いたいのかというと、 「与えられたε>0について 延々と(無限に存在する)(a,b,c)の組をチェックして c > d^(1+ε) を満たすものだけを列挙しつづけるプログラム」 が、ある出力のあと、延々と何も出力しない、という状況は 証
明とは言えないということ (つまり、これが最後だ!と言い切れることが重要) http://rio2016.5ch.net/test/read.cgi/math/1644632425/816
817: 132人目の素数さん [sage] 2022/04/30(土) 14:53:12.86 ID:fC6aB6+3 その考えだと有限個以外0という条件は人間にしか使えないのか たとえば自然数の列 1,2,...,n,... これも人間にしか考えられないのかな http://rio2016.5ch.net/test/read.cgi/math/1644632425/817
818: 132人目の素数さん [sage] 2022/04/30(土) 15:02:41.63 >>817 0個、つまり存在しない場合 「存在しない」と出力する http://rio2016.5ch.net/test/read.cgi/math/1644632425/818
819: 132人目の素数さん [] 2022/04/30(土) 15:17:10.22 ID:UbP0G6x1 >>814 ショルツエは可読できてなかった。 取り下げた5月のSS文書は特に。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/819
820: 132人目の素数さん [sage] 2022/04/30(土) 15:18:47.67 ID:fC6aB6+3 形式言語及び有限オートマトンを勉強してから質問します http://rio2016.5ch.net/test/read.cgi/math/1644632425/820
821: 132人目の素数さん [sage] 2022/04/30(土) 15:31:30.84 ID:QDqkNpTQ >>819 たれwww 英語やドイツ語はlimたれwww http://rio2016.5ch.net/test/read.cgi/math/1644632425/821
822: 132人目の素数さん [sage] 2022/04/30(土) 15:33:43.79 ID:QDqkNpTQ ぉ慈悲~ ぉ慈悲~ たれwww http://rio2016.5ch.net/test/read.cgi/math/1644632425/822
823: 132人目の素数さん [] 2022/04/30(土) 16:00:05.66 ID:Vf6bDvV+ >>814 どうもです >その後の9月のSS文書だけが公開で残っているけど、 >あの5月のSS文書への望月質問の回答は、確かに答えないままだが、どうなったのだろう。 いや、いろいろ公開あるよ 下記をご参照 https://www.kurims.kyoto-u.ac.jp/~motizuki/research-japanese.html 望月新一 過去と現在 ・2018年3月、数理研で行なわれたIUTeichに関する議論を纏めた報告書 (および関連文書) https://www.kurims.kyoto-u.ac.jp/~motizuki/IUTch-discussions-2
018-03.html [SS2018-05] May 2018 Report by the other participants in the March 2018 discussions https://www.kurims.kyoto-u.ac.jp/~motizuki/protectedpdf-2018-05/SS2018-05.pdf [Cmt2018-05] Comments on [SS2018-05] by Shinichi Mochizuki https://www.kurims.kyoto-u.ac.jp/~motizuki/Cmt2018-05.pdf [SS2018-08] August 2018 Report by the other participants in the March 2018 discussions 略 [Cmt2018-08] Comments on [SS2018-08] by Shinichi Mochizuki 略 (その他も略します) http://rio2016.5ch.net/test/read.cgi/math/1
644632425/823
824: 132人目の素数さん [sage] 2022/04/30(土) 16:24:02.15 >>823 下げマスはまず望月新一に以下の件泣きついて頼んでみろよwww 「ネットの馬鹿どもから ”ABC予想が正しいっていうんなら 任意の ε > 0 に対して、 c > d^(1+ε) (dは積 abc の互いに異なる素因数の積) を満たす組 (a, b, c) の全てを列挙するプログラム” が書けるだろ、書いてみろやwww” となじられます。 クヤシイんでプログラム書いてください(><)」 http://rio2016.5ch.net/test/read.cgi/math/16446324
25/824
825: 132人目の素数さん [sage] 2022/04/30(土) 16:28:11.77 >>824の続き なんなら 「組 (a, b, c) の全て」を 「最大のcの組(a,b,c)」に 変えてやってもいいぞw (有限個だから必ず存在する) http://rio2016.5ch.net/test/read.cgi/math/1644632425/825
826: 132人目の素数さん [sage] 2022/04/30(土) 17:16:28.24 ID:fC6aB6+3 >>824 w http://rio2016.5ch.net/test/read.cgi/math/1644632425/826
827: 132人目の素数さん [] 2022/04/30(土) 17:49:37.83 ID:vde4VtIl >>823 >>753での ショルツェが >証明が可読でない、からの流れだよ。 >いや、いろいろ公開あるよ >下記をご参照 は、フェセンコのレポートを、もう少しゆっくり読んでみましょう。 >>770で、 >ドイツの数学者は自分たちのレポートをオンラインで利用できるようにするつもりでしたが、 IUTの著者の包括的なレポート20とこれらのコメント21を読んだ後、彼らは考えを変え、 その時点で自分のレポートを投稿する計画を断念しました。 ⇒>>823は
、5月に望月に送付された第1版のSS文書で望月側が公開したのですが、SS側が公開を取り下げたとあります。 ⇒第1版はSSの初歩的な評価が出てました。 >彼らの報告に関する彼の包括的な報告の中で、IUTの著者はドイツの数学者に彼らの過ちを理解するのを助けたかもしれないいくつかの質問を作成しました22。しかし、彼らの報告の第2版はそれらの質問に対処できませんでした。 ⇒第2版(現在SSが9月度に公開したもの)は、第1版と違う内容で、第1版の望月質問に対処がない。 別に大したことではないが、2018年9月の第2版の内容以前で、 5
月の第1版が、望月いわく学部レベルで、アドバイス的な質問付き回答となったが。 >彼らの報告の第2版はそれらの質問に対処できまぜんでした。だから、 その流れを考えると、ショルツェが >証明が可読でない。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/827
828: 132人目の素数さん [] 2022/04/30(土) 19:53:36.76 ID:Vf6bDvV+ >>813 >いや >・プログラムの検証ですよ >・プログラムのバグとりもできたらいいですね >・プログラムの説明はその後のことですよ >プログラムにもなんにもなってない記述に >説明もヘッタクレもないですから あなたは、数学あんまし出来ないんじゃない? 事態を、抽象化して、その後に 個別具体的事象に当て嵌めるって そういう操作が苦手なのかな? まず、いま問題になっていることは、「可読性」>>752とは何かです (再録)>>752より
専門の論文の可読性は、読み手のレベル問題もあるのです 専門が違えば、使っている用語も違う 前提とする知識も違うだろ (引用終り) つづく http://rio2016.5ch.net/test/read.cgi/math/1644632425/828
829: 132人目の素数さん [] 2022/04/30(土) 19:54:15.10 ID:Vf6bDvV+ >>828 つづき ・通常の数学論文では、IUTほど「可読性」が問題になることは少ない (皆無ではない。古くはガロアの第一論文とか、カントールの非可算無限集合論とかがある) ・そこで、プログラムに例えると 1)プログラムの設計と書き方 2)プログラムの検証 3)プログラムの可読性 に分けて考えることが出来る ・「プログラムの設計と書き方」は、C言語を使うとか、サブルーチンと本体プログラムとの関係とか 「プログラムの検証」は、論文の査読に相当する
「プログラムの可読性」は、メンテナンスも考えると、作者と別の人が読めるように、どの言語を使ったとか、フローチャートを作るとか、コメントを入れて変数の意味づけやサブルーチンの意図を書いておくとか ・そうすると、「プログラムの検証」と「プログラムの可読性」とは分けることが出来る ある読み手にとっては「プログラムの可読性」が悪くても、別の人で「プログラムの検証」はちゃんと出来ているってことがあってもおかしくない (なお、数学論文に戻ると、「プログラムの取説」があっても良い気がする 「このプログラムは、こんな役
に立つ」とか、「こんな応用が考えられる」とか) 上記を、IUTに当て嵌めると 1)玉川先生など、IUTの検証は終わったと言っている(これを正当と認めるか否かの議論は別として) 2)”論文読めない”という人多数。つまり、「可読性悪い」と。対して、望月側は、「新しいプログラム言語を使っているので、それを勉強しろ、準備論文にある」という 3)ショルツェ氏登場。「おれ、読んだつもり。Cor3.12にバグあるので、プログラム機能してない」という 対して、望月氏は「新しいプログラム言語を、誤読しているだけじゃの?」と まあ、本当にどうな
のか?は、別として ともかく、「可読性を高める努力が要るよね」が、私の主張ですよ (フローチャートを作るとか、なんかもっと、努力要るよね) 以上 http://rio2016.5ch.net/test/read.cgi/math/1644632425/829
830: 132人目の素数さん [] 2022/04/30(土) 19:56:54.84 ID:Vf6bDvV+ >>827 >その流れを考えると、ショルツェが >証明が可読でない。 どうもです そうかも、きっとそうかも ですね http://rio2016.5ch.net/test/read.cgi/math/1644632425/830
831: 132人目の素数さん [sage] 2022/04/30(土) 21:07:07.74 >>827 >あなたは、数学あんまし出来ないんじゃない? 中卒下げマスにはいわれたくねえなあw 下げマスはそもそも ・定義が読めない ・公理の論理的意味が理解できない ・定理の証明の論理が理解できない それじゃ大学数学は初歩から無理だわw >専門の論文の可読性は、読み手のレベル問題もあるのです IUTの件に関してはそれウソな そもそもレベル以前に定義が出来てない 望月新一はそれをレベルの問題だとウソついてんのよ ほんと日本人の恥だわ ま、半分ユダヤ人だか
ら仕方ないけどなw http://rio2016.5ch.net/test/read.cgi/math/1644632425/831
832: 132人目の素数さん [sage] 2022/04/30(土) 21:22:50.15 >>829 >(証明を)プログラムに例えると > 1)プログラムの設計と書き方 > 2)プログラムの検証 > 3)プログラムの可読性 > に分けて考えることが出来る ほんまけ? >・「プログラムの設計と書き方」は、 > C言語を使うとか、サブルーチンと本体プログラムとの関係とか > 「プログラムの検証」は、論文の査読に相当する > 「プログラムの可読性」は、メンテナンスも考えると、 > 作者と別の人が読めるように、どの言語を使ったとか、 > フローチャートを作
るとか、コメントを入れて > 変数の意味づけやサブルーチンの意図を書いておくとか 下げマス システム設計したこと全然ないやろw 「プログラムの検証」とはプログラムが仕様を満たすことの証明 ここで仕様は当然論理式で記述する プログラムの各ステートメントは 実行前の事前条件と事後条件の組で 意味が明確に記載できる(ホーア論理) https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%BC%E3%82%A2%E8%AB%96%E7%90%86 ホーア論理に従って、プログラム全体の仕様が 証明できれば検証できたことになる つまり「ま、いいんじゃね」とかいう 気分
的なチェックは検証でもなんでもないのよ FesenkoもSaidiもカトブンもまったく IUT論文を検証できてないってこと そんなん「査読」とかいってるなら数学は死んでるねw >・そうすると、「プログラムの検証」と >「プログラムの可読性」とは分けることが出来る なんか下げマスはくだらぬ言い訳ばっかりしてるけど そもそもIUT論文は検証すら全然できてないのが問題 「ホーア論理」にあたるのが形式的証明による検証 そもそも証明=プログラムであるから別におかしくはない >ある読み手にとっては「プログラムの可読性」が悪くても、 >別の人
で「プログラムの検証」はちゃんと出来ているってことが >あってもおかしくない そもそもできてない 検証できてるなら可読性なんか完璧にできる ま、論理の基本も分かってない論盲の下げマスみたいな 人間失格のニホンザルは別だがなwww http://rio2016.5ch.net/test/read.cgi/math/1644632425/832
833: 132人目の素数さん [sage] 2022/04/30(土) 21:35:43.75 >>829 >玉川先生など、IUTの検証は終わったと言っている >(これを正当と認めるか否かの議論は別として) 別とするのが卑怯卑劣なネトウヨw そもそも検証なんか全然してないのに査読しました とかいうことが不当だといってるわけ 日本人は卑怯卑劣嘘つきだと馬鹿にされてるわけ ニホンザルのネトウヨ 下げマスは 「卑怯卑劣で何が悪い 嘘でもなんでも勝てば官軍!」 と野蛮なこといってるわけ 実に不快なわけ 分かる?w >”論文読めない”という人多数。つまり、「
可読性悪い」と。 それ、卑怯卑劣なネトウヨの嘘w 「可読性悪い」ではなく「検証できない」といってるわけ つまり「そもそもプログラムになってない」といってるわけ なんかサブルーチンの名前はあるけど、 実態となるステートメントが全然ないものがある といってるわけ はっきりいうと詐欺証明だといってるわけ わかる? >対して、望月側は、 >「新しいプログラム言語を使っているので、それを勉強しろ、準備論文にある」 >という それ望月新一の嘘 プログラム言語になってないわけ つまり謎のサブルーチンの事前条件、事後条件が定義され
てないわけ それじゃ証明できないわけ わかる? >3)ショルツェ氏登場。 >「おれ、読んだつもり。Cor3.12にバグあるので、プログラム機能してない」 >という 「Cor3.12にバグあるので、」はアホの下げマスの誤読 正しくは 「Cor3.12の証明の中に謎のサブルーチンがある どういうステートメントになってるか書いてないから プログラムとして機能しない」 といってるわけ >対して、望月氏は「新しいプログラム言語を、誤読しているだけじゃの?」と 望月新一は 「いや、プログラムは完璧と書かれている 貴様のコンパイラがオカシイんだ
ろ?」 とわめきちらしながら、自分のコンパイラは提供しない 要するにそんなものはないんだろうけどな 嘘つきもここまでくるとミットモナイ 日本人の恥 こんなヤツを庇うカトブンも日本人の恥 http://rio2016.5ch.net/test/read.cgi/math/1644632425/833
834: 132人目の素数さん [sage] 2022/04/30(土) 22:09:29.45 ID:EqjUIJse 千葉雅也『現代思想入門』発売@masayachiba 2時間 望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。 一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、 全体をデュプリケートして二宇宙の関係を考えるという発想自体に猛反発、とのこと。 うーん。可能世界論と似てる気がするけど、でも、全く同じクローン世界同士で操作するのは哲学的可能世界論にもないことか。 あとこういうこと言うと、また千葉がテキトーな、と言われるに
決まってるが、 ちょっとラリュエルっぽさがある気がした。むしろラリュエルについて考えたくなった。 と言ってもわかる人がほぼいないわけだが。ラリュエルの論理構造をある程度読んでる人は日本に数人しかいないと思うので。 数学にはその正しさの承認があるから、世紀の大理論が公共的に認められるけど、哲学だと曖昧になってしまう。 デリダによる脱構築の発明とかって、数学者の大理論に匹敵すると思うが、そういう扱いは受けない。 自分で言うのもアレやけど、僕も哲学研究者としては、数学者が発見をするのと同じように、 テーゼや論法の発見を
いろいろしてるのだが、そういうふうに見てくれる人は少ない。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/834
835: 132人目の素数さん [] 2022/04/30(土) 23:14:53.81 ID:Vf6bDvV+ >>834 ありがとうございます その話は面白いね フランスは哲学が盛んなんだね 数学者のヴェイユの妹が、哲学者だったかな https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%A2%E3%83%BC%E3%83%8C%E3%83%BB%E3%83%B4%E3%82%A7%E3%82%A4%E3%83%A6_(%E5%93%B2%E5%AD%A6%E8%80%85) シモーヌ・ヴェイユ(ヴェーユ、Simone Weil, 1909年2月3日 - 1943年8月24日)は、フランスの哲学者である。父はユダヤ系の医師で、数学者のアンドレ・ヴェイユは兄である。 ヴェイユは第二次
世界大戦中に英国アシュフォード(ケント)でほぼ無名のまま客死した(享年34)。戦後、知人に託されていたノート(カイエ)を編集した箴言集『重力と恩寵』が出版され、ベストセラーとなった。その後もあちこちに残されていた膨大な原稿・手紙・ノート類を、知人やヴェイユの思想に感銘を受けたカミュが編集・出版するにつれてその深い思索への評価は高まり、多言語で翻訳されるようになった。遺稿は政治思想、歴史論、神学思想、労働哲学、人生論、詩、未完の戯曲、日記、手紙など多岐に渡る。 https://ja.wikipedia.org/wiki/%E5%8D%83%E8%91%89%E9%
9B%85%E4%B9%9F 千葉 雅也(ちば まさや、1978年12月14日 - )は、日本の哲学者、小説家。 研究分野は哲学および表象文化論。学位は博士(学術)(東京大学・課程博士[2]・2012年)。立命館大学大学院先端総合学術研究科、同大学衣笠総合研究機構生存学研究所教授。栃木県宇都宮市出身。 1997年3月、栃木県立宇都宮高等学校卒業 1997年4月 - 1999年3月、東京大学教養学部文科三類 2005年10月 - 2006年9月、パリ第10大学文学・言語・哲学科哲学専攻(2005年度 - 2006年度 フランス政府給費留学生)Master2課程(Master2論文「Le temps du masochisme, o
u l'en-deca de principe de plaisir chez Gilles Deleuze」)[4] 2005年9月 - 2007年3月、高等師範学校 (フランス)、外国人研究生(2005年度 - 2006年度 フランス政府給費留学生) 専門 学生時代から大陸哲学、特にフランス現代哲学を専門的に研究し、東京大学修士論文、パリ第10大学Master2論文、東京大学博士論文に至るまで、一貫してジル・ドゥルーズの哲学をメインテーマとしている。 つづく http://rio2016.5ch.net/test/read.cgi/math/1644632425/835
836: 132人目の素数さん [] 2022/04/30(土) 23:15:27.58 ID:Vf6bDvV+ >>835 つづき https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%A9%E3%83%B3%E3%82%BD%E3%83%AF%E3%83%BB%E3%83%A9%E3%83%AA%E3%83%A5%E3%82%A8%E3%83%AB フランソワ・ラリュエル(Francois Laruelle, 1937年8月22日 - )は、フランスの哲学者。国際哲学コレージュとパリ第10大学ナンテールで教鞭を執った。1970年代初頭から執筆活動を開始し、これまでに約20冊の著作を発表している。高等師範学校の卒業生であるラリュエルは、非哲学(non-philosophy)という概念を提唱
したことで知られる。 https://ja.wikipedia.org/wiki/%E9%9D%9E%E5%93%B2%E5%AD%A6 非哲学 (フランス語: non-philosophie)は、フランスの大陸哲学者フランソワ・ラリュエル(元国際哲学コレージュおよびパリ第十大学:ナンテール)が展開した概念である。 ラリュエルによる非哲学 ラリュエルは、(古代哲学から分析哲学、脱構築などに至る)あらゆる形態の哲学は、ある先行する決定を中心に構造化されているが、この決定に対して構成的に盲目のままであると主張する。ラリュエルがここで念頭に置いている「決定」は、世界を哲学的に把握するために
なされる世界の弁証法的分割である。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1644632425/836
837: 132人目の素数さん [] 2022/04/30(土) 23:42:10.40 ID:Vf6bDvV+ >>836 >ラリュエルによる非哲学 「ラリュエルによる非哲学」は、哲学か? もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾 ”「ラリュエルによる非哲学」は、哲学ではない”? では、それは何か? きっと それを哲学的に考察する必要があるなw まあ、冗談ですが >望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。 >一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、 >全体をデュプリケートして
二宇宙の関係を考えるという発想自体に猛反発、とのこと。 望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います 実際、いまどき(21世紀)の数学の本や論文で、用語”宇宙”なんて、数学基礎論以外では出てこない(もし反例があれば教えて欲しい) 数学基礎論では、集合論や圏論の入れ物として、用語”宇宙”を使うようです 昔々、グロタンディークというフランスの数学者が居て、圏論の黎明期に、圏論の基礎として、グロタンディーク宇宙を考えたそうな
(下記) 望月先生のは、それのパロディーらしい まあ、望月IUT”宇宙”は、関西風だじゃれみたいなものです(到達不能基数の議論はIUTには出てきませんしw) あんまり真剣に、目くじら立てないように、お願いします (参考) https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99 宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。 グロタンディーク宇宙は、すべての数学が実行可能な集合を与え
る(実際には、集合論のためのモデルを与える)。 宇宙の公理 (U) から巨大基数の公理 (C) が導かれることを示すために κ を基数とする。κ は集合なのでグロタンディーク宇宙 U の元である。U の濃度は κ より大きな強到達不能基数となる。 実際、任意のグロタンディーク宇宙はある κ に対し u(κ) の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである http://rio2016.5ch.net/test/read.cgi/math/1644632425/837
838: 132人目の素数さん [] 2022/05/01(日) 00:02:42.01 ID:txhCGf0/ >>836 >ラリュエルによる非哲学 「ラリュエルによる非哲学」は、哲学か? もし、Yesなら、”「ラリュエルによる非哲学」は哲学”となり矛盾 ”「ラリュエルによる非哲学」は、哲学ではない”? では、それは何か? きっと それを哲学的に考察する必要があるなw まあ、冗談ですが >望月新一氏の宇宙際タイヒミュラー理論に関するNHKの番組を観た。面白かった。 >一般向け説明を聞いただけなのだが、数学全体を一つの宇宙にして、 >全体をデュプリケートし
て二宇宙の関係を考えるという発想自体に猛反発、とのこと。 望月IUTの”二宇宙”とかは、用語”宇宙”の使用については、完全に望月先生の個人趣味で、世間一般の数学の用語の使い方からズレていると思います 実際、いまどき(21世紀)の数学の本や論文で、用語”宇宙”なんて、数学基礎論以外では出てこない(もし反例があれば教えて欲しい) 数学基礎論では、集合論や圏論の入れ物として、用語”宇宙”を使うようです 昔々、グロタンディークというフランスの数学者が居て、圏論の黎明期に、圏論の基礎として、グロタンディーク宇宙を考えたそう
な(下記) 望月先生のは、それのパロディーらしい まあ、望月IUT”宇宙”は、関西風だじゃれみたいなものです(到達不能基数の議論はIUTには出てきませんしw) あんまり真剣に、目くじら立てないように、お願いします つづく http://rio2016.5ch.net/test/read.cgi/math/1644632425/838
839: 132人目の素数さん [] 2022/05/01(日) 00:25:04.02 ID:txhCGf0/ >>837 追加 (参考) https://www.kurims.kyoto-u.ac.jp/~motizuki/Uchuusai%20Taihimyuuraa%20riron%20he%20no%20izanai%20(2015-02).pdf [17] 宇宙際タイヒミューラー理論への誘(いざな)い (2015-02) (京都大学数理解析研究所 2015年02月) PDF P16 §4. 宇宙際性と遠アーベル幾何 主定理: O-link の 左辺に対して、軽微な不定性を除いて、右辺の「異質」な環構造しか用いない言葉により、 明示的なアルゴリズムによる記述を与えることができる。解釈:「狭いパ
イプ」でしか繋がっていないような状況(=例えば、 宇宙船にいる宇宙飛行士や地下の鉱山で働く作業員等)において、 限られた情報を賢く利用することによって「向こう側」の状況を復元し、 把握することができる。 P18 宇宙=集合に対するラベル付けの仕組み の変換 (引用終り) 以上 >>838 訂正 誤爆すまん >>837と同じです http://rio2016.5ch.net/test/read.cgi/math/1644632425/839
840: 132人目の素数さん [sage] 2022/05/01(日) 02:38:10.41 ID:6LpCNPT7 >>703 判決前例を知らないの?故意にしろテメェで曝した個人情報はテメェの責任でしかなくなる事が示され済み。 しっかし、だから、女みたいな口調で書くなって言っとるじゃろ。 しっかし、何ぞ?女の悪い所を煮詰めた様な雰囲気を滲み出させるほどの悪化が見受けられる、そのフェミニン口調は? 知っとるか?男のド腐れは「桁違いの違う仕打ち」で治してやる事が出来るが 昭和の死語『女の腐ったのより酷い』奴は、『立場を落としつつ桁違いどころか次元が違う仕打
ち』でないと治せん事を。 何故かは知らんが、育ちの男女差に理由がある様じゃ。外遊びしてる人間ほど空間認識能力や危機感が育つ事が 最近は言われとるが、そこに付け加え親が厳しく叱る時の男児女児の差にもある事は誰の目にも明らかじゃろう。 つまりこれは男女差別的な評価ではあるが不当曲解評価ではなく正当事実評価である。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/840
841: 132人目の素数さん [sage] 2022/05/01(日) 07:14:43.42 中卒下げマス 「必要なのは、プログラムのコメントではなくプログラム自体」 に全く反論できず、フランス現代哲学とかいうホラ話に逃避 ほんとこいつ日本人失格のニホンザルだなw http://rio2016.5ch.net/test/read.cgi/math/1644632425/841
842: 132人目の素数さん [sage] 2022/05/01(日) 07:29:10.88 https://ja.wikipedia.org/wiki/%E9%9D%9E%E5%93%B2%E5%AD%A6 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー ラリュエルは、哲学の決定的構造は非哲学的にしか把握できないと主張している。 この意味で、非哲学は哲学についての科学である。 しかし、非哲学はメタ哲学ではない。 というのも、ラリュエル研究者のレイ・ブラシエが述べているように、 「哲学は既にその構成的な再帰性を通してメタ哲学的」だからである。 ブラシエはまた、非哲学を 「超越
論的な公理を経て進行し、哲学的に解釈不可能な定理を生み出す 哲学の理論的実践」と定義している。 非哲学の公理と定理が哲学的に解釈不可能である理由は、先に説明したように、 非哲学のようには哲学はその決定的構造を把握することができないからである。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 上記の説明から察するにラリュエル氏のいう「非哲学」なるものは 「前哲学」とでも呼んだほうがいいのではないか? ついでにいうと「形而上学」はもともとメタフィジクスであるが これも「前物理学」と呼ぶ
のが本来の意味に即していると思う (なお、「メタ数学」は「数学体系を対象とする数学」であっても 数学以前を考察するものではないから「前数学」ではない) ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー ラリュエルの非哲学と哲学との関係は、 非ユークリッド幾何学とユークリッドの仕事 と類比的に捉えられるべきである、と彼は主張している。 それは特にアラン・バディウのようなジャック・ラカンの哲学的相続者と対立している。 ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーー ラリュエル氏の説明に基づくなら、 ユークリッド幾何学と非ユークリッド幾何学は それぞれ異なる哲学に対応するのであって、 彼のいう「非哲学」なるものは、むしろ 平行線公理の是非以前の「前ユークリッド幾何学」 と考えるべきではないかと思う http://rio2016.5ch.net/test/read.cgi/math/1644632425/842
843: 132人目の素数さん [sage] 2022/05/01(日) 07:35:45.30 ところで、推移律的な考えで接続していって 元のところに戻ってきたつもりが実はズレていた というのはまさにモノドロミーであるw 対数関数のリーマン面もらせん面状であり 原点のまわりを一周してもどってくると 2πiだけズレるのである ここで望月新一のトリックとショルツの指摘が つながっちゃうのである したがって望月新一はショルツの 「モノドロミー、どうすんの?」 に真正面から回答して論破して見せる必要がある できなきゃ望月新一の負けである ま、望月新一自身が答
えないなら フェセンコでもサイディでも星でもカトブンでも わかるといってる奴が答えればいい 誰もできそうもないがね http://rio2016.5ch.net/test/read.cgi/math/1644632425/843
844: 132人目の素数さん [sage] 2022/05/01(日) 07:39:32.12 テレンス・タオじゃないけど 「ABC予想が解けたっていうのに 任意のε>0に対して c > d^(1+ε) (dは積 abc の互いに異なる素因数の積) を満たす組 (a, b, c) の個数やらcの上限やらについて 何の情報も得られないってなんか胡散臭くね?」 とは思う http://rio2016.5ch.net/test/read.cgi/math/1644632425/844
845: 132人目の素数さん [] 2022/05/01(日) 09:24:14.56 ID:txhCGf0/ >>843 (引用開始) ところで、推移律的な考えで接続していって 元のところに戻ってきたつもりが実はズレていた というのはまさにモノドロミーであるw 対数関数のリーマン面もらせん面状であり 原点のまわりを一周してもどってくると 2πiだけズレるのである ここで望月新一のトリックとショルツの指摘が つながっちゃうのである したがって望月新一はショルツの 「モノドロミー、どうすんの?」 に真正面から回答して論破して見せる必要がある できなきゃ望月新一の負
けである ま、望月新一自身が答えないなら フェセンコでもサイディでも星でもカトブンでも わかるといってる奴が答えればいい (引用終り) そこは同意。出来なければ、負けとは言わないが、一般数学者の理解が遅くなる 望月氏の回答は、周囲が納得できる”論破”になっていない。初学者的間違いだとか、∧と∨の勘違いだとか、間接的な論法であって、直接ショルツェ氏のモノドロミー批判の回答になってない 対数関数のリーマン面のアナロジーは、同じことを以前に考えたことがある log(z+2πni)=log(z) として、それで止まるのが普通の人 しかし、log
(z+2πni)=log(z) とすると、一価関数でないという欠点がある リーマンは、一価関数にしたかったから、z+2πniを変数として(つまりは、zとnの二つのパラメータで)、リーマン面に出来ると閃いたのでしょう logだけだったら、ありがたみが薄い。だけど、(下記)楕円曲線を種数1の複素トーラスとして、二重周期を持つ格子で割った商空間と考えるのは画期的と思う これと類似の説明が、IUTに対するSS文書批判への回答として、欲しい気がする つづく http://rio2016.5ch.net/test/read.cgi/math/1644632425/845
846: 132人目の素数さん [] 2022/05/01(日) 09:24:47.52 ID:txhCGf0/ >>845 つづき (参考) https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E9%9D%A2 リーマン面 全てのリーマン面は向きづけ可能な実 2 次元の実解析的多様体(従って曲面)であって、正則関数を一義的に定義するために必要な追加的構造(特に複素構造)を含む。 リーマン面は、でき得る限り良い特性を有しているという幾何学的事実から、他の曲線、多様体または代数多様体に対し一般化の直感および動機をしばしばもたらす。リーマン・ロッホの定理は
、この影響の第一の例である。 https://ja.wikipedia.org/wiki/%E6%A5%95%E5%86%86%E6%9B%B2%E7%B7%9A 楕円曲線(だえんきょくせん、英: elliptic curve)とは種数 1 の非特異な射影代数曲線、さらに一般的には、特定の基点 O を持つ種数 1 の代数曲線を言う[1]。 楕円関数論を使い、複素数上で定義された楕円曲線はトーラスの複素射影平面(英語版)への埋め込みに対応することを示すことができる。トーラスもアーベル群で、実はこの対応は群同型かつ位相的に同相にもなっている。したがって、位相的には複素楕円曲線はトーラスである。 楕円曲線は
次のように見なすことができる。 3.複素数を加法群とみて、二重周期を持つ格子で割った商空間(複素数体上のみ、複素数上の楕円曲線) (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1644632425/846
847: 132人目の素数さん [sage] 2022/05/01(日) 09:33:04.32 >>845 >>ところで、推移律的な考えで接続していって >>元のところに戻ってきたつもりが実はズレていた >>というのはまさにモノドロミーであるw (中略) >>したがって望月新一はショルツの >>「モノドロミー、どうすんの?」 >>に真正面から回答して論破して見せる必要がある >>できなきゃ望月新一の負けである >そこは同意。 >出来なければ、負けとは言わないが、 いや、負け そこ否定するなら「同意」でもなんでもない つ
まり プログラムのコメントだけつければいい、という下げマス発言は嘘で プログラムそのものを書かねばならない という俺様の発言が正しい と認めることが>>845発言への「同意」 >望月氏の回答は、周囲が納得できる”論破”になっていない。 >初学者的間違いだとか、∧と∨の勘違いだとか、間接的な論法であって、 >直接ショルツェ氏のモノドロミー批判の回答になってない そう、だから現段階では望月新一が正しいとはいえない 「同じ日本人として外国人に自慢したいから、 望月新一のABC予想解決が真実であってほしい」 という願望は
、願望のままでしかない 一旦ここで切る http://rio2016.5ch.net/test/read.cgi/math/1644632425/847
848: 132人目の素数さん [] 2022/05/01(日) 09:35:50.35 ID:txhCGf0/ >>844 >テレンス・タオじゃないけど >「ABC予想が解けたっていうのに > (dは積 abc の互いに異なる素因数の積) > を満たす組 (a, b, c) の個数やらcの上限やらについて > 何の情報も得られないってなんか胡散臭くね?」 テレンス・タオの批判は、下記の”Explicit Estimates ・・”が出る前の批判でしょ? 組 (a, b, c) の個数やらcの上限について、下記に多少の記載はあるよ ちょっと覗いてみて(Introductionとか、μ6-Theory for [IUTchIV] 3
2 あたりを) (参考) https://www.kurims.kyoto-u.ac.jp/~motizuki/papers-japanese.html 望月新一 論文 https://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf [8] Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2021-12-08) Contents Introduction 2 5. μ6-Theory for [IUTchIV] 32 http://rio2016.5ch.net/test/read.cgi/math/1644632425/848
849: 132人目の素数さん [] 2022/05/01(日) 09:41:15.99 ID:BSGlvyYe ショルツェや望月ほどではなくても この程度のモノドロミーなら 高校生にも理解できる。 だから、この言葉を弄り回しても 多くは得られないだろう。 Nスぺでは望月は(踏み込んだ)説明は 数学者相手でも難しいと言ったそうだし ショルツェはといえば この件に関しては もう一切語りたくないということだった。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/849
850: 132人目の素数さん [] 2022/05/01(日) 09:45:34.04 >>846 >log(z+2πni)=log(z) >として、それで止まるのが普通の人 ギャハハハハハハ!!! そもそも log(z+2πni)=log(z) が誤りだぞw 下げマス、logも理解できないのか?www >しかし、log(z+2πni)=log(z) >とすると、一価関数でないという欠点がある いいやw exp(z+2πni)=exp(z) だが、expは1価関数だ log(z)=x かつ log(z)=z+2πni だからlogは多価関数 下げマス、引数と値の区別できないのか?w >リーマンは、一価関数にしたかったから、z+2πniを変数として >(
つまりは、zとnの二つのパラメータで)、 >リーマン面に出来ると閃いたのでしょう 全然違うけどw ま、そもそも引数と値を逆にしても気づかん馬鹿にわかるわけないか リーマンは log(z)=xとなるzと log(z)=z+2πniとなるzを 分けた 「複素平面では」同じzだけど 「リーマン面では」異なるzってこと そこが被覆の発想だな なんだ下げマス、リーマン面の初歩から分かってねぇじゃんw http://rio2016.5ch.net/test/read.cgi/math/1644632425/850
851: 132人目の素数さん [sage] 2022/05/01(日) 09:50:44.04 >>845 >楕円曲線を種数1の複素トーラスとして、 >二重周期を持つ格子で割った >商空間と考える・・・ 下げマス、日本語も正しく書けないのか? 正しい日本語の文章は以下 「楕円曲線を種数1の複素トーラスとして、 ”複素平面を”二重周期を持つ格子で割った 商空間と考える」 ”複素平面を”が抜けてる 必要なことを全て書かないから 下げマスは初歩で間違う サボったら馬鹿になるぞw http://rio2016.5ch.net/test/read.cgi/math/1644632425/851
852: 132人目の素数さん [sage] 2022/05/01(日) 10:00:55.11 >>848 Explicit Estimatesで組 (a, b, c) の個数やらcの上限が評価できるなら その結果ついて具体的なεで反例があるかどうかチェックしたかね? 反例が見つかっていないから正しい、とはいえないが 少なくともその程度はやってほしいね http://rio2016.5ch.net/test/read.cgi/math/1644632425/852
853: 132人目の素数さん [] 2022/05/01(日) 13:53:16.55 ID:Xw2KCRRH IUT肯定派でさえCor 3.12の証明どころかΘやqが何を意味してるのかすら語れないぐらいだしもうダメだろうな http://rio2016.5ch.net/test/read.cgi/math/1644632425/853
854: 132人目の素数さん [] 2022/05/01(日) 15:02:21.55 ID:txhCGf0/ >>850 >log(z+2πni)=log(z) >が誤りだぞw ああ、訂正ありがと 正しくは下記だな だから、z = reiθ・e 2πin を考えろってことね https://ja.wikipedia.org/wiki/%E8%A4%87%E7%B4%A0%E5%AF%BE%E6%95%B0%E5%87%BD%E6%95%B0 複素対数函数 極形式を用いて z = reiθ (r > 0) と書くならば、w = ln r + iθ は z の対数の一つを与えるが、これに 2πi の任意の整数倍を加えたもので z の対数はすべて尽くされる[1]。 >>852 >その結果ついて具体的なε
で反例があるかどうかチェックしたかね? >反例が見つかっていないから正しい、とはいえないが >少なくともその程度はやってほしいね それくらいは、論文執筆者および査読でやるでしょ かつ、Explicit Estimatesで示されている数値は、かなり大きい範囲で、いまの数値計算のチェックを超えていると思う つーか、従来はそのような”荒い”Explicitな評価さえなかったから、この程度でも画期的ということでしょw >>853 Cor 3.12の証明どころかΘやqが何を意味してるのか 沢山の人で、いっぱい出ているよ おれには読めないけどね http://
rio2016.5ch.net/test/read.cgi/math/1644632425/854
855: 132人目の素数さん [] 2022/05/01(日) 15:52:29.64 ID:txhCGf0/ >>854 補足 >その結果ついて具体的なεで反例があるかどうかチェックしたかね? Explicit Estimatesの論文が出たときに、下記数値と比較した記憶がある そのときのレスも、過去スレにあると思うが ともかく、Explicit Estimatesの数値は、下記との比較で「荒い」という印象を受けた まだまだ、改善・改良の余地ありと思う https://ja.wikipedia.org/wiki/ABC%E4%BA%88%E6%83%B3 ABC予想 4 コンピューティング(演算)による成果 q は上記で定義した abc-triple (a,
b, c) の質 q(a, b, c) である。このとき、c の上限によって、質 q は以下のような分布を取る。 q > 1 となる abc-triple の質 q の分布[31] cの値 q > 1 q > 1.05 q > 1.1 q > 1.2 q > 1.3 q > 1.4 c < 1018 14,482,059 2,352,105 449,194 24,013 1,843 160 2012年9月現在、ABC@homeは2310万個の3つ組を発見しており、当面の目標を 1020 を超えない c についての全ての abc-triple (a, b, c) を見つけることとしている[32] https://en.wikipedia.org/wiki/Abc_conjecture abc conjecture As of May 2014, ABC@Home had
found 23.8 million triples.[22] Highest-quality triples[23] Rank q a b c Discovered by 1 1.6299 2 310・109 235 Eric Reyssat http://rio2016.5ch.net/test/read.cgi/math/1644632425/855
856: 132人目の素数さん [sage] 2022/05/01(日) 16:02:57.76 >>854 >ああ、訂正ありがと >正しくは下記だな >だから、z = reiθ・e 2πinを考えろってことね 全然違う 考えろ? 日本語も正しく書けないのか? サルか?え?人間になりそこねたサルか? exp(z)が周期関数だから その逆関数である log(z)は必然的に多価関数 そんなことも正確に日本語で語れない 中卒は一切数学に興味持つな 数学板に書くな 数学板読むな 考える能力が全く欠如した IQ80の貴様にとって時間の無駄! http://rio2016.5ch.net/test/read.cgi/math/164463
2425/856
857: 132人目の素数さん [sage] 2022/05/01(日) 16:05:24.36 >>854-855 Explicit Estimatesで示されている数値とはなにか? 貴様、やっぱり、ABC予想から全然わかってないな εが変わればcの上限は変わるぞ 定数じゃなく関数 そんなことも分からん馬鹿か貴様はw http://rio2016.5ch.net/test/read.cgi/math/1644632425/857
858: 132人目の素数さん [sage] 2022/05/01(日) 16:20:03.58 ID:Mf8kAJsh Nスぺだとabc予想の例外でないほうが本質みたいな言い方してたね http://rio2016.5ch.net/test/read.cgi/math/1644632425/858
859: 132人目の素数さん [sage] 2022/05/01(日) 16:31:05.44 下げマスは、expとlogも正しく理解できてない中卒だと証明されたw まったく、そんな馬鹿が国立大学の工学部に入れるわけなかろうが 万が一入れたとしても出られるわけがない そんな奴がつくる製品なんか信頼でけんわ(嘲) http://rio2016.5ch.net/test/read.cgi/math/1644632425/859
860: 132人目の素数さん [sage] 2022/05/01(日) 16:39:24.68 下げマス 今日の失笑オウンゴール ____ / \ /\ キリッ . / (ー) (ー)\ / ⌒(__人__)⌒ \ <log(z+2πni)=log(z) で止まるのが普通の人 | |r┬-| | \ `ー'´ / ノ \ /´ ヽ | l \ ヽ -一'
'''''"〜〜``'ー--、 -一'''''''ー-、. ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒)) http://rio2016.5ch.net/test/read.cgi/math/1644632425/860
861: 132人目の素数さん [sage] 2022/05/01(日) 16:40:09.81 >>860 ____ /_ノ ヽ、_\ <だっておwww ミ ミ ミ o゚((●)) ((●))゚o ミ ミ ミ そりゃ、expだっつーの! /⌒)⌒)⌒. ::::::⌒(__人__)⌒:::\ /⌒)⌒)⌒) | / / / |r┬-| | (⌒)/ / / // | :::::::::::(⌒) | | | / ゝ :::::::::::/ | ノ | | | \ / ) / ヽ / `ー'´
ヽ / / | | l||l 从人 l||l l||l 从人 l||l バ ヽ -一''''''"〜〜``'ー--、 -一'''''''ー-、 ン ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒)) バ ン http://rio2016.5ch.net/test/read.cgi/math/1644632425/861
862: 132人目の素数さん [sage] 2022/05/01(日) 16:43:14.97 下げマス 今日の失笑オウンゴール 2 ____ / \ /\ キリッ . / (ー) (ー)\ / ⌒(__人__)⌒ \ <f(z+2πni)=f(z)とすると、fは一価関数でない | |r┬-| | \ `ー'´ / ノ \ /´ ヽ | l \ ヽ
-一''''''"〜〜``'ー--、 -一'''''''ー-、. ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒)) http://rio2016.5ch.net/test/read.cgi/math/1644632425/862
863: 132人目の素数さん [sage] 2022/05/01(日) 16:45:04.03 >>862 ____ /_ノ ヽ、_\ <だっておwww ミ ミ ミ o゚((●)) ((●))゚o ミ ミ ミ 周期関数でも、一価関数になるっつーのw /⌒)⌒)⌒. ::::::⌒(__人__)⌒:::\ /⌒)⌒)⌒) 逆関数が多価になるんだって! 逆関数知らんのか? | / / / |r┬-| | (⌒)/ / / // | :::::::::::(⌒) | | | / ゝ :::::::::::/ | ノ
| | | \ / ) / ヽ / `ー'´ ヽ / / | | l||l 从人 l||l l||l 从人 l||l バ ヽ -一''''''"〜〜``'ー--、 -一'''''''ー-、 ン ヽ ____(⌒)(⌒)⌒) ) (⌒_(⌒)⌒)⌒)) バ ン http://rio2016.5ch.net/test/read.cgi/math/1644632425/863
864: 132人目の素数さん [sage] 2022/05/01(日) 16:51:51.48 逆関数も分からん下げマスが、 d(log(w))/dw=1/w を理解してるとは思えんw 関数w(z)の微分が以下の等式を満たすとする dw/dz=w その場合逆関数z(w)は以下の等式を満たす dz/dw=1/w 下げマスは 写像fの核 Ker f も理解できんのと違うか?w それじゃ代数分かるわけないわwww http://rio2016.5ch.net/test/read.cgi/math/1644632425/864
865: 132人目の素数さん [sage] 2022/05/01(日) 16:58:14.56 下げマスはかつて 「正方行列の全体は(乗法で)群を成す なぜなら任意の正方行列は逆行列をもつから 余因子展開の公式で計算できる(キリッ)」 と発言し、速攻でこう返された 「じゃ、行列式0の行列の逆行列、計算してくれる?」 ギャハハハハハハ!!! 下げマスは出来が悪いオチコボレだから わけもわからず公式だけ丸暗記し 「これでおれは数学を全て理解した」( ̄ー ̄) とドヤるw 前提条件とか全然読まない 文章の意味が理解できない論盲だからw http://rio2016.5ch.net/test/r
ead.cgi/math/1644632425/865
866: 132人目の素数さん [sage] 2022/05/01(日) 16:58:25.74 ID:Y7jiIfKx この理論の場合のモノドロミーの話ってのは具体的にどういうことなんです? http://rio2016.5ch.net/test/read.cgi/math/1644632425/866
867: 132人目の素数さん [sage] 2022/05/01(日) 17:00:43.80 下げマスは 論理的な思考が必要な数学は必ずといっていいほど間違えるw 要するに漫然と計算するしか能がないサルだからw ギャハハハハハハ!!! http://rio2016.5ch.net/test/read.cgi/math/1644632425/867
868: 132人目の素数さん [sage] 2022/05/01(日) 17:05:47.44 >>866 >この理論(=IUT?)の場合のモノドロミーの話ってのは >具体的にどういうことなんです? そういうマジメな話は以下の正統スレでするとマジメな人が答えてくれる Inter-universal geometry とABC 予想49 https://rio2016.5ch.net/test/read.cgi/math/1650714023/ ここは下げマスとかいう粋がった中卒馬鹿が、わけもわからず 「望月新一は日本人だから彼のいうことは全て正しい」(キリッ) という狂った信仰のもとに立てた正真正銘の💩スレなので マジメな質
問をしても内容空疎な発言と トンチンカンな引用コピペで誤魔化されるだけです (知らないことを知らないと認められずさも知ってるかのごとく 騙すチンケな詐欺野郎 それがナニワの中卒 下げマスの●タ) http://rio2016.5ch.net/test/read.cgi/math/1644632425/868
869: 132人目の素数さん [sage] 2022/05/01(日) 20:12:38.00 ID:/jbNwAea >>303 一応あグロ http://rio2016.5ch.net/test/read.cgi/math/1644632425/869
870: 132人目の素数さん [sage] 2022/05/01(日) 20:12:56.28 ID:/jbNwAea >>315 一応ダブルあグロ http://rio2016.5ch.net/test/read.cgi/math/1644632425/870
871: 132人目の素数さん [sage] 2022/05/02(月) 02:25:11.98 ID:a6j6J2kp >>850 『学問価値片っ端から下げmath』は先月じゃか先々月じゃったか 数学理学の理解に対する自信を深める為に遥か先を先取りする事を常習しとる事をゲロっとったな。 つまり高括り且つ出鱈目解釈で自ら虚飾に塗れ尽くした自信造り、要するにデフォで過信造り。 自らの理解そのものの確度ではなく理解の自信の確度を深めると言う、 素人ゴルファーの練習方法にも有りがちな「自主練量を下手に拡大し過ぎて『下手を固める』」下策の更なる改悪版。 こんな奴に数学解説流
布を許し罷り通ってるのは、ある意味アカデミア文化の敗北。 まぁ此奴に正しい解説なんて読める知力は無いんじゃが。 正に『非学者、論に負けず。』の諺を体現せし非学独善自説開陳者。世界共通公害。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/871
872: 132人目の素数さん [sage] 2022/05/02(月) 04:12:58.97 ID:a6j6J2kp >>850 『学問価値片っ端から下げmath』は先月じゃか先々月じゃったか 数学理学の理解に対する自信を深める為に遥か先を先取りする事を常習しとる事をゲロっとったな。 つまり高括り且つ出鱈目解釈で自ら虚飾に塗れ尽くした自信造り、要するにデフォで過信造り。 自らの理解そのものの確度ではなく理解の自信の確度を深めると言う、 素人ゴルファーの練習方法にも有りがちな「自主練量を下手に拡大し過ぎて『下手を固める』」下策の更なる改悪版。 こんな奴に数学解説流
布を許し罷り通ってるのは、ある意味アカデミア文化の敗北。 まぁ此奴に正しい解説なんて読める知力は無いんじゃが。 正に『非学者、論に負けず。』の諺を体現せし非学独善自説開陳者。世界共通公害。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/872
873: 132人目の素数さん [] 2022/05/02(月) 08:28:46.87 ID:vQOHScQM >>871-872 蕎麦屋さん、ご苦労様です ところで、あんたも数学素人だろ? 素人が素人相手に、玄人談議か? ご苦労様ですw http://rio2016.5ch.net/test/read.cgi/math/1644632425/873
874: 132人目の素数さん [sage] 2022/05/02(月) 17:11:34.37 ID:w+MjblLF ブログ更新したね http://rio2016.5ch.net/test/read.cgi/math/1644632425/874
875: 132人目の素数さん [sage] 2022/05/02(月) 18:03:43.60 ID:/hdzuoX2 哲学者や宗教関係者っぽいひとが食いつくトンデモな説明だったとさ。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/875
876: 132人目の素数さん [] 2022/05/02(月) 18:07:42.55 ID:D32+lJLN >>874 有益な情報ありがとうございます。 見ました 面白いところ抜粋します (参考) https://plaza.rakuten.co.jp/shinichi0329/ 望月新一 2022.05.02 2022年4月のNHKスペシャルに対する「合格発表」: 前半はぎりぎり合格、後半は不合格 残念ながら、多くの視聴者の誤解を招くような、様々な不正確な内容もありました。誤解や不正確な情報の拡散に歯止めを掛けるためにも、また最も中核的な当事者である私自身の考えに関する明示的な記録・「証言」を残すためにも、
番組内の不正確な内容について、この度、ブログ記事という形で補足的な解説を公開し、警鐘を鳴らすことに致しました。 (前半) 宇宙際タイヒミューラー理論では、A・B球面の解説にあった通り、掛け算とは両立的であるが、足し算とは両立的でない対応付けによって誘導される、別々の宇宙間の関係性を考えます。つまり、「宇宙」という概念が新しいのではなく、別々の宇宙の繋ぎ方が新しいということです。このような状況が、まさに?(私が実際、新たに導入した用語である)「宇宙際」という?用語が物語っている状況です。ここで説明した経緯について
は番組内で幾らでも簡単に軽く言及することができたはずなのに、不正確な解説が行なわれたことは残念です。 (数理研に就職したとき、”あの頃の私は本当に死に掛けているような、かなり厳しい状況にありました”辺り面白いが割愛) 番組の「後半」の評価 「同じものを同じと見做す」ことが基本であったのに対して、望月はその考え方を抜本的に覆し、「同じものを違うものと見做す」という考え方を導入したという主旨の主張を、クレタ人の矛盾めいた話や、(オウム真理教の「ポア」の正当化等の「トンデモ系」説法を彷彿とさせられる)仏教的な思想
に絡む石庭の話を援用しながら解説しています (私的注:個人的には、一人爆笑しましたw) (引用終り) (後は、長いので、本文ご参照下さい。面白いわ) 以上 http://rio2016.5ch.net/test/read.cgi/math/1644632425/876
877: 132人目の素数さん [sage] 2022/05/02(月) 18:43:33.67 ID:/hdzuoX2 Hiroyasu Kamo @kamo_hiroyasu ・ 4月12日 「同じものを違うとみなす」が数学の伝統に反するは言い過ぎ。同じ台集合に違う位相を入れてみるなんて普通にすることです。#数学者は宇宙をつなげるか http://rio2016.5ch.net/test/read.cgi/math/1644632425/877
878: 132人目の素数さん [sage] 2022/05/02(月) 20:22:36.07 ID:Bm4ClGqt フィールズ賞受賞者の3人 ペーター・ショルツはCondensed mathematicsのコンピュータによる証明に取り組んだ ウラジーミル・ヴォエヴォドスキーはunivalentのアイデアを用いてコンピュータによる証明に取り組んだ ティモシー・ガワーズは距離空間における数学的問題を解決するコンピュータプログラムに取り組んだ 日本の数学者ってこういう優秀な数学者がやってきたような取り組みやってる? http://rio2016.5ch.net/test/read.cgi/math/1644632425/878
879: 132人目の素数さん [sage] 2022/05/03(火) 10:25:18.28 ID:ozawVvfN ファルティングスに対する嫌みとか 京都に帰ってきてからしばらく死にそうだったとか、 よっぽどアメリカ生活が合わなかったんだろうな アメリカ人の血が半分流れているのに ここまで合わないのって珍しいんじゃないかね http://rio2016.5ch.net/test/read.cgi/math/1644632425/879
880: 132人目の素数さん [sage] 2022/05/03(火) 12:09:05.29 ID:dXE12YVX >>879 アメリカに住んでたことあるけど、面白くも無いのにハーイって、作り笑顔したり、けっこう疲れるよ http://rio2016.5ch.net/test/read.cgi/math/1644632425/880
881: 132人目の素数さん [] 2022/05/03(火) 13:02:40.67 ID:tW03F0xO >>879-880 >アメリカ人の血が半分流れているのに >ここまで合わないのって珍しいんじゃないかね >アメリカに住んでたことあるけど、面白くも無いのにハーイって、作り笑顔したり、けっこう疲れるよ どうもです 細かくは、存じ上げないが ・職場の雰囲気と人間関係 ・転校や飛び級を繰り返したので、クラスメートとかの人間関係が希薄(友だちがいない) ・若くして、米大学数学教員として、多分、望月氏は教師としては、教え方が下手だと思う 「なんで、こん
なことが分からんの?」みたいな (IUTの説明でもそれを感じるから) https://ja.wikipedia.org/wiki/%E6%9C%9B%E6%9C%88%E6%96%B0%E4%B8%80 望月 新一(もちづき しんいち、1969年〈昭和44年〉3月29日 - ) 来歴 国際関係論の学者であり経済人であった父 Kiichi Mochizuki[3]とユダヤ系アメリカ人 Anne Rauch[4]の長男。父の仕事の関係で5歳で日本を離れ、中学生(筑波大学附属駒場中学校)時代に1年間日本へ戻った[5]以外は、アメリカで育つ。妹に北欧美術史学者の Mia Mochizuki (Ph.D. 2001 Yale University)[6]がいる。 フィリップス・エクセ
ター・アカデミーに2年間在学し、16歳でプリンストン大学へ進学、19歳で学士課程を卒業(次席)[7]。23歳で博士課程を修了しPh.D.を取得[2]。 日本へ帰国後は京都大学に採用され、助手(23歳)、同助教授(27歳)を経て、同教授(32歳)に昇任[2]。 http://rio2016.5ch.net/test/read.cgi/math/1644632425/881
882: 132人目の素数さん [sag] 2022/05/03(火) 13:09:01.48 ID:6VtcLbaw ショルツェがp進幾何や幾何的ラングランズで どんどん成果を上げてる今日この頃IUTには 何の進展も見られないようだが、大丈夫なのか http://rio2016.5ch.net/test/read.cgi/math/1644632425/882
883: 132人目の素数さん [] 2022/05/03(火) 13:23:27.01 ID:tW03F0xO 望月ブログに ちょっとコメントしておきます まず、望月新一先生は、自分が「スーパーサイヤ人」だということに気付いていない (例えれば、普通の人が居て、プロ数学者が「サイヤ人」クラスとして) https://plaza.rakuten.co.jp/shinichi0329/ 望月新一 2022.05.02 2022年4月のNHKスペシャルに対する「合格発表」: 前半はぎりぎり合格、後半は不合格 から引用 ?・”不思議な形で繋がった状態の? 「A」と「B」を(同一視せずに)区別したまま、大きな 入れ物の中に埋
め込んで、その入れ物の幾何を調べること によって「A」と「B」の間の距離は、実はそれほど大きく なく、不等式で上から抑えることができること といったような、単純明快な解説は(NHKらしい、立派な高精細なCG技術を駆使した形で)幾らでも簡単にできたはずです。” って、無理でしょ、普通。NHKの制作者は数学素人で、普通人であり、サイヤ人でさえないのだから つづく http://rio2016.5ch.net/test/read.cgi/math/1644632425/883
884: 132人目の素数さん [] 2022/05/03(火) 13:24:47.13 ID:tW03F0xO >>883 つづき ・”数学的に・論理的に相容れない、二つの主張を同時に肯定しないと気が済まないという、?? NHKの制作陣の方針上の矛盾を、無理矢理、? 理論の数学的内容に責任転嫁しようとする、? 制作陣の、まさしく文字通り無責任な姿勢が窺えます” が、全くNHKに対する非常識な批判で、そんなことを、普通人のNHKに要求するのは酷です (同様の普通人のNHKに対する勘違い多数) ・”ファルティングス氏の場合 インタビューでは、数学の理論は、論文を
丁寧に読まなくても大まかな方針・アイデアを手短に伝えただけで理論の正否が判断できるものでないといけないことを主張しています。まず、一般論のレベルで考えても、これは全く可笑しな話” だけど、私は、ファルティングス氏が正しいと思う。普通人でも、IUTを理解したいと思っている(だからNHKスペシャルが皆から見られる) サイヤ人の数学者たちも同様。天才スーパーサイヤ人には、理解できないみたい ・”デュプイ氏の場合:同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解す
る必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと” って、天才スーパーサイヤ人って、デリカシーが無いね これじゃ、味方を敵に回すよね つーか、これじゃ、彼女できないよw 以上 http://rio2016.5ch.net/test/read.cgi/math/1644632425/884
885: 132人目の素数さん [] 2022/05/03(火) 13:28:44.92 ID:tW03F0xO >>882 かなり同意です 特に、IUT周辺の若手たち >ショルツェがp進幾何や幾何的ラングランズで >どんどん成果を上げてる今日この頃IUTには >何の進展も見られないようだが、大丈夫なのか IUTも成果上げているけど 世間から認められない 若手からすれば 20年後に認められても それじゃ、フィールズ賞に 間に合わない 若手の奮起を望みます お腹いっぱいのスーパーサイヤ人は ハングリー精神が無くなっている気がする http://rio2016.5ch.net/test/read.c
gi/math/1644632425/885
886: 132人目の素数さん [] 2022/05/03(火) 14:19:20.56 ID:tW03F0xO >>884 補足 >・”ファルティングス氏の場合 > インタビューでは、数学の理論は、論文を丁寧に読まなくても大まかな方針・アイデアを手短に伝えただけで理論の正否が判断できるものでないといけないことを主張しています。まず、一般論のレベルで考えても、これは全く可笑しな話” > だけど、私は、ファルティングス氏が正しいと思う。普通人でも、IUTを理解したいと思っている(だからNHKスペシャルが皆から見られる) > サイヤ人の数学者たちも同様。天
才スーパーサイヤ人には、理解できないみたい 若くして飛び級 そして、”16歳でプリンストン大学へ進学、19歳で学士課程を卒業(次席)[7]。23歳で博士課程を修了しPh.D.を取得[2]”>>881という 天才スーパーサイヤ人には 1)RIMSの予算が国民の税金なんだということ 2)国家予算は、文科省の文系のお役人が査定し決めている(最終決定は国会としても、予算案は文系のお役人) 3)どこの世界でも同様で、例えば、ある若手数学者がプリンストン大学で研究したいと思ったとして 履歴書に「IUT関連の遠アーベルの研究」と書いた 「IUT関連の
遠アーベルの研究」が、世間様から評価されるかどうかが、当人にとっては大きな意味を持つ 4)天才スーパーサイヤ人が、「おまえ、そんな小さなことに拘るな」「IUT関連の遠アーベルの研究はそのうち評価されるから」って言ってもね 若手からすれば、「そのうちっていつですか? おれ、今年プリンストン大学で研究したいと思ってるんですけど」だよね 5)遠アーベルの望月IUTが、世界の数学界で認められたらいいよね? (だから、NHKスペシャルに協力しておけば良かった気がする) それに向けて、若手が頑張るしかないよね。 望月先生は、周
囲の理解を得るために活動する人物としては、向いてない http://rio2016.5ch.net/test/read.cgi/math/1644632425/886
887: 132人目の素数さん [] 2022/05/03(火) 14:23:09.09 ID:tW03F0xO >>886 補足の補足 天才スーパーサイヤ人には 俗世間の下世話な話が理解できないんだろうね 高等数学は理解できてもね それが言いたかったことです http://rio2016.5ch.net/test/read.cgi/math/1644632425/887
888: 132人目の素数さん [sag] 2022/05/03(火) 15:27:13.50 ID:6VtcLbaw 加藤和也氏やファルティンクスに匙投げられたら終わり 若手がいくら頑張っても理解できないしどうにもならん http://rio2016.5ch.net/test/read.cgi/math/1644632425/888
889: 132人目の素数さん [] 2022/05/03(火) 15:50:25.04 ID:G//wsbk5 デュプイじゃなくてファルティングスに味方について欲しかったんだろうね 支持者にファルティングスがいるのといないのでは見え方も全然違うだろうし IUT周辺に秀才が集まらないからどうしようもない http://rio2016.5ch.net/test/read.cgi/math/1644632425/889
890: 132人目の素数さん [] 2022/05/03(火) 16:51:02.44 ID:fc6LQ7Gl 近くの若手が「今自分は変革の瞬間に立ち会っている」とか言うのでなくて 自分でIUT使って何か研究しないことには何も進まないし学界で理解も得られない http://rio2016.5ch.net/test/read.cgi/math/1644632425/890
891: 132人目の素数さん [] 2022/05/03(火) 17:51:23.18 ID:tW03F0xO >>890 >自分でIUT使って何か研究しないことには何も進まないし学界で理解も得られない 同意 それはそう思う あと、望月ブログの ”論文を丁寧に読んでなおかつ場合によっては相当の時間をその内容の消化・理解に費やさないと、論文の内容を理解することはできません。これは数学全般に通じる常識と言い切ってよいと思います。なお、ファルティングス氏の場合、ご本人の研究(=1980年代後半の、p進ホッジ理論における「殆どエタール拡大」の研究が特にそうですが)
の歴史的経緯から考えても上述の主張はとても不思議な主張に聞こえます。ご本人の研究論文の場合、他のp進ホッジ理論の専門家が論文のアイデアをちょっと聞いただけで論文の正否の判断が簡単にできたかというと、実態は(関係者の間ではよく知られている話ですが)それには程遠いものでした。実際、同氏は当時、まさに自分の論文を丁寧に読んでくれる研究者が余りいないことによって的外れな批判が多発しているだけだと盛んに主張していたように記憶しております。つまり、同氏の主張を時間軸に沿って総括しますと、「自分の論文を丁寧に読んでくれな
い研究者は断じて許せないが、他者の論文を丁寧に読むことを自分に期待するなんて到底承服できない」という、身勝手極まりない、一方的な主張のようにしか聞こえません。” ここ、望月氏はちょっとおかしい ・例えば、いまどき、EGAやSGAで代数幾何を学ぶ人少ないと思う。いま、いろんな人のテキストが出ている ・モーデル予想/ファルティングスの定理も、下記の解説本出ているし、21世紀のいま原論文を読むこともない(読みたい人を否定しないが) (ガロアの第一論文の解説本など百冊以上出ている) ・IUTもそうなるべきと思う つづく http://rio
2016.5ch.net/test/read.cgi/math/1644632425/891
892: 132人目の素数さん [] 2022/05/03(火) 17:51:45.00 ID:tW03F0xO >>891 つづき https://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%AB%E3%83%88%E3%83%BB%E3%83%95%E3%82%A1%E3%83%AB%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B9 ゲルト・ファルティングス https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%83%AB%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86 モーデル予想/ファルティングスの定理 https://www.アマゾン モーデル‐ファルティングスの定理―ディオファントス幾何からの完全証明 (ラ
イブラリ数理科学のための数学とその展開) Tankobon Hardcover ? April 25, 2017 by 森脇 淳 (著), 川口 周 (著), 生駒 英晃 (著)サイエンス社 susumukuni VINE VOICE 5.0 out of 5 stars 「モーデル-ファルティングスの定理」に別証明を与えたヴォイタとボンビエリの業績の素晴らしさを解説する素敵な書 Reviewed in Japan on July 27, 2017 「代数体K上で定義された種数が2以上の既約代数曲線CのK-有理点全体C(K)は有限集合である」というモーデル予想がファルティングスにより証明された(1983年)ことは良く知られている。この定理をディオファン
トス幾何の手法で初等的に導く別証明がヴォイタとボンビエリによって考案された(1990年頃)。本書はディオファントス幾何からの証明を分かり易く解説しており、数学愛好家にとって待望の書といえる。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1644632425/892
893: 132人目の素数さん [] 2022/05/03(火) 18:01:05.54 ID:tW03F0xO >>891 補足 >・例えば、いまどき、EGAやSGAで代数幾何を学ぶ人少ないと思う。いま、いろんな人のテキストが出ている >・モーデル予想/ファルティングスの定理も、下記の解説本出ている モッチは、スーパーサイヤ人だから、普通人のことが 分かってない それと、専門の論文と上記解説本との差も分かってない 1)専門の論文は、紙数の制限もあり、あくまでその分野のエキスパートが、読めるように書けば可 2)一方、解説本は、学部なり院生向けで、想定読者のレベ
ルを下げて、不足する知識を丁寧に補いながら かつ、多少冗長でも分かり易い表現で、分かり易い例示も入れ、たまにエクセサイズで読み手の理解を確認しながら、 その理論について、原論文よりも楽に、学習者に理解させようとするもの 3)スーパーサイヤ人は、「解説本なんかいらね」「原論文読んだ方が早い」「おれはEGA、SGA読んだぞ」なんだろうね、本音はw 世の中、普通人の方が多いことも、知らないみたいだ http://rio2016.5ch.net/test/read.cgi/math/1644632425/893
894: 132人目の素数さん [sage] 2022/05/03(火) 18:09:29.86 ID:HMt5BDDX 数論系の人あるあるやろ なんでも使う、なんでも知ってるが突っ込んだ事はなんも知らん 実はあんまり詳しく知らない事をちゃんと自覚してれば問題は起こらないハズだけど、その自覚が足りなかったから暴走してしまったんやろ http://rio2016.5ch.net/test/read.cgi/math/1644632425/894
895: 132人目の素数さん [] 2022/05/03(火) 18:26:23.33 ID:tW03F0xO まあ、ブログ読む限り ちゃんと、説明しよう、説明すべき そういう意識が希薄だね また、説明のスキルもあんまり無いみたい 天才スーパーサイヤ人に、あるあるかもね http://rio2016.5ch.net/test/read.cgi/math/1644632425/895
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 107 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s