[過去ログ]
Inter-universal geometry と ABC予想 49 (1002レス)
Inter-universal geometry と ABC予想 49 http://rio2016.5ch.net/test/read.cgi/math/1586650355/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
605: 132人目の素数さん [sage] 2020/04/13(月) 18:05:01.02 ID:TnD+4OAc >>598 分かってないまま正しいと認めたんだろう。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/605
606: 野暮天 [sage] 2020/04/13(月) 18:05:03.61 ID:ukZx7597 >>600 見栄坊は自分の長年の主張を撤回することは 自分の体面を失うことだと思っとるようじゃが・・・ そもそも数学を知らん素人に体面なんかないじゃろ なに思い上がっとるんかのう あの大阪人は http://rio2016.5ch.net/test/read.cgi/math/1586650355/606
607: 132人目の素数さん [] 2020/04/13(月) 18:05:46.40 ID:vvVnRe9y >>582 順序が逆なんだよね 普通プロ向けに国際会議でそれなりのコンセンサスを得てから記者会見でしょう プレプリントを公開したことでかえって批判されているのに、関係者ばかりが正しいと叫んでいる状況は明らかにおかしい http://rio2016.5ch.net/test/read.cgi/math/1586650355/607
608: 野暮天 [sage] 2020/04/13(月) 18:07:14.87 ID:ukZx7597 >>605 玉川は、望月が天才だと思い込んどるんじゃろうな 京都の数論幾何グループ全体が集団催眠にかかってる と考えたほうがよさそうじゃ 柏原氏はもらい事故みたいなもんじゃな http://rio2016.5ch.net/test/read.cgi/math/1586650355/608
609: 132人目の素数さん [sage] 2020/04/13(月) 18:08:56.01 ID:dqNdeGIH >>605 なぜそんな事が分かるんですか? http://rio2016.5ch.net/test/read.cgi/math/1586650355/609
610: 野暮天 [sage] 2020/04/13(月) 18:09:41.88 ID:ukZx7597 >>582 >これから、数学オセロゲームが始まります >おれら、ヤジウマは、数学オセロゲームを楽しむんだよ〜 見栄坊氏はアルツハイマー型認知症じゃろか なんか不健康な生活を送ってそうじゃからなあ http://rio2016.5ch.net/test/read.cgi/math/1586650355/610
611: 132人目の素数さん [] 2020/04/13(月) 18:10:45.58 ID:Lx5viamn >>603 そうでしたかそれは失礼しました モデリングの正しさは経験則(実験との整合性)ですが、数学理論の正しさとは いまだにわかりません。嘘くさい数学理論で整合性だけはどう試しても満たしてるっぽい 数学理論でも、騙されたと思ってその数学理論でモデリングして数値計算したり、 間接測定した実測値があってたら、しかも何度追実験してもあってたら、 もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな 理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。 数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/611
612: 132人目の素数さん [sage] 2020/04/13(月) 18:11:46.02 ID:TnD+4OAc >>609 説明できていないから. ちなみに、ギャップのない証明があるならば、機械で検証できる。 望月応援団は機械で検証できる証明を提示していない。 ゆえにギャップのない証明は存在しない。 事実として今現在存在しない。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/612
613: 野暮天 [sage] 2020/04/13(月) 18:13:19.15 ID:ukZx7597 >数学理論の正しさとはいまだにわかりません。 数学理論の正しさは無矛盾性じゃな・・・ただし証明不可能じゃが http://rio2016.5ch.net/test/read.cgi/math/1586650355/613
614: 132人目の素数さん [] 2020/04/13(月) 18:15:07.63 ID:y67whNyF >>599 査読者っていうのは最低限会話しなきゃ能力がないから選べないの。 望月が選ぶんじゃなくてもな。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/614
615: 132人目の素数さん [] 2020/04/13(月) 18:16:50.54 ID:y67whNyF >>612 あなたのいう機械って何。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/615
616: 132人目の素数さん [sage] 2020/04/13(月) 18:17:24.00 ID:dqNdeGIH >>612 ここに書き込まれるより 望月先生のブログで指摘されてはいかがでしょうか http://rio2016.5ch.net/test/read.cgi/math/1586650355/616
617: 132人目の素数さん [sage] 2020/04/13(月) 18:19:54.97 ID:TnD+4OAc コンピュータによる証明検証だよ。 今はそれが可能。 近い将来 「証明がわかる」ということを、コンピュータで証明可能な書き下しをすることを意味するようになるだろう。、 「証明になっている・なっていない」の押し問答でエネルギーを無駄に消費するのは意味がないから。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/617
618: 132人目の素数さん [] 2020/04/13(月) 18:21:31.58 ID:Lx5viamn 数学理論内の論理だけで同じ数学理論に矛盾がない事の証明ができないことは、 有名なゲーデルの不完全性定理で証明されているんですよね だとしたら、ある数学理論が無矛盾であることの調査は、 コンピュータのマシンパワーをつかって、何らかのアルゴリズムで矛盾性の 再現を試みさせてみて、すごーーーーく長い時間(人力なら10000年分とか) 理論をこねくり回しても矛盾性を発見できなければ10000年かかっても矛盾を 発見できなさそうなほどの無矛盾な数学理論って主張できるって方針 で行うんですかね? もちろん、矛盾探索アルゴリズムに不備がないことを何等かの検証をしつつ どういうアルゴリズムでどういう検証なのかよくわかんないですけどw http://rio2016.5ch.net/test/read.cgi/math/1586650355/618
619: 132人目の素数さん [sage] 2020/04/13(月) 18:22:54.47 ID:TnD+4OAc 望月は今や、ケプラー予想の先行権を主張したウーイーシアンみたいな立ち位置だな。 これだからアジアンは、って言われないことを希望するよw http://rio2016.5ch.net/test/read.cgi/math/1586650355/619
620: 132人目の素数さん [sage] 2020/04/13(月) 18:27:39.76 ID:vWi06T7g >>608 現役の遠アーベル専門家の玉川さんとたまたま担ぎ出された御大では全く違うし、御大に責任を 問う必要はない http://rio2016.5ch.net/test/read.cgi/math/1586650355/620
621: 132人目の素数さん [sage] 2020/04/13(月) 18:28:16.88 ID:Ot14yWWM >>557 ももクロとは比較しないでいただきたい BABYMETALは文字通り桁違い 唯一世界でブレイクしたスター ももクロはBiSHにすら追い抜かれたヘタレ 世界で全く通用しないからこうなってる Reddit(世界最大の掲示板) コミュニティーのメンバー数(2020年4月9日) BABYMETAL 26292 AKB 5483 BAND-MAID 3968 Perfume 3796 さくら学院 3568 Aimar 2848 ONE OK ROCK 2410 きゃりーぱみゅぱみゅ 1874 乃木坂 1350 宇多田ヒカル 994 モーニング娘 974 欅坂 787 X JAPAN 578 嵐 576 ヨルシカ 519 マキシマム ザ ホルモン 479 LiSA 419 BiSH 377 ももクロ 345 http://rio2016.5ch.net/test/read.cgi/math/1586650355/621
622: 132人目の素数さん [sage] 2020/04/13(月) 18:29:29.01 ID:Oetq8pjs >>612 > 望月応援団は機械で検証できる証明を提示していない。 > ゆえにギャップのない証明は存在しない。 未だかつて普通の数学者(Mac Laneの教科書のタイトルにある“working mathematicians”の意味で)が 機械つまりコンピュータで検証できるレベルの証明を提示したことなんて一度としてない Coqのようなコンピュータ上の証明検証システムで検証できる証明を提示していないのがNGというのならば フィールズ賞やアーベル賞の受賞者全員から賞を剥奪しないといけなくなる http://rio2016.5ch.net/test/read.cgi/math/1586650355/622
623: 132人目の素数さん [sage] 2020/04/13(月) 18:34:43.03 ID:vWi06T7g >>611 個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる http://rio2016.5ch.net/test/read.cgi/math/1586650355/623
624: 132人目の素数さん [sage] 2020/04/13(月) 18:35:26.96 ID:TnD+4OAc >>622 ケプラー予想の証明はこの度機械で検証した。 査読者は99%正しいとといっていたが、残り1%の可能性を消すためにも必要だったのだろう。 今までの数学の確立された業績で、証明に疑問のあるものは存在しない。 望月のは現に異議存在する以上機械で検証にかけるよう求めるのは当然だろう。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/624
625: 132人目の素数さん [sage] 2020/04/13(月) 18:43:57.57 ID:E/8DKtpa ケプラー予想の機械検証は提出者本人が主導してる。 逃げ回ってるRIMSとは真逆の対応。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/625
626: 132人目の素数さん [] 2020/04/13(月) 18:44:52.44 ID:Lx5viamn コンピュータなんて結局1と0の二進数演算してるだけで、アルゴリズム書くのは今のところ でも、モンテカルロ法で「でたらめな」数学オブジェクト?を文字どうり「テキトー」に 組合せてみた記号列(文字列の文字の代わりに数学記号の組み合わせ)を乱暴にも公理と 見立ててマシンパワーつかって頭から矛盾性を検証する。もちろん、ほとんどのでたらめな 記号列は最初の一回の検証でNG判定になるので次の記号列を試す。 まったくの「テキトー」だと時間がかかりすぎて無駄なので、既存の数学理論に数学者の 直感で当たりをつけて初期条件に多少の作為を入れる。 たとえばユークリッド幾何学公理系なら第5公準に当たりを付けて何通りかいじくる あるいは、機械学習かエキスパートシステムを使って、他の数学理論がブレークスルーした ときの発想をパターンで覚え込ませたり、教師付き学習させて、すべてランダムな試行錯誤 に多少インテリジェンス性をもたせる。 こうやって基本的にはランダムな数学オブジェクトの組み合わせを総当たりかすこし 入れ知恵を加味した探索をさせて、コンピュータが無矛盾そうな数学理論を発見すること 「待つ」。 量子コンピュータのように破格のマシンパワーをつかえば、見通しの良い初期条件や、 入れ知恵や探索アルゴリズムや矛盾判定プログラムのセンスが良ければもしかしたら、 機械が新しい数学理論を自動で発見して、ある程度の検証までしてくれるかもしれない。 よくわかんないけど。 すいません数学の素人です。 機械学習で http://rio2016.5ch.net/test/read.cgi/math/1586650355/626
627: 132人目の素数さん [sage] 2020/04/13(月) 18:57:43.10 ID:TnD+4OAc 最近の一流の棋士は将棋ソフトで学ぶそうだが、 もうすぐ数学者たちも機械にセンスを学ぶようになるだろう。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/627
628: 132人目の素数さん [] 2020/04/13(月) 18:58:14.02 ID:Lx5viamn >>623 >個人的な哲学だけど、数学は何だかんだ基本的な問題意識でやっていって、仕方なく必要な理論を拡張していく >ものだと思う。で、その中で強い理論がろ過されてくる。そういう理論は現実でも何故か通用してくる 「基本的な問題意識」の定義がわかりません。 もしかして数学者の研究動機をあなたの個人的な哲学で制限しようとしてますか? 「強い理論」の定義がわかりません。 現代残っている数学理論は矛盾が発見されていない理論またはさしあたり矛盾が見つからなさそうと数学者たちから考えられてる理論ですよね? 数学は専門外なのでよくわかんないんですけど。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/628
629: 132人目の素数さん [] 2020/04/13(月) 19:01:57.00 ID:R2NiC+iT >>627 あいつら先に定義がないと動けないので そういう部分をわかってあげれば 少々数学としておかしくても 多変数の多項式とかを秒殺で処理してくれるから助かる 多変数多項式環の元とかわけわかんねえもんw http://rio2016.5ch.net/test/read.cgi/math/1586650355/629
630: 132人目の素数さん [sage] 2020/04/13(月) 19:02:05.14 ID:dqNdeGIH >>619 そうなら良いですね 「アジアンだから」の欧米からの塩対応でなければ倫理的には問題無しですもんね http://rio2016.5ch.net/test/read.cgi/math/1586650355/630
631: 132人目の素数さん [] 2020/04/13(月) 19:09:47.38 ID:sx2gcUJv 508, 528-530, 560, 562, 569, 594あと野暮天さんは真相を語っている気がしますね my5S7sSzは消えてくれないかな http://rio2016.5ch.net/test/read.cgi/math/1586650355/631
632: 野暮天 [sage] 2020/04/13(月) 19:32:46.71 ID:ukZx7597 >>621 すまんかった ももクロは個人的には好きなグループじゃがな BiSHはよう知らんのじゃ BiSは知っとるが テラシマユフは脱北できてよかったのう Redditでさくら学院が上位に来とるのう 今お薦めのコは広島から来たスーパールーキーの戸高美湖(元 革命少女)じゃ あ、もう二年目になったからルーキーじゃないか http://rio2016.5ch.net/test/read.cgi/math/1586650355/632
633: 野暮天 [sage] 2020/04/13(月) 19:35:55.49 ID:ukZx7597 >>631 >my5S7sSzは消えてくれないかな 見栄坊自身のためにもそれがよいじゃろう 数学書を山ほど買い込んでもちっとも読みもせんとか無駄じゃろう さっさと全部売り払って、山でトマトでもつくったらよかろう グロタンディクみたいに http://rio2016.5ch.net/test/read.cgi/math/1586650355/633
634: 野暮天 [sage] 2020/04/13(月) 19:41:39.16 ID:ukZx7597 >これだからアジアンは それはないじゃろ 岡潔はともかく、S.S.Chern(陳省身)も小平も認められたんじゃから http://rio2016.5ch.net/test/read.cgi/math/1586650355/634
635: 132人目の素数さん [sage] 2020/04/13(月) 19:42:03.19 ID:Ot14yWWM 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 4位 The GazettE - Ninth 2018/06/13 10位 BAND-MAID - CONQUEROR 2019/12/04 19位 DIR EN GREY - The Insulated World 2018/09/26 28位 RADWIMPS - Weathering With You -Complete Version- 2019/11/26 31位 coldrain - THE SIDE EFFECTS 2019/08/28 34位 ヨルシカ - Elma 2019/08/28 36位 錦戸 亮 - Nomad 2019/12/11 39位 ずっと真夜中でいいのに。 - 潜潜話 2019/10/28 40位 LUNA SEA - Cross 2019/12/18 45位 King Gnu - CEREMONY 2020/01/16 47位 Official髭男dism - Traveler 2019/10/09 48位 Poppin'Party - イニシャル/夢を撃ち抜く瞬間に 2020/01/08 54位 あいみょん - 瞬間的シックスセンス 2019/02/13 54位 Toshl - Im a Singer Vol. 2 2019/11/21 54位 藤井 風 - 何なんw 2020/01/23 55位 Perfume - Perfume the Best "P Cubed 2019/09/18 57位 GLAY - No Democracy 2019/10/02 57位 浜崎あゆみ - M()DE IN JAPAN 2016/06/29 58位 サカナクション - 834.194 2019/06/18 59位 Crossfaith - EX_MACHINA 2018/08/01 http://rio2016.5ch.net/test/read.cgi/math/1586650355/635
636: 野暮天 [sage] 2020/04/13(月) 19:49:40.53 ID:ukZx7597 >>635 宇多田ヒカルを抜いたのか?! そりゃスゲェ!!! http://rio2016.5ch.net/test/read.cgi/math/1586650355/636
637: 132人目の素数さん [sage] 2020/04/13(月) 19:49:41.71 ID:DYqPl9DE >>611 >もちろん統計的にに偶然だった仮説が棄却される回数確認しても、一見嘘くさそうな >理論でピタリとモデリングができるようであれば実務屋では使ってみたくなると思います。 >数学理論の正しさの尺度だけがどうしても切り分けできずに私の中で引っかかってます。 どうも その感じよく分かります ところで、数学にも、モデル理論があります 逆数学:数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラム こういうのを知ると、数学の厳密性が、20世紀のそれと21世紀とでは、異なっていることが分かりますよ(^^; 参考 http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2050-05.pdf 数理解析研究所講究録 第2050巻 2017 48-56 1 980年代半ば,米国中西部のモデル理論,そして未来 モデル理論賛歌 板井 昌典 東海大学 理学部 情報数理学科 筆者のモデル理論研究との関わりを中心に,モデル理論の過去30年の進化について解説する. 米国でモデル理論研究を開始する契機を与えて下さった角田譲先生にあらためて感謝いたします. 1 はじめに モデル理論研究を始めることになったのは 「偶然」 であった.1983年3月に神戸大学大学院を修了したのち米国の複数の大学院への入学を希望していた.いろいろ曲折はあったが,米国イリノイ大学シカゴ校への入学が決まったのは,1983年の夏であった. 実は,この時点ではモデル理論のことも,その後大変お世話になる John T Baidwin のことも何も知らない状態であった.振り返ってみれば,1980年代半ばに米国中西部でモデル理論研究を始めることが出来たのは実に幸運であった. 拙稿は,講究録の通常の論文とは異なり,個人史的観点からの 「モデル理論」 論であり,過去30年間のモデル理論発展の全体を網羅しているものでないことを予めお断り しておく. 前置きはこれく らいにして本題に入ろう https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6 逆数学 (抜粋) 逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである 逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる http://rio2016.5ch.net/test/read.cgi/math/1586650355/637
638: 野暮天 [sage] 2020/04/13(月) 19:52:09.03 ID:ukZx7597 >>637 見栄坊よ おぬしの職場 まだ社員を出勤させとるのか 5chに書き込みするだけの社員とか 出勤させる意味なかろう http://rio2016.5ch.net/test/read.cgi/math/1586650355/638
639: 野暮天 [sage] 2020/04/13(月) 19:55:03.41 ID:ukZx7597 >>637 >数学にも、モデル理論があります 数理モデルのモデルと、モデル理論のモデルが 同じじゃと思うヤツをはじめてみたわい 定義を確認せんヤツはこれじゃから困るのう http://rio2016.5ch.net/test/read.cgi/math/1586650355/639
640: 132人目の素数さん [] 2020/04/13(月) 19:56:44.17 ID:sMk8UGpY 望月の証明は正しい。 ショルツの指摘は正しい。 つまり、3.11から3.12は導かれるとも、導かれないとも言える。 ABC予想は証明できたとも、証明できていないとも言える。 俺が前々から言ってるように、ABC予想は決定不能な命題なんだぜ。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/640
641: 野暮天 [sage] 2020/04/13(月) 19:59:14.47 ID:ukZx7597 >>618 もし、ショルツが「IUTは矛盾している」と主張しているなら その証明責務はショルツにあるじゃろうな しかし、ショルツがいってるのは 「系3.12について、望月の方法では証明できそうもない」 ということじゃから、証明になっていることを示す責務は望月にある http://rio2016.5ch.net/test/read.cgi/math/1586650355/641
642: 野暮天 [sage] 2020/04/13(月) 20:01:23.87 ID:ukZx7597 >>640 もしABC予想が決定不能問題なら 望月の証明は間違ってることになるのう 望月とショルツの主張が両立することはない http://rio2016.5ch.net/test/read.cgi/math/1586650355/642
643: 野暮天 [sage] 2020/04/13(月) 20:03:47.24 ID:ukZx7597 もし見栄坊が望月を応援する行動が 「オリンピックで日本人選手を応援する行動」 と同じじゃとしたら 数学には全く興味がないっちゅうことじゃのう 数学者にとって、ある問題を解いた人が 自国の人間か否かはどうでもええことじゃ http://rio2016.5ch.net/test/read.cgi/math/1586650355/643
644: 132人目の素数さん [] 2020/04/13(月) 20:03:58.86 ID:ZctrM3uq >>640 ゴミクズは黙ってろ 決定不能なら証明したではなく決定不能が答えだ http://rio2016.5ch.net/test/read.cgi/math/1586650355/644
645: 132人目の素数さん [] 2020/04/13(月) 20:06:43.00 ID:ZctrM3uq 日本はもうダメだな この望月関連で確信した 数学がこの体たらくならもう日本に未来はないね http://rio2016.5ch.net/test/read.cgi/math/1586650355/645
646: 野暮天 [sage] 2020/04/13(月) 20:07:44.55 ID:ukZx7597 ところで、この次のスレは数学板じゃのうて ニュー速板にでも立てたらどうじゃろう? どうせ数学の話などできんのじゃろう? http://rio2016.5ch.net/test/read.cgi/math/1586650355/646
647: 132人目の素数さん [] 2020/04/13(月) 20:11:00.99 ID:B1CiQ8tU abc予想が正しいと思えない http://rio2016.5ch.net/test/read.cgi/math/1586650355/647
648: 野暮天 [sage] 2020/04/13(月) 20:13:29.17 ID:ukZx7597 >>645 >日本はもうダメだな わしはコロナの件でそう確信したがのう 検査はせん 補償は出さん 下らん動画はのせる この国の首相は国民を蔑ろにしとる https://www.instagram.com/p/B-3CgfcD3Xy/ これが民主主義か? こんな民主主義ならもういらんじゃろ 議会制は根本的に間違っとる http://rio2016.5ch.net/test/read.cgi/math/1586650355/648
649: 132人目の素数さん [sage] 2020/04/13(月) 20:17:23.81 ID:vWi06T7g >>645 少なくとも望月やらショルツやらこの件に関わってる数学者なんかごく一部だからな 目立つからって全てであるかのように扱うのはおかしい http://rio2016.5ch.net/test/read.cgi/math/1586650355/649
650: 132人目の素数さん [] 2020/04/13(月) 20:17:50.72 ID:y67whNyF 盲人象をなでる以前かと http://rio2016.5ch.net/test/read.cgi/math/1586650355/650
651: 132人目の素数さん [] 2020/04/13(月) 20:20:20.61 ID:B1CiQ8tU みんなすごいと言ってるけど何がどう凄いのか全然わからない すごいからすごい http://rio2016.5ch.net/test/read.cgi/math/1586650355/651
652: 132人目の素数さん [] 2020/04/13(月) 20:21:19.78 ID:vWi06T7g >>628 それについて具体的に述べるのは勿体ないから言わないw http://rio2016.5ch.net/test/read.cgi/math/1586650355/652
653: 野暮天 [sage] 2020/04/13(月) 20:21:43.48 ID:ukZx7597 今に日本でも感染爆発がおきる 検査しとらんのじゃからそこらに潜在的感染者は山ほどおるじゃろ 貧困層を中心に死者が出るのは目に見えている みんな今の政権の富裕層優遇政策のせいじゃ だれが本当に働いてるのかわかっとらんな 金持ちは金だけ持っててもちっとも働きもせん 働くヤツがおらなくなったら金なんか無意味じゃ 所得分布 資産分布について全く言及できない 経済学は根本的に無意味じゃな http://rio2016.5ch.net/test/read.cgi/math/1586650355/653
654: 132人目の素数さん [sage] 2020/04/13(月) 20:23:02.19 ID:DYqPl9DE >>648 648 名前:野暮天[sage] 投稿日:2020/04/13(月) 20:13:29.17 ID:ukZx7597 [63/63] [63/63]か、暇人だなw(^^; http://rio2016.5ch.net/test/read.cgi/math/1586650355/654
655: 132人目の素数さん [sage] 2020/04/13(月) 20:23:34.65 ID:DYqPl9DE >>653 ID:ukZx7597 [64/64]か 暇人だなww http://rio2016.5ch.net/test/read.cgi/math/1586650355/655
656: 野暮天 [sage] 2020/04/13(月) 20:27:04.14 ID:ukZx7597 >暇人だな うらやましいか? おぬし 仕事やめたらよかろう どうせ職場でも5chにかきこみするだけじゃろう まさにデヴィッド・グレーバーのいう🐄💩仕事じゃな http://rio2016.5ch.net/test/read.cgi/math/1586650355/656
657: 野暮天 [sage] 2020/04/13(月) 20:30:15.14 ID:ukZx7597 >>656 >デヴィッド・グレーバーのいう🐄💩仕事じゃな いかんいかん、正確には🐂💩仕事らしい http://rio2016.5ch.net/test/read.cgi/math/1586650355/657
658: 132人目の素数さん [] 2020/04/13(月) 20:30:37.76 ID:B1CiQ8tU たかだか有限個のたかだかって何? 数学者特有の言い回し? http://rio2016.5ch.net/test/read.cgi/math/1586650355/658
659: 132人目の素数さん [sage] 2020/04/13(月) 20:43:17.16 ID:DYqPl9DE >>657 おサル、今度は”野暮天”名か クスリ変わったかのか? w(^^; http://rio2016.5ch.net/test/read.cgi/math/1586650355/659
660: 132人目の素数さん [sage] 2020/04/13(月) 20:44:31.66 ID:DYqPl9DE >>659 訂正 クスリ変わったかのか? w(^^; ↓ クスリ変わったのか? w(^^; ロリっちまったな 分かるとおもうが(^^ http://rio2016.5ch.net/test/read.cgi/math/1586650355/660
661: 野暮天 [sage] 2020/04/13(月) 20:46:32.13 ID:ukZx7597 >>659 見栄坊は、サイコパスに効く💊が無くて残念じゃのう http://rio2016.5ch.net/test/read.cgi/math/1586650355/661
662: 野暮天 [sage] 2020/04/13(月) 20:53:21.03 ID:ukZx7597 さてそろそろBS-TBSの酒場放浪記でも見るか http://rio2016.5ch.net/test/read.cgi/math/1586650355/662
663: 132人目の素数さん [sage] 2020/04/13(月) 21:12:07.66 ID:rJ1EYo/f math_jinという方が、やたらと、ショルツが読めないと言っている Cor 3.12の説明は、望月のどこそこ、星のどこそこ、山下のどこそこ に書いてあるとツイードしているが、math_jin自身は読めているから そういうツイードをしているのでしょうか。自分が読めないのに なんでそんなツイードが可能なのだろう。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/663
664: 132人目の素数さん [] 2020/04/13(月) 21:22:47.83 ID:fhSCJULt >>663 なんでこのスレにそれを書くんだ 直接言ってこいよチキンが http://rio2016.5ch.net/test/read.cgi/math/1586650355/664
665: 132人目の素数さん [sage] 2020/04/13(月) 21:23:00.01 ID:vWi06T7g >>663 ショルツはIUTでやりたいことも最低限は理解してる 仕組みをわかった上でおかしいと言ってる。論争は普通の数学者からすればSSが有利だが、 別に誰も全否定はしてない。説明できるまで認めないよ、という状態。アンチとか関係なくWoitの言う通り まあ現状これ以上ああだこうだ言うのは確かに無駄だろう。アクセプトしたからって正しい前提で 見てくれるほど甘くはないってこと http://rio2016.5ch.net/test/read.cgi/math/1586650355/665
666: 132人目の素数さん [] 2020/04/13(月) 21:25:45.53 ID:vvVnRe9y 読めるならWoitのブログのコメントに対して何か反論するだろう http://rio2016.5ch.net/test/read.cgi/math/1586650355/666
667: 132人目の素数さん [] 2020/04/13(月) 21:34:59.58 ID:y67whNyF >>665 普通の数学者って誰のこと? そもそも、シュルツに対しての望月の返答が放置されてる時点で 外径的にはSSが不利に見えるが。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/667
668: 132人目の素数さん [] 2020/04/13(月) 21:46:09.48 ID:xkqYGVs+ ジョン・コンウェイがコロナで亡くなったね 2020年4月11日、2019新型コロナウイルス(COVID-19)が原因で死去。82歳没。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/668
669: 132人目の素数さん [] 2020/04/13(月) 22:05:43.41 ID:GJRuKvRa モッチーの反論に再反論せずに、査読完了まで何やってたん?w ショルツさん http://rio2016.5ch.net/test/read.cgi/math/1586650355/669
670: 132人目の素数さん [sage] 2020/04/13(月) 22:22:54.62 ID:2GaqU2jz >>668 マジか…もう一つぐらい面白い有限群本を書いてほしかった ご冥福をお祈りいたします http://rio2016.5ch.net/test/read.cgi/math/1586650355/670
671: 132人目の素数さん [sage] 2020/04/13(月) 22:45:15.10 ID:gu1owv/0 ショルツはRemark5で赤っ恥間違い、そして望月再反論に対しだんまり http://rio2016.5ch.net/test/read.cgi/math/1586650355/671
672: 132人目の素数さん [sage] 2020/04/13(月) 22:50:33.55 ID:vWi06T7g >>667 普通の数学者とは、SSレポートと望月レポートを比較する者のこと それは多くて千人いそうだが、論文まで読んでるのは百人いるかどうか 勿論望月が正しい可能性自体はゼロじゃない http://rio2016.5ch.net/test/read.cgi/math/1586650355/672
673: 野暮天 [sage] 2020/04/13(月) 22:51:00.15 ID:ukZx7597 誤 ツイード 正 ツィート 綴り確認しような 坊や http://rio2016.5ch.net/test/read.cgi/math/1586650355/673
674: ◆QZaw55cn4c [sage] 2020/04/13(月) 22:53:35.70 ID:2HELtJr7 >>668 ライフゲームの人ですか! http://rio2016.5ch.net/test/read.cgi/math/1586650355/674
675: 132人目の素数さん [] 2020/04/13(月) 22:55:18.10 ID:y67whNyF >>672 日本でSS支持してる人いる? 海外に数人しかいないと思うが。 それに、議論の経緯だけ見たら、SSの分が悪いけどな。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/675
676: 132人目の素数さん [sage] 2020/04/13(月) 23:02:36.79 ID:vWi06T7g >>675 それはただの印象論じゃん。議論の経緯ってレポートの構造論を比較することよ? あと、SSを完全支持するのとIUTに懐疑的なのは近いけど別の話だから http://rio2016.5ch.net/test/read.cgi/math/1586650355/676
677: 132人目の素数さん [] 2020/04/13(月) 23:04:42.48 ID:y67whNyF >>676 いやそもそも批判になってなかったんよ。 レポートが。 だから、すれ違いになってたので、 再批判が不可欠だったのにしなかった。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/677
678: 132人目の素数さん [sage] 2020/04/13(月) 23:06:34.74 ID:vWi06T7g >>671 コミュニティが公にSSレポートの誤りを認識しない理由は何だと思う? 単純に望月が望月レポートで否定してるから? http://rio2016.5ch.net/test/read.cgi/math/1586650355/678
679: 132人目の素数さん [sage] 2020/04/13(月) 23:06:57.98 ID:ijj1CEvS >>663 マジレスすると過去スレの書き込みをそのまま呟いてるだけ math_jinに内容を理解する能力はない https://archive.is/QwQrJ その証拠に、奴は「Corollary 3.12に関する説明は、山下剛氏のサーベイでは358ページ」と言っているが、これは間違い 正しくは359ページから360ページ http://www.kurims.kyoto-u.ac.jp/~gokun/DOCUMENTS/abc2019Jul5.pdf http://rio2016.5ch.net/test/read.cgi/math/1586650355/679
680: 132人目の素数さん [] 2020/04/13(月) 23:09:38.86 ID:y67whNyF >>678 SSの誤りを指摘するのと、 望月の誤りを指摘しないのとは 後者の方が本質的だからでは。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/680
681: 132人目の素数さん [sage] 2020/04/13(月) 23:12:15.94 ID:ijj1CEvS 奴が呟いてる写真(GoサーベイのRemark 13.13.2)は Θ標対象の対数体積の計算方法を述べている部分であって Corollary 3.12そのものの説明部分ではない https://archive.is/QwQrJ http://rio2016.5ch.net/test/read.cgi/math/1586650355/681
682: 132人目の素数さん [] 2020/04/13(月) 23:13:20.47 ID:vWi06T7g >>677 根拠は?まさかあんたまでremark5?w http://rio2016.5ch.net/test/read.cgi/math/1586650355/682
683: 132人目の素数さん [sage] 2020/04/13(月) 23:13:26.53 ID:DYqPl9DE >>588 訂正 1.量子力学の確率解釈を支持したパウリ一派 ↓ 1.量子力学の確率解釈を支持したボーアなどコペンハーゲン 一派 「パウリ一派」は、不適切でした 慎んでお詫びと訂正を致します m(__)m (参考) https://ja.wikipedia.org/wiki/%E3%83%8B%E3%83%BC%E3%83%AB%E3%82%B9%E3%83%BB%E3%83%9C%E3%83%BC%E3%82%A2 (抜粋) ニールス・ヘンリク・ダヴィド・ボーア(デンマーク語: Niels Henrik David Bohr[1]、1885年10月7日 - 1962年11月18日)は、デンマークの理論物理学者[2]。量子論の育ての親として、前期量子論の展開を指導、量子力学の確立に大いに貢献した。王立協会外国人会員。 エルヴィン・シュレーディンガーが波動力学を発表したときには、コペンハーゲンに招きよせ、討論に疲弊して倒れたシュレーディンガーの病床で議論を続けたことは有名である。アルベルト・アインシュタインが量子力学に反対するようになると、尊敬するアインシュタインとも論争を続けて説得しようとした。 ボーアは、量子論の解き明かした粒子と波動の二重性、位置と速度の間の不確定性などの世界像を「相補性」と名付け、後半生には量子物理学と東洋哲学に類似性があるとして東洋哲学、特に易経を研究していた。 https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%9A%E3%83%B3%E3%83%8F%E3%83%BC%E3%82%B2%E3%83%B3%E8%A7%A3%E9%87%88 (抜粋) コペンハーゲン解釈(コペンハーゲンかいしゃく)は、量子力学の解釈の一つである。 量子力学の状態は、いくつかの異なる状態の重ね合わせで表現される。このことを、どちらの状態であるとも言及できないと解釈し、観測すると観測値に対応する状態に変化する(波束の収縮が起こる)と解釈する。 「コペンハーゲン解釈」という名称は、デンマークの首都コペンハーゲンにあるボーア研究所から発信されたことに由来する。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/683
684: 132人目の素数さん [] 2020/04/13(月) 23:14:33.73 ID:y67whNyF >>682 違うよ。望月の反論。 http://rio2016.5ch.net/test/read.cgi/math/1586650355/684
685: 132人目の素数さん [sage] 2020/04/13(月) 23:17:21.24 ID:vWi06T7g >>684 というと?望月を信じる、というだけなのかあなたなりの解釈があるのかどっち? http://rio2016.5ch.net/test/read.cgi/math/1586650355/685
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 317 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s