Inter universal geometry と ABC予想(応援スレ)58

Inter universal geometry と ABC予想(応援スレ)58 at MATH

[前50を表示]
900:１３２人目の素数さん
21/08/11 00:09:05.62 xVsOU8pO.net
>私が
まずお前誰だよw

901:１３２人目の素数さん
21/08/11 00:11:09.17 1ifvTOtV.net
>>803
> 2．次に、きちんとzbmath レビューへの反論文書を速攻でだすこと
＜このzbmath レビューに怒るだろうと思われる人＞
1．RIMS編集委員：このレビュー通りだと、査読はまともに行われなかったってことじゃんｗ
2．査読者：査読者の名前は不明だが、「ちゃんと査読していない」ってことでしょ？そんなこと言われて許せるか？
3．POROWSKI氏： DR生だったと思ったが、学位が危ういし、学位もらっても、評判悪い
4．IUT関連の研究や論文書く人：上記に同じ。風評被害もいいところ
怒るよね、みんな。きっと

902:１３２人目の素数さん
21/08/11 00:11:55.55 2T0zpMf+.net
>>820
>なぜなら私の数学的な正しさの判断基準は私の中に存在するからである
コンピュータが正しいと言い、君が正しくないと言えば、
それは君が数学的には間違っている

903:１３２人目の素数さん
21/08/11 00:40:37.38 o88T+NDS.net
>>823
「コンピュータが正しいと言い、君が正しくないと言えば、
それは君が数学的には間違っている」
↑
君がそう判断した判断基準はどこにあるんだい？

意味理解できますか？

904:１３２人目の素数さん
21/08/11 06:53:17.61 qUNuHqGh.net
>>810に反論できない便所虫集合A
>>823
コンピューターに判断させるプログラムを組む暇が有ったら其のプログラムを組む人間に検証させた方が早いが｡

905:１３２人目の素数さん
21/08/11 06:59:47.34 BJAKO23J.net
>>818
>脊椎移植が必要な病気
脊椎移植って何だよｗｗｗ
それをいうなら骨髄移植だろｗｗｗｗｗｗｗ

906:１３２人目の素数さん
21/08/11 07:44:36.44 llBMi02L.net
>>818
数学を知らないと気楽に推測だけで好きなことを書けるね

907:１３２人目の素数さん
21/08/11 08:17:04.46 BJAKO23J.net
「頭NO王」1のID
8/1　w67oYbiw
8/2　MQR4OP/h　（自宅）　QB5Kd20g　（職場）
8/3　08C4aEEs　（自宅）　NpRYL4ap　（職場）
8/4　4mXXvT7h　（自宅）　HHbnQ4kZ　（職場）
8/5　Nu4L8lHp　（自宅）　5ySWkIcS　（職場）
8/6　GJUS67ZT　（自宅）　1pDkH37c　（職場）
8/7　B6DuAm/k
8/8　KfKejekJ
8/9　bPpgHWyt
8/10 ze55r11+　（自宅）　jce+3S4o　（職場）
8/11 1ifvTOtV　（自宅）

908:１３２人目の素数さん
21/08/11 08:18:39.20 BJAKO23J.net
頭NO王、「河村たかし」1は、昨日は別スレでアメリカに原爆落とされ
なすすべもなくポツダム宣言受諾して敗北したどこぞの島国のごとく
みっともないマネをしでかしたｗｗｗ
だからいってるだろう　
大した力もないのに真珠湾攻撃なんかやらかすから
ホントみっともない島国の出っ歯メガネの小人だな、頭NO王は（嘲）

909:１３２人目の素数さん
21/08/11 08:20:29.58 1ifvTOtV.net
IUTは、絵画でいえば、キュビスムみないなものかも
ショルツェ氏は、キュビスムが理解できないのか
あるいは、隠し絵「妻と義母」、IUTを”年老いた女性”としか見ていない
視点を変えれば、”若い女性”に見えることに気付かない
思い込みが激しい人なのかも
気付かせるためにも、多くの人が声を上げて、
「ひょっとして、IUTに別の見方があるの？」
と思わせる必要があると思う
URLﾘﾝｸ(ja.wikipedia.org)
キュビスム（仏: Cubisme; 英: Cubism「キュビズム、キュービズム」、立体派）は、20世紀初頭にパブロ・ピカソとジョルジュ・ブラックによって創始され、多くの追随者を生んだ現代美術の大きな動向である。それまでの具象絵画が一つの視点に基づいて描かれていたのに対し、いろいろな角度から見た物の形を一つの画面に収めた。
URLﾘﾝｸ(upload.wikimedia.org)
フアン・グリス『ピカソの肖像』(1912,油彩)
URLﾘﾝｸ(ja.wikipedia.org)
妻と義母 (つまとぎぼ, My Wife and My Mother-In-Law) は、多義図形に分類される隠し絵のひとつ。一枚の絵で、若い女性と年老いた女性の二通りに捉えることができる。
URLﾘﾝｸ(upload.wikimedia.org)

910:１３２人目の素数さん
21/08/11 08:23:10.07 1ifvTOtV.net
>>829
おいおい
反日バイアスのおサル >>7
が来ると
急にスレのレベルが落ちるなｗ
アホ丸出しだよ

911:１３２人目の素数さん
21/08/11 08:33:36.64 BJAKO23J.net
>>831
をひをひ
国粋バイアスの「●道派」の「IUTかじり虫　河村たかし」が書き込むと
レベルががくんと小学生の算数レベルに落ちるねえ
さすが島国の小人ｗｗｗｗｗｗｗ

