21/12/07 20:37:01.63 .net
>>920
coqに入らんっていうのは
つまり論理式で記述できないってこと？
もしそうだとしてそれって数学なの？
976:１３２人目の素数さん
21/12/07 20:38:21.03 .net
>>921
>論文わかんないやつが何言っても意味ない。
わかんない人が応援するってのも意味ないよなぁ
何がしたいんだか
977:１３２人目の素数さん
21/12/07 20:45:21.79 .net
IUTTわかんない人がIUTT応援してなんか意味あんの？ないよね
978:１３２人目の素数さん
21/12/07 20:48:34.65 .net
自分が分からないものがいくら賞とかとっても嬉しくもなんともないよね
979:１３２人目の素数さん
21/12/07 20:49:55.69 .net
観る将も観る数もただの勘違いだと思うんだな
980:１３２人目の素数さん
21/12/07 20:52:44.44 .net
>
>「観る将」は、盤外の情報に大きく注目する。
>対局者が着ている羽織袴やスーツ、ネクタイ、シャツはどんなものか。
>食事やおやつに何を食べているのか。
>そんな周辺情報までも、ビジュアルとして観られるように�
981:ﾈった。 >そうした「観る将」の観察眼は、 >専門記者たちよりよほど詳しく鋭かったりもする。 でもそれって将棋じゃないじゃん
982:１３２人目の素数さん
21/12/07 20:56:00.42 .net
「観る数」も同じだよな
いくら数学者の外観とか見たって
それって数学じゃないじゃん
いくら賞とか数えたって
それって数学じゃないじゃん
観る将が将棋観てないのと同じで
観る数は数学観てないじゃん
意味ないよな
983:１３２人目の素数さん
21/12/07 20:56:43.93 .net
意味ないことで喜ぶって精神的におかしいと思うんだな
984:１３２人目の素数さん
21/12/07 20:57:37.96 .net
一度自分が何をしたいのか
見つめなおしたほうが
いいんじゃないかな？
985:１３２人目の素数さん
21/12/07 20:59:51.10 .net
望月新一がIUTTでやろうとしたことが
成功だったにせよ失敗だったにせよ
それは彼にとっては意味があることだと思うよ
986:１３２人目の素数さん
21/12/07 21:00:10.93 /lEGS5Ql.net
おい、雑談より勢いあるぞ
過疎スレの民だろ俺たち
止めろって人気スレになってしまうぞ
987:１３２人目の素数さん
21/12/07 21:01:38.66 .net
でもIUTTどころかそもそも数論も分からん人が
望月新一が賞を獲ることに期待するのって
いったい何がどう楽しいの？
なんか根本的に間違った思い込みに支配されてるんじゃないかな？
988:１３２人目の素数さん
21/12/07 21:03:52.06 .net
>>932
なんかさこのスレ意味ないから埋めようかとおもってさ
989:１３２人目の素数さん
21/12/07 21:03:55.49 /lEGS5Ql.net
祭りとして楽しむ分にはいいと思うよ
コロナ禍で楽しみも少ないし
つまらないでしょ
990:１３２人目の素数さん
21/12/07 21:05:02.45 .net
>>935
そもそも他人が賞とって楽しい？
991:１３２人目の素数さん
21/12/07 21:05:53.65 .net
同じ国の人とかいったって他人じゃん
国なんて所詮妄想じゃん
意味ないじゃん
992:１３２人目の素数さん
21/12/07 21:07:41.04 vZMpC9Ch.net
>>920
もちろん数学の世界で認められなくても良いなら望月先生は何もする必要はないよ
京都の身内だけで成り立つね〜って言ってればよろしい
オレが何かする義務もない
別に望月論文が京都の身内だけで認め合うなら勝手にすればいいと思うし
しかしもちろん誰も何もしないなら望月論文は“京都だけで成立する論文”で終わり
993:１３２人目の素数さん
21/12/07 21:11:36.02 .net
>>938
結局のところCor3.12がありがたがられてるだけだよなぁ
それでいいんなら何もいわんけど 正直どうなんだろ？
994:１３２人目の素数さん
21/12/07 21:13:52.83 33HXCttY.net
数学板で一番勢いがあるのがIUTスレだという地獄
995:１３２人目の素数さん
21/12/07 21:16:37.48 .net
今だけだよ 今だけ
996:１３２人目の素数さん
21/12/07 21:18:20.64 .net
無意味な応援とかいう病気は治したほうがいいって
997:１３２人目の素数さん
21/12/07 21:18:20.87 vZMpC9Ch.net
>>939
確かショルツェのレポートでは3.12以前の部分でもそれなりに意味ある議論はあるって評価だったんだよな
だから望月先生が3.12に拘らずそこは一旦保留したものを論文として出してたんならここまで問題が大きくなる事もなかったんだろうけどな
今回は「何がなんでも正しい」で押し通す事にしてしまった
こうなってしまったら誰かがcoqに入力して論文の正しさを客観的に証明でもしない限りprimsの信用ごと数学界からつまはじき状態になってしまうやろな
実際星先生の論文ははねつけられたってツイートしてたし
998:１３２人目の素数さん
21/12/07 21:21:27.84 .net
>>943
ショルツも望月新一のやったことの全てが無意味なんてことはいってない
望月新一のエキセントリックな性格が災いしたのは確かだけど
一番の問題はRIMSが不適切なやり方で望月新一を庇ったことだよなぁ
999:１３２人目の素数さん
21/12/07 21:27:04.82 0HqUILZk.net
>>938
そもそも、あんたは第三者じゃん。
数学の証明をよんで成立してると言う人たちが増えてるから、
それを否定するなら、あなたがやりゃいいのよ。
読まないなら肯定も否定も主体的にできないわけで、
状況的に支持者の方が増えていってるんだから、合ってんだろって言う判断だよ。
1000:１３２人目の素数さん
21/12/07 21:27:49.06
1001:ID:vZMpC9Ch.net
1002:１３２人目の素数さん
21/12/07 21:27:53.14 0HqUILZk.net
>>943
ショルツの主張を支持してる人をあげてみ。
1003:１３２人目の素数さん
21/12/07 21:29:15.22 0HqUILZk.net
>>946
数学の証明方法がそれに限られるわけじゃないんだから、そんなことは言えないよ。
1004:１３２人目の素数さん
21/12/07 21:29:43.99 vZMpC9Ch.net
>>945
だからなんでオレが望月論文の正しさ証明せんといかんの？
オレはダメだろなと思ってる方なのに
アンタ応援してる方なんでしょ？
アンタが入力してあげなよ
一躍時の人になれるよ
1005:１３２人目の素数さん
21/12/07 21:31:13.18 0HqUILZk.net
>>949
だから、あんたが証明するのは間違ってる方だっての。
それできない限り、あんたの言ってることはゴミ。
1006:１３２人目の素数さん
21/12/07 21:33:47.12 vZMpC9Ch.net
>>947
なんでそんな事せんといかんの？
また多数決の人？
数学の論文の正しさが多数決で決まるとでも思ってるん？
最低でも天下の、zbmathの編集者、コレももちろん数学者だよ、はもちろん認めてるし
というよりショルツェの「オレにはギャップがあって証明になってると思えない」という主張に正しいも何もないやろ？
そこを誤解してる限り君には今数学界で起こってること永遠に理解できないよ
1007:１３２人目の素数さん
21/12/07 21:35:00.11 vZMpC9Ch.net
>>950
間違ってるっていうのはcoqの入力コードに変換できないという主張
それを証明せよというのを“悪魔の証明”と言います
1008:１３２人目の素数さん
21/12/07 21:37:39.03 ytlDBws0.net
>>859
>他の人もする人いないから
する価値も無いと認識されてるんでしょ？日本以外では
1009:１３２人目の素数さん
21/12/07 21:42:17.41 LcDulicq.net
>>951
数学者の間でショルツの主張を支持してる人がいないってことは、望月論文を支持してる人がかなりいることと対比して、
論文が正しいんではないかと推測される。
多数決じゃなくてよんで理解した人の間の支持の広がりが問題。あんたはわかってないんだから無意味。
1010:１３２人目の素数さん
21/12/07 21:44:48.35 LcDulicq.net
>>952
数学の証明の真偽をCoqに入力できるかどうかで決めるなんてことはない。
そもそも証明はそんなものができる前から行われてる。
1011:１３２人目の素数さん
21/12/07 21:45:58.22 vZMpC9Ch.net
>>954
好きに推測すればいいよ
信者がアホだと言われるのはオレのような多少なりとも数学をキチンと勉強した人間の言うことなど1ミリも聞こうとせず自分の妄想ファンタジーワールドの世界だけだからだよ
ホントに数学という文化に対してなんの畏敬の念も持たず勉強もせずミーハー根性でバカなことばっかり言ってるから数学板てアホ扱いされるんだよ
お好きにどうぞ
1012:１３２人目の素数さん
21/12/07 21:46:17.15 .net
>>954
望月論文 支持されてるのかな？
Cor 3.12に興味があるだけなんじゃないのかな？
でもそれってIUTTを理解した上での支持ではないよな
1013:１３２人目の素数さん
21/12/07 21:46:49.64 LcDulicq.net
>>953
ABC予想は影響多いきいから、する価値はあるよ。論証に成功してないなら。
1014:１３２人目の素数さん
21/12/07 21:48:30.28 LcDulicq.net
>>956
お前がだよ。実際に論文書いた人や、査読した人のことを、読んでもいないお前が否定するとかお笑いだよ。
1015:１３２人目の素数さん
21/12/07 21:51:30.43 vZMpC9Ch.net
>>959
もちろん読んだ人がいるのは事実だけどそれに疑義が上がってるというのが今の現状
それが数学界でどれだけ異常なことなのか君にはわからんのやろ
そしてそれが自分にはわかってないという事を認識する知性すらないんだよ
君には永遠に数学という偉大な人類の誇る文化の事はわからないよ
別の趣味見つけた方がいいよ
1016:１３２人目の素数さん
21/12/07 21:54:29.17 bZOZ6UZh.net
>>960
そらABC予想は影響でかいし、論文も
1017:長大だから、読んで理解してない段階では、疑義でるでしょ。 あんたのように。
1018:１３２人目の素数さん
21/12/07 21:59:53.52 vZMpC9Ch.net
>>961
もちろん実は正しかったも否定はしないけどな
しかしまず無理やろ
ともかくここの応援スレのアホ信者は自分が数学の勉強など何もしたことがないクセにアホ〜な議論で無理クリメチャクチャなアホ理屈ふっかけて来るからムカつくんだよな
能無しのくせに
1019:１３２人目の素数さん
21/12/07 22:04:57.62 bZOZ6UZh.net
>>962
だから、論文は正しいと言う論証そのものなの。
理解できないから間違っていると言うのは、論理ではない。
理解した上で、ギャップを指摘しなければ否定にならん。
お前がやってるのは査読者や論文執筆者の努力をバカなおまえがわかんないけど間違っていると言っているだけ。
無茶苦茶とはお前のこと。
1020:１３２人目の素数さん
21/12/07 22:06:22.60 vZMpC9Ch.net
>>963
だから君は数学の勉強なんか全然した事ないんやろ？
なんでそんな自信満々にアホ理論展開できるん？
1021:１３２人目の素数さん
21/12/07 22:10:43.74 bZOZ6UZh.net
>>964
アホなこと言ってんのはお前だよ。
数学の論文の真偽は内在的に決まるんであって
読んでないやつがわかるわけねえだろうが。
当たり前だろ。
なにいってんの?
1022:１３２人目の素数さん
21/12/07 22:13:10.51 vZMpC9Ch.net
>>965
だからなんで数学の勉強した事ない君が数学科でそれなりにちゃんと勉強した人間より数学の論文について詳しいと思えるん？
何いうても聞く耳持ってないやん？
どんなに正しい事言っても全然聞く耳もってない
それで今の現状の正しい議論に参加できるわけないやん？
1023:１３２人目の素数さん
21/12/07 22:17:44.16 bZOZ6UZh.net
>>966
それなりに勉強して、査読を通ることの意味がわからんなら、びっくりだわ。
本当に論文書いたことあるの?
1024:１３２人目の素数さん
21/12/07 22:20:08.08 /lEGS5Ql.net
次スレは立てるなよ
過疎スレの民ども
目立っちゃって恥ずかしいだろ
全く
1025:１３２人目の素数さん
21/12/07 22:21:03.91 vZMpC9Ch.net
>>967
もちろんあるよ
君はないんやろ？
ならなんで自分の感覚が俺より上やと思えるん？
1026:１３２人目の素数さん
21/12/07 22:24:10.24 bZOZ6UZh.net
>>969
ほんとうか?
数学の論文で査読者になって通した論文が間違ってたら
経歴に致命的な傷がつくことわかってる?
あんたが論文書いたのが本当として、査読者より価値のあるろんぶんあるわけ?
それが本当なら実名で書けよ。笑われるだろうし。
1027:１３２人目の素数さん
21/12/07 22:41:47.28 RNhbLAXv.net
以下はちょっとくらいIUTを齧った数学者ならわかる話だと思うんだが
3.12は割と数学的にわかりやすい問題（要は充満多重同型とΘリンクによる非自明なモノドロミーの問題）に
依存していてショルツはそれを認識しているわけだけど、IUTそのものではなくてIUTに特に必要な部品に
関してはショルツとかケドラヤってコアなユーザーでもあるんだよね。つまり非正則な変形空間の計算に必要な
部品のところ。これが直観的なレベルですら
怪しいと思われてるって普通じゃないんだよ。直観的にわかりそうだと思われてたらもうちょい親身に
フォローしようとするのが数学のやり方だから。相当に意味不明だと思われてるってこと
望月予想とか変な言い方で擁護してる人もいるけれど
1028:１３２人目の素数さん
21/12/07 22:43:37.67 RNhbLAXv.net
※もちろんショルツやケドラヤは通常は正則な枠組みで数学を考えることが多い数学者だけども、
そこはあまり本質的ではない
1029:１３２人目の素数さん
21/12/07 22:50:07.57 wvLZX0OC.net
>>970
うそなんかいうはずないやん
君の方はもちろん全く数学経験ないよな？
数学の論文についての知識がアホアホすぎる
それでなんでそんな自信満々なん？
1030:１３２人目の素数さん
21/12/07 22:54:33.94 wvLZX0OC.net
>>971
なるほど
「証明危ないな、ギャップありそう」レベルではなく「ホンマか？ちょっと信じられるぞ」レベルでおかしいってわけね
1031:１３２人目の素数さん
21/12/07 22:57:31.88 BcOyvJ+5.net
こうして
1032:京都の数学は陰口で終わって行くのであった（ ＾ω＾）・・・
1033:１３２人目の素数さん
21/12/07 23:11:43.08 /lEGS5Ql.net
ぶぶ漬けどうぞー
1034:１３２人目の素数さん
21/12/08 01:49:57.85 LoxvvZxj.net
>>973
数学の論文を書いたかことがあり、この論文理解して否定してるなら、実名で書いて論争したらいいじゃん。
なんでやらんの?
査読者らは実名でもちろんやってかつ、査読通してるんだから、あんたみたいな匿名で本当かどうかわからんのとは
比べものにならんくらい信頼できるよ。
そもそも、あんたの言ってることなんの意味もない。
ショルツの主張が止まってるし、論文あってんだろうって言うのは当然なはなし。
1035:１３２人目の素数さん
21/12/08 01:52:46.36 z7eD3C/l.net
>>975
陰口というか、そもそも、論文読んでもいないやつが何言っても無意味。
1036:１３２人目の素数さん
21/12/08 05:39:36.23 Y2ODQvlg.net
>>977
論争の余地なんかないってんの
何万回説明聞いたらわかるの？
アホなんか？
まぁアホやわな
数学の勉強なんか全然したこともないクセに数学ちゃんと勉強した人間がこれだけ何回も何回も何回も説明してるのになーーーんにも聞こうとせん
ホンマそこ抜けの能無し
セタ高木レベル
1037:１３２人目の素数さん
21/12/08 05:56:15.64 NSWPB041.net
望月先生含め最もIUTに詳しい人達が編集委員をやっている雑誌で査読を通ったのだからその正しさは疑いようがない
1038:１３２人目の素数さん
21/12/08 06:13:18.71 .net
>>965
>数学の論文の真偽は内在的に決まる
ナイザイテキって言葉 定義ぬきで使われても意味ないなあ
1039:１３２人目の素数さん
21/12/08 06:14:41.55 .net
＞次スレは立てるなよ
同意
応援発言したいならIUTスレッドに書けばいいし
でも数学的内容がないなら嫌がられるけどね
1040:１３２人目の素数さん
21/12/08 06:16:26.76 .net
>>970
>数学の論文で査読者になって通した論文が間違ってたら
>経歴に致命的な傷がつくことわかってる?
望月新一個人の経歴よりもRIMSに致命的なダメージを与えると思う
最悪潰れるかも
1041:１３２人目の素数さん
21/12/08 06:18:37.59 .net
＞ショルツの主張が止まってる
ショルツの指摘に対する望月のまともな回答がないから仕方ないね
∧と∨とか完全に見当違いだよ
わざとやってるとしたら悪質だし
天然なら残念ながら頭が悪い
1042:１３２人目の素数さん
21/12/08 06:20:16.35 .net
＞望月予想とか変な言い方で擁護してる人もいるけれど
それ擁護じゃないけどね
望月本人が定理だといっている命題を
証明できてない予想といってるわけだから
1043:１３２人目の素数さん
21/12/08 06:21:36.07 .net
＞査読者らは実名でもちろんやってかつ、査読通してるんだから、
査読者って公表されてたっけ？公表されてないなら実名も何もないよね
1044:１３２人目の素数さん
21/12/08 06:24:26.82 .net
>>980
編集委員って査読者じゃないってことはわかってるかい？
編集委員で有名な先生の名前がずらっと並んでても
そういう先生は査読してないんだから意味ないな
査読者は公表されてないよ
もっとも残念な見方では、望月新一氏自身がセルフ査読して通した
とか言われてるよな それじゃ完全なザル査読
1045:１３２人目の素数さん
21/12/08 06:25:26.30 .net
>>987
まあそれは極端な見方だけど
そのくらい査読に対する不信感がある
ってことは承知しといたほうがいいんじゃないかな？
1046:１３２人目の素数さん
21/12/08 06:26:43.50 .net
このスレッドを埋めても
また残念な人が脊髄反射で
スレッド立てちゃうんだろうけど
その前にちょっとでも考えてほしいな
中身も理解できない人がIUT応援することに
意味があるのかってことをさ 意味ないよな？
1047:１３２人目の素数さん
21/12/08 06:28:09.01 .net
意味ないことに意味を感じるって
精神的におかしな状況だと思うんだ
まあいくらいっても伝わらないかもしれないけどね
精神的におかしな状況にいる人には
1048:１３２人目の素数さん
21/12/08 06:28:27.01 .net
９
1049:１３２人目の素数さん
21/12/08 06:28:39.55 .net
８
1050:１３２人目の素数さん
21/12/08 06:28:52.43 .net
７
1051:１３２人目の素数さん
21/12/08 06:29:04.85 .net
６
1052:１３２人目の素数さん
21/12/08 06:29:19.98 .net
５
1053:１３２人目の素数さん
21/12/08 06:29:31.38 .net
４
1054:１３２人目の素数さん
21/12/08 06:29:42.18 .net
３
1055:１３２人目の素数さん
21/12/08 06:29:54.29 .net
２
1056:１３２人目の素数さん
21/12/08 06:3
1057:0:05.04 .net
1058:１３２人目の素数さん
21/12/08 06:30:17.51 .net
０！
1059:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 32日 7時間 0分 59秒
1060:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています