[過去ログ] Inter-universal geometry と ABC予想 49 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
552(1): 野暮天 2020/04/13(月)16:26 ID:ukZx7597(32/75) AAS
>>546
>いままで、柏原先生、玉川先生が、間違ったことを書いたり、
>公に口にして間違ったことがあるか?
あんた、何、ムキになっとるんじゃ?
IUTが間違っとったら あんた 死ぬんか?
死なんじゃろ?
じゃったら「IUTは正しいっ」と力みかえらんことじゃ
省3
553(1): 2020/04/13(月)16:27 ID:my5S7sSz(21/32) AAS
>>544
同意同意
>望月もショルツも自信があるんだろう
>やりあえばいい
そう
プロレスみたいもの
最初は、正義の英雄がピンチになる
省3
554: 2020/04/13(月)16:27 ID:AZP114W1(10/13) AAS
どこの国にも病に冒された人はいる
byランダウ
555(1): 2020/04/13(月)16:28 ID:my5S7sSz(22/32) AAS
>>552
>じゃったら「IUTは正しいっ」と力みかえらんことじゃ
別に、「IUTは正しい」と思うから
正しいというだけのことよ
力みもなにも、面白いの一言よw(^^;
556(1): 野暮天 2020/04/13(月)16:29 ID:ukZx7597(33/75) AAS
>>546
>あるなら、示せ!
>そういう事例が無いなら、信頼性90%以上でしょ
わしが理解できんのは、なぜ無理矢理、定量化したがるのか、ということじゃ
数量化したら信頼性が増すと思うとるんなら、大間違いじゃ
なんか工学屋にはそういう野蛮な考えの持主が少なくないのう
数量化馬鹿というかなんというか・・・あんたら工学部でどんな教育受けたんじゃ?
557(1): 野暮天 2020/04/13(月)16:39 ID:ukZx7597(34/75) AAS
>>553
>(IUT論争は)プロレスみたいもの
>最初は、正義の英雄がピンチになる
>そこから、逆転が お決まりのパターンよ
>それでこそ、見ている方も面白い
わしの見方とは違うのう
IUT=ももクロ
省15
558: 2020/04/13(月)16:40 ID:hC942ZHM(6/6) AAS
ABC国際タイトルマッチで、「自明だ、よく読め」はやっぱり観客がしらける。
塩試合なんだよね。京都勢は頑張ってほしい。
559(1): 野暮天 2020/04/13(月)16:42 ID:ukZx7597(35/75) AAS
>>555
>「IUTは正しい」と思うから正しいというだけのことよ
あんた「箱入り無数目」も間違っとると思うから間違いだといってるわけか
あんた自分は神だとでも思うとるんか?
群論もダメ、順序数論もダメ
そんなあんたがなんで自分は間違ってないと思うんじゃ?
おかしいじゃろ
560(1): 2020/04/13(月)16:54 ID:vWi06T7g(1/13) AAS
>>508
エタール基本群やそれに準じる基本群を用いた理論では回避できないって理解をしてるね
確かにその部分は単遠アーベルでも基本的に変わらん
望月がそんな間違いをするかってレスがあるが、むしろ実際以上に柔軟に考え過ぎて失敗した可能性はあるな
スキームを統制するパターンとかスキームを超える遠アーベル幾何っていう考えに魅せられて
単純な事実依拠を怠ったという可能性
561: 2020/04/13(月)16:55 ID:GJRuKvRa(1/5) AAS
モッチーのIUTは未来を開く数学やぞ
画像リンク[jpg]:special.sankei.com
数学の望月理論「人類初、数百年に1度の偉業」 加藤文元氏に聞く
外部リンク[html]:www.sankei.com
562(1): 2020/04/13(月)16:59 ID:qYHwwEc4(1) AAS
ショルツからしたらボヤけって言ってるけど結局こういう事でしょ
意味ないじゃん
という論法になってるから全く噛み合わない
563(1): 野暮天 2020/04/13(月)16:59 ID:ukZx7597(36/75) AAS
日本のマスコミはどうも本当の天才を認めたがないところがあるのう
歌が上手い女性アイドル総選挙にSu-METALがランクインしてない!
外部リンク:babymetalize.com
多分番組の公式回答はこうじゃろなあ
「SU-METALさんは、バンドのヴォーカルですから
そもそもメイト(=BABYMETALのファン)も
BABYMETALをアイドルとして扱うな、と
省8
564(2): 2020/04/13(月)17:04 ID:GJRuKvRa(2/5) AAS
ID:jmK8b/PK
ID:OlsRjmnt
ID:ijoqd/ZI
ID:ukZx7597
↑
NG
565: 2020/04/13(月)17:13 ID:nP8hll5d(1) AAS
>>564
正解w
566(1): 2020/04/13(月)17:16 ID:my5S7sSz(23/32) AAS
>>556
野暮天さん、あんた関東生まれの関東育ちか?
あるいは、もっと田舎か?
>>そういう事例が無いなら、信頼性90%以上でしょ
>わしが理解できんのは、なぜ無理矢理、定量化したがるのか、ということじゃ
あのな〜ww
もともと、「両名による記者会見の信頼性=99%」(>>514)
省14
567(2): 2020/04/13(月)17:16 ID:Lx5viamn(1/10) AAS
もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて
登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、
置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が
起こっているのか?
細部に小さいミスがあったとしても発想の方向が新しかったとしたら偉大な業績として
已然歴史に残るのではないか?
小さいミスの指摘が仮に「妥当」だったとしてもそれで望月博士の偉業を否定することは
省10
568: 野暮天 2020/04/13(月)17:17 ID:ukZx7597(37/75) AAS
>>564
申し訳ないのう
・・・といいつつ、>>563の話を続けるわけじゃが
外部リンク:magfesta.jp
SU-METALの名前がない!
ま、分かるヤツは分かる
生田絵梨花もよう分かっとるw
省1
569: 2020/04/13(月)17:18 ID:AZP114W1(11/13) AAS
>>562
ショルツが対称性を例にIUTの痛いところ
を突いているとか、
スマートで容赦ないから非常に
好感が持てる。
570: 2020/04/13(月)17:19 ID:CNPa1jiZ(3/3) AAS
スキームの局所環付き空間としての定義が分からないという代数幾何勉強中の人はいないだろうし
例えば50年くらい駆け上がったとしてもきちんと論証すれば分かるのでは?
571(2): 2020/04/13(月)17:22 ID:my5S7sSz(24/32) AAS
>>559
>あんた「箱入り無数目」も間違っとると思うから間違いだといってるわけか
「箱入り無数目」は間違!
もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな
”「箱入り無数目」は間違!”が分かるから
そこが、分からないレベルで IUT語るなんて、おへそが茶を沸かすレベルでしかないよねw(^^;
572(1): 野暮天 2020/04/13(月)17:24 ID:ukZx7597(38/75) AAS
>>566
>もともと、”99%”という言い回しがさ自然言語の常套句なんだよね
なるほど 数字には意味がない と認めるわけじゃな
つまり 詐欺じゃった と認めるわけじゃな
ちなみに光速の99%はラピディティで置き換えると2.64…程度
光速そのものはラピディティでは∞じゃから 大したことない
まあ、光速より小さいならラピディティは有限じゃから
省3
573: 2020/04/13(月)17:28 ID:my5S7sSz(25/32) AAS
>>560
>望月がそんな間違いをするかってレスがあるが、むしろ実際以上に柔軟に考え過ぎて失敗した可能性はあるな
>スキームを統制するパターンとかスキームを超える遠アーベル幾何っていう考えに魅せられて
>単純な事実依拠を怠ったという可能性
勿論、可能性はあるけどね
でも、2018年に指摘されて
その後、2年間かけて査読して
省5
574(1): 野暮天 2020/04/13(月)17:29 ID:ukZx7597(39/75) AAS
>>571
>「箱入り無数目」は間違!
>もし、身近に大学で確率論か確率過程論を修めた人が居て聞けるなら、聞いてみな
で、あんたはどこの誰に聞いたんじゃ
わしはその人に直接尋ねてみるから
大阪大学理学部数学科の誰に尋ねたんじゃ?
まさか 工学部の専門外の教授に尋ねたわけではあるまい?
省1
575: 2020/04/13(月)17:30 ID:my5S7sSz(26/32) AAS
>>567
>もし望月博士が、延べ数十人の数学者たちが寄ってたかって100年くらいの期間をかけて
>登る数学理論のはしごを、20年でおひとりで一気に駆け上ってしまっていたとしたら、
>置いてきぼりにされた数学者たちは何が起こったのか状況把握ができないって事象が
>起こっているのか?
同意
ただ、そのことは、今年の国際会議が終われば
省2
576: 2020/04/13(月)17:30 ID:vWi06T7g(2/13) AAS
ショルツの最新のコメントはSSレポートに更にわかりやすい情報を付加してる
エタール基本群から出発して、対称性通信による無数の異なる特異な対数加群を構成するというのは
根本的におかしくないかと言ってる
しかしこれ、結局ポストモダンの人などが言ってたことと基本的には同じ
bizarre、ある意味で手品みたいな話なんだな
577(1): 2020/04/13(月)17:32 ID:my5S7sSz(27/32) AAS
>>574
>で、あんたはどこの誰に聞いたんじゃ
>わしはその人に直接尋ねてみるから
そんなことは、誰に聞いても良いよ
あなたが、東大の確率論の専門のだれそれとか、別に地方大でも だれそれとか
知っている人に聞け
それで決着するよw(^^;
578(3): 2020/04/13(月)17:32 ID:Y9js0GVd(2/4) AAS
>>571
おまえ隔離スレで↓から逃亡しといて何言ってんの?
>1.しっぽの同値類は可能
>2.決定番号を決めることは可能
決定番号は自然数である。 Y/N
{d(s^i)|i∈{1,2,...,100}}:=Mは、100個の(重複を許す)自然数の集合である。 Y/N
Mは有限全順序集合である。 Y/N
省7
579(1): 野暮天 2020/04/13(月)17:33 ID:ukZx7597(40/75) AAS
>4月3日の記者会見したってことは、
>RIMSはショルツ氏の指摘には
>ちゃんと数学的に反論できる自信があるってこと
それなら、反論した後で、記者会見するじゃろ
ショルツが認めなくても、他の数学者が認めればええじゃろ
なぜ、そうせんのかのう できんのかのう
できんのに記者会見するっちゅうのは、素人の文科省の官僚を
省4
580: 2020/04/13(月)17:35 ID:my5S7sSz(28/32) AAS
>>572
>なるほど 数字には意味がない と認めるわけじゃな
>つまり 詐欺じゃった と認めるわけじゃな
数字には意味がない
↓
詐欺じゃった
この証明には、大きなギャップあり!!
省3
581(1): 野暮天 2020/04/13(月)17:37 ID:ukZx7597(41/75) AAS
>>577
>>で、あんたはどこの誰に聞いたんじゃ
>>わしはその人に直接尋ねてみるから
>そんなことは、誰に聞いても良いよ
耳が遠いようじゃから、耳元で大声でいわせてもらうが
「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ?」
あんたまさか誰にも聞かずにフカしとるんか
省3
582(2): 2020/04/13(月)17:39 ID:my5S7sSz(29/32) AAS
>>579
>それなら、反論した後で、記者会見するじゃろ
記者会見は、文系の記者相手で、広報は一般大衆向け
プロ向けには、今年国際会議が予定されているでしょ
そして、秋と春の日本数学会と
そして、2022ICMがあるよ
>ショルツが認めなくても、他の数学者が認めればええじゃろ
省3
583(2): 2020/04/13(月)17:39 ID:Lx5viamn(2/10) AAS
望月博士とショルツ博士の議論は、
ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって
議論なんですか?
結局どっちも正しくて、一つの真理を別々の理論で同時に書き表せるのに、互いに
違う理論の言葉を使おうとするからコミュニケーションミスが起こってる
あるいは、望月博士の理論はカロリックやエーテルを仮定するような大局観から疑われ
ているんでしょうか?
省3
584(2): 2020/04/13(月)17:41 ID:my5S7sSz(30/32) AAS
>>581
>耳が遠いようじゃから、耳元で大声でいわせてもらうが
>「あ・ん・た・は・ど・こ・の・だ・れ・に・き・い・た・ん・じゃ?」
あんた、大学レベルの確率論・確率過程論 やってないでしょ
おれは、やったよ
それだけのこと
「箱入り無数目」は、大学レベルの確率論・確率過程論やってないと、嵌って抜けらないってことよw(^^;
585: 野暮天 2020/04/13(月)17:41 ID:ukZx7597(42/75) AAS
>>578
その昔、見栄坊の大阪人が
「決定番号は自然数である。」
という質問に
「N! 確率1で∞!」
と答えたときはズッコケまくったもんじゃ
決定番号の定義を読んで理解したならこんな回答は決してできん
省3
586(2): 2020/04/13(月)17:43 ID:AZP114W1(12/13) AAS
>>567
IUTは大言壮語で役立たずです。
IUTはabc予想から天気予報まで
有効と言ってます。
が実際は、
天気予報よりシンプルな感染症現象の数理モデルでも役立たずです。
気象なら水蒸気から相転移し雲になり
省4
587(1): 野暮天 2020/04/13(月)17:44 ID:ukZx7597(43/75) AAS
>>584
>あんた、大学レベルの確率論・確率過程論 やってないでしょ
>おれは、やったよ
あんた自習じゃろw
わし、やったが・・・箱入り無数目の否定にはつながらんな
ああ、そうそう、あんたここでは匿名にしたいようじゃが
便宜的にHN入れてくれんか そう名前は「見栄坊」で
588(1): 2020/04/13(月)17:44 ID:my5S7sSz(31/32) AAS
>>583
>望月博士とショルツ博士の議論は、
>ハイゼンベルクの行列力学はシュレディンガーの波動力学のどっちが正しいかって
>議論なんですか?
その例えで言えば
1.量子力学の確率解釈を支持したパウリ一派
VS
省4
589: 2020/04/13(月)17:45 ID:Y9js0GVd(3/4) AAS
>>584
なんでおまえは>>578から逃げるんだ?
逃げるなら自分の間違いを認めろ
590: 2020/04/13(月)17:46 ID:my5S7sSz(32/32) AAS
>>587
>あんた自習じゃろw
おれと、天才ショルツを比べる気ないけど
天才ショルツ氏も、ほとんど自習らしいよ、数学
>わし、やったが・・・箱入り無数目の否定にはつながらんな
だから、あなた、抜けたんでしょ
学んだことが、というか、理解できてないかだな(^^;
591: 2020/04/13(月)17:48 ID:Lx5viamn(3/10) AAS
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは? それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
592(2): 2020/04/13(月)17:48 ID:Lx5viamn(4/10) AAS
>>586
相変化からコリオリス力までみんな含んだ雲の動き数値シミュレーション何て2世紀前の
数学理論で十分なんでは? それと数学理論の正しさと、数学理論で物理現象をモデリング
する正しさは別問題ですよね
数学はわかんないけどモデリングの方は一応プロなんですけど。
593(1): 野暮天 2020/04/13(月)17:49 ID:ukZx7597(44/75) AAS
>>583
>望月博士とショルツ博士の議論は
むやみに大袈裟な仕掛けを考えた、マッドサイエンティストMに対して
洗練されたヨーロピアンスタイルの天才Sが
「あれもいらない、これもいらない・・・
最低限これだけですけどこれじゃ仕掛けは動かないですね」
と指摘し
省6
594(2): 2020/04/13(月)17:50 ID:TnD+4OAc(1/8) AAS
>>446
>数論幾何の専門家が中高年になるまで心血注ぎ込んで掛けて来た時間と人数にくらべて、
>若い天才といっても1人の専門外の人がチョチョイと直ぐ見抜ける
>「修正不可能なギャップが根幹に有って誰も専門家が気が付かなかった」
>って考え難いんですよね
違う。望月は証明できたとし、周囲の人間は理解できないけれども身内びいきの感情で、
認めてしまったというだけのこと。
省4
595(2): 2020/04/13(月)17:51 ID:Lx5viamn(5/10) AAS
>>593
漫画と芸能ゴシップ誌と競馬予想誌読み過ぎだと想像しますw
よくわかんないけど
596(1): 2020/04/13(月)17:55 ID:AZP114W1(13/13) AAS
>>592
プリミティブ方程式がわかれば
予測可能になるの?
雲もなる仮定も超水滴法とか色々ある
し、
集中豪雨の予測もドップラーレーダーの
データが必要でしょ
597: 野暮天 2020/04/13(月)17:55 ID:ukZx7597(45/75) AAS
>>594
>望月は、ショルツほかの指摘にたいして、強情張ってるだけにみえる。
なるほど、箱入り無数目で
「見栄坊が、ここの読者の指摘にたいして、強情はってるだけ」
というのと同じじゃな
阪大が見栄坊の論文をアクセプトし出版する際には教えてくれるか
ま、そんな事態は永遠に訪れないと思うが
598(1): 2020/04/13(月)17:56 ID:dqNdeGIH(1/4) AAS
>>594
え?
「証明は正しい」って会見済みですが。
599(1): 2020/04/13(月)17:56 ID:TnD+4OAc(2/8) AAS
>>483
望月の側に査読者を選ぶ権利無し。
こんなことをいう時点で世界の笑いもの
600(1): 2020/04/13(月)17:57 ID:Y9js0GVd(4/4) AAS
ID:my5S7sSz
クダラナイこと言ってないで>>578に答えなさい
答えないなら間違いを認めなさい
601: 野暮天 2020/04/13(月)17:58 ID:ukZx7597(46/75) AAS
>>592
>2世紀前の数学理論で十分なんでは?
そうじゃろな
21世紀になってやっと双曲幾何が利用される状況じゃからな
602: 2020/04/13(月)17:59 ID:Lx5viamn(6/10) AAS
>>596
モデリングに使う構成方程式や境界条件式を計測から求めた実測値をはめ込んで
方程式系をcloseさせるってこと普通にやりますけど、
それならいよいよ純粋数学理論の正しさとは筋違いの話ですよね
603(1): 野暮天 2020/04/13(月)18:01 ID:ukZx7597(47/75) AAS
>>595
>漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
604: 野暮天 2020/04/13(月)18:01 ID:ukZx7597(48/75) AAS
>>595
>漫画と芸能ゴシップ誌と競馬予想誌読み過ぎ
実はどれも大して読んでないがのう
競馬はやったことないな
ギャンブルでやったことあるのは宝くじだけじゃのう
605(2): 2020/04/13(月)18:05 ID:TnD+4OAc(3/8) AAS
>>598
分かってないまま正しいと認めたんだろう。
606: 野暮天 2020/04/13(月)18:05 ID:ukZx7597(49/75) AAS
>>600
見栄坊は自分の長年の主張を撤回することは
自分の体面を失うことだと思っとるようじゃが・・・
そもそも数学を知らん素人に体面なんかないじゃろ
なに思い上がっとるんかのう あの大阪人は
607: 2020/04/13(月)18:05 ID:vvVnRe9y(8/9) AAS
>>582
順序が逆なんだよね
普通プロ向けに国際会議でそれなりのコンセンサスを得てから記者会見でしょう
プレプリントを公開したことでかえって批判されているのに、関係者ばかりが正しいと叫んでいる状況は明らかにおかしい
608(1): 野暮天 2020/04/13(月)18:07 ID:ukZx7597(50/75) AAS
>>605
玉川は、望月が天才だと思い込んどるんじゃろうな
京都の数論幾何グループ全体が集団催眠にかかってる
と考えたほうがよさそうじゃ
柏原氏はもらい事故みたいなもんじゃな
609(1): 2020/04/13(月)18:08 ID:dqNdeGIH(2/4) AAS
>>605
なぜそんな事が分かるんですか?
610: 野暮天 2020/04/13(月)18:09 ID:ukZx7597(51/75) AAS
>>582
>これから、数学オセロゲームが始まります
>おれら、ヤジウマは、数学オセロゲームを楽しむんだよ〜
見栄坊氏はアルツハイマー型認知症じゃろか
なんか不健康な生活を送ってそうじゃからなあ
611(2): 2020/04/13(月)18:10 ID:Lx5viamn(7/10) AAS
>>603
そうでしたかそれは失礼しました
モデリングの正しさは経験則(実験との整合性)ですが、数学理論の正しさとは
いまだにわかりません。嘘くさい数学理論で整合性だけはどう試しても満たしてるっぽい
数学理論でも、騙されたと思ってその数学理論でモデリングして数値計算したり、
間接測定した実測値があってたら、しかも何度追実験してもあってたら、
もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな
省2
612(3): 2020/04/13(月)18:11 ID:TnD+4OAc(4/8) AAS
>>609
説明できていないから.
ちなみに、ギャップのない証明があるならば、機械で検証できる。
望月応援団は機械で検証できる証明を提示していない。
ゆえにギャップのない証明は存在しない。
事実として今現在存在しない。
613: 野暮天 2020/04/13(月)18:13 ID:ukZx7597(52/75) AAS
>数学理論の正しさとはいまだにわかりません。
数学理論の正しさは無矛盾性じゃな・・・ただし証明不可能じゃが
614: 2020/04/13(月)18:15 ID:y67whNyF(1/8) AAS
>>599
査読者っていうのは最低限会話しなきゃ能力がないから選べないの。
望月が選ぶんじゃなくてもな。
615: 2020/04/13(月)18:16 ID:y67whNyF(2/8) AAS
>>612
あなたのいう機械って何。
616: 2020/04/13(月)18:17 ID:dqNdeGIH(3/4) AAS
>>612
ここに書き込まれるより
望月先生のブログで指摘されてはいかがでしょうか
617: 2020/04/13(月)18:19 ID:TnD+4OAc(5/8) AAS
コンピュータによる証明検証だよ。
今はそれが可能。
近い将来
「証明がわかる」ということを、コンピュータで証明可能な書き下しをすることを意味するようになるだろう。、
「証明になっている・なっていない」の押し問答でエネルギーを無駄に消費するのは意味がないから。
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
望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。
これだからアジアンは、って言われないことを希望するよw
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
あいつら先に定義がないと動けないので
そういう部分をわかってあげれば
少々数学としておかしくても
多変数の多項式とかを秒殺で処理してくれるから助かる
多変数多項式環の元とかわけわかんねえもんw
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でさくら学院が上位に来とるのう
今お薦めのコは広島から来たスーパールーキーの戸高美湖(元 革命少女)じゃ
あ、もう二年目になったからルーキーじゃないか
上下前次1-新書関写板覧索設栞歴
あと 370 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.028s