- 1 名前：１３２人目の素数さん mailto:sage [2020/04/07(火) 10:09:06.84 ID:+cW2XWCC.net]
- IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 45
https://rio2016.5ch.net/test/read.cgi/math/1582883006/
Inter-universal geometry と ABC 予想 46
https://rio2016.5ch.net/test/read.cgi/math/1585967607/
- 816 名前：１３２人目の素数さん [2020/04/08(水) 18:22:16 ID:k03/QdlC.net]
- >>734
肯定派はギャップは無いと判断した
懐疑派はギャップが有ると判断した
どちらにも捏造は無い、あるとすれば理解不足や勘違い、よって不正は無い
- 817 名前：１３２人目の素数さん [2020/04/08(水) 18:25:01 ID:k03/QdlC.net]
- >>775
だから説明してるじゃん、論文読めてないから読めと
- 818 名前：１３２人目の素数さん [2020/04/08(水) 18:25:14 ID:TMUUItn0.net]
- >>775
権威好きだなあ。事後的な評価に過ぎないのに。
- 819 名前：１３２人目の素数さん [2020/04/08(水) 18:28:31 ID:Wazi5RoC.net]
- 柏原先生の名声が中身は小童のおっさんに潰される〜
- 820 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 18:31:06 ID:ByD0irjE.net]
- ABCは新参者の問題だから、箔をつけるためのＲＩＭＳ望月の演出なのでは？
と思う。
わざと論理的穴を作っておいて、ショルツとかタオの大物を敵に回して、
ダウン寸前のときに一発逆転のカードを出して、彼らをひれ伏させる。
ＲＩＭＳや望月が馬鹿でないならば、これしか説明がない。
- 821 名前：１３２人目の素数さん [2020/04/08(水) 18:33:39 ID:k03/QdlC.net]
- RIMSから見たら、ろくに論文読まずに問題を不当に単純化させてギャップだああと言いがかり付けられても「論文嫁」以外に返す言葉無いじゃんｗ
- 822 名前：１３２人目の素数さん [2020/04/08(水) 18:43:35.36 ID:3hOiiVTw.net]
- なんでアクセプトが決まっただけなのにマスコミ向けの会見なんてしたんだ？
せめて掲載されてからにしろよ
問題の論文も３日の会見後に更新されているし、いつ最終版になるんだよ
- 823 名前：１３２人目の素数さん [2020/04/08(水) 18:52:09.48 ID:6H1i1nx4.net]
- >>782
ＲＩＭＳの論文受理は、どうみても日本国内の政治の事情だね
京都大学なんて、文部科学省から目に見える実績を出さないと予算付けないって、いいだけ突っつかれて
首脳陣が、ほら、ちゃんとここに実績がありますって言いたかっただけじゃね
論文アクセプトに望月先生は、あまり関係なかったと思う
- 824 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 18:54:58.94 ID:llh3CfSK.net]
- >>783
本人がごねたわけではないよね
ブログで愚痴っただけ
- 825 名前：１３２人目の素数さん [2020/04/08(水) 19:07:26.57 ID:9Ef5vEey.net]
- まぁ、多元の二の舞になるんだろなぁ。
まだ職得てないポスドクや院生はこれから大変だー。
- 826 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 19:12:34.59 ID:zWIx3pME.net]
- 掲載する前にマスコミ発表したのは、世間の様子を見たいからだろうね。
様子を見て考えたい。説得したい。ということじゃ何でしょうかね。
日本人らしいやり方
- 827 名前：１３２人目の素数さん [2020/04/08(水) 19:17:41.93 ID:cYpOluTa.net]
- >>786
世間は数学なんか分かってないから反応みたって意味ないよ
「16歳でプリンストン大入学スゲー！」しか言わないんだからｗ
- 828 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 19:21:28.60 ID:llh3CfSK.net]
- >>787
それだけの経歴の人間でも一切数学で無双できない現実がわかったほうが社会的にはいいのかもなあ
ショルツも天才扱いされてるがABC予想には届かないわけだしな
- 829 名前：１３２人目の素数さん [2020/04/08(水) 19:25:53.28 ID:3hOiiVTw.net]
- 予算を得るために中途半端でも成果をアピールしなきゃいけないとか
ひどい国だよ
ノーベル賞受賞者たちが基礎研究の重要性を主張するのもわかる
- 830 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 19:28:43.77 ID:hHrVY4v4.net]
- >「マルチラディアル表示」に対応する内容をこちらの議論の整数で表現しますと、
>
> (N=-2A+ε) ∧ (N=-A)
>
>という式になります。つまり、「ε」という、比較的小さい「誤差」を認めてあげますと、本来一致するかどうか分からない整数 A と B を、まるで一致するものかのように扱うことができるということです。
望月教授のブログに上のように書いてあったのですが、IUTは何か極限を取るようなことをしているのでしょうか…？
ど素人の質問ですみません
- 831 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 19:30:43.87 ID:blJ2US8m.net]
- 間違って欲しくないのはアクセプトされてんだから完全に正しいしショルツの不明点を望月さんが説明する義務は全くない
理論の布教活動の一環として説明してあげてもいいくらい
- 832 名前：１３２人目の素数さん [2020/04/08(水) 19:31:34.35 ID:MohleZvy.net]
- アメリカの入学大学って試験簡単だからなぁ
アメリカの大学に飛び級で
- 833 名前：入学しようと思えばできると思うぞ
少なくとも旧帝大レベルの大学行ってるやつらならな [] - [ここ壊れてます]
- 834 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 19:46:38.87 ID:R92RhjA0.net]
- 正しいからアクセプトされたんじゃなく、
アクセプトされたから正しいわけか。。。
- 835 名前：１３２人目の素数さん [2020/04/08(水) 19:48:47.87 ID:HyTyerJn.net]
- 完全に正しいわけではないが、ゴーサイン出した論文誌とその学者にいうべきかと
望月は元から自信をもって正しいとおもってて、それが他人にも認められたという事で望月の手を離れた部分はある
- 836 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 19:55:26.39 ID:foPeaNrh.net]
- >>774
もうそれも5年前の話だしな
どこぞの数学者じゃないけど本当に可能性があると思うならIUTに立脚して類似の方法論で
数論の不等式を証明する方向性を模索するとかやれることはありそうだけど、
論文のリストを見る限り、かなり前からIUTとは距離をとって違う方向性でアプローチしてるんじゃない？
- 837 名前：１３２人目の素数さん [2020/04/08(水) 20:14:28.37 ID:9Ef5vEey.net]
- >>789 まぁ、数学に関してはヨーロッパやアメリカの方がよっぽど荒廃してる。
ポジション、予算維持確保のために無内容論文量産したり、
まともに証明のチェックもしてないでたらめ論文を垂れ流したり
向こうじゃもう当たり前。もちろん一部の人は堅実に仕事してるけど、
そういうのはもはやテニュア持ちでも少数派。やったもん勝ちになってる。
- 838 名前：粋蕎 mailto:sage [2020/04/08(水) 20:14:37.01 ID:wTQpTus/.net]
- 飛び級天才過ぎて説明下手過ぎるんかな？「何で此れで理解できないのか分からない」的な｡
本人はA→B→C→Dと教えてる積もりが傍から見てA→Dと説明してる事に気付かんとか？
- 839 名前：１３２人目の素数さん [2020/04/08(水) 20:19:34.78 ID:cYpOluTa.net]
- >>796
そうなんだ・・・数学の時代は終わったんだな
- 840 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:19:42.54 ID:E8OPMHRS.net]
- 天才の安売りは止めろ
天才のラインは20代で教授かフィールズ賞受賞な
- 841 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:19:43.45 ID:llh3CfSK.net]
- >>797
そういうのはショルツやタオ見りゃわかるが下手の考えってもんだわ
- 842 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:21:52.80 ID:NzIb3QtE.net]
- >>799
まさにショルツェじゃん
顔もかっこいいし細いし足も長いし愛する妻子もいるし声もいいし
不平等だな、世の中
- 843 名前：粋蕎 mailto:sage [2020/04/08(水) 20:28:21.55 ID:wTQpTus/.net]
- >>800
そりゃそうか。流石に其処は本職、天網恢々疎而不漏か｡
- 844 名前：１３２人目の素数さん [2020/04/08(水) 20:28:23.33 ID:P6vlJY6f.net]
- >>800
うーん、思考停止してるねえ
- 845 名前：１３２人目の素数さん [2020/04/08(水) 20:32:03.88 ID:llh3CfSK.net]
- >>801
父親が物理学者で母親がコンピューター科学者だとよ
タオも医者と教師だし、やっぱり家柄から違うんだわ
- 846 名前：１３２人目の素数さん [2020/04/08(水) 20:32:36.33 ID:TXeeUFRm.net]
- 一般論として数学では読みにくい分かりにくい論文は無視される……というのはよくある話だと思う。
abc予想という大予想に関係してるのでこれだけ取りだたされてるわけだが。
- 847 名前：１３２人目の素数さん [2020/04/08(水) 20:34:57.08 ID:JgFGFQ8S.net]
- 「正解を分かる人が全くいない状況」という現代では珍しい状況で、「変な断定」を
する人の意見を観察ができるスレはここですか？
- 848 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:37:55.92 ID:NzIb3QtE.net]
- 競馬では母父が大事だっていうから母のお父さんの情報もほしいね
- 849 名前：１３２人目の素数さん [2020/04/08(水) 20:39:53.89 ID:JgFGFQ8S.net]
- 異分野で発生してる事象の正解は畑違いな人にとっては未知であり、同分野の人にとっても
とりわけ難解で未知な状況にあるなかで、正解を「推量る」意見の多様性を観察できるんですね。
ざっと見渡したところ、下記のような推論が観測されます。
- 850 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:40:09.92 ID:zWIx3pME.net]
- 数学会の雑でわかりやすい才能ランキング（Ver1.0）
・ 有名大学飛び級 →甲子園大型球児クラス
・ フィールズ賞受賞 →新人王受賞(大型新人）クラス
・ 大型証明、定理発見 →殿堂入り
ノーベル賞はない
イグノーベル賞はある。
- 851 名前：１３２人目の素数さん [2020/04/08(水) 20:41:10.39 ID:JgFGFQ8S.net]
- ・過去の実績の差で正解を言ってる方が決まるだろう
・競馬馬との類推からより血統の優れた方が正解を言っているだろう
・
- 852 名前：１３２人目の素数さん [2020/04/08(水) 20:41:10.56 ID:JgFGFQ8S.net]
- ・過去の実績の差で正解を言ってる方が決まるだろう
・競馬馬との類推からより血統の優れた方が正解を言っているだろう
・
- 853 名前：粋蕎 mailto:sage [2020/04/08(水) 20:41:32.03 ID:wTQpTus/.net]
- >>803
え？
>>806
あぁ其う云う事か
IUTシンパ派とアンチIUT派によるミスリードスパイラルか。溺れる
- 854 名前：806 [2020/04/08(水) 20:43:58.20 ID:JgFGFQ8S.net]
- >>812
私の意見は一応ニュートラルのつもりです。
私の希望的観測は望月先生の方が正解であってほしいと思ってます。
- 855 名前：１３２人目の素数さん [2020/04/08(水) 20:44:19.46 ID:llh3CfSK.net]
- >>809
佐藤テイトのテイラーや、弱双子予想に貢献した四人の数学者は全員フィールズ賞じゃないから
フィールズ賞基準にはできないんだよな。にわかはわかりやすい基準求めるから困るわ
数学の真の天才のうちフィールズ賞は6割か7割くらいじゃね？
- 856 名前：１３２人目の素数さん [2020/04/08(水) 20:49:11.39 ID:vZXH2Dal.net]
- これって小保方とどっちが悪質？
- 857 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:50:30.96 ID:1X8Ccdne.net]
- 「望月教授にイグノーベル賞」とかになったら
日本のマスコミはどう報道するんだろうな。
- 858 名前：１３２人目の素数さん [2020/04/08(水) 20:52:33.92 ID:GpNQZLWU.net]
- >>814
天才と秀才の違いでしょ
若くして功績を残すのが天才
年取ってから功績残すのが秀才
- 859 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:53:44.52 ID:zWIx3pME.net]
- 数学はノーベル賞がないっていうから、5ch有志で
ノーベル1つ2つ相当数学賞というの新設して、毎年選考したほうがいいと思う。
- 860 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:54:56.97 ID:ZVO3znB7.net]
- でも、Scholzって人は論文の一部しか読まないで難癖つけてるだけなんでしょ？
「過度に単純化して」
何故、全部読まないの？
- 861 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 20:56:38.25 ID:ZVO3znB7.net]
- そりゃ省略すりゃ、ギャップは発生するよね
省略しないで論文読んでくれとしか言えないよね
- 862 名前：１３２人目の素数さん [2020/04/08(水) 20:57:20.28 ID:nK/xjLmB.net]
- 母父メジロマックイーンの俺
- 863 名前：１３２人目の素数さん [2020/04/08(水) 20:59:10.15 ID:cYpOluTa.net]
- ぶっちゃけた感想をいうと、そもそもABC予想って
何がどうスゴイのか全然分からんｗ
これが例えば
「ホモロジー3次元球面のホモロジー同境群のrankは無限大」
とかいうとなんかスゲェと思うけど
ちなみに上記の定理を証明したのは日本人（古田幹雄）
- 864 名前：粋蕎 mailto:sage [2020/04/08(水) 21:08:20.09 ID:wTQpTus/.net]
- >>813
はい
無理解傍観者が幾ら何を言った所で全貌理解度係数が生じるから
IUGTTの確かさ*IUGTTの全貌理解度/反IUGTT*反IUGTTの確かさ全貌理解度=0*?/0*?=0/0=何で皆、分かった振りするん？
が無理解傍観者の採るべき回答であり正解を見出だせる訳が無しと云う事か
- 865 名前：１３２人目の素数さん [2020/04/08(水) 21:09:11.14 ID:cYpOluTa.net]
- IUTに関して言うと
・「宇宙際」と聞いた時点でなんか胡散臭さを感じた
・海外で理論が理解されないと聞いてなんかダメっぽいと感じた
・フィールズメダリストのショルツが「これ証明になってなくね？」
と云ったと聞いてああこりゃ決定的にダメだなと感じた
別にダメなだけならよくあることだからいいんだけど、
京大数理解析研の人々が執拗に推すのがただただ気持ち悪かった
当人はね仕方ないよ 間違いを認め�
- 866 名前：ｽがらないだろうから
しかし周りはそれに同調しちゃダメだよね [] - [ここ壊れてます]
- 867 名前：１３２人目の素数さん [2020/04/08(水) 21:09:51.18 ID:JgFGFQ8S.net]
- IUTの公理系で前提としてる公理や定義で、既存公理系とは異なるものっていっぱい
あるんですか？ その中で既存公理や定義で使われてる名称や記号から誤解されそうな
類似性をもったものはあるんですか？
私は専門外で幼稚なたとえしかできませんが、例えば
ユークリッド幾何学の第五公準を別の公理と置き換えるような記載が見落とされてて、
ユークリッド幾何学に精通した人からギャップがあるというような誤解を与えてるとか
論文の隅から隅まで読んでもそのような誤解しやすい箇所は見当たらないんでしょうか
素人ですいません
- 868 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:10:12.43 ID:gzTTBDi7.net]
- >>824
おサル、笑えるわｗ（＾＾；
- 869 名前：１３２人目の素数さん [2020/04/08(水) 21:12:32.25 ID:llh3CfSK.net]
- >>817
そういう問題じゃないんだわ
いつはっきりと結果を出せるかは才能があってもコントロールできないくらい数学は複雑ってこと
天才は高いレベルで独創的ってことだよ。ショルツの同世代でももっと凄い事をやる奴がいるかもしれないし
- 870 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:12:59.28 ID:V3lw9hOq.net]
- 1000レスを短縮すれば
50レスにもならんだろう
- 871 名前：１３２人目の素数さん [2020/04/08(水) 21:13:22.32 ID:cYpOluTa.net]
- >>824
セタ（仮名）の反応
・「宇宙際」と聞いた時点でｷﾀ――(ﾟ∀ﾟ)――!!
・海外で理論が理解されないと聞いて、日本最強ォォォォォ!!
・フィールズメダリストのショルツが「これ証明になってなくね？」
と云ったと聞いて、ショルツに勝ったァァァァァ!!
よっぽど実生活で負け続けだったんだな
- 872 名前：１３２人目の素数さん [2020/04/08(水) 21:15:38.56 ID:cYpOluTa.net]
- >>829の続き
大体、むやみに「世界に冠たる我がニッポン！！！」といいたがる人はオカシイ
- 873 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:16:34.58 ID:1X8Ccdne.net]
- >>825
今回のリリースのQ＆Aで、新しい公理系を要するものではないとはっきり書いている。だからそういう問題ではない。
実際のところ2012年の発表直後から証明に疑問があると言われ続けてきたが、
望月側が頑として認めないというだけのこと。
理解者と称する人も含め満足に説明もない。
2015年の国際ワークショップのころから世界的にはしらけた空気が漂っていた。
- 874 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:16:40.37 ID:WtTqjHka.net]
- Dupuyも既存の数学のように同値ということを考えないで良い、計算に必要な数値だけを監視して計算しているそれがIUTの肝的な話してるね
これはモッチー勝利あるな
- 875 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:17:10.47 ID:NzIb3QtE.net]
- >>819
600ページなんて、小説でも上下巻の長編、おもしろいならともかくくそつまんなかったら本の分厚さ見ただけで投げるわ
- 876 名前：１３２人目の素数さん [2020/04/08(水) 21:19:17.26 ID:Wj6cVTmr.net]
- >>831
なぜ「疑問がある」という言い方になるのでしょうか？
数学なんですから、間違っていると言えばいいだけのことではないでしょうか。
- 877 名前：１３２人目の素数さん [2020/04/08(水) 21:20:01.04 ID:cYpOluTa.net]
- >>831
＞2015年の国際ワークショップのころから世界的にはしらけた空気が漂っていた。
特にヒゲもじゃの和服の男が胡散臭かった
あれがYAMASHITA GOか
アーティストかミュージシャンなら成功したかもしれんが
マセマティシャンとしてはぶっちゃけどうなの？
- 878 名前：１３２人目の素数さん [2020/04/08(水) 21:22:15.77 ID:JgFGFQ8S.net]
- >>831
レスありがとうございます。
そうするとショルツ先生と望月先生は同じ公理系を想定していらっしゃるんですね (´･ω･`)
- 879 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:24:08.11 ID:1X8Ccdne.net]
- >>819
いやいや。ショルツは準備論文も含めて読んでるよ。
1000頁ぐらい読みこんでいる。
自称理解者よりもはるかに望月論文を理解しているし、
望月がどのようなことがしたく
- 880 名前：て、かつどこでひっかかったかも読み取っている。
そのうえでわかりやすいように、3.12を導く論理を認めたらこんなおかしな結論が出ますよと言っている。
望月は認めたくないから認めない。 [] - [ここ壊れてます]
- 881 名前：１３２人目の素数さん [2020/04/08(水) 21:26:26.11 ID:u6nFF2c9.net]
- 地球最強の32歳はショルツとメッシな
- 882 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:26:35.39 ID:6H8H5zyw.net]
- >>837
もしかして正月にブログに貼られた方ですか？
異論があるならもっちーに連絡して教えてやって！
- 883 名前：１３２人目の素数さん [2020/04/08(水) 21:28:00.37 ID:cYpOluTa.net]
- >>837
＞望月は認めたくないから認めない。
当人は仕方ないけど、周りが同調したらダメだよね
だって当人に代わって反論できないんでしょ？ 負けじゃん
- 884 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:28:10.53 ID:zWIx3pME.net]
- ショルツは読んでない、一部しか読んでない、ちゃんと読んでない、だから間違っていると数学的でない批判をする人がいるのよね。
- 885 名前：１３２人目の素数さん [2020/04/08(水) 21:28:17.94 ID:+HG61KtX.net]
- >>837
準備論文含め1000ページ読み込んでるてどうやって君は知ったんだい？
- 886 名前：１３２人目の素数さん [2020/04/08(水) 21:30:21.26 ID:uTuPsJr5.net]
- もうダメ確定して,ここの住民ももはや無関心って状態か
- 887 名前：１３２人目の素数さん [2020/04/08(水) 21:31:50.82 ID:JgFGFQ8S.net]
- 素人ですが質問してよろしいでしょうか
同じ公理から相矛盾する二つの結論が導き出されることって
数学では起こりうるんでしょうか
- 888 名前：粋蕎 mailto:sage [2020/04/08(水) 21:34:08.63 ID:wTQpTus/.net]
- 大長編
ラセえもん
ホワ太の
Principia Mathematica
あれは隙間なんて無いから比較にゃ成らんか
- 889 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:35:25.16 ID:cFybnWtN.net]
- ショルツが読み込んでるかどうかはこの際どうでもいいのでは？（多分関連論文全部読んでると思うけど）
重要なのは、SSが指摘した点についてIUT支持側がどういう理由で間違ってるのかを未だに明示できてないってことでしょ
本当に正しいならそれで話が終わるのに
所属研究機関の重鎮が招待状書いて読んだ相手に読んでないと思うから無視ってそりゃ…
本当に学部生レベルの勘違いならそれを学部生レベルの視点で説明すれば世界中の院生以上の人は
少なくとも納得するでしょ
- 890 名前：１３２人目の素数さん [2020/04/08(水) 21:38:10.33 ID:JgFGFQ8S.net]
- 同じ公理から相矛盾する二つの結論が導き出されるケースは下記の2つ以外起こりえますか？
・結論のどっちか一方あるいは両方が間違っている
・公理系自体が間違っている
- 891 名前：１３２人目の素数さん [2020/04/08(水) 21:40:45.23 ID:cYpOluTa.net]
- >>844
＞同じ公理から相矛盾する二つの結論が導き出されることって
＞数学では起こりうるんでしょうか
公理系が矛盾していればそうなります
- 892 名前：１３２人目の素数さん [2020/04/08(水) 21:41:02.51 ID:+HG61KtX.net]
- >>844
公理系が矛盾していれば起きる
極端な話公理系としてT={“0と1の間には数がある”, “0と1の間には数がない”}を採用すれば当然それは起きる
こんな極端なTでなくても、仮にTが矛盾してるとすれば矛盾の爆発律から任意の論理式xに対してxと￢xは導かれる
さて問題は通常採用されているZFCが無矛盾かどうかだが、これは証明することができず信じるしかない
望月先生が数学的に非常にデリケートな操作を行った結果ZFCの矛盾を見つかった可能性もある（そんな確率は非常に低いと思うけど）
- 893 名前：１３２人目の素数さん [2020/04/08(水) 21:42:11.41 ID:JgFGFQ8S.net]
- >>848
レスありがとうございます。その可能性は>>847で自分でも気づくことができました。
- 894 名前：１３２人目の素数さん [2020/04/08(水) 21:46:32.24 ID:krgXoJVx.net]
- >>819
完全な新理論を片手間なわけねーだろw 数学舐めんな
あの時点で5年経ってるんだよ。数学書三冊分読むに決まってんだろうが
- 895 名前：１３２人目の素数さん [2020/04/08(水) 21:48:04.70 ID:JgFGFQ8S.net]
- そうすると、ショルツ先生と望月先生のどちらかが間違ってしまっているか、
あるいは、既存公理系に矛盾がみつかるか
いずれかの決着のつき方になるんですね
レスありがとうございます
- 896 名前：粋蕎 mailto:sage [2020/04/08(水) 21:50:11.39 ID:wTQpTus/.net]
- 「偽の仮定は常に真」の事を爆発律って言うんか、有難う律子さん
- 897 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:51:46.37 ID:RWNE2H2e.net]
- 両方間違ってるという可能性もある
- 898 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:55:15.39 ID:uIjBuW+4.net]
- >>838
バーカ
メッシはワールドワイド
ショルツはローカル
- 899 名前：１３２人目の素数さん [2020/04/08(水) 21:58:43.33 ID:JgFGFQ8S.net]
- >>854
ご指摘ありがとうございます。
その可能性は>>847には書きましたが、>>852では書き忘れてました。
ある仮定から導いた結論が間違っていることの証明って、矛盾をたった１つ提示
するだけでいいんですよね。ショルツ先生と望月先生のいずれかの結論、
あるいは両方の結論から矛盾を１つ探し出すことは難解なのでしょうか？
- 900 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 21:59:25.58 ID:dLImWpUL.net]
- >Dupuyも既存の数学のように同値ということを考えないで良い、計算に必要な数値だけを監視して計算しているそれがIUTの肝的な話してるね
これはモッチー勝利あるな
うん。これがショルツが一皮剥けない部分。だからいつまでも議論が平行線。
- 901 名前：１３２人目の素数さん [2020/04/08(水) 22:10:23 ID:JgFGFQ8S.net]
- >>857
>・最近のショルツの疑義に対しても査読者に追加の確認をしたが、明確にそれを否定するレポートが提出された
>・ショルツの疑義には、査読者以外にも判断を仰いだところ、正しくないとするレポートが提出された
ショルツ先生と望月先生は同じ公理系を仮定しているにもかかわらず、
ショルツ先生と、査読された先生と判断を仰がれた先生が違う結論に達していらっしゃるということは、
ショルツ先生か、査読された先生と判断を仰がれた先生か、あるいは全員の先生が間違っているか、
全先生が前提にされた公理系に矛盾があるってことなんですね。
- 902 名前：１３２人目の素数さん [2020/04/08(水) 22:15:40 ID:nK/xjLmB.net]
- 矛盾の爆発律ｗ
恋愛サロンにコピペされている統失の造語症かよｗ
- 903 名前：１３２人目の素数さん [2020/04/08(水) 22:16:50 ID:uIjBuW+4.net]
- 公理君まだいたのか
- 904 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 22:20:58 ID:HXyu7nca.net]
- 公理系が違うっていうのは認めないだろうね。
なんでかっていうと公理系が違うものでabc予想を証明しても、
それ自体では意味がないからね。
- 905 名前：１３２人目の素数さん [2020/04/08(水) 22:21:02 ID:4hZY/yQn.net]
- >>857
なんかコンピューターで総当りする手法といっしょみたいだな
- 906 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 22:22:42 ID:cFybnWtN.net]
- また2年前みたいにショルツの言い分が正しそうだけど反論が一向に返ってこないから皆無視して解散って流れになりそうな予感…
Woitブログに書き込んでる人たちが許してくれるかってのはあるけどRIMSも掲載引き延ばしてなあなあで済ませたいだろうしなぁ
- 907 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 22:27:47 ID:MIrkukPy.net]
- >>859
恋愛サロン・・・
どんな板に出入りしてるんですか？
- 908 名前：１３２人目の素数さん [2020/04/08(水) 22:28:18 ID:nK/xjLmB.net]
- 爆発律を使っている場合
不合理な部分はすべて恒真命題であるから
それを指摘しても自明であるとしか返ってこない
また爆発律をわかりながら恒真命題を指摘することは
数学のルール違反とも言える
俺に数学の研究室で宇宙人の存在を仮定して議論したらどうなるか？
と質問をした北大の朝倉先生
僕は当時辟易しながらも片言に空集合の話をしましたね
でも意味は先生に伝わらなかったし先生は
科学というのは真でも偽でもないものが在ると言うべきだの一点張りでした
僕は当時爆発律という言葉は知りませんでしたが
言いたいことはそういうことでした
でも数学教室(研究室)で宇宙人の話などできるわけがありません
(もうちょっと気楽に数学を学べていたら良かったとは思います)
今僕は鎌田正良の集合と位相を読んでいます
ここにどれくらい爆発律(偽の仮定)があるかわかりませんが
すでに間違った例や証明がいくつか散見されます
僕は偽の仮定など使わずに真の前提すなわち演繹のみで証明しようと考えています
朝倉先生に教わった
・異なる文字は異なる数(元，集合)を充てること
・演繹のみで証明する
これに徹したいと思っています
位相空間の空集合をどう扱うのかが難しい所ですが試してみたいです
- 909 名前：１３２人目の素数さん [2020/04/08(水) 22:31:04 ID:nK/xjLmB.net]
- あと背理法における矛盾という言葉は止めて
不合理といえ
という教えも守っています
その意味はよくわかりませんが
故事成
- 910 名前：語的に
数学の概念は最強の盾と最強の矛ではない
という意味なのでしょうか
あるいは
数学は最強を目指すものではない
今のところ想像できるのはこんなことです [] - [ここ壊れてます]
- 911 名前：１３２人目の素数さん [2020/04/08(水) 22:31:56 ID:JgFGFQ8S.net]
- >>861
>公理系が違うものでabc予想を証明しても、それ自体では意味がないからね。
公理系の違いが、互いに矛盾してる公理系同士の違いではなく、
abc予想に出てくる数や演算を含む公理系を一般化した抽象度の高い公理系であれば
意味がないとはいえなくないですか？
- 912 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 22:32:08 ID:Un4+OQDP.net]
- たまにこういう明後日の方向に行く人いるけど、案外宮廷とか出てるんだよな
- 913 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 22:37:53 ID:HXyu7nca.net]
- >>867
仮にそれをしてるなら間違い。
ZFCGはZFCの保存的拡大じゃないから。
- 914 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 22:39:13 ID:cFybnWtN.net]
- >>868
たしかに
そうじゃないとまず数学なんかに興味持たんしなぁ…
- 915 名前：１３２人目の素数さん [2020/04/08(水) 22:39:37 ID:4hZY/yQn.net]
- >>867
abcの証明じゃなくてまず望月理論の証明すませないと
だめだったね
- 916 名前：１３２人目の素数さん mailto:sage [2020/04/08(水) 22:41:20 ID:MIrkukPy.net]
- >>865
宇宙人はいまぁ～す！
妖精はんのう
かくに～ん💖
あぽかた室長の研究室なら楽しく進んだと思います。
恋愛サロン板について
自分が今考えられるのは、こんなとこです。
|
 |