912:１３２人目の素数さん
21/08/11 08:56:29.02 llBMi02L.net
>>830 >>831
アホ

913:１３２人目の素数さん
21/08/11 09:46:59.84 XpHnYE1n.net
NISTEPは全世界で17～19年に発表された論文を対象に、国別の論文数の年平均値を算出した。(中略)論文総数では、(中略)日本は6万5742本の4位をキープした。
一方、被引用数が各分野の上位10％に入る論文数は、(中略)3787本だった日本は前期（16～18年平均）の9位から、インドに続く10位へ後退した。
URLﾘﾝｸ(news.yahoo.co.jp)
論文総数は4位で質の高い論文数はインドを下回る10位
学問をやるのに日本はもう厳しいのかもしれない

914:１３２人目の素数さん
21/08/11 09:53:19.52 llBMi02L.net
3787本のうち日本語の論文は何本？

915:１３２人目の素数さん
21/08/11 10:03:26.31 XpHnYE1n.net
>>835
そこまでは分からないけど、中国は中国語、ドイツはドイツ語、インドはヒンディー語などが母国語だし、そこは論点ではないと思う

916:１３２人目の素数さん
21/08/11 10:07:52.82 BJAKO23J.net
単純に、人口の違いを無視した比較って馬鹿だと思う

917:１３２人目の素数さん
21/08/11 10:16:50.17 5VD9SIO5.net
>>830
まぁいい線いってる

918:１３２人目の素数さん
21/08/11 10:19:08.39 XpHnYE1n.net
人口を加味すると日本より少ないドイツに質の高い論文数で下回るので尚更生産性の低さが際立ってしまう
データを頭ごなしに否定して抜き出せる情報も一緒に見落とすのはもったいない

919:１３２人目の素数さん
21/08/11 10:20:12.86 BJAKO23J.net
>>838
ほんとかよｗ

920:１３２人目の素数さん
21/08/11 10:31:30.22 BJAKO23J.net
>>839
＞人口を加味すると日本より少ないドイツに
＞質の高い論文数で下回るので尚更生産性の低さが際立ってしまう
それが真実なんだろ？だったらいいじゃないか　何が気に入らない？

921:１３２人目の素数さん
21/08/11 10:33:34.97 XpHnYE1n.net
>>841
日本人だから日本の研究界隈が凋落するのが気に食わない、というか残念だなと

922:１３２人目の素数さん
21/08/11 10:36:11.62 BJAKO23J.net
>>842
しょうがないな　そもそも人口が減少してる状況を、残念がったらどうだ？

923:１３２人目の素数さん
21/08/11 10:54:34.53 BJAKO23J.net
日本人を意識するのは、馬鹿である

924:１３２人目の素数さん
21/08/11 11:25:29.73 Evjzopk/.net
>>843-844
反日バイアスのおサルが来ると、レベルがガクンと落ちるな
まあ、他のスレで迷惑をかけるよりも、いいかサルの放し飼いｗｗ

925:１３２人目の素数さん
21/08/11 11:35:40.76 inaqB9MQ.net
>>841
現在の人口比だけでなく
5代前くらいまでの数学者の人口との比を比較してみたら
納得できるかも

926:１３２人目の素数さん
21/08/11 12:16:14.50 Evjzopk/.net
>>822
zbmath レビュー
・IUT論文書いた人を、マッドサイエンティスト扱い
・IUT隣文審査した人を、マッドサイエンティスト扱い
・IUT論文を出版したRIMSを、マッドサイエンティスト集団扱い
・IUTを研究いている人を、マッドサイエンティスト扱い
こんな仕打ちを受けて
IUT側が、黙っているわけないわな
さて、IUT側はどうするのでしょうか？（＾＾

927:１３２人目の素数さん
21/08/11 12:24:11.61 +x4skJAn.net
>>847
数学者が証明間違えるなんて日常茶飯事
むろん査読が間違う事も然り
ショルツ自身も間違った証明が査読にも訂正されずに出版されて後々になって気づいた事があるそうな
いちいち傷ついたる過剰に反応するのが変なんだよ
淡々とコミュニケーションを続けるのが真っ当な道なだけ
まして外野が煽るような事じゃねーよ

928:１３２人目の素数さん
21/08/11 12:53:07.42 ZRzcuBbm.net
>>848
狼少年どころではなく
江ノ島沖にゴジラが現れたほどのインパクトを与えた
新聞報道を全く無視し、
事の重大さが全く認識できていないアホ

929:１３２人目の素数さん
21/08/11 13:20:46.98 Evjzopk/.net
>>849
>狼少年どころではなく
>江ノ島沖にゴジラが現れたほどのインパクトを与えた
同意です
つらつら考えてみるに
例えば、南出先生が、どこか海外の研究員に応募したとして
業績にIUT論文関連が上がっていると
IUT論文関連を評価するに、zbmath レビューを根拠に無価値判定されそうですよね
かつ、その指摘は単なるギャップではなく、cor3.12のずっと根本のIUT Iから、
「（最初から）トリビアな記述ばかりで、証明はほとんどない（せいぜい2～3行程度）」と、マッドサイエンティスト扱いの酷評です
応募を審査する側からしてみれば「そんな、トンデモIUTを研究した論文なんて・・」という評価にしかならないですよね
zbmath レビューについては、「（これは）聞き捨てならんぞ！」となるべきでしょうね
IUT側が、黙っているわけないわな

930:１３２人目の素数さん
21/08/11 13:36:23.51 BJAKO23J.net
>>850
>IUT側が、黙っているわけないわな
でも実際は黙ってる
理由？言い返せないからだよ　
決まってるじゃんｗ

931:１３２人目の素数さん
21/08/11 13:38:05.61 BJAKO23J.net
頭NO王って、日米開戦直後の馬鹿騒ぎする日本人みたいで大変キモチ悪い
別スレで原発二発落とされて
イヌのように「正しいDEATH！」と
みっともなく屈服したのを忘れたか？ｗ

932:１３２人目の素数さん
21/08/11 13:4

933:8:06.95 ID:qUNuHqGh.net

934:１３２人目の素数さん
21/08/11 15:37:06.57 Evjzopk/.net
>>851-853
おまいら低レベルは、こっちにいろ
おれが相手でちょうどいいだろ？ｗｗｗ
その分
あっちのスレがましになるってものよｗ

935:１３２人目の素数さん
21/08/11 15:51:31.75 Evjzopk/.net
>>852
>別スレで原発二発落とされて
>イヌのように「正しいDEATH！」と
>みっともなく屈服したのを忘れたか？ｗ
ふっ
あれで勝ったつもりか？
このスレの数学科出身者に聞いてみなよｗｗｗ
ゴジラは、核攻撃にもへいきさ
だが、今回は、サルの”屁”程度
ちょっと臭かったなｗｗｗ

936:１３２人目の素数さん
21/08/11 16:01:43.12 BJAKO23J.net
>>855
>ゴジラは、核攻撃にもへいきさ
実際は只の着ぐるみやんｗ
五分も経ったら中の人はグロッキーよ
#身も蓋もない言い草

937:１３２人目の素数さん
21/08/11 16:02:56.92 BJAKO23J.net
>>855
>ふっ
>あれで勝ったつもりか？
はい　10000%
（完）

938:１３２人目の素数さん
21/08/11 16:17:57.07 inaqB9MQ.net
>>848
小保方事件のときにも
どこかの似非科学者がYouTubeで似たようなことを
うそぶいていた

939:１３２人目の素数さん
21/08/11 17:25:03.17 xVsOU8pO.net
狂信者って反ワクチンにもハマってそうだな。
ゼロ因子とゼロ行列の区別もつかず、ショルツを誹謗中傷する。
片腹いたし。

940:１３２人目の素数さん
21/08/11 17:51:01.75 e1YzxtK5.net
わかる
911陰謀論なんかも信じてそう

941:１３２人目の素数さん
21/08/11 18:00:36.64 8xME5A8Y.net
妄想ワールドの住人という意味では同じ
陰謀論信じる人

942:１３２人目の素数さん
21/08/11 18:38:56.75 Evjzopk/.net
狂信者って、双対だよ
アンチと、IUT信者と
で、この話は、純粋な数学の問題ではなく、優れて政治力学の話だよ
まあ、来る総選挙で、与党が勝つか、野党が勝つかだ
ＩＵＴが、与党か野党か、
知らんけどねｗ

943:１３２人目の素数さん
21/08/11 21:05:40.51 llBMi02L.net
>>862
アホ

944:１３２人目の素数さん
21/08/11 21:17:39.69 1ifvTOtV.net
>>862 補足
例えば
1．私は、狂信国粋ではないが、私ら「日本！、チャチャチャ！」ですｗ。「日本選手、がんばれ！」ですｗｗ
2．で、今回のIUT、例えば、体操で「新しい技、Z難度を作りました」、「素晴らしい技で、絶対kに金メダル取れます」
3．記者会見「その技は、ルールに適合しているか、検証しましたか？」
　T氏K氏、声をそろえて「検証しました。絶対に大丈夫。信じて貰って結構だ」と回答
4．しかし、海外の体操の権威S氏が「そのZ難度の技は、明白にルール違反だ。一目で分かるはず」と、声明を出した
5．さて、この体操の「新しい技、Z難度」は、はたしてどうなるでしょうか？？
がんばれ！、ニッポン！！ｗ

945:１３２人目の素数さん
21/08/11 22:28:20.64 +x4skJAn.net
下らねえ

946:１３２人目の素数さん
21/08/11 22:42:57.19 1ifvTOtV.net
いやいや、オリンピック
金メダル確実と言われ、取れた人、取れなかった人、それぞれあった
IUTも、金メダル確実と言われたが、もうひと頑張り
是非、取れる金メダルをしっかりゲットしてください（＾＾

947:１３２人目の素数さん
21/08/11 23:00:46.65 llBMi02L.net
>>866
アホ

948:１３２人目の素数さん
21/08/12 07:32:59.94 E5vJ+Wh+.net
>>847 補足
>zbmath レビュー
まあ、”月の兎”現象でしょうか？（下記）
S先生は、モノドロミーがお得意だから、なんでもかんでも、モノドロミーを見ようとする
そうして、強引にIUTの中にモノドロミーを見ると、「なーんだ、とんでもな理論だな、IUTは！」と見えてしまったのかも
それで、心理的にはまり込んで、抜けられなくなったのでしょうね
だから、”月の兎”が見えている人に対して、「あれは、”兎”じゃない」と説得しても、
思い込み強いから、「いや”兎”のモノドロミーだ、間違いない！」と叫ぶのかも
なので、みんなで、何人もが、周囲から「”兎”じゃないよ、目を覚ませ！」と、沢山の声かけをしてあげないと
暗示に嵌まっている彼には、”ロジックでは効かない”ように思います
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
月の兎
概要
月の影の模様が兎に見えることから、「月には兎がいる」という伝承はアジア各地で古くから言い伝えられている。

949:１３２人目の素数さん
21/08/12 07:43:45.12 E5vJ+Wh+.net
>>868 補足の補足
S先生のzbmath レビュー通りだとすると
IUT論文を読める人が、”ヘン”ということになる
ところが、そうすると、IUT論文が読めたという人が、
数十人いることの説明がつかないですね

950:１３２人目の素数さん
21/08/12 08:00:34.59 4Kuu65c4.net
>>アホ

951:１３２人目の素数さん
21/08/12 09:47:48.26 xoSbTTZp.net
>>869
一つにはエコーチェンバー現象が考えられる
RIMSという閉鎖的空間内でコミュニケーションを繰り返したことによって、IUTが理解できたという信念が増幅または強化されてしまったのでは
あるいはアビリーンのパラドックスもありうる
つまり「自分は正しいとは思っていないが集団は正しいと思ってる」とみんなが思い込み言い出せないというパターン
また、全会一致の幻想の可能性もある
つまり集団の結束を乱したくない人が何も言わなかったり、IUTを推し進めたい人が異論がないなら賛成だと決めつけてしまっているような状況
内部を知らないので具体的には分からないが、いずれにしても、数十人いるというのは上記3パターンのようなグループシンクに嵌ってるんだろうと説明することはできる

952:１３２人目の素数さん
21/08/12 10:16:32.95 4Kuu65c4.net
>>871
イラク戦争時のアメリカ議会のようなものというわけか

953:１３２人目の素数さん
21/08/12 10:45:39.67 +1lmoCyT.net
イエスマンで利益相反のある取り巻きが何匹理解した気になっても意味ないんだよな。
数学で多数決なんて意味ない。
一握りの天才の学問だから。
雑魚が何匹理解した気になっても無意味です。
悔しかったら分不相応な身分をもらっている取り巻きどもは
まずはその身にあった業績を挙げてもらおうか。
あっ、誰も読めない論文を知ったかぶったり理解した気になることは
業績とは言わないからな　笑
 >>869 出来の悪い学生達相手にセミナー見ると、
　議論が必要な箇所をみんな素通りしたりするのはよくあること。
　これが大規模で、大金を巻き込んで起こっているだけのこと。

954:１３２人目の素数さん
21/08/12 11:59:50.34 1jYFn/Ee.net
>>871-873
みんな妄想激しすぎ
まあ、もう少し、半年くらい見てなよ
おそらくは、まずはF先生の砲撃が開始されるのでは？
過去にもあったけどね
その後どういう展開になるかは、しならないがね
思うに、砲撃は一人にはとどまらない気がするよ

955:１３２人目の素数さん
21/08/12 12:53:11.26 rCAfpWDK.net
>>874
アホ

956:１３２人目の素数さん
21/08/12 13:00:29.44 1jYFn/Ee.net
>>871-873
それだと、海外にもIUT支持者が存在することの説明が、つかない

957:１３２人目の素数さん
21/08/12 13:11

958::39.33 ID:rCAfpWDK.net

959:１３２人目の素数さん
21/08/12 15:09:49.94 1jYFn/Ee.net
>>877
　それだと、海外にもIUT支持者が存在することの説明が、つかないｗ

960:１３２人目の素数さん
21/08/12 15:26:56.72 1hUnFcVd.net
>>878
アホ

961:１３２人目の素数さん
21/08/12 16:08:51.48 1jYFn/Ee.net
ありがと
まあ、今後の動きをお楽しみに
（余談ですが、ドンパチ派手に打ち合ってほしいね。見ている方は、その方が楽しいからね）

962:１３２人目の素数さん
21/08/12 16:16:31.93 1jYFn/Ee.net
IUTの海外勢も黙ってないと思うよ
いまや、多勢に無勢です
S氏側で、数学的に語れるのは一人（彼自身）か、せいぜいもう一人（別のS氏）
woit？　物理屋でしょ？
David Roberts？　woitブログの論争では、トンチンカンだから、S氏から邪険に扱われていたね
野次馬でヤジ飛ばすのは多いが、数学の論争に参加できる人は、いないよね、S氏側にはね

963:１３２人目の素数さん
21/08/12 16:20:40.64 WarIZ5CS.net
>>881
>IUTの海外勢
いるの？
Fesenkoは黙りっぱなしじゃん
Dupuy？　彼はIUT理解してないよ　twitterでそう言い切ってるし
海外勢なんていないも同然　Lille大はただの国際会議の参加者だし

964:１３２人目の素数さん
21/08/12 17:05:39.29 DL9P55ek.net
＞理解した上での支持ではない
それ言うたら理解した上での批判も数人しかおらんのとちゃう？

965:１３２人目の素数さん
21/08/12 17:36:43.58 I5qhwLLT.net
ショルツやファルティングスですら理解できないものを論文として世に出してしまった事への批判なので批判する側は理解できてる必要はない
“理解不能”である事に対する批判なのだから
しかし支持する方は別
「理解できてないのに支持する」などと言う事は許されない
「きっとあの人達はいい人なので嘘なんかつかない」なんてのは便所の落書きでかくならともかく数学者の立場での発言では許されない

966:１３２人目の素数さん
21/08/12 17:50:36.67 1jYFn/Ee.net
>>882-884
>ショルツやファルティングスですら理解できないものを論文として世に出してしまった事への批判なので批判する側は理解できてる必要はない
むちゃくちゃ
ショルツやファルティングス氏は、IUTを理解する遠アーベルの知識が不足しているのでしょうね
>“理解不能”である事に対する批判なのだから
そんなルールはないよ
査読者が読めたっていうならば、それで査読はOKです。それがルールです
>しかし支持する方は別
>「理解できてないのに支持する」などと言う事は許されない
それはそうだが、「理解できてないのに支持する」などと言った人は一人もいないよ
そら耳でしょ
Dupuy？　twitter？　私の解釈は、数学のど素人が、cor 3.12の証明について質問してきたので
「貴方には分かる説明は、できません。信じてください」ということを、失礼にならないように婉曲表現しただけでしょ？
「理解できてないのに支持する」なんて、そんなことを真顔でいう数学者いないよね
曲解もいいところですよ。アンチバイアスですよ

967:１３２人目の素数さん
21/08/12 17:52:53.35 1jYFn/Ee.net
>>885 補足
それはそうだが、「理解できてないのに支持する」などと言った人は一人もいないよ
　　↓
それはそうだが、「理解できてないのに支持する」などと言った数学者は、一人もいないよ
ってことです
分かると思うが

968:１３２人目の素数さん
21/08/12 17:57:49.58 WarIZ5CS.net
>>885
>「貴方には分かる説明は、できません。信じてください」
>ということを、失礼にならないように婉曲表現しただけでしょ？
幻聴が聞こえる？　統合失調症？
明らかに、「自分には証明できません」といったよ
それは、望月の証明を自分も理解できてない、という意味
そもそも「支持する」とはいってない
Cor3.12を「望月予想」として、それが成立しているだろうと想像してるだけ
それは、正当な数学の範囲内だから問題ない
Scholzeが、Cor3.12の正否自体についてどう考えてるかは不明
おそらく、それを表明すると、望月論文の瑕疵の指摘がボケるから
いわないのだろう　「あとはメールで」というのはそういう意味
>曲解もいいところですよ。アンチバイアスですよ
こっちには病的な自己愛的愛国バイアスはないんでね
日本のものならなんでもかんでも素晴らしいって言いたがる人は病んでるよ

969:１３２人目の素数さん
21/08/12 17:59:23.50 WarIZ5CS.net

970:>「理解できてないのに支持する」などと言った人は二人いますね　頭NO王1とMath jinね二人とも数学の初歩も分かってないでしょ

971:１３２人目の素数さん
21/08/12 18:16:48.00 DL9P55ek.net
>>884
それ言うたら「望月ですら理解できないものをレビューとして世に出してしまった」としてショルツも批判されるんとちゃう？

972:１３２人目の素数さん
21/08/12 18:52:47.98 F1LykH7Z.net
>>885
何がむちゃくちゃなんだよ
いっつも数学界の常識からスッパずれた事ばっか聞いてるくせに
よく言える
今回の件でメチャクチャやってんのは望月先生のサイドでコレについて議論の余地は1ミリもない
正直もうなんか申し開きできるタイムリミットは完全に過ぎてる

973:１３２人目の素数さん
21/08/12 19:16:23.72 rCAfpWDK.net
>>885 >>886
アホ

974:１３２人目の素数さん
21/08/12 19:57:09.02 PAN+kGve.net
こういうケースって最近あったっけ？
数学者同士が真っ向からぶつかるみたいなの

たしか最初に無限の概念思いついた人が
当時の数学者連中に手紙書いてみんなから全否定されて自殺したんじゃなかったっけ

975:１３２人目の素数さん
21/08/12 20:26:42.11 BfWg0qAy.net
あるわけがない
理論物理とかならともかく数学はこの手の論争が絶対起こらないようなシステムになってる
どっちが合ってるかなんて議論にはならない
数学の証明はこの手の論争が起こらないように決められたルールがある
そのルールを完全に守ってたら恐ろしい分量の文章になるのである程度“はしょる”ことは許されるが、その“ある程度”とは通常の数学力持った数学者が普通に読めるとこまで
そして数学の論文で論争が起こりうるとすればただ一つこの“はしょりすぎ”だけが原因となりうる、そしてその場合悪いのははしょりすぎた著者、“読めないお前がアホすぎ”などと言う言はショルツレベルの数学者には通らない
つまり今回の騒動で問題行動取ってるのは100%望月先生側
これだけ著名な数学者が理解できてない論文ははしょりすぎ
そして2年も追加の説明書類を出せないならもう流石にアウト

976:１３２人目の素数さん
21/08/12 20:30:49.74 hJMLgNIJ.net
>>893
それならフェルマーとか問題外だな

977:１３２人目の素数さん
21/08/12 20:31:36.77 XSOr7rtu.net
え、ひょっとして全ての数学者はZFCの派生として数学を研究してるみたいな話してる？
頭ブルーバックスみたいな奴だな

978:１３２人目の素数さん
21/08/12 20:42:04.45 BfWg0qAy.net
>>895
数学の勉強なんぞ1ミリもした事ないやろ？
ZFCとかなんとか言う以前に数学で使っていい数理論理は全部決まってる
その数理論理以外の推論つかうならもはやそれは数学ではない
そんなレベルの事言ってるからバカだって思われるんだよ

979:１３２人目の素数さん
21/08/12 20:52:22.58 WarIZ5CS.net
ド素人に限ってZFCとかいうよなｗ

980:１３２人目の素数さん
21/08/12 20:54:22.94 WarIZ5CS.net
>>894
フェルマーの予想についてフェルマーが想定していた証明は不十分だったらしい
ま、１７世紀だからね

981:１３２人目の素数さん
21/08/12 20:59:39.88 XSOr7rtu.net
別に一階述語論理でも何でもいいけどそれ以前に数学は存在しなかったってなかなか凄いッスね
フェルマーもオイラーもキミにとっちゃ数学者ではなかったってことか

982:１３２人目の素数さん
21/08/12 21:37:35.52 ItfzmDr6.net
>>899
あとづけでも過去の数学はあらかたZFCに乗ったからな

983:１３２人目の素数さん
21/08/12 21:47:13.49 XSOr7rtu.net
そりゃ順序が逆で過去の分を

984:乗るように作ったからでしょうに… 論理主義に失敗した妥協の産物を普遍的な何かだと思ってる人はいないでしょ

985:１３２人目の素数さん
21/08/12 21:54:23.76 E5vJ+Wh+.net
ショルツェ氏が基準
ショルツェ氏が読めないなら論文ではない
ショルツェ氏がおかしいと言ったら、絶対です？
それって、数学なん？
なんかへんｗ

986:１３２人目の素数さん
21/08/12 21:58:39.75 ItfzmDr6.net
>>901
お前はIUTはZFCに乗らないって主張してんの？
それならそれでいいんだけどさ
お前にその是非をジャッジできる事柄なのかな
ちなZFCを公理として含む証明問題は計算論的に決定不能だし
どんな計算力使っても宇宙の時間じゃ解けない問題はいくらでもあると考えられてるけど

987:１３２人目の素数さん
21/08/12 22:11:43.95 ItfzmDr6.net
何しろ素因数分解とかいうNP＝問題のサイズと等価なサイズの神託があれば解けるクラス（の中でも相当簡単な）問題を人類はやっと量子計算で解こうかと思っているが
述語論理の証明は決定不能つまりの証明-=神託サイズの上限を限定する手段がないんでね
こんないのは人類滅ぶまでその後も余裕で残るパズルなわけよ

988:１３２人目の素数さん
21/08/12 22:15:35.89 4Kuu65c4.net
盛り上がらない与太話だな

989:１３２人目の素数さん
21/08/12 22:40:53.03 go54D3mh.net
わかった風に語るだけのクズ

990:１３２人目の素数さん
21/08/12 23:02:23.18 E5vJ+Wh+.net
もう一人の望月、拓郎先生、”望月拓郎教授は8年余りをかけて総計1000ページを超える論文によって解決し高く評価されている”とあるけど
この論文、ショルツェ氏は読んだの？読めたの？
何でもかんでも、ショルツェ氏が基準ではないよね
専門の違う総計1000ページを超える論文を読まされてもよ、かなわんだろ？
だから、査読者は手分けして読むってことでしょ？
zbmath レビューを書くのは、ショルツェ氏の勝手だが、個人的には火中の栗を拾うって感じがするな。ちょっと思慮が足りない気が
URLﾘﾝｸ(125th.kyoto-u.ac.jp)
2020.07.02 THU
日本で唯一の総合的数学研究所
数論幾何学では、望月新一教授が2012年に発表した宇宙際タイヒミュラー理論によって整数論の難問とされてきた「ABC予想」の解明が進んだ。数研が編集し欧州数学会が発行する学術誌『PRIMS』に掲載が決定した4編の論文は、600ページを超える膨大なものであるが世界的な注目を集め、数論幾何学の新しい方向を切り拓くものと期待されている。量子幾何学では、望月拓郎教授が代数・幾何・解析のすべてが絡み合う調和バンドルの理論を大きく拡張し、その応用としてD加群に関する「柏原予想」を証明した。これは解決には50年はかかるだろうと言われていた非線型偏微分方程式についての極めて難しい問題であったが、望月拓郎教授は8年余りをかけて総計1000ページを超える論文によって解決し高く評価されている。
URLﾘﾝｸ(ja.wikipedia.org)
望月拓郎
来歴
1996年（平成8年）、京都大学の大学院における修士課程を修了した[1]。それにともない、修士（理学）の学位を取得した。大学院在学中に「Gromov-Witten class and a perturbation theory in algebraic geometry」[4] と題した博士論文を執筆した。1999年（平成11年）、京都大学の大学院における博士課程を修了した[1][3]。それにともない、博士（理学）の学位を取得した[1][4][5]。
柏原正樹

991:が1996年（平成8年）に提唱し「半世紀は解けない」[3] と言われていた「柏原予想」に取り組み[3]、2011年（平成23年）に発表した論文にて柏原予想の証明に成功した[3]。2014年（平成26年）には国際数学者会議にて全体講演を行った

992:１３２人目の素数さん
21/08/12 23:51:53.13 E5vJ+Wh+.net
次スレ立てた
スレタイ番号抜けたけど、Inter universal geometry と ABC予想(応援スレ)59ってことで、よろしくね
（この次は忘れず、Inter universal geometry と ABC予想(応援スレ)60 にします）
Inter universal geometryとABC予想(応援スレ)
ｽﾚﾘﾝｸ(math板)
余談ですが、みんなで、このショルツェ氏ｖｓ IUT軍団の戦いというか、
騒動というか、なんというか、ともかく楽しみましょう！
数学史上の珍事件
歴史の目撃者＆証言者
私は、数学では、ここまでのもつれた論争は、
見たのは初めてですし、聞いたこともなかった。面白い
で、普通は、IUTからSzpiro予想、ABC予想の明示公式など、大きな問題が解かれているとすれば、IUTは金メダル級の業績です
が、ショルツェ氏のイチャモンで風前の灯火です。さて、どうなることかｗ
頑張れ日本！
日本、チャチャチャ！！！

993:１３２人目の素数さん
21/08/13 06:00:05.87 n0X/nxYE.net
>>892
> こういうケースって最近あったっけ？
> 数学者同士が真っ向からぶつかるみたいなの
数学基礎論時代以来だと思う｡
形式主義と直観主義（と論理主義）の対立｡
> たしか最初に無限の概念思いついた人が
> 当時の数学者連中に手紙書いてみんなから全否定されて自殺したんじゃなかったっけ
ゲオルグ・フェルディナント・ルートヴィゥヒ・フィリップ・カントールは自殺ではなく精神病衰弱死｡

994:１３２人目の素数さん
21/08/13 07:52:35.09 nCXCDdpU.net
>>908
では、そのスレを1裁判スレとさせていただく

995:１３２人目の素数さん
21/08/13 08:04:41.16 nCXCDdpU.net
>>908
>IUTは金メダル級の業績です
>頑張れ日本！
>日本、チャチャチャ！！！
1は国粋馬鹿な
ま、でもキャラとしては東条英機より近衛文麿かな

996:１３２人目の素数さん
21/08/13 08:22:00.23 WgSvpGZb.net
>>909
>数学基礎論時代以来だと思う｡
>形式主義と直観主義（と論理主義）の対立｡
ああ、そうなんですか
知らなかったな。下記
形式主義は、ヒルベルト
直観主義は、ブラウワー
でしたね
でも、これは主義の問題で、共産主義か資本主義かみたいな
で、S氏 vs M氏の場合は、S氏「論文の体を成していない」 vs M氏「初歩的な読み間違いじゃ！ｗ」
と、まあ随分低次元の論争の気がしますｗ（＾＾
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
数学的直観主義（すうがくてきちょっかんしゅぎ）とは、数学の基礎を数学者の直観におく立場のことを指す。
来歴と評価
これに類する主張は、カントールの集合論に対抗する形で、クロネッカーやポアンカレによってもなされていたが、最も明確に表明したのは、オランダの位相幾何学者、ブラウワーである。
ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において、背理法によって、非存在の矛盾から存在を示す証明を認めなかった。それ故、無限集合において「排中律」、すなわち、ある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。ヒルベルトの形式主義は、直接的にはブラウワーからの批判的主張に対し排中律を守り、数学の無矛盾性を示すためのものと考えることができる[1]。

997: ブラウワーの主張は、感覚的で分かりにくかったが、その後ハイティング等によって整備され、結果的には古典論理から排中律を除いた形で形式化されたものが今日、直観主義論理として受け入れられている。現代では直観主義論理は、数学の証明は全て構成的に為されなければならないという主張（数学的構成主義）と関連が深いと考えられている。直観主義論理に基づく数学によって得られる成果は、古典論理に基づく数学に比べて制限されたものにならざるを得ない。ワイエルシュトラスによる実数体の任意の有界な部分集合は上限を持つという定理が証明できない。しかし、直観主義は単なる思想としてだけではなく、数学基礎論や計算機科学に様々な影響を与えている。

998:１３２人目の素数さん
21/08/13 08:24:29.63 WgSvpGZb.net
>>910
>では、そのスレを1裁判スレとさせていただく
いいよ
面白いから
 >>911
(引用開始)
>IUTは金メダル級の業績です
>頑張れ日本！
>日本、チャチャチャ！！！
1は国粋馬鹿な
(引用終り)
”頑張れ日本！
　日本、チャチャチャ！！！”
は、普通というか7，平均値付近と思います

999:１３２人目の素数さん
21/08/13 08:28:47.92 WgSvpGZb.net
>>912
>で、S氏 vs M氏の場合は、S氏「論文の体を成していない」 vs M氏「初歩的な読み間違いじゃ！ｗ」
>と、まあ随分低次元の論争の気がしますｗ（＾＾
形式主義 vs 直観主義は、21世紀から見ると
どちらの立場もあり
という高度な争いでした
ですが、
S氏 vs M氏の場合は、
S氏の単純な勘違い
という結末になりそうに思います
私見ですが、
十中八九ね

1000:１３２人目の素数さん
21/08/13 08:31:00.72 WgSvpGZb.net
>>914 補足
まあ、それくらいIUTが複雑な時代を超越した理論だった
S氏は、最初はcor 3.12が分からないと言っていたが
いまでは、IUTは読める、読んでみると、論文の体を成していないという
さすがに、それは無いと
そう思っています

1001:１３２人目の素数さん
21/08/13 08:36:46.92 nCXCDdpU.net
>>912
＞共産主義か資本主義かみたいな
じゃ共産主義ｗ
でも、別にソ連も中国も認めてないよ
一党独裁では共産主義は実現できないから

1002:１３２人目の素数さん
21/08/13 08:40:24.90 nCXCDdpU.net
>>913
>”頑張れ日本！　日本、チャチャチャ！！！”
>は、普通というか7，平均値付近と思います
いや、平均が5なら、1だな、偏差値30代ｗ
「全人類は数万年前までアフリカにいた同類」
というのがいまだに9（偏差値70代）というのは残念
♪こんなの常識　タッタタラリラ

1003:１３２人目の素数さん
21/08/13 08:44:03.12 nCXCDdpU.net
>>914
>形式主義 vs 直観主義は、
>21世紀から見ると
>どちらの立場もあり
>という高度な争いでした
バカ丸出し
直観主義で無矛盾性が確立できるわけではないからその意味では無意味
論理としては直観主義論理なんて古典論理に近い
古典論理が自民党だとすれば、直観主義論理は立憲民主党レベルｗ
せめて線型論理レベルまでいってほしいね
ま「線型主義」という言葉はないけどｗ

1004:１３２人目の素数さん
21/08/13 08:51:32.59 nCXCDdpU.net
資源の問題は、線型論理で初めて浮かび上がる
ラッセルのパラドックスは古典論理や直観主義論理では矛盾だが
線型論理では当該集合が自分を要素としたりしなかったりする発振状態を示し、
矛盾ではなくなる
マルクスが云いたがった「弁証法」のレトリックは、
線型論理で的確に言い表せる可能性がある
要するに「絶対矛盾」とかいう禅問答ではなく
在ったものが無くなっていくとかいう変化としてとらえられる
もちろん古典論理上の理論としても表し得るだろうが
線型論理でより直接的根本的に表せるかもしれない

1005:１３２人目の素数さん
21/08/13 11:50:28.51 dDVp1sON.net
>>918
>>形式主義 vs 直観主義は、
>> 21世紀から見ると
>>どちらの立場もあり
>>という高度な争いでした
直観主義は、21世紀では、コンピュータサイエンスの論理として、立派に居所があるよ
つまり、プログラミングは、構成主義論理（＝ほぼ直観主義）ですね
古典論理は、日常の普通の論理です。背理法でもなんでもあり！
余談ですが、はやりの圏論は直観主義（＝�

1006:i矢印による）構成主義論理）らしいですね。トポスがそうだとかだから、”直観主義 ⊂ 形式主義（日常の普通の論理）”のはずですがｗ一方、１階 VS 高階という視点でみると、基本形式主義は、ほぼ１階限定です（∵ パラドックスを避けるため）圏論とかトポスとかは、高階もありで、パラドックスについては”（矢印による）構成主義論理で避けてます！” みたいなことかだから、圏論とかトポスは、結構強力な論理らしいで、IUTは？　「圏論化も使ったが、パラドックスは避けている」が、望月先生の主張ショルツェ氏は、「（モノドロミー考えたら）矛盾は明らか」という果たして、今後の展開はどうなるか？こうご期待ｗ（＾＾

1007:１３２人目の素数さん
21/08/13 13:06:49.51 nCXCDdpU.net
>>920
＞直観主義は、21世紀では、コンピュータサイエンスの論理として、立派に居所があるよ
＞つまり、プログラミングは、構成主義論理（＝ほぼ直観主義）ですね
実は古典論理でもOKって、20世紀末にはわかってるわけだが
詳しくは照井氏の「コンピュータは数学者になれるのか」
５．３節のクライゼル計画（ｐ２９９）を読んでね
ということで、いまさら20世紀の話されてもねぇ
＞で、IUTは？
セタ君、理解できない話はしなくていいよ
君は被告だからおとなしくしてたほうがいいよ

1008:１３２人目の素数さん
21/08/13 13:12:42.83 nCXCDdpU.net
>>921
＞圏論とかトポスとかは、高階もありで、
＞パラドックスについては
＞”（矢印による）構成主義論理で避けてます！”
＞みたいなことか
そんなこといえないよ
幻聴が聞こえるみたいだけど💊飲んだほうがいいね

1009:１３２人目の素数さん
21/08/13 23:35:40.72 WgSvpGZb.net
>>921
ほいよ
URLﾘﾝｸ(www.sguc.ac.jp)
山陽学園大学・山陽学園短期大学
URLﾘﾝｸ(www.sguc.ac.jp)
論理学
URLﾘﾝｸ(www.sguc.ac.jp)
論理学
● 補足文書
命題論理
URLﾘﾝｸ(www.sguc.ac.jp)
論理学補足文書
3. 命題論理とは
直観主義では，観察できるもの，証明できるものしか信用しない。このような考えはナンセン
スのように思われるが，実はそうではない。コンピュータの世界では，いかに素晴らしいアルゴ
リズム（処理手順）を考えても，それを実際にプログラムにして動作を確認しない限りは，その
アルゴリズムの正しさを認めることはできない。
直観主義論理は，古典論理では解決できないような問題を解決するための新しい論理体系とし
て，特に計算機科学の分野で注目されている。

1010:１３２人目の素数さん
21/08/14 00:15:43.53 JqNMq+aU.net
>>923
>>921が言ってるのは、「古典論理よりより確かな数学の基礎としての直観論理」という当初の目的は、同等の確かさしかない、ということで不発に終わった、ということでは？

1011:１３２人目の素数さん
21/08/14 00:58:08.84 5Y04pCMS.net
まぁ今回の話しを直観主義と古典主義の論争になぞらえてるおバカに対する言葉やからな
正直こんなもん混同してるバカにかける言葉もない
“数学”、“論争”、“基礎論”とかの用語が入ってたら“同じようなもんやろ”とか思うバカになにも説明する方法なんぞ存在しない

1012:１３２人目の素数さん
21/08/14 03:00:10.01 gL5AuHbu.net
真とも偽とも証明できない命題はあるのに排中律認める必要ないな

1013:１３２人目の素数さん
21/08/14 06:38:50.58 MXXsucHZ.net
>>923
>直観主義論理は，古典論理では解決できないような問題を解決するための
>新しい論理体系として，特に計算機科学の分野で注目されている。
「古典論理では解決できないような問題を解決する」という言葉が
「直観主義論理は古典論理より強力」と聞こえるが、実際は逆
直観主義論理は古典論理よりも弱いから
直観主義論理で証明できる命題は古典論理で証明できるし
古典論理で証明できることが直観主義論理で証明されることはない

次ページ