18/06/08 19:56:09.50 fLVrMyc2.net
>>919
数学の価値は「客観的に天から与えられて」決まるモノじゃない。
他の数学者はIUTにそれほどの価値を感じないから読もうとしないだけ。
IUTと何かもっと深い数学的な構造とのつながりがより具体的に明白になってくれば
興味を持つ者は増えるかも知れないが
現時点では高々ABCという散発的な式を証明しただけ
954:132人目の素数さん
18/06/08 19:59:55.73 P1TKgezQ.net
>>921
つまり、ABC予想の証明のためだけのためにあの論文を読むのは
「割に合わない」ということ?
955:132人目の素数さん
18/06/08 20:11:04.85 fLVrMyc2.net
>>922
だいたい合ってる。
ABCもFermatもそれ自体に価値はなく
それを解こうとする努力によって何か新しい数学を生み出す刺激を
与える事に価値がある。
そして
「価値がある」という客観的事実が先にあって、
でも「他の数学者が興味を示さない」事はオカシイ、ではなくて、
「他の数学者が興味を示さない」事が先にあって、それによって主観的に
その概念の価値の評価が決まるわけ。
956:132人目の素数さん
18/06/08 20:38:47.09 Kesi3nDV.net
>>920
読めないの?
平成29年12月に設置された.
957:132人目の素数さん
18/06/08 20:40:05.43 z/Fom/k6.net
>>918
読んでるやつ結構いると思うよ。
読んで「こりゃトンデモだ」と結論してるんだろw
すくなくともショルツは10日で間違いを発見した。
958:132人目の素数さん
18/06/08 20:46:49.70 z/Fom/k6.net
IUTが数学者の興味をひかないから正しさが認められないって意見があるけど、それはちょっと違うね。
数学的な魅力のなさなら、四色問題や、ケプラー予想の解決のほうがはるかに魅力がない。
なんたって論文の大多数はただのコンピュータの検証なんだから。あ、カタラン予想の解決もそうだったかな。
だけど比較的に短時間で正しいという認識が一般化した。
IUTは単に「証明になってない」からみんな興味をひかないんだと思う。
959:132人目の素数さん
18/06/08 21:08:48.10 Kesi3nDV.net
IUTだよねー
↓
次世代幾何学研究準備センター
新しい数学思想に基づく幾何学に関して,
国内外の研究者との連携研究を準備する
ため平成29年12月に設置された.
センター長 望月新一
960:132人目の素数さん
18/06/08 21:11:11.75 VhvDZlDy.net
>>918 すでに公表されているだけでもConrad、Scholze、Koshikawaが解読を試みて
致命的な問題点を具体的に指摘しているんですが。。。
961:132人目の素数さん
18/06/08 21:12:23.67 VhvDZlDy.net
918じゃなくて919ね
962:132人目の素数さん
18/06/08 21:13:11.60 dpknXKvZ.net
>証明になっていない
それ、お前の中の妄想だろ。
どの論文の何ページの何行目がどういう理由で証明になっていないのか
自分の言葉で説明してみろよ。
963:132人目の素数さん
18/06/08 21:15:12.34 Kesi3nDV.net
取り巻き?おばさん?
毎日、毎日、いいわけお疲れ様
964:132人目の素数さん
18/06/08 21:18:34.42 VhvDZlDy.net
信者の中では取り巻きだけが信頼できる研究者で、
ConradやScholzeなどの第一線で活躍してる研究者は
「理解力が乏しい無視していいノイズ」として処理されるらしいw
965:132人目の素数さん
18/06/08 21:46:22.42 XjVjWG1h.net
>>すでに公表されているだけでもConrad、Scholze、Koshikawaが解読を試みて
致命的な問題点を具体的に指摘しているんですが。。。
怪しいとか理解できないとかではなく、議論が間違っていると証明したソースを
あげてくれよ
966:132人目の素数さん
967:
フェセンコの言い分を妄信してるアホ発見。 内容がないと言われているものの間違いを証明せよなんて、悪魔の証明でしかない。 できると思うなら、まずは次の”証明”が「間違えていること」を証明してみてくれ。 定理:リーマン予想は成立する。 証明:定義より自明。
968:132人目の素数さん
18/06/08 21:53:54.96 z/Fom/k6.net
self-evidentでないものをself-evidentと言っている望月が、明らかに間違っている。
モーダスポネンスで導かれていないのに、そんなこと言うのはおかしい。
969:132人目の素数さん
18/06/08 21:58:23.49 z/Fom/k6.net
おれは>>933な詭弁を述べる奴がいつまでものさばるから、
>>910や>>912みたいにいつまでも検証を先延ばしにするやり方が汚いと思うんだよ。
証明になってないんだから「証明はまだできていませんでした」って正直に認めるべき。
970:132人目の素数さん
18/06/08 21:58:40.95 XjVjWG1h.net
IUTのプレプリントの何ページの何行目のどこの議論のことを言っているのか?
971:132人目の素数さん
18/06/08 22:02:47.56 pnRgl2rN.net
どこも何も>>7とかで何度も言われてるでしょうが
972:132人目の素数さん
18/06/08 22:13:23.41 XjVjWG1h.net
initial dataの最初の所、ガロア表現の像の条件はなんでついているかとか分かってる人たちだよね、君たちは
973:132人目の素数さん
18/06/08 22:13:49.77 N+HqFeul.net
>>932
>ConradやScholzeなどの第一線で活躍してる研究者は
>「理解力が乏しい無視していいノイズ」として処理されるらしいw
そうした行動を取るということは
今まで数学界(人間社会)で築きあげてきた「信頼」を放棄する
ということに値しますが
「信頼」を放棄してまで望月氏がそうした行動を取っていると考えるのは
何故だと思ってますか?
失礼な表現をしますが
望月氏は馬鹿ではないのだから
誤りが見つかれば、素直に誤りを認めて訂正するし
(事実、2012年10月にDimitrovとVenkateshから誤りを指摘された際、指摘を認めて訂正を約束し、同年12月に訂正版の論文を発表した)
破滅への道に自ら突き進んでいくような
愚かな真似はしないでしょう。
言うまでもなく。
974:132人目の素数さん
18/06/08 22:23:25.45 Kesi3nDV.net
>>940
>誤りが見つかれば
PRIMS掲載後に、誤りの指摘があるか
興味がある。
12月から噂があったな。
ま、掲載されないと誤りと確定しないからね、
スレでも散々罵倒されたし、、
975:132人目の素数さん
18/06/08 22:27:05.80 XjVjWG1h.net
IUTでガロア群から単数群をどう導くかくらい分かってる人たちだよね、君たちは
976:132人目の素数さん
18/06/08 22:32:57.19 Kesi3nDV.net
ConradやScholzeが分からんのに、、
分かった気分になれないなあ~
977:132人目の素数さん
18/06/08 22:34:56.63 VhvDZlDy.net
>>940 笹井さんの例もあるしなあ。
978:132人目の素数さん
18/06/08 22:35:44.88 EBnS4LIn.net
>>942
なんのガロア群からなんの単数群をみちびくの?
979:132人目の素数さん
18/06/08 22:37:35.31 XjVjWG1h.net
標数0の局所体
980:132人目の素数さん
18/06/08 22:42:59.35 EBnS4LIn.net
>>946
なるほー。
局所類体論の相互律写像を考えば復元できるお。
981:132人目の素数さん
18/06/08 22:46:24.24 XjVjWG1h.net
そういうことw 簡単なこと聞いて住民層をdetect
982:132人目の素数さん
18/06/08 22:50:40.89 EBnS4LIn.net
検出されちまったお。。
983:132人目の素数さん
18/06/08 23:03:59.65 Kesi3nDV.net
>IUTでガロア群から単数群をどう導く
かくらい分かってる人たちだよね、
君たちは
↑
IUT信者発見装置
984:132人目の素数さん
18/06/08 23:29:48.41 XjVjWG1h.net
学部生でもわかることだよw よいこのみんな勉強しようねww
985:132人目の素数さん
18/06/08 23:36:20.81 v4hRM7vx.net
学部質問スレで聞いてもダメだったのでここで質問させて
普通は単体集合から±1を係数に使って2回いくと消える微分(つまり鎖複体)を作るけど、1のn乗根使うとn回いって消える微分が作れるらしいので誰か知ってたら論文教えて
986:132人目の素数さん
18/06/08 23:37:02.43 Hsmq2TGV.net
オバサンが今日もがんばってまふね
987:132人目の素数さん
18/06/08 23:53:40.
988:30 ID:7tSFofpX.net
989:132人目の素数さん
18/06/08 23:55:44.05 7tSFofpX.net
…数理解析学概論は…いい本だぞ
990:132人目の素数さん
18/06/08 23:57:05.87 7tSFofpX.net
数学徒が言う「任意の」と「全ての」は同義であるかほぼ同義です(ただし解析学では微妙に意味合いが違うので論理的にとらえすぎるのもよくない)
991:132人目の素数さん
18/06/08 23:59:49.27 N+HqFeul.net
>>953
私はjinではありません。
992:132人目の素数さん
18/06/09 07:39:26.10 vM24Lyxx.net
>>926
>IUTが数学者の興味をひかないから
>正しさが認められないって意見があるけど、それはちょっと違うね。
藁人形論法おつ
×興味をひかないから正しさが認められない
○興味をひかないから関心が持たれない
993:132人目の素数さん
18/06/09 07:42:22.05 vM24Lyxx.net
>>927
>IUTだよねー
↓
>次世代幾何学研究準備センター
望月拓郎先生や玉川先生も所属しているので
別にイコールってニュアンスでもないだろ
994:132人目の素数さん
18/06/09 08:45:38.71 MAxBCT9e.net
>>958←なんでも否定したがるクソ
> 藁人形論法おつ
>
> ×興味をひかないから正しさが認められない
> ○興味をひかないから関心が持たれない
興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
ぐらいの想像はできるだろ低知能
995:132人目の素数さん
18/06/09 09:05:14.14 2xGsfMbm.net
×興味をひかない
これほど世界中で話題になっているのだから、興味は持たれてるに決まっているだろ
興味を持つ→間違いを発見する→終了
少なくともショルツ、コンラッド、コシカワはあきらかにこれ。
ほかにも、論文を読んでみて「こりゃトンデモだな」と思っている人は多数いるだろ。
興味を持たれていないから正しさが認められていないというのは、擁護派の負け惜しみ。
996:132人目の素数さん
18/06/09 09:14:48.24 2xGsfMbm.net
前、タオやショのルツクラスの大物が疑義を表明するのは、
単なる個人的感想と思うべきではないという書き込みをした人がいたが、
まさにその通り。
すでに第一級数学者の間では「現状では証明になっていないし、望月の方針で証明が達成されることもなさそう」
がコンセンサスになっていると考えるべき。
興味をもって望月論文を読んだうえで、アウトという判定をトップクラスの数学者が出しているという現実は疑いようがない。
997:132人目の素数さん
18/06/09 09:19:27.89 MAxBCT9e.net
>>961
> 興味を持たれていないから正しさが認められていないというのは、擁護派の負け惜しみ。
擁護派の誰かがそう言ってるの?リンク張ってくれる?
998:132人目の素数さん
18/06/09 09:36:38.30 yuHLpG8R.net
>>919 数学に限った話ではないと思うけど、
斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
大半は、知名度の高い他の人が承認して初めて読もうとする、一種の日和見主義者。
小物の態度だけど、そういう態度が一番効率的だから、そうなっちまうわな。
999:132人目の素数さん
18/06/09 09:39:17.79 2xGsfMbm.net
いくらか望月に同情的に解説してやると、
望月が2012年に最初の「証明」を公表したときに、
ペレルマンのときのようになってほしいと期待したんだろう。
ペレルマンは証明をいきなりネットに公表したが、その論証はあなだらけだった。
しかしペレルマンの方針自体が正しかったから、ペレルマンの論文が公表されるや否や、
有象無象の二流三流数学者でも束になれば証明を完全にすることができ、
それによって多くの人にペレルマンが正しい証明を得ていたことが認められた。
しかし望月の論文はそうならなかった。
結局のところ
1000:望月の論文は証明の正しい指針を示したものとは言えないため、 その論文が公開されても数学者は正しい証明を構成できなかった。 よって望月の論文も正しくない、という結論が下されつつあるというのが現実。
1001:132人目の素数さん
18/06/09 09:45:30.41 pResKOWG.net
>>959
既に量子幾何センターがありますね。
新しい数学思想は何ですか?
IUTですね、、動くゴールポストでもあります、
1002:132人目の素数さん
18/06/09 09:57:54.49 2xGsfMbm.net
望月が証明の正しいデッサンを公開している→多くの数学者が束になれば完璧な証明になるはず。
現実
一流の数学者が束になって検討しても一向に証明が構成されない→望月は証明の正しいデッサンを得ていない。
1003:132人目の素数さん
18/06/09 10:23:08.01 /irpZ5/h.net
>>964 それも望月と取り巻きの間違った一方的な言い訳だな。
本当にABCが証明できるような素晴らしい理論なら
確実性がなくとも、俺もあやかって一山当ててやろう、とワラワラ人が寄ってくるわ。
グロタンディークの時なんか、まさにそうでしょ。
数学でいい結果を出すのなんて本当に大変だし、
たかが千ページそこらの論文読んでいい論文が書けるんなら、やる奴なんていくらでもおるんだわ。
まして数論幾何なんてオワコン化し始めてんだから、まさに「藁をも掴む」でしょう。
実際それで致命的な問題点が見つかり、Asahiによるprimsの強行掲載(真偽は不明だが)を耳にし、
問題点を事前に把握していたいくつかの大物が義憤によって声明をあげた、というのが真相だろう。
1004:132人目の素数さん
18/06/09 10:29:17.07 oVYttIz2.net
人の発言をなんでもかんでも擁護派の言い訳に捉えるやつ何なの?
1005:132人目の素数さん
18/06/09 11:11:47.73 yuHLpG8R.net
>>968 私は望月氏の取り巻きでもなんでもなく、ただの外野なんだが…
ただ>>859ではあるので、意欲的な姿勢に好意的ではあるけど。
ともかく、IUTが「ワラワラ人が寄ってくる」ような
「本当にABCが証明できるような素晴らしい理論」であるか否かの判断を
ショルツ等のごく一部の数学者に委ねているのが現実じゃないの。
>>964ではそれが言いたかっただけ。
1006:132人目の素数さん
18/06/09 11:20:16.25 2xGsfMbm.net
望月が証明の正しいデッサンを得ているかどうかは、完璧な証明ができた時にはじめてわかること。
ただ、2012年からこれだけ年月が経って進展が得られないとなると、仮に完璧な証明が現れたとしても望月の方針とはだいぶ異なっていることが予想され、証明者の手柄はその人のものになるだろうね。
望月がほぼ正しい証明を得てたのなら、なんたって論文が公開されているのだから、数学者もバカではないし、すぐにみんなで完璧な証明に仕上げたであろうから。
1007:132人目の素数さん
18/06/09 11:52:23.65 HRrHxHTJ.net
Toën や Lurie の導来代数幾何、高次圏の理論だって膨大かつ難解だけど
一連のテキストが矢継ぎ早に公開されてた頃からフォローしてる人たくさん居たし
IUT だけが他の数学者たちが真剣に取り組んでないために理解されないなんて信じがたい
1008:132人目の素数さん
18/06/09 12:02:43.07 1GSOD3sl.net
数学も知らないし分からないし、研究もしたことのない素人が妄想を繰り広げて
ネット弁慶しちゃうスレですね、ここはw
1009:132人目の素数さん
18/06/09 12:15:03.77 oVYttIz2.net
否定派の方が必死に見えるんだが
1010:132人目の素数さん
18/06/09 12:58:49.34 Odvt8cU+.net
>>974
スレを荒らすな
1011:132人目の素数さん
18/06/09 14:06:01.73 vM24Lyxx.net
>>966
>既に量子幾何センターがありますね。
望月拓郎先生や玉川先生はそっちでなく
次世代のセンターの方に所属らしい
1012:132人目の素数さん
18/06/09 14:07:44.82 vM24Lyxx.net
>>961
>これほど世界中で話題になっているのだから、興味は持たれてるに決まっているだろ
言葉遊びの詭弁おつ
よもやま話としての興味でなく
数学としての正当な興味が持たれていない
1013:132人目の素数さん
18/06/09 14:09:49.78 vM24Lyxx.net
>>964
>斬新で難解かつ長大な論文を自主的に読もうとする学者は少数しかいない。
そんな事ない
EGAやSGAはみんなが洪水のように流れ込んだ
EGAやSGAに匹敵するだけも価値がIUTにあるとまだ思われてないから
IUTは興味を惹かない
1014:132人目の素数さん
18/06/09 14:12:39.14 vM24Lyxx.net
>>960
>興味をひかない→関心が持たれない→論文がフォローされない→正しさが認められない
>ぐらいの想像はできるだろ低知能
興味を惹かない理由をあんたは理解していない
IUTは数学の新しくかつ正しい出発点を構造的に生み出すと
思われていないから興味を惹かない
ABCの正しさはどうでもいい余興
1015:132人目の素数さん
18/06/09 14:20:31.16 Odvt8cU+.net
>>976
嘘つくな
URLリンク(www.kurims.kyoto-u.ac.jp)
1016:132人目の素数さん
18/06/09 14:22:53.37 vM24Lyxx.net
>>965
>望月が2012年に最初の「証明」を公表したときに、
>ペレルマンのときのようになってほしいと期待したんだろう。
それはない。
ポアンカレ予想はその予想を解くこと自体を一番の目標に
していたような数学者が歴史的に沢山いた。
でもABCはそんな予想ではない。もしフェルマー予想が未証明の段階なら
フェルマー予想目的でそういう展開になる事はあっただろうけれど。
1017:132人目の素数さん
18/06/09 14:25:07.48 vM24Lyxx.net
>>980
併任や兼任という言葉を知らんのか??
URLリンク(www.kurims.kyoto-u.ac.jp)
1018:132人目の素数さん
18/06/09 14:26:10.81 N9W++vyK.net
噂の真相?
・5月に論文がPRIMSに掲載(掲載なし)
・6月に論文がPRIMSに掲載(?)
・ショルツがRIMS来所(?)
・ショルツと討議、決裂(?)
・東工大の文元を訪問(?)
・文元、欧米の数学界をtwitterで批判(事実)
・望月、普及に海外渡航(事実なし)
・ショルツ、正式にIUTT批判発表予定(?)
・望月、サイトの自身の写真を桜の下の笑顔に更新(事実)
1019:132人目の素数さん
18/06/09 14:29:03.30 vM24Lyxx.net
>>983
モッチーは布教の細かい面倒までフォローする気はない(ペレリマンパターン)
ってだけだろ
1020:132人目の素数さん
18/06/09 14:32:49.34 rPcERmy5.net
>>983
オバサン乙
1021:132人目の素数さん
18/06/09 14:40:59.83 Odvt8cU+.net
>>982
センター長という言葉を知らんのか???
1022:132人目の素数さん
18/06/09 14:43:39.31 vM24Lyxx.net
「ABCの証明が正しいか正しくないかが数学界で重要だ」
と偏執的に主張したがる素人くんどもは
数学がある定められたルールの元で競い合うゲームやパズルのように"思いたい”のだろう。
なぜそう"思いたい"のかはおそらく
もし数学がそういうクイズやパズルであるなら受験やスポーツ観戦のように
天才や勝者をより単純な権威エンターテイメントドラマとしてウォッチしやすいから
マンガのように都合がいいのだろう
1023:132人目の素数さん
18/06/09 14:46:47.21 vM24Lyxx.net
>>986
そもそも「センター」なんつっても
他の実験科学みたいにドデカイ実験装置がある訳でもなく
ただの書類上の便器的な記号に過ぎない。
研究する場は教授室だし使用するのは紙と鉛筆たまにチョーク
なので看板降ろせだのなんだのは的外れの野次
1024:132人目の素数さん
18/06/09 15:06:52.59 Odvt8cU+.net
>>988
>そもそも「センター」なんつっても
>ただの書類上の便器的な記号に過ぎない。
なら作らなければいいじゃん、
新しい数学思想=IUTで
文科省向けに予算獲得手段だわ、
1025:132人目の素数さん
18/06/09 15:33:17.12 /irpZ5/h.net
ショルツ、越川、コンラッドは同じ箇所で詰まった。
関係者の反応は、観測できる限りでは、
自明と開き直る、無視、逆ギレして悪魔の証明要求。
(仮に解決しているなら他の読者のためにも情報を公開すべきである。
特にGはIUT普及のために雇われたようなもんなんだから、職業的な責務があるだろう)
これが全て。仮にMさんがどんなに素晴らしい頭脳の持ち主で、
人格的にも優れていて、たくさんの論文を読みこなし、
研究に何万時間か
1026:けただろうと、証明になっていなければ、 それは正しくない、というのが研究の世界。 笹井さんの件はまさにそうだったね。 Fンコみたいに逆ギレして悪魔の証明を貴重な読者に強要しちゃうようなあたり、 もう関係者も問題点を理解しているんじゃないかな。
1027:132人目の素数さん
18/06/09 15:39:36.80 rmpPLu2D.net
次スレ
Inter-universal geometry と ABC予想 28
URLリンク(rio2016.2ch.sc)
1028:132人目の素数さん
18/06/09 15:53:53.79 nEFMSNTW.net
もうええやろ...
1029:132人目の素数さん
18/06/09 16:54:21.81 yuHLpG8R.net
>>983
>望月、サイトの自身の写真を桜の下の笑顔に更新(事実)
こ、これは…もしや、我が世の春が来たと言いたいのか…(?_?)
1030:132人目の素数さん
18/06/09 16:54:54.96 im5yOy4G.net
スキーム論
>同時代の学者たちからは戸惑いのこもった反発を受けた。
>この概念の一般性は最初は批判された。幾何学的な解釈を持たないスキームもあり、概念の把握を困難にしていた。
>緩やかに受け入れられていった。
アブストラクト・ナンセンス
圏(カテゴリー)と関手(ファンクター)の理論に対して行われた、中身が無く抽象的過ぎるため無意味だ(役に立たない) という現代数学界での長年の批判
1031:132人目の素数さん
18/06/09 17:19:34.53 5i4qEslh.net
アブストラクト・ナンセンス
Jump to navigation
Jump to search
アブストラクト・ナンセンス(英:abstract nonsense、抽象的ナンセンス)とは、
圏論におけるある種の概念や議論を表すのに数学者が好んで使う表現である。
この表現は数学者ノーマン・スティーンロッドによって作られたと信じられている。
なおスティーンロッド自身、圏論的視点を築いた一人である。
この表現は軽蔑的な称号というよりは、数学的(特に圏論的)にいかに洗練されているか、
クールであるかを示すためにアブストラクト・ナンセンスの実践者自身によって用いられるものである。
数学におけるある種のアイデアや構成は多くの領域にわたって有効であり、
圏論はそれらを統一的にとらえる枠組みを与える。そのような場合数学者は詳細の入り
組んだ議論に立ち入らず、「何々はアブストラクト・ナンセンスにより真である」などとしてしまうのである。
典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義、米田の補題の
利用、などなど。他にも抽象的論法に対する批評でこれほどは好意的でないようなものが記録に残っているの
だが、数学の隠語としての地位を獲得するには至っていない。
例えば、ポール・ゴーダンは不変式論に於けるダフィット・ヒルベルトの証明をして「これは数学ではなく神学だ」などと述べている。
1032:132人目の素数さん
18/06/09 18:44:16.87 pResKOWG.net
>>952
単体集合 ±1と微分作用素 原始n乗根
統計にも応用できるかも、、
このスレの余白が少なすぎる、
1033:132人目の素数さん
18/06/09 18:50:15.68 8cRyJp0W.net
>>993
ソラキレイの亜種
1034:132人目の素数さん
18/06/09 19:08:42.32 pResKOWG.net
代数 類体論って何だろう?
圏論の前に集合 選択公理、代数 線型代数
テンソル代数、、があるんだろう~
1035:132人目の素数さん
18/06/09 19:12:59.77 sPaMZ56q.net
999ならIUTリジェクト
1036:132人目の素数さん
18/06/09 19:13:24.47 sPaMZ56q.net
1000ならjinオバサンとモチーがケコーン
1037:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 33日 19時間 43分 34秒
1038:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています