IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
前スレ Inter-universal geometry と ABC予想 26
https://rio2016.5ch.net/test/read.cgi/math/1523148966/
Inter-universal geometry と ABC予想 27
レス数が1000を超えています。これ以上書き込みはできません。
2018/05/06(日) 23:29:50.98ID:o2LMoPyc
917132人目の素数さん
2018/06/08(金) 19:37:57.64ID:fLVrMyc2918132人目の素数さん
2018/06/08(金) 19:45:20.37ID:z/Fom/k6919132人目の素数さん
2018/06/08(金) 19:49:22.51ID:P1TKgezQ そもそも外部の数学者の大半が論文を読もうともしていないように見えるのはなんでなの?
21世紀最大の数学的出来事なんだろ?
21世紀最大の数学的出来事なんだろ?
920132人目の素数さん
2018/06/08(金) 19:51:16.39ID:fLVrMyc2 >>916
スマン量子幾何なんちゃらは次世代幾何なんちゃらとは別に以前から存在してるみたいだった
そこは俺の勘違い
ただその次世代幾何なんちゃらなんてのは別にその看板があろうがなかろうが
モッチーやタクローや玉やらは自分の仕事を続けていくだけの事に変わりがないから
最初の俺の質問の「結局どうしろと言うのだ?」は質問として正しい。
仮にIUTが世間をあっと驚かすほどではなかったにせよ
モッチー自身がIUTを突き詰めようとする事を止める謂れはない。
スマン量子幾何なんちゃらは次世代幾何なんちゃらとは別に以前から存在してるみたいだった
そこは俺の勘違い
ただその次世代幾何なんちゃらなんてのは別にその看板があろうがなかろうが
モッチーやタクローや玉やらは自分の仕事を続けていくだけの事に変わりがないから
最初の俺の質問の「結局どうしろと言うのだ?」は質問として正しい。
仮にIUTが世間をあっと驚かすほどではなかったにせよ
モッチー自身がIUTを突き詰めようとする事を止める謂れはない。
921132人目の素数さん
2018/06/08(金) 19:56:09.50ID:fLVrMyc2 >>919
数学の価値は「客観的に天から与えられて」決まるモノじゃない。
他の数学者はIUTにそれほどの価値を感じないから読もうとしないだけ。
IUTと何かもっと深い数学的な構造とのつながりがより具体的に明白になってくれば
興味を持つ者は増えるかも知れないが
現時点では高々ABCという散発的な式を証明しただけ
数学の価値は「客観的に天から与えられて」決まるモノじゃない。
他の数学者はIUTにそれほどの価値を感じないから読もうとしないだけ。
IUTと何かもっと深い数学的な構造とのつながりがより具体的に明白になってくれば
興味を持つ者は増えるかも知れないが
現時点では高々ABCという散発的な式を証明しただけ
922132人目の素数さん
2018/06/08(金) 19:59:55.73ID:P1TKgezQ923132人目の素数さん
2018/06/08(金) 20:11:04.85ID:fLVrMyc2 >>922
だいたい合ってる。
ABCもFermatもそれ自体に価値はなく
それを解こうとする努力によって何か新しい数学を生み出す刺激を
与える事に価値がある。
そして
「価値がある」という客観的事実が先にあって、
でも「他の数学者が興味を示さない」事はオカシイ、ではなくて、
「他の数学者が興味を示さない」事が先にあって、それによって主観的に
その概念の価値の評価が決まるわけ。
だいたい合ってる。
ABCもFermatもそれ自体に価値はなく
それを解こうとする努力によって何か新しい数学を生み出す刺激を
与える事に価値がある。
そして
「価値がある」という客観的事実が先にあって、
でも「他の数学者が興味を示さない」事はオカシイ、ではなくて、
「他の数学者が興味を示さない」事が先にあって、それによって主観的に
その概念の価値の評価が決まるわけ。
924132人目の素数さん
2018/06/08(金) 20:38:47.09ID:Kesi3nDV925132人目の素数さん
2018/06/08(金) 20:40:05.43ID:z/Fom/k6926132人目の素数さん
2018/06/08(金) 20:46:49.70ID:z/Fom/k6 IUTが数学者の興味をひかないから正しさが認められないって意見があるけど、それはちょっと違うね。
数学的な魅力のなさなら、四色問題や、ケプラー予想の解決のほうがはるかに魅力がない。
なんたって論文の大多数はただのコンピュータの検証なんだから。あ、カタラン予想の解決もそうだったかな。
だけど比較的に短時間で正しいという認識が一般化した。
IUTは単に「証明になってない」からみんな興味をひかないんだと思う。
数学的な魅力のなさなら、四色問題や、ケプラー予想の解決のほうがはるかに魅力がない。
なんたって論文の大多数はただのコンピュータの検証なんだから。あ、カタラン予想の解決もそうだったかな。
だけど比較的に短時間で正しいという認識が一般化した。
IUTは単に「証明になってない」からみんな興味をひかないんだと思う。
927132人目の素数さん
2018/06/08(金) 21:08:48.10ID:Kesi3nDV IUTだよねー
↓
次世代幾何学研究準備センター
新しい数学思想に基づく幾何学に関して,
国内外の研究者との連携研究を準備する
ため平成29年12月に設置された.
センター長 望月新一
↓
次世代幾何学研究準備センター
新しい数学思想に基づく幾何学に関して,
国内外の研究者との連携研究を準備する
ため平成29年12月に設置された.
センター長 望月新一
928132人目の素数さん
2018/06/08(金) 21:11:11.75ID:VhvDZlDy >>918 すでに公表されているだけでもConrad、Scholze、Koshikawaが解読を試みて
致命的な問題点を具体的に指摘しているんですが。。。
致命的な問題点を具体的に指摘しているんですが。。。
929132人目の素数さん
2018/06/08(金) 21:12:23.67ID:VhvDZlDy 918じゃなくて919ね
930132人目の素数さん
2018/06/08(金) 21:13:11.60ID:dpknXKvZ >証明になっていない
それ、お前の中の妄想だろ。
どの論文の何ページの何行目がどういう理由で証明になっていないのか
自分の言葉で説明してみろよ。
それ、お前の中の妄想だろ。
どの論文の何ページの何行目がどういう理由で証明になっていないのか
自分の言葉で説明してみろよ。
931132人目の素数さん
2018/06/08(金) 21:15:12.34ID:Kesi3nDV 取り巻き?おばさん?
毎日、毎日、いいわけお疲れ様
毎日、毎日、いいわけお疲れ様
932132人目の素数さん
2018/06/08(金) 21:18:34.42ID:VhvDZlDy 信者の中では取り巻きだけが信頼できる研究者で、
ConradやScholzeなどの第一線で活躍してる研究者は
「理解力が乏しい無視していいノイズ」として処理されるらしいw
ConradやScholzeなどの第一線で活躍してる研究者は
「理解力が乏しい無視していいノイズ」として処理されるらしいw
933132人目の素数さん
2018/06/08(金) 21:46:22.42ID:XjVjWG1h >>すでに公表されているだけでもConrad、Scholze、Koshikawaが解読を試みて
致命的な問題点を具体的に指摘しているんですが。。。
怪しいとか理解できないとかではなく、議論が間違っていると証明したソースを
あげてくれよ
致命的な問題点を具体的に指摘しているんですが。。。
怪しいとか理解できないとかではなく、議論が間違っていると証明したソースを
あげてくれよ
934132人目の素数さん
2018/06/08(金) 21:50:50.56ID:VhvDZlDy フェセンコの言い分を妄信してるアホ発見。
内容がないと言われているものの間違いを証明せよなんて、悪魔の証明でしかない。
できると思うなら、まずは次の”証明”が「間違えていること」を証明してみてくれ。
定理:リーマン予想は成立する。
証明:定義より自明。
内容がないと言われているものの間違いを証明せよなんて、悪魔の証明でしかない。
できると思うなら、まずは次の”証明”が「間違えていること」を証明してみてくれ。
定理:リーマン予想は成立する。
証明:定義より自明。
935132人目の素数さん
2018/06/08(金) 21:53:54.96ID:z/Fom/k6 self-evidentでないものをself-evidentと言っている望月が、明らかに間違っている。
モーダスポネンスで導かれていないのに、そんなこと言うのはおかしい。
モーダスポネンスで導かれていないのに、そんなこと言うのはおかしい。
936132人目の素数さん
2018/06/08(金) 21:58:23.49ID:z/Fom/k6937132人目の素数さん
2018/06/08(金) 21:58:40.95ID:XjVjWG1h IUTのプレプリントの何ページの何行目のどこの議論のことを言っているのか?
938132人目の素数さん
2018/06/08(金) 22:02:47.56ID:pnRgl2rN どこも何も>>7とかで何度も言われてるでしょうが
939132人目の素数さん
2018/06/08(金) 22:13:23.41ID:XjVjWG1h initial dataの最初の所、ガロア表現の像の条件はなんでついているかとか分かってる人たちだよね、君たちは
940132人目の素数さん
2018/06/08(金) 22:13:49.77ID:N+HqFeul >>932
>ConradやScholzeなどの第一線で活躍してる研究者は
>「理解力が乏しい無視していいノイズ」として処理されるらしいw
そうした行動を取るということは
今まで数学界(人間社会)で築きあげてきた「信頼」を放棄する
ということに値しますが
「信頼」を放棄してまで望月氏がそうした行動を取っていると考えるのは
何故だと思ってますか?
失礼な表現をしますが
望月氏は馬鹿ではないのだから
誤りが見つかれば、素直に誤りを認めて訂正するし
(事実、2012年10月にDimitrovとVenkateshから誤りを指摘された際、指摘を認めて訂正を約束し、同年12月に訂正版の論文を発表した)
破滅への道に自ら突き進んでいくような
愚かな真似はしないでしょう。
言うまでもなく。
>ConradやScholzeなどの第一線で活躍してる研究者は
>「理解力が乏しい無視していいノイズ」として処理されるらしいw
そうした行動を取るということは
今まで数学界(人間社会)で築きあげてきた「信頼」を放棄する
ということに値しますが
「信頼」を放棄してまで望月氏がそうした行動を取っていると考えるのは
何故だと思ってますか?
失礼な表現をしますが
望月氏は馬鹿ではないのだから
誤りが見つかれば、素直に誤りを認めて訂正するし
(事実、2012年10月にDimitrovとVenkateshから誤りを指摘された際、指摘を認めて訂正を約束し、同年12月に訂正版の論文を発表した)
破滅への道に自ら突き進んでいくような
愚かな真似はしないでしょう。
言うまでもなく。
941132人目の素数さん
2018/06/08(金) 22:23:25.45ID:Kesi3nDV942132人目の素数さん
2018/06/08(金) 22:27:05.80ID:XjVjWG1h IUTでガロア群から単数群をどう導くかくらい分かってる人たちだよね、君たちは
943132人目の素数さん
2018/06/08(金) 22:32:57.19ID:Kesi3nDV ConradやScholzeが分からんのに、、
分かった気分になれないなあ〜
分かった気分になれないなあ〜
944132人目の素数さん
2018/06/08(金) 22:34:56.63ID:VhvDZlDy >>940 笹井さんの例もあるしなあ。
945132人目の素数さん
2018/06/08(金) 22:35:44.88ID:EBnS4LIn >>942
なんのガロア群からなんの単数群をみちびくの?
なんのガロア群からなんの単数群をみちびくの?
946132人目の素数さん
2018/06/08(金) 22:37:35.31ID:XjVjWG1h 標数0の局所体
947132人目の素数さん
2018/06/08(金) 22:42:59.35ID:EBnS4LIn948132人目の素数さん
2018/06/08(金) 22:46:24.24ID:XjVjWG1h そういうことw 簡単なこと聞いて住民層をdetect
949132人目の素数さん
2018/06/08(金) 22:50:40.89ID:EBnS4LIn 検出されちまったお。。
950132人目の素数さん
2018/06/08(金) 23:03:59.65ID:Kesi3nDV >IUTでガロア群から単数群をどう導く
かくらい分かってる人たちだよね、
君たちは
↑
IUT信者発見装置
かくらい分かってる人たちだよね、
君たちは
↑
IUT信者発見装置
951132人目の素数さん
2018/06/08(金) 23:29:48.41ID:XjVjWG1h 学部生でもわかることだよw よいこのみんな勉強しようねww
952132人目の素数さん
2018/06/08(金) 23:36:20.81ID:v4hRM7vx 学部質問スレで聞いてもダメだったのでここで質問させて
普通は単体集合から±1を係数に使って2回いくと消える微分(つまり鎖複体)を作るけど、1のn乗根使うとn回いって消える微分が作れるらしいので誰か知ってたら論文教えて
普通は単体集合から±1を係数に使って2回いくと消える微分(つまり鎖複体)を作るけど、1のn乗根使うとn回いって消える微分が作れるらしいので誰か知ってたら論文教えて
953132人目の素数さん
2018/06/08(金) 23:37:02.43ID:Hsmq2TGV オバサンが今日もがんばってまふね
954132人目の素数さん
2018/06/08(金) 23:53:40.30ID:7tSFofpX ここのスレのイザコザはすべて大類昌俊が責任もって背負う
955132人目の素数さん
2018/06/08(金) 23:55:44.05ID:7tSFofpX …数理解析学概論は…いい本だぞ
956132人目の素数さん
2018/06/08(金) 23:57:05.87ID:7tSFofpX 数学徒が言う「任意の」と「全ての」は同義であるかほぼ同義です(ただし解析学では微妙に意味合いが違うので論理的にとらえすぎるのもよくない)
957132人目の素数さん
2018/06/08(金) 23:59:49.27ID:N+HqFeul >>953
私はjinではありません。
私はjinではありません。
958132人目の素数さん
2018/06/09(土) 07:39:26.10ID:vM24Lyxx >>926
>IUTが数学者の興味をひかないから
>正しさが認められないって意見があるけど、それはちょっと違うね。
藁人形論法おつ
×興味をひかないから正しさが認められない
○興味をひかないから関心が持たれない
>IUTが数学者の興味をひかないから
>正しさが認められないって意見があるけど、それはちょっと違うね。
藁人形論法おつ
×興味をひかないから正しさが認められない
○興味をひかないから関心が持たれない
959132人目の素数さん
2018/06/09(土) 07:42:22.05ID:vM24Lyxx960132人目の素数さん
2018/06/09(土) 08:45:38.71ID:MAxBCT9e >>958←なんでも否定したがるクソ
> 藁人形論法おつ
>
> ×興味をひかないから正しさが認められない
> ○興味をひかないから関心が持たれない
興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
ぐらいの想像はできるだろ低知能
> 藁人形論法おつ
>
> ×興味をひかないから正しさが認められない
> ○興味をひかないから関心が持たれない
興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
ぐらいの想像はできるだろ低知能
961132人目の素数さん
2018/06/09(土) 09:05:14.14ID:2xGsfMbm ×興味をひかない
これほど世界中で話題になっているのだから、興味は持たれてるに決まっているだろ
興味を持つ→間違いを発見する→終了
少なくともショルツ、コンラッド、コシカワはあきらかにこれ。
ほかにも、論文を読んでみて「こりゃトンデモだな」と思っている人は多数いるだろ。
興味を持たれていないから正しさが認められていないというのは、擁護派の負け惜しみ。
これほど世界中で話題になっているのだから、興味は持たれてるに決まっているだろ
興味を持つ→間違いを発見する→終了
少なくともショルツ、コンラッド、コシカワはあきらかにこれ。
ほかにも、論文を読んでみて「こりゃトンデモだな」と思っている人は多数いるだろ。
興味を持たれていないから正しさが認められていないというのは、擁護派の負け惜しみ。
962132人目の素数さん
2018/06/09(土) 09:14:48.24ID:2xGsfMbm 前、タオやショのルツクラスの大物が疑義を表明するのは、
単なる個人的感想と思うべきではないという書き込みをした人がいたが、
まさにその通り。
すでに第一級数学者の間では「現状では証明になっていないし、望月の方針で証明が達成されることもなさそう」
がコンセンサスになっていると考えるべき。
興味をもって望月論文を読んだうえで、アウトという判定をトップクラスの数学者が出しているという現実は疑いようがない。
単なる個人的感想と思うべきではないという書き込みをした人がいたが、
まさにその通り。
すでに第一級数学者の間では「現状では証明になっていないし、望月の方針で証明が達成されることもなさそう」
がコンセンサスになっていると考えるべき。
興味をもって望月論文を読んだうえで、アウトという判定をトップクラスの数学者が出しているという現実は疑いようがない。
963132人目の素数さん
2018/06/09(土) 09:19:27.89ID:MAxBCT9e964132人目の素数さん
2018/06/09(土) 09:36:38.30ID:yuHLpG8R >>919 数学に限った話ではないと思うけど、
斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
大半は、知名度の高い他の人が承認して初めて読もうとする、一種の日和見主義者。
小物の態度だけど、そういう態度が一番効率的だから、そうなっちまうわな。
斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
大半は、知名度の高い他の人が承認して初めて読もうとする、一種の日和見主義者。
小物の態度だけど、そういう態度が一番効率的だから、そうなっちまうわな。
965132人目の素数さん
2018/06/09(土) 09:39:17.79ID:2xGsfMbm いくらか望月に同情的に解説してやると、
望月が2012年に最初の「証明」を公表したときに、
ペレルマンのときのようになってほしいと期待したんだろう。
ペレルマンは証明をいきなりネットに公表したが、その論証はあなだらけだった。
しかしペレルマンの方針自体が正しかったから、ペレルマンの論文が公表されるや否や、
有象無象の二流三流数学者でも束になれば証明を完全にすることができ、
それによって多くの人にペレルマンが正しい証明を得ていたことが認められた。
しかし望月の論文はそうならなかった。
結局のところ望月の論文は証明の正しい指針を示したものとは言えないため、
その論文が公開されても数学者は正しい証明を構成できなかった。
よって望月の論文も正しくない、という結論が下されつつあるというのが現実。
望月が2012年に最初の「証明」を公表したときに、
ペレルマンのときのようになってほしいと期待したんだろう。
ペレルマンは証明をいきなりネットに公表したが、その論証はあなだらけだった。
しかしペレルマンの方針自体が正しかったから、ペレルマンの論文が公表されるや否や、
有象無象の二流三流数学者でも束になれば証明を完全にすることができ、
それによって多くの人にペレルマンが正しい証明を得ていたことが認められた。
しかし望月の論文はそうならなかった。
結局のところ望月の論文は証明の正しい指針を示したものとは言えないため、
その論文が公開されても数学者は正しい証明を構成できなかった。
よって望月の論文も正しくない、という結論が下されつつあるというのが現実。
966132人目の素数さん
2018/06/09(土) 09:45:30.41ID:pResKOWG967132人目の素数さん
2018/06/09(土) 09:57:54.49ID:2xGsfMbm 望月が証明の正しいデッサンを公開している→多くの数学者が束になれば完璧な証明になるはず。
現実
一流の数学者が束になって検討しても一向に証明が構成されない→望月は証明の正しいデッサンを得ていない。
現実
一流の数学者が束になって検討しても一向に証明が構成されない→望月は証明の正しいデッサンを得ていない。
968132人目の素数さん
2018/06/09(土) 10:23:08.01ID:/irpZ5/h >>964 それも望月と取り巻きの間違った一方的な言い訳だな。
本当にABCが証明できるような素晴らしい理論なら
確実性がなくとも、俺もあやかって一山当ててやろう、とワラワラ人が寄ってくるわ。
グロタンディークの時なんか、まさにそうでしょ。
数学でいい結果を出すのなんて本当に大変だし、
たかが千ページそこらの論文読んでいい論文が書けるんなら、やる奴なんていくらでもおるんだわ。
まして数論幾何なんてオワコン化し始めてんだから、まさに「藁をも掴む」でしょう。
実際それで致命的な問題点が見つかり、Asahiによるprimsの強行掲載(真偽は不明だが)を耳にし、
問題点を事前に把握していたいくつかの大物が義憤によって声明をあげた、というのが真相だろう。
本当にABCが証明できるような素晴らしい理論なら
確実性がなくとも、俺もあやかって一山当ててやろう、とワラワラ人が寄ってくるわ。
グロタンディークの時なんか、まさにそうでしょ。
数学でいい結果を出すのなんて本当に大変だし、
たかが千ページそこらの論文読んでいい論文が書けるんなら、やる奴なんていくらでもおるんだわ。
まして数論幾何なんてオワコン化し始めてんだから、まさに「藁をも掴む」でしょう。
実際それで致命的な問題点が見つかり、Asahiによるprimsの強行掲載(真偽は不明だが)を耳にし、
問題点を事前に把握していたいくつかの大物が義憤によって声明をあげた、というのが真相だろう。
969132人目の素数さん
2018/06/09(土) 10:29:17.07ID:oVYttIz2 人の発言をなんでもかんでも擁護派の言い訳に捉えるやつ何なの?
970132人目の素数さん
2018/06/09(土) 11:11:47.73ID:yuHLpG8R971132人目の素数さん
2018/06/09(土) 11:20:16.25ID:2xGsfMbm 望月が証明の正しいデッサンを得ているかどうかは、完璧な証明ができた時にはじめてわかること。
ただ、2012年からこれだけ年月が経って進展が得られないとなると、仮に完璧な証明が現れたとしても望月の方針とはだいぶ異なっていることが予想され、証明者の手柄はその人のものになるだろうね。
望月がほぼ正しい証明を得てたのなら、なんたって論文が公開されているのだから、数学者もバカではないし、すぐにみんなで完璧な証明に仕上げたであろうから。
ただ、2012年からこれだけ年月が経って進展が得られないとなると、仮に完璧な証明が現れたとしても望月の方針とはだいぶ異なっていることが予想され、証明者の手柄はその人のものになるだろうね。
望月がほぼ正しい証明を得てたのなら、なんたって論文が公開されているのだから、数学者もバカではないし、すぐにみんなで完璧な証明に仕上げたであろうから。
972132人目の素数さん
2018/06/09(土) 11:52:23.65ID:HRrHxHTJ Toën や Lurie の導来代数幾何、高次圏の理論だって膨大かつ難解だけど
一連のテキストが矢継ぎ早に公開されてた頃からフォローしてる人たくさん居たし
IUT だけが他の数学者たちが真剣に取り組んでないために理解されないなんて信じがたい
一連のテキストが矢継ぎ早に公開されてた頃からフォローしてる人たくさん居たし
IUT だけが他の数学者たちが真剣に取り組んでないために理解されないなんて信じがたい
973132人目の素数さん
2018/06/09(土) 12:02:43.07ID:1GSOD3sl 数学も知らないし分からないし、研究もしたことのない素人が妄想を繰り広げて
ネット弁慶しちゃうスレですね、ここはw
ネット弁慶しちゃうスレですね、ここはw
974132人目の素数さん
2018/06/09(土) 12:15:03.77ID:oVYttIz2 否定派の方が必死に見えるんだが
975132人目の素数さん
2018/06/09(土) 12:58:49.34ID:Odvt8cU+ >>974
スレを荒らすな
スレを荒らすな
976132人目の素数さん
2018/06/09(土) 14:06:01.73ID:vM24Lyxx977132人目の素数さん
2018/06/09(土) 14:07:44.82ID:vM24Lyxx978132人目の素数さん
2018/06/09(土) 14:09:49.78ID:vM24Lyxx >>964
>斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
そんな事ない
EGAやSGAはみんなが洪水のように流れ込んだ
EGAやSGAに匹敵するだけも価値がIUTにあるとまだ思われてないから
IUTは興味を惹かない
>斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
そんな事ない
EGAやSGAはみんなが洪水のように流れ込んだ
EGAやSGAに匹敵するだけも価値がIUTにあるとまだ思われてないから
IUTは興味を惹かない
979132人目の素数さん
2018/06/09(土) 14:12:39.14ID:vM24Lyxx >>960
>興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
>ぐらいの想像はできるだろ低知能
興味を惹かない理由をあんたは理解していない
IUTは数学の新しくかつ正しい出発点を構造的に生み出すと
思われていないから興味を惹かない
ABCの正しさはどうでもいい余興
>興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
>ぐらいの想像はできるだろ低知能
興味を惹かない理由をあんたは理解していない
IUTは数学の新しくかつ正しい出発点を構造的に生み出すと
思われていないから興味を惹かない
ABCの正しさはどうでもいい余興
980132人目の素数さん
2018/06/09(土) 14:20:31.16ID:Odvt8cU+981132人目の素数さん
2018/06/09(土) 14:22:53.37ID:vM24Lyxx >>965
>望月が2012年に最初の「証明」を公表したときに、
>ペレルマンのときのようになってほしいと期待したんだろう。
それはない。
ポアンカレ予想はその予想を解くこと自体を一番の目標に
していたような数学者が歴史的に沢山いた。
でもABCはそんな予想ではない。もしフェルマー予想が未証明の段階なら
フェルマー予想目的でそういう展開になる事はあっただろうけれど。
>望月が2012年に最初の「証明」を公表したときに、
>ペレルマンのときのようになってほしいと期待したんだろう。
それはない。
ポアンカレ予想はその予想を解くこと自体を一番の目標に
していたような数学者が歴史的に沢山いた。
でもABCはそんな予想ではない。もしフェルマー予想が未証明の段階なら
フェルマー予想目的でそういう展開になる事はあっただろうけれど。
982132人目の素数さん
2018/06/09(土) 14:25:07.48ID:vM24Lyxx983132人目の素数さん
2018/06/09(土) 14:26:10.81ID:N9W++vyK 噂の真相?
・5月に論文がPRIMSに掲載(掲載なし)
・6月に論文がPRIMSに掲載(?)
・ショルツがRIMS来所(?)
・ショルツと討議、決裂(?)
・東工大の文元を訪問(?)
・文元、欧米の数学界をtwitterで批判(事実)
・望月、普及に海外渡航(事実なし)
・ショルツ、正式にIUTT批判発表予定(?)
・望月、サイトの自身の写真を桜の下の笑顔に更新(事実)
・5月に論文がPRIMSに掲載(掲載なし)
・6月に論文がPRIMSに掲載(?)
・ショルツがRIMS来所(?)
・ショルツと討議、決裂(?)
・東工大の文元を訪問(?)
・文元、欧米の数学界をtwitterで批判(事実)
・望月、普及に海外渡航(事実なし)
・ショルツ、正式にIUTT批判発表予定(?)
・望月、サイトの自身の写真を桜の下の笑顔に更新(事実)
984132人目の素数さん
2018/06/09(土) 14:29:03.30ID:vM24Lyxx985132人目の素数さん
2018/06/09(土) 14:32:49.34ID:rPcERmy5 >>983
オバサン乙
オバサン乙
986132人目の素数さん
2018/06/09(土) 14:40:59.83ID:Odvt8cU+ >>982
センター長という言葉を知らんのか???
センター長という言葉を知らんのか???
987132人目の素数さん
2018/06/09(土) 14:43:39.31ID:vM24Lyxx 「ABCの証明が正しいか正しくないかが数学界で重要だ」
と偏執的に主張したがる素人くんどもは
数学がある定められたルールの元で競い合うゲームやパズルのように"思いたい”のだろう。
なぜそう"思いたい"のかはおそらく
もし数学がそういうクイズやパズルであるなら受験やスポーツ観戦のように
天才や勝者をより単純な権威エンターテイメントドラマとしてウォッチしやすいから
マンガのように都合がいいのだろう
と偏執的に主張したがる素人くんどもは
数学がある定められたルールの元で競い合うゲームやパズルのように"思いたい”のだろう。
なぜそう"思いたい"のかはおそらく
もし数学がそういうクイズやパズルであるなら受験やスポーツ観戦のように
天才や勝者をより単純な権威エンターテイメントドラマとしてウォッチしやすいから
マンガのように都合がいいのだろう
988132人目の素数さん
2018/06/09(土) 14:46:47.21ID:vM24Lyxx >>986
そもそも「センター」なんつっても
他の実験科学みたいにドデカイ実験装置がある訳でもなく
ただの書類上の便器的な記号に過ぎない。
研究する場は教授室だし使用するのは紙と鉛筆たまにチョーク
なので看板降ろせだのなんだのは的外れの野次
そもそも「センター」なんつっても
他の実験科学みたいにドデカイ実験装置がある訳でもなく
ただの書類上の便器的な記号に過ぎない。
研究する場は教授室だし使用するのは紙と鉛筆たまにチョーク
なので看板降ろせだのなんだのは的外れの野次
989132人目の素数さん
2018/06/09(土) 15:06:52.59ID:Odvt8cU+990132人目の素数さん
2018/06/09(土) 15:33:17.12ID:/irpZ5/h ショルツ、越川、コンラッドは同じ箇所で詰まった。
関係者の反応は、観測できる限りでは、
自明と開き直る、無視、逆ギレして悪魔の証明要求。
(仮に解決しているなら他の読者のためにも情報を公開すべきである。
特にGはIUT普及のために雇われたようなもんなんだから、職業的な責務があるだろう)
これが全て。仮にMさんがどんなに素晴らしい頭脳の持ち主で、
人格的にも優れていて、たくさんの論文を読みこなし、
研究に何万時間かけただろうと、証明になっていなければ、
それは正しくない、というのが研究の世界。
笹井さんの件はまさにそうだったね。
Fンコみたいに逆ギレして悪魔の証明を貴重な読者に強要しちゃうようなあたり、
もう関係者も問題点を理解しているんじゃないかな。
関係者の反応は、観測できる限りでは、
自明と開き直る、無視、逆ギレして悪魔の証明要求。
(仮に解決しているなら他の読者のためにも情報を公開すべきである。
特にGはIUT普及のために雇われたようなもんなんだから、職業的な責務があるだろう)
これが全て。仮にMさんがどんなに素晴らしい頭脳の持ち主で、
人格的にも優れていて、たくさんの論文を読みこなし、
研究に何万時間かけただろうと、証明になっていなければ、
それは正しくない、というのが研究の世界。
笹井さんの件はまさにそうだったね。
Fンコみたいに逆ギレして悪魔の証明を貴重な読者に強要しちゃうようなあたり、
もう関係者も問題点を理解しているんじゃないかな。
991132人目の素数さん
2018/06/09(土) 15:39:36.80ID:rmpPLu2D992132人目の素数さん
2018/06/09(土) 15:53:53.79ID:nEFMSNTW もうええやろ...
993132人目の素数さん
2018/06/09(土) 16:54:21.81ID:yuHLpG8R994132人目の素数さん
2018/06/09(土) 16:54:54.96ID:im5yOy4G スキーム論
>同時代の学者たちからは戸惑いのこもった反発を受けた。
>この概念の一般性は最初は批判された。幾何学的な解釈を持たないスキームもあり、概念の把握を困難にしていた。
>緩やかに受け入れられていった。
アブストラクト・ナンセンス
圏(カテゴリー)と関手(ファンクター)の理論に対して行われた、中身が無く抽象的過ぎるため無意味だ(役に立たない) という現代数学界での長年の批判
>同時代の学者たちからは戸惑いのこもった反発を受けた。
>この概念の一般性は最初は批判された。幾何学的な解釈を持たないスキームもあり、概念の把握を困難にしていた。
>緩やかに受け入れられていった。
アブストラクト・ナンセンス
圏(カテゴリー)と関手(ファンクター)の理論に対して行われた、中身が無く抽象的過ぎるため無意味だ(役に立たない) という現代数学界での長年の批判
995132人目の素数さん
2018/06/09(土) 17:19:34.53ID:5i4qEslh アブストラクト・ナンセンス
Jump to navigation
Jump to search
アブストラクト・ナンセンス(英:abstract nonsense、抽象的ナンセンス)とは、
圏論におけるある種の概念や議論を表すのに数学者が好んで使う表現である。
この表現は数学者ノーマン・スティーンロッドによって作られたと信じられている。
なおスティーンロッド自身、圏論的視点を築いた一人である。
この表現は軽蔑的な称号というよりは、数学的(特に圏論的)にいかに洗練されているか、
クールであるかを示すためにアブストラクト・ナンセンスの実践者自身によって用いられるものである。
数学におけるある種のアイデアや構成は多くの領域にわたって有効であり、
圏論はそれらを統一的にとらえる枠組みを与える。そのような場合数学者は詳細の入り
組んだ議論に立ち入らず、「何々はアブストラクト・ナンセンスにより真である」などとしてしまうのである。
典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義、米田の補題の
利用、などなど。他にも抽象的論法に対する批評でこれほどは好意的でないようなものが記録に残っているの
だが、数学の隠語としての地位を獲得するには至っていない。
例えば、ポール・ゴーダンは不変式論に於けるダフィット・ヒルベルトの証明をして「これは数学ではなく神学だ」などと述べている。
Jump to navigation
Jump to search
アブストラクト・ナンセンス(英:abstract nonsense、抽象的ナンセンス)とは、
圏論におけるある種の概念や議論を表すのに数学者が好んで使う表現である。
この表現は数学者ノーマン・スティーンロッドによって作られたと信じられている。
なおスティーンロッド自身、圏論的視点を築いた一人である。
この表現は軽蔑的な称号というよりは、数学的(特に圏論的)にいかに洗練されているか、
クールであるかを示すためにアブストラクト・ナンセンスの実践者自身によって用いられるものである。
数学におけるある種のアイデアや構成は多くの領域にわたって有効であり、
圏論はそれらを統一的にとらえる枠組みを与える。そのような場合数学者は詳細の入り
組んだ議論に立ち入らず、「何々はアブストラクト・ナンセンスにより真である」などとしてしまうのである。
典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義、米田の補題の
利用、などなど。他にも抽象的論法に対する批評でこれほどは好意的でないようなものが記録に残っているの
だが、数学の隠語としての地位を獲得するには至っていない。
例えば、ポール・ゴーダンは不変式論に於けるダフィット・ヒルベルトの証明をして「これは数学ではなく神学だ」などと述べている。
996132人目の素数さん
2018/06/09(土) 18:44:16.87ID:pResKOWG997132人目の素数さん
2018/06/09(土) 18:50:15.68ID:8cRyJp0W >>993
ソラキレイの亜種
ソラキレイの亜種
998132人目の素数さん
2018/06/09(土) 19:08:42.32ID:pResKOWG 代数 類体論って何だろう?
圏論の前に集合 選択公理、代数 線型代数
テンソル代数、、があるんだろう〜
圏論の前に集合 選択公理、代数 線型代数
テンソル代数、、があるんだろう〜
999132人目の素数さん
2018/06/09(土) 19:12:59.77ID:sPaMZ56q 999ならIUTリジェクト
1000132人目の素数さん
2018/06/09(土) 19:13:24.47ID:sPaMZ56q 1000ならjinオバサンとモチーがケコーン
10011001
Over 1000Thread このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 33日 19時間 43分 34秒
新しいスレッドを立ててください。
life time: 33日 19時間 43分 34秒
レス数が1000を超えています。これ以上書き込みはできません。
ニュース
- 【速報】NYダウの下げ幅が2000ドルを超えた [香味焙煎★]
- 【宗教】日本、仏教国で仏教離れ最多 信者の4割、現在「無宗教」 米研究所調査 ★4 [樽悶★]
- 米商務長官 トランプ関税「撤回の可能性ない。 世界はアメリカから搾取やめるべき。関税率是正なら交渉の余地あり」 [Hitzeschleier★]
- 長野智子 フジテレビ報告書で〝誤報〟判明「文春は謝罪するべき」…女性アナF氏を「3悪人」扱い ★2 [ぐれ★]
- 中居正広の弁護士・犬塚氏、直撃にダッシュで逃走…被害女性を「不快」にさせた“フジと利益相反”の受任 [Ailuropoda melanoleuca★]
- 石破首相、トランプ関税は「国難」 ★2 [おっさん友の会★]
- 【訃報】株安、円安という最悪なパターンになりそう、日本経済ガチで詰みかけ [943688309]
- 【火だるま】「NISA損切り」すべきか否か、ガチで意見が割れる [458340425]
- 死にたい
- 「人間は10歳のときに遊んだゲームを、幼少期の黄金体験として最高のレトロゲームに認定する傾向がある」最新の調査で判明 [249947164]
- 【速報】パプアニューギニアで大地震 津波の可能性
- ぼく、最近毎朝このくらいの時間に動悸がやばくなって起きる模様