[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次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
上下前次1-新書関写板覧索設栞歴
あと 169 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s