[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 49 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
618(1): 2020/04/13(月)18:21 ID:Lx5viamn(8/10) AAS
数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、
有名なゲーデルの不完全性定理で証明されているんですよね
だとしたら、ある数学理論が無矛盾であることの調査は、
コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の
再現を試みさせてみて、すごーーーーく長い時間（人力なら10000年分とか）
理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を
発見できなさそうなほどの無矛盾な数学理論って主張できるって方針
省3
619(1): 2020/04/13(月)18:22 ID:TnD+4OAc(6/8) AAS
望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。
これだからアジアンは、って言われないことを希望するよｗ
620: 2020/04/13(月)18:27 ID:vWi06T7g(3/13) AAS
>>608
現役の遠アーベル専門家の玉川さんとたまたま担ぎ出された御大では全く違うし、御大に責任を
問う必要はない
621(1): 2020/04/13(月)18:28 ID:Ot14yWWM(2/3) AAS
>>557
ももクロとは比較しないでいただきたい
BABYMETALは文字通り桁違い
唯一世界でブレイクしたスター
ももクロはBiSHにすら追い抜かれたヘタレ
世界で全く通用しないからこうなってる
Reddit（世界最大の掲示板）
省20
622(1): 2020/04/13(月)18:29 ID:Oetq8pjs(1) AAS
>>612
> 望月応援団は機械で検証できる証明を提示していない。
> ゆえにギャップのない証明は存在しない。
未だかつて普通の数学者(Mac Laneの教科書のタイトルにある“working mathematicians”の意味で）が
機械つまりコンピュータで検証できるレベルの証明を提示したことなんて一度としてない
Coqのようなコンピュータ上の証明検証システムで検証できる証明を提示していないのがNGというのならば
フィールズ賞やアーベル賞の受賞者全員から賞を剥奪しないといけなくなる
623(1): 2020/04/13(月)18:34 ID:vWi06T7g(4/13) AAS
>>611
個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
624: 2020/04/13(月)18:35 ID:TnD+4OAc(7/8) AAS
>>622
ケプラー予想の証明はこの度機械で検証した。
査読者は99％正しいとといっていたが、残り1％の可能性を消すためにも必要だったのだろう。
今までの数学の確立された業績で、証明に疑問のあるものは存在しない。
望月のは現に異議存在する以上機械で検証にかけるよう求めるのは当然だろう。
625: 2020/04/13(月)18:43 ID:E/8DKtpa(5/5) AAS
ケプラー予想の機械検証は提出者本人が主導してる。
逃げ回ってるRIMSとは真逆の対応。
626: 2020/04/13(月)18:44 ID:Lx5viamn(9/10) AAS
コンピュータなんて結局1と0の二進数演算してるだけで、アルゴリズム書くのは今のところ
でも、モンテカルロ法で「でたらめな」数学オブジェクト？を文字どうり「テキトー」に
組合せてみた記号列（文字列の文字の代わりに数学記号の組み合わせ）を乱暴にも公理と
見立ててマシンパワーつかって頭から矛盾性を検証する。もちろん、ほとんどのでたらめな
記号列は最初の一回の検証でNG判定になるので次の記号列を試す。
まったくの「テキトー」だと時間がかかりすぎて無駄なので、既存の数学理論に数学者の
直感で当たりをつけて初期条件に多少の作為を入れる。
省13
627(1): 2020/04/13(月)18:57 ID:TnD+4OAc(8/8) AAS
最近の一流の棋士は将棋ソフトで学ぶそうだが、
もうすぐ数学者たちも機械にセンスを学ぶようになるだろう。
628(1): 2020/04/13(月)18:58 ID:Lx5viamn(10/10) AAS
>>623
>個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく
>ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる
「基本的な問題意識」の定義がわかりません。
もしかして数学者の研究動機をあなたの個人的な哲学で制限しようとしてますか？
「強い理論」の定義がわかりません。
現代残っている数学理論は矛盾が発見されていない理論またはさしあたり矛盾が見つからなさそうと数学者たちから考えられてる理論ですよね？
省1
629: 2020/04/13(月)19:01 ID:R2NiC+iT(1) AAS
>>627
あいつら先に定義がないと動けないので
そういう部分をわかってあげれば
少々数学としておかしくても
多変数の多項式とかを秒殺で処理してくれるから助かる
多変数多項式環の元とかわけわかんねえもんｗ
630: 2020/04/13(月)19:02 ID:dqNdeGIH(4/4) AAS
>>619
そうなら良いですね
「アジアンだから」の欧米からの塩対応でなければ倫理的には問題無しですもんね
631(1): 2020/04/13(月)19:09 ID:sx2gcUJv(3/3) AAS
508, 528-530, 560, 562, 569, 594あと野暮天さんは真相を語っている気がしますね
my5S7sSzは消えてくれないかな
632: 野暮天 2020/04/13(月)19:32 ID:ukZx7597(53/75) AAS
>>621
すまんかった ももクロは個人的には好きなグループじゃがな
BiSHはよう知らんのじゃ BiSは知っとるが
テラシマユフは脱北できてよかったのう
Redditでさくら学院が上位に来とるのう
今お薦めのコは広島から来たスーパールーキーの戸高美湖（元 革命少女）じゃ
あ、もう二年目になったからルーキーじゃないか
633: 野暮天 2020/04/13(月)19:35 ID:ukZx7597(54/75) AAS
>>631
＞my5S7sSzは消えてくれないかな
見栄坊自身のためにもそれがよいじゃろう
数学書を山ほど買い込んでもちっとも読みもせんとか無駄じゃろう
さっさと全部売り払って、山でトマトでもつくったらよかろう
グロタンディクみたいに
634: 野暮天 2020/04/13(月)19:41 ID:ukZx7597(55/75) AAS
＞これだからアジアンは
それはないじゃろ
岡潔はともかく、S.S.Chern（陳省身）も小平も認められたんじゃから
635(1): 2020/04/13(月)19:42 ID:Ot14yWWM(3/3) AAS
iTunesアルバム ワールドワイド(最新アルバム)
BABYMETALが日本の頂点である
ワールドワイドに人気の無いアーティストは下位となる
Worldwide iTunes Album Chart
1位 BABYMETAL - METAL GALAXY 2019/10/11
2位 宇多田ヒカル - 初恋 2019/06/27
4位 ONE OK ROCK - Eye of the Storm 2019/02/15
省20
636: 野暮天 2020/04/13(月)19:49 ID:ukZx7597(56/75) AAS
>>635
宇多田ヒカルを抜いたのか？！
そりゃスゲェ！！！
637(2): 2020/04/13(月)19:49 ID:DYqPl9DE(4/9) AAS
>>611
>もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
>理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。
>数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。
どうも
その感じよく分かります
ところで、数学にも、モデル理論があります
省18
638: 野暮天 2020/04/13(月)19:52 ID:ukZx7597(57/75) AAS
>>637
見栄坊よ おぬしの職場 まだ社員を出勤させとるのか
5chに書き込みするだけの社員とか 出勤させる意味なかろう
639: 野暮天 2020/04/13(月)19:55 ID:ukZx7597(58/75) AAS
>>637
＞数学にも、モデル理論があります
数理モデルのモデルと、モデル理論のモデルが
同じじゃと思うヤツをはじめてみたわい
定義を確認せんヤツはこれじゃから困るのう
640(2): 2020/04/13(月)19:56 ID:sMk8UGpY(1) AAS
望月の証明は正しい。
ショルツの指摘は正しい。
つまり、3.11から3.12は導かれるとも、導かれないとも言える。
ＡＢＣ予想は証明できたとも、証明できていないとも言える。
俺が前々から言ってるように、ＡＢＣ予想は決定不能な命題なんだぜ。
641: 野暮天 2020/04/13(月)19:59 ID:ukZx7597(59/75) AAS
>>618
もし、ショルツが「IUTは矛盾している」と主張しているなら
その証明責務はショルツにあるじゃろうな
しかし、ショルツがいってるのは
「系3.12について、望月の方法では証明できそうもない」
ということじゃから、証明になっていることを示す責務は望月にある
642: 野暮天 2020/04/13(月)20:01 ID:ukZx7597(60/75) AAS
>>640
もしABC予想が決定不能問題なら
望月の証明は間違ってることになるのう
望月とショルツの主張が両立することはない
643: 野暮天 2020/04/13(月)20:03 ID:ukZx7597(61/75) AAS
もし見栄坊が望月を応援する行動が
「オリンピックで日本人選手を応援する行動」
と同じじゃとしたら
数学には全く興味がないっちゅうことじゃのう
数学者にとって、ある問題を解いた人が
自国の人間か否かはどうでもええことじゃ
644: 2020/04/13(月)20:03 ID:ZctrM3uq(1/2) AAS
>>640
ゴミクズは黙ってろ
決定不能なら証明したではなく決定不能が答えだ
645(2): 2020/04/13(月)20:06 ID:ZctrM3uq(2/2) AAS
日本はもうダメだな
この望月関連で確信した
数学がこの体たらくならもう日本に未来はないね
646: 野暮天 2020/04/13(月)20:07 ID:ukZx7597(62/75) AAS
ところで、この次のスレは数学板じゃのうて
ニュー速板にでも立てたらどうじゃろう？
どうせ数学の話などできんのじゃろう？
647: 2020/04/13(月)20:11 ID:B1CiQ8tU(1/3) AAS
abc予想が正しいと思えない
648(1): 野暮天 2020/04/13(月)20:13 ID:ukZx7597(63/75) AAS
>>645
＞日本はもうダメだな
わしはコロナの件でそう確信したがのう
検査はせん 補償は出さん 下らん動画はのせる
この国の首相は国民を蔑ろにしとる
外部ﾘﾝｸ:www.instagram.com
これが民主主義か？
省2
649: 2020/04/13(月)20:17 ID:vWi06T7g(5/13) AAS
>>645
少なくとも望月やらショルツやらこの件に関わってる数学者なんかごく一部だからな
目立つからって全てであるかのように扱うのはおかしい
650: 2020/04/13(月)20:17 ID:y67whNyF(3/8) AAS
盲人象をなでる以前かと
651: 2020/04/13(月)20:20 ID:B1CiQ8tU(2/3) AAS
みんなすごいと言ってるけど何がどう凄いのか全然わからない
すごいからすごい
652: 2020/04/13(月)20:21 ID:vWi06T7g(6/13) AAS
>>628
それについて具体的に述べるのは勿体ないから言わないw
653(1): 野暮天 2020/04/13(月)20:21 ID:ukZx7597(64/75) AAS
今に日本でも感染爆発がおきる
検査しとらんのじゃからそこらに潜在的感染者は山ほどおるじゃろ
貧困層を中心に死者が出るのは目に見えている
みんな今の政権の富裕層優遇政策のせいじゃ
だれが本当に働いてるのかわかっとらんな
金持ちは金だけ持っててもちっとも働きもせん
働くヤツがおらなくなったら金なんか無意味じゃ
省2
654: 2020/04/13(月)20:23 ID:DYqPl9DE(5/9) AAS
>>648
648 名前：野暮天[sage] 投稿日：2020/04/13(月) 20:13:29.17 ID:ukZx7597 [63/63]
[63/63]か、暇人だなｗ（＾＾；
655: 2020/04/13(月)20:23 ID:DYqPl9DE(6/9) AAS
>>653
ID:ukZx7597 [64/64]か
暇人だなｗｗ
656(1): 野暮天 2020/04/13(月)20:27 ID:ukZx7597(65/75) AAS
＞暇人だな
うらやましいか？
おぬし 仕事やめたらよかろう
どうせ職場でも５ｃｈにかきこみするだけじゃろう
まさにデヴィッド・グレーバーのいう🐄💩仕事じゃな
657(1): 野暮天 2020/04/13(月)20:30 ID:ukZx7597(66/75) AAS
>>656
＞デヴィッド・グレーバーのいう🐄💩仕事じゃな
いかんいかん、正確には🐂💩仕事らしい
658: 2020/04/13(月)20:30 ID:B1CiQ8tU(3/3) AAS
たかだか有限個のたかだかって何？
数学者特有の言い回し？
659(2): 2020/04/13(月)20:43 ID:DYqPl9DE(7/9) AAS
>>657
おサル、今度は”野暮天”名か
クスリ変わったかのか？ ｗ（＾＾；
660: 2020/04/13(月)20:44 ID:DYqPl9DE(8/9) AAS
>>659 訂正
クスリ変わったかのか？ ｗ（＾＾；
↓
クスリ変わったのか？ ｗ（＾＾；
ロリっちまったな
分かるとおもうが（＾＾
661: 野暮天 2020/04/13(月)20:46 ID:ukZx7597(67/75) AAS
>>659
見栄坊は、サイコパスに効く💊が無くて残念じゃのう
662: 野暮天 2020/04/13(月)20:53 ID:ukZx7597(68/75) AAS
さてそろそろBS-TBSの酒場放浪記でも見るか
663(3): 2020/04/13(月)21:12 ID:rJ1EYo/f(1) AAS
math_jinという方が、やたらと、ショルツが読めないと言っている
Cor 3.12の説明は、望月のどこそこ、星のどこそこ、山下のどこそこ
に書いてあるとツイードしているが、math_jin自身は読めているから
そういうツイードをしているのでしょうか。自分が読めないのに
なんでそんなツイードが可能なのだろう。
664: 2020/04/13(月)21:22 ID:fhSCJULt(1) AAS
>>663
なんでこのスレにそれを書くんだ
直接言ってこいよチキンが
665(1): 2020/04/13(月)21:23 ID:vWi06T7g(7/13) AAS
>>663
ショルツはIUTでやりたいことも最低限は理解してる
仕組みをわかった上でおかしいと言ってる。論争は普通の数学者からすればSSが有利だが、
別に誰も全否定はしてない。説明できるまで認めないよ、という状態。アンチとか関係なくWoitの言う通り
まあ現状これ以上ああだこうだ言うのは確かに無駄だろう。アクセプトしたからって正しい前提で
見てくれるほど甘くはないってこと
666: 2020/04/13(月)21:25 ID:vvVnRe9y(9/9) AAS
読めるならWoitのブログのコメントに対して何か反論するだろう
667(1): 2020/04/13(月)21:34 ID:y67whNyF(4/8) AAS
>>665
普通の数学者って誰のこと?
そもそも、シュルツに対しての望月の返答が放置されてる時点で
外径的にはSSが不利に見えるが。
668(2): 2020/04/13(月)21:46 ID:xkqYGVs+(1) AAS
ジョン・コンウェイがコロナで亡くなったね
2020年4月11日、2019新型コロナウイルス（COVID-19）が原因で死去。82歳没。
669: 2020/04/13(月)22:05 ID:GJRuKvRa(3/5) AAS
モッチーの反論に再反論せずに、査読完了まで何やってたん？ｗ ショルツさん
670: 2020/04/13(月)22:22 ID:2GaqU2jz(1) AAS
>>668
マジか…もう一つぐらい面白い有限群本を書いてほしかった
ご冥福をお祈りいたします
671(1): 2020/04/13(月)22:45 ID:gu1owv/0(1) AAS
ショルツはRemark5で赤っ恥間違い、そして望月再反論に対しだんまり
672(1): 2020/04/13(月)22:50 ID:vWi06T7g(8/13) AAS
>>667
普通の数学者とは、SSレポートと望月レポートを比較する者のこと
それは多くて千人いそうだが、論文まで読んでるのは百人いるかどうか
勿論望月が正しい可能性自体はゼロじゃない
673: 野暮天 2020/04/13(月)22:51 ID:ukZx7597(69/75) AAS
誤 ツイード
正 ツィート
綴り確認しような 坊や
674: ◆QZaw55cn4c 2020/04/13(月)22:53 ID:2HELtJr7(1) AAS
>>668
ライフゲームの人ですか！
675(1): 2020/04/13(月)22:55 ID:y67whNyF(5/8) AAS
>>672
日本でSS支持してる人いる?
海外に数人しかいないと思うが。
それに、議論の経緯だけ見たら、SSの分が悪いけどな。
676(1): 2020/04/13(月)23:02 ID:vWi06T7g(9/13) AAS
>>675
それはただの印象論じゃん。議論の経緯ってレポートの構造論を比較することよ？
あと、SSを完全支持するのとIUTに懐疑的なのは近いけど別の話だから
677(1): 2020/04/13(月)23:04 ID:y67whNyF(6/8) AAS
>>676
いやそもそも批判になってなかったんよ。
レポートが。
だから、すれ違いになってたので、
再批判が不可欠だったのにしなかった。
678(1): 2020/04/13(月)23:06 ID:vWi06T7g(10/13) AAS
>>671
コミュニティが公にSSレポートの誤りを認識しない理由は何だと思う？
単純に望月が望月レポートで否定してるから？
679: 2020/04/13(月)23:06 ID:ijj1CEvS(1/2) AAS
>>663
マジレスすると過去スレの書き込みをそのまま呟いてるだけ
math_jinに内容を理解する能力はない
外部ﾘﾝｸ:archive.is
その証拠に、奴は「Corollary 3.12に関する説明は、山下剛氏のサーベイでは358ページ」と言っているが、これは間違い
正しくは359ページから360ページ
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
680(1): 2020/04/13(月)23:09 ID:y67whNyF(7/8) AAS
>>678
SSの誤りを指摘するのと、
望月の誤りを指摘しないのとは
後者の方が本質的だからでは。
681: 2020/04/13(月)23:12 ID:ijj1CEvS(2/2) AAS
奴が呟いてる写真(GoサーベイのRemark 13.13.2)は
Θ標対象の対数体積の計算方法を述べている部分であって
Corollary 3.12そのものの説明部分ではない
外部ﾘﾝｸ:archive.is
682(1): 2020/04/13(月)23:13 ID:vWi06T7g(11/13) AAS
>>677
根拠は？まさかあんたまでremark5？w
683: 2020/04/13(月)23:13 ID:DYqPl9DE(9/9) AAS
>>588 訂正
１．量子力学の確率解釈を支持したパウリ一派
↓
１．量子力学の確率解釈を支持したボーアなどコペンハーゲン 一派
「パウリ一派」は、不適切でした
慎んでお詫びと訂正を致します ｍ（＿＿）ｍ
(参考)
省10
684(1): 2020/04/13(月)23:14 ID:y67whNyF(8/8) AAS
>>682
違うよ。望月の反論。
685: 2020/04/13(月)23:17 ID:vWi06T7g(12/13) AAS
>>684
というと？望月を信じる、というだけなのかあなたなりの解釈があるのかどっち？
686: 野暮天 2020/04/13(月)23:18 ID:ukZx7597(70/75) AAS
夜になると胡散臭いヤツが現れるのう
687: 野暮天 2020/04/13(月)23:19 ID:ukZx7597(71/75) AAS
日本人だというだけで望月を支持する人は
数学には興味ないんじゃろう
688(1): 2020/04/13(月)23:22 ID:GJRuKvRa(4/5) AAS
ID:ukZx7597
↑
終日わいてる胡散臭いヤツ
誰も興味ない国籍の話してるはコイツ
689: 野暮天 2020/04/13(月)23:22 ID:ukZx7597(72/75) AAS
math_jinも見栄坊と同じ穴の貉じゃろうな
数学をオリンピックと勘違いしてる素人
数学に興味ない人は数学をなめとるんじゃな
690: 野暮天 2020/04/13(月)23:23 ID:ukZx7597(73/75) AAS
>>688
図星を突かれると吠える狂犬には困ったもんじゃ
691(1): 2020/04/13(月)23:26 ID:GJRuKvRa(5/5) AAS
ID:ukZx7597
↑
嫌われてるってことだよ、去れ
692: 野暮天 2020/04/13(月)23:31 ID:ukZx7597(74/75) AAS
>>691
図星を突かれると吠える狂犬には困ったもんじゃ
693: 野暮天 2020/04/13(月)23:33 ID:ukZx7597(75/75) AAS
＞モッチーのIUTは未来を開く数学やぞ
「紅衛兵」には困ったもんじゃ
694: 2020/04/13(月)23:46 ID:a7oAoHHg(1/2) AAS
もっちー
コロナ対策で一人住まいなのに家でもマスクしてそう
695: 2020/04/13(月)23:46 ID:vWi06T7g(13/13) AAS
>>680
論外
数学コミュニティが前者を軽視するはずがない
ところが公には、越川すらremark5はおかしいと言わない。つまり大した間違いじゃないってこと
696: 2020/04/13(月)23:47 ID:a7oAoHHg(2/2) AAS
もっちーがしゃべらないからBさんがしゃべりまくってるな
697(1): 2020/04/13(月)23:52 ID:ZIW7OSQQ(1) AAS
今の問題ってさ、この論文の“同義反復的な解決”って奴が受け入れられてないんでしょ？
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
698: 2020/04/14(火)00:15 ID:KBbdfDDX(1/11) AAS
>>697
これ見たら小学生でもわかるわ
画像ﾘﾝｸ[jpg]:special.sankei.com
上下前次1-新書関写板覧索設栞歴
あと 304 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s