20/05/08 01:05:57 FB+9/Zc+.net
>>389
正則性公理は選択公理と同値じゃねえよ馬鹿野郎
そもそも同値だったら、それこそZF公理からZFCが導かれるじゃねえか
こんなレベルの奴が基礎論部分に難癖をつけてるのか??
ついでに指摘しておくと正則性公理を外したからってa∈aは成立するとは限らねえよ
∃a,a∈aも証明できん(そういうモデルがあるってだけ)
413:132人目の素数さん
20/05/08 01:08:29 FB+9/Zc+.net
>>397
あのさ、正則性公理と選択公理を同値と勘違いしてるバカは基礎論を語らん方がいいと思う
もはや何もわかってないに等しい
414:132人目の素数さん
20/05/08 01:10:05 nPMn2KHZ.net
>>398
正則性公理が抜けたらa∈aは成立するのでは?
a∈aが成り立たないのって正則性公理の
すべての集合 x に対し,x の要素で, ∈ に関して極小なものが存在する
からでしょ?
むしろ成立するとは限らないなら正則性公理を抜いたうえで、
残りの8個から出せるのか?
415:132人目の素数さん
20/05/08 01:17:14 XNnmsqsd.net
ってか8年前となにも進展してないな、と思った。
2012年の段階でこんなレスあるし。
38:132人目の素数さん
12/10/06 22:21:54.31
宇宙際の論文は俺も見てみたが基礎論の部分で間違いというのは
ZFCGがZFCの保存拡大になっているというところじゃないの?
ZFCGは前スレのZFC+Uのことだから、ロジシャンなら誰にでも分かる明らかに間違い。
この間違いが他の部分に本質的な打撃を与えたりしないとは思うけど
もっちーが基礎論の部分に関して初歩的な勘違いしているのは否定しようのない事実。
53:132人目の素数さん
12/10/07 11:00:59.16
「ZFCGがZFCの保存拡大」って間違った主張をしているのは
ABC予想をZFCGで証明した後その主張からZFCの定理であると言うため?
だとするとかなり致命的なんじゃないの?
416:132人目の素数さん
20/05/08 01:23:31 rnRdd7Yi.net
>>401
これの53がわりとまえから気になってるんだよね
abc予想はZFC上の予想のはずで、ZFCGで証明したうえでZFCに引き戻すってできるのか?
あるいはZFCで論じている部分をZFCGにいったん移しててもアウトだよね。
417:132人目の素数さん
20/05/08 01:25:43 FB+9/Zc+.net
>>400
これは正則性公理に関するよくある勘違いなんだけれど、正則性公理を外したからって「∃a,a∈a」は証明できない(だろうと考えられてる)
なぜか
418:というと一般論として、理論Sの公理系と理論Tの公理系があってS⊂Tが成立するなら、「Sから証明できること」⊂「Tから証明できること」が成立する なぜなら証明てのは公理からスタートするので、それに包含関係があれば、証明できることにも包含関係がある もしZFCから正則性公理を抜いたもので「∃a,a∈a」が証明できるなら、当然ZFCからも「∃a,a∈a」が証明できるが、ZFCから「¬(∃a,a∈a)」も証明できるので、ZFCは矛盾してることになってしまう ところが2020年現在、ZFCが矛盾してるという話を聞いたことはないのできっと「∃a,a∈a」は証明できない じゃあ何で正則性公理があるかって話だが、正則性公理があると∈の有限回のステップによって一番下の集合に到達できるので、集合の取り扱いが簡単になる。 それによって順序数とか基数の扱いがスッキリするとかのメリットがあるので導入されてる(とどこかの本で読んだが、オレは基礎論素人なので鵜呑みにはしないでほしい) 一応参考でwikipediaあげとくね https://ja.m.wikipedia.org/wiki/ラッセルのパラドックス 矛盾の解消の中段くらい読めば、オレの話が載ってるよ
419:132人目の素数さん
20/05/08 01:29:27 H4T0A3GE.net
もし仮に、リソースに限りがある人間が証明も否定も絶対にできない領域を見つけて
意図的にそこに焦点当てて何か書いて
そのまま籠城したら最強ではないか?
420:132人目の素数さん
20/05/08 01:31:35 FB+9/Zc+.net
(「∃a,a∈a」が証明できる)と、(「∃a,a∈a」となるモデルがある)があるは意味が違う
前者がどんなモデルでも「∃a,a∈a」が成立することを主張してることに対して、後者は「∃a,a∈a」となるモデルがひとつあると言ってるに過ぎないからだ
421:132人目の素数さん
20/05/08 01:38:16 upYib8HA.net
ZFCをそのまま使うとsimulate a∈aが成り立たなくね?って話では?
ちなみにZFCGはZFC-何かではないからZFCでsimulate a∈aが成り立たない場合、
ZFCGにすることでは解決しないんだよね。
422:132人目の素数さん
20/05/08 01:39:35 iceLflDJ.net
正直、選択公理をwell order theoremとか、正則性公理をaxiom of reguralityとかわざわざ英語で言い出した時点で、誤魔化したいのは見え見えだった
423:132人目の素数さん
20/05/08 01:39:49 t31dz+7K.net
理解しているという人がいるのが気になるんだよな。
424:BLACKX ◆SvoRwjQrNc
20/05/08 01:39:55 Uj3xE1sY.net
永田雅宜
425:BLACKX ◆SvoRwjQrNc
20/05/08 01:40:47 Uj3xE1sY.net
タイミングクソ悪かったすまない
ヒルベルト第14問題を否定的に解決
426:132人目の素数さん
20/05/08 01:49:02 6RKkScyI.net
今見たらまたIUT論文修正されてるな。
レフェリーはなんの論文をアクセプトしたのかわからんくなりつつある。
427:132人目の素数さん
20/05/08 01:59:31 6RKkScyI.net
>>406
上の議論でRemark3.3.1を思い出して確認してきたんだが、望月はこう書いてる。
>the notion of a “species” allows one to consider, for instance,species->isomorphismsbetween species-objects that occur atdifferent levelsof
>the ∈->structure of the set theory under consideration ― i.e., roughly >speaking, to “simulate∈-loops”―without violating the axiom of foundations.
つまり正則性公理違反かどうかは基礎論部分では重要。
428:132人目の素数さん
20/05/08 02:03:56.96 6RKkScyI.net
種の言語を使うと正則性公理に違反せずに∈ループができると言ってる
つまりa ∈ … ∈ aが成り立つ。
だがこの点で>>390の引用にあるように
>M氏はsimulate a∈a、loops of mutations、simulate ∈-loopsは種の言語では成り立つと考えているようですが。
>その節で名前の出ているKimですら分からないとMOで書いています。
という意見があり、かつ、これを説明できた人はいないんだよな。
ZFC9個はどうでもよくて、こっちのほうが議論の対象になるべきっていうか、
8年前から言われててだれも解決してないんだよな、これ。
429:132人目の素数さん
20/05/08 02:09:09.32 6RKkScyI.net
あとこれは>>
430:403と関連してることで、 正則性公理違反でない=種の言語なら∈ループが証明できる ではないので、Remark3.3.1は種の言語で simulate a∈a、loops of mutations、simulate ∈-loops が成り立つというのがなにを言ってるのか曖昧。
431:132人目の素数さん
20/05/08 02:09:53.83 FB+9/Zc+.net
>>413
文字通りa∈…∈aしたら正則性公理違反なので似たようなことをするみたいな感じで論文には書かれていたけど
じゃあ具体的にそれをどうするかというのは、論文を読んでは見たけどこれは難しすぎてサッパリ分からんね
432:132人目の素数さん
20/05/08 02:13:54 WmDpVhCu.net
3月の宿題で(1)のみ正解の数弱@shukudai_sujaku
昨年度の大学への数学(大数)での勝率は、
学コンBコースが 1/1 = 100% ,
宿題が 3/10 = 30% でした!
宿題の勝率が低すぎると思うので、
これからは一層精進していきたいです!
URLリンク(twitter.com)
(deleted an unsolicited ad)
433:132人目の素数さん
20/05/08 02:14:27 6RKkScyI.net
>>415
難しすぎるというかまずその主張の基礎論的な文脈がよくわからない
種の言語においてはa ∈ … ∈ aになることを証明できる
と言っているのなら明らかにまちがい
だが、
種の言語においてはa ∈ … ∈ aになるモデルが少なくとも1つある
というのなら、
simulate a∈a、loops of mutations、simulate ∈-loops
が「成り立つ」というのはなにを示しているのかわからなくなる
望月はこの箇所で基礎論的な用語を使って記述していないから、
よほど好意的に解釈しない限りなにか混乱してるようにみえる
434:132人目の素数さん
20/05/08 06:04:05 enp/+yz7.net
a∈aを認めたいんなら、Foundation Axiomを抜いて
代わりにAFA(Anti-Foundation Axiom)を入れればいいんじゃない?
URLリンク(en.wikipedia.org)
URLリンク(en.wikipedia.org)
注)IUTの弁護ではありません(そもそもなぜ∈-loopが必要なのか分からない)
435:132人目の素数さん
20/05/08 06:12:06 enp/+yz7.net
>>392
>業界話をすると、このa∈aをむりやり成り立たせる議論は
>じつは00年代にあったんだが、あんまりうまくいかなくて
>立ち消えてるわけよ。
業界というのは集合論業界?
むりやり成り立たせる議論というのは
>>418に書いたAczelのZFC-AFA?
>それは自然数論の議論がAxiom of regularityが成り立たない領域には出ない
>ということが分かってるからなわけ。
それはAczelの公理で入れた「基礎のない集合」では、
自然数を扱えないということ?
436:132人目の素数さん
20/05/08 06:13:27 5WUsMQX9.net
URLリンク(www.youtube.com)
URLリンク(www.youtube.com)
URLリンク(m.youtube.com)
URLリンク(www.youtube.com)
URLリンク(www.youtube.com)
URLリンク(www.youtube.com)
URLリンク(www.youtube.com)
URLリンク(www.youtube.com)
URLリンク(www.youtube.com)
品性のない南京大虐殺近親相姦ニホンザルヒトモドキをこの世から抹殺しろ
437:132人目の素数さん
20/05/08 06:15:27 enp/+yz7.net
>>395
公理の数が有限か無限かをとやかくいうのは可算推移モデルを考えたいから?
438:132人目の素数さん
20/05/08 06:18:22 enp/+yz7.net
>3.12では、望月がこの新しい不等式の証明を提示している。
>この証明では、2つの集合の体積を、実数の2つの異なるコピーの中に住んでいるものと見なす。
>集合の体積が互いにどのように関係しているかを追跡するには、
>あるコピーの体積の測定値が他のコピーの測定値とどのように関係しているかを理解する必要がある。
>望月のマッピングでは、測定棒はお互いに局所的に互換性がある。
>しかし、円の周りを回ると、反対側に回っていた場合とは違うように見える測定棒で終わってしまう、とスティックス氏は言う。
>体積測定におけるこの非互換性は、結果として生じる不等式が間違った量の間にあることを意味する、とショルツェとスティックスは主張している。
>そして、体積測定値がグローバルに互換性を持つように調整した場合、不等式は無意味になると彼らは言う。
リングとらせんの違いみたいな感じか?
439:132人目の素数さん
20/05/08 06:22:48 enp/+yz7.net
>>403
>正則性公理に関するよくある勘違いなんだけれど、
>正則性公理を外したからって「∃a,a∈a」は証明できない(だろうと考えられてる)
(だろうと考えられてる)のところは
「ZFCは無矛盾だと考えられている」
の意味だね
そこは理解した
440:132人目の素数さん
20/05/08 06:29:19 enp/+yz7.net
>>380
>第4論文で考えていたことがCor3.12の致命傷になってるんじゃないか
>>422で書いた、リングとらせんの違いに関わるんならそうかもしれんね
これ、将来「Scholzeのパラドックス」として教科書に載りそうだな
頑張って示してくれると嬉しい IUTよりこのパラドックスのほうが美し�
441:サうだ
442:132人目の素数さん
20/05/08 07:09:56.19 7UumtpEA.net
ここら辺を話している? ループ、らせん、不等式の成立のイメージ。
URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.kurims.kyoto-u.ac.jp)
URLリンク(www.kurims.kyoto-u.ac.jp)(animation).mp4
443:132人目の素数さん
20/05/08 07:28:54.91 IfhxurXg.net
スティックスは「エッシャーの階段」と言っているようです。
URLリンク(www.quantamagazine.org)
もし、2つのものの不等式があっても、測定棒がコントロールできない要因で縮小されていたら、
不等式が実際に何を意味するのかをコントロールできなくなってしまう。
Scholze氏とStix氏は、物事がうまくいかないのは、この議論の重要な点にあると考えている。
望月のマッピングでは、測定棒はお互いに局所的に互換性がある。
しかし、円の周りを回ると、反対側に回っていた場合とは違うように見える測定棒で終わってしまう、とスティックス氏は言う。
この状況は、エッシャーの有名な曲がりくねった階段に似ていると彼は言う
体積測定におけるこの非互換性は、結果として生じる不等式が間違った量の間にあることを意味する、とショルツェとスティックスは主張している。
そして、体積測定値がグローバルに互換性を持つように調整した場合、不等式は無意味になると彼らは言う。
444:132人目の素数さん
20/05/08 07:32:42.18 7UumtpEA.net
>しかし、円の周りを回ると、反対側に回っていた場合とは違うように見える測定棒で終わってしまう、とスティックス氏は言う。
>体積測定におけるこの非互換性は、結果として生じる不等式が間違った量の間にあることを意味する、とショルツェとスティックスは主張している。
>そして、体積測定値がグローバルに互換性を持つように調整した場合、不等式は無意味になると彼らは言う。
上記のIUT第2のアニメーションは、円の周りを回ると、反対側に回っていた場合の測定棒と、体積測定値で、不等式が無意味でないことを言っている?
445:132人目の素数さん
20/05/08 07:53:54.30 IfhxurXg.net
IUT衝撃の宇宙とは絵本の中にしかないおとぎ話であったということですね
446:132人目の素数さん
20/05/08 08:04:33.20 7UumtpEA.net
IUT第2のアニメーション。 不等式の成立。
URLリンク(www.kurims.kyoto-u.ac.jp)(animation).mp4
↑
測定棒と体積測定値からなるアニメーションに至るIU幾何
URLリンク(www.kurims.kyoto-u.ac.jp)
↑
測地線の幾何 ⇔ Teich空間のフロー ⇔ リーマン面のモジュライ空間
URLリンク(www.kurims.kyoto-u.ac.jp)
447:132人目の素数さん
20/05/08 08:09:44 7UumtpEA.net
>>429 リンク間違えた
IUT第2のアニメーション。 不等式の成立。
URLリンク(www.kurims.kyoto-u.ac.jp)(animation).mp4
↑
測定棒と体積測定値からなるアニメーションに至るIU幾何
URLリンク(www.kurims.kyoto-u.ac.jp)
↑
測地線の幾何 ⇔ Teich空間のフロー ⇔ リーマン面のモジュライ空間URLリンク(www.kurims.kyoto-u.ac.jp)
448:132人目の素数さん
20/05/08 08:41:27 Go/j7R4f.net
なるほど
IUTの「証明」はアニメを含む動画
解説本によるのだな
449:132人目の素数さん
20/05/08 09:50:56 7UumtpEA.net
IUT第2のアニメーションは、
URLリンク(www.kurims.kyoto-u.ac.jp)
で、同Pdfの最終頁16の図に至るまでの過程を解説で、あわせて読んだよ w
450:132人目の素数さん
20/05/08 09:52:31 NxyHm2B/.net
おまえらどんだけイマジネーションないんだよ
451:132人目の素数さん
20/05/08 10:15:36 WZMpayjt.net
これだけ意味不明瞭な箇所があってしかも間違いも何箇所か放置されてる場合、
レフェリーがちゃんと読んでるのかという疑問が出そう
1、レフェリーが間違いを見逃してる
2、望月がレフェリーの修正勧告に応じていない
の2通りが考えられるが、1なら技量不足だし2ならリジェクト案件では
452:粋蕎 ◆C2UdlLHDRI
20/05/08 10:16:47 FSbzIJ9L.net
今さら到着。400レス超えとる
453:132人目の素数さん
20/05/08 10:19:31 7UumtpEA.net
>>433
自分のイマジネーションが、「自分の思い込みでないか」は
「著者の論とピントは一致している」かを、確認しておきたいですね。
(Scholzeさん?)
454:粋蕎 ◆C2UdlLHDRI
20/05/08 10:22:29 FSbzIJ9L.net
あら?超多連投57歳は
中立派を何と言ってたかのう?無意見な半可通?無意見とは言っとったが半可通とは違うな
中の字が入る三文字じゃった様な
455:粋蕎 ◆C2UdlLHDRI
20/05/08 10:22:41 FSbzIJ9L.net
あら?超多連投57歳は
中立派を何と言ってたかのう?無意見な半可通?無意見とは言っとったが半可通とは違うな
中の字が入る三文字じゃった様な
456:粋蕎 ◆C2UdlLHDRI
20/05/08 10:33:10 FSbzIJ9L.net
何じゃブラウザが苦しみ野太打ち回っとるのう。
457:132人目の素数さん
20/05/08 10:39:38 enp/+yz7.net
どうでもいいことですが
>超多連投57歳
それ、どこからでてきた数字ですか?
458:132人目の素数さん
20/05/08 11:02:40 nI1ouL+1.net
a∈aの問題は、恐らくΘリンクでのcoricityによる通信の話でしょう
これは普通には成立しないことくらい望月氏はわかってると思う。だから圏群とラベルによる一般化を考えた
つまり、圏群を経由して集合論的な情報を太らせようとした
それを成立させようとした仕組みが今回は上手く
459:行くと見えなかったというだけの話だろう そういう方向でできる事はあるだろうね
460:132人目の素数さん
20/05/08 11:40:29.28 enp/+yz7.net
>>441
>Θリンクでのcoricityによる通信
>これは普通には成立しない
>だから圏群とラベルによる一般化を考えた
>つまり、圏群を経由して集合論的な情報を太らせようとした
>それを成立させようとした仕組みが
>今回は上手く行くと見えなかったというだけ
>そういう方向でできる事はあるだろうね
何でもできる、つまり上手く行き過ぎるかもね
Aと¬Aの両方が実現できたら・・・矛盾
ショルツでも他の誰でもいいから
Escherの階段のような素人でもわかる矛盾を示したら
ラッセルみたいに歴史に名を残せるね
・・・業績としては大したことではないかもしれんけど
461:132人目の素数さん
20/05/08 11:48:00.40 enp/+yz7.net
上手く行き過ぎる仕掛け
集合論で
内包公理図式(任意の述語Pについて集合{x|P(x)}の存在)を認めたら
集合{x|x∈x⇒P}から任意の命題Pが証明できる
カリーのパラドックス
URLリンク(ja.wikipedia.org)
※上記はラッセルパラドックスの一般化
462:132人目の素数さん
20/05/08 11:56:47.11 IfhxurXg.net
望月氏はどこまでも昇る階段をみつけた。たくさんの宇宙が遠くに見えた。しかしそれはエッシャーの階段であった。
望月氏の見た宇宙は、実際すべてぺしゃんこにつぶれてしまっていた。
463:132人目の素数さん
20/05/08 12:05:02.73 enp/+yz7.net
望月新一に捧ぐ・・・なんちって
URLリンク(www.youtube.com)
464:132人目の素数さん
20/05/08 12:11:23 IU3jiVQk.net
まさに「これが認められるならなんでもありなのでは」って感じなのか
465:132人目の素数さん
20/05/08 12:19:39 IfhxurXg.net
大論文は、次世代センター予算は、この8年間は・・・・なんだったのか、という話にもなる
466:粋蕎
20/05/08 13:01:27.83 FSbzIJ9L.net
>>440
>>300の自称じゃけぇよう知らん
467:132人目の素数さん
20/05/08 13:34:03 enp/+yz7.net
>>448
57といってるのはあなただけみたいですが
468:132人目の素数さん
20/05/08 13:52:26.76 fbIUdI9a.net
LabCuspの翻訳して
469:132人目の素数さん
20/05/08 13:57:48.05 fbIUdI9a.net
The Set of Label Classes of Cusps of a Base-PrimeStrip
ベースプライムストリップのカスプのラベルクラスの集合
by DeepL
470:132人目の素数さん
20/05/08 14:01:44.57 aUmmMWos.net
星氏がかつてたどり着いた感覚に
ようやく俺たちも到達したということか
471:132人目の素数さん
20/05/08 14:38:54 dfXmjIwT.net
素数判定アルゴリズムすら間違えてた自分は永遠に辿りつけないかも…orz
果てしなく遠いな
472:132人目の素数さん
20/05/08 15:33:06 7xMfHdvs.net
ガウスとテレンスタオってどっちが頭良い?
473:132人目の素数さん
20/05/08 16:06:17.33 7UumtpEA.net
>>446
>>452
ようこそ、OZの世界へ
OZは世界中の人々が集い、楽しむことができるインターネット上の仮想世界です。アクセスは、お持ちのパソコン・携帯電話・テレビなどから簡単に行えます。
ではこれから、OZの世界を体験してみましょう。
まずは、あなた自身はアバターを設定しましょう。
アバターとは、OZ上でのあなたの分身です。服・ヘアスタイル・しっぽなど、あなたの思うままに着せ替えできます。かわいいアバターができましたね。
あなたの個人情報は、OZの世界一高度なセキュリティによって厳重に守られます。リラックスしてこの世界を楽しみましょう。
・・・違うか。
474:132人目の素数さん
20/05/08 16:27:17 7UumtpEA.net
ようこそ、OZの世界へ
OZは世界中の人々が集い、楽しむことができるインターネット上の仮想世界です。アクセスは、お持ちのパソコン・携帯電話・テレビなどから簡単に行えます。
ではこれから、OZの世界を体験してみましょう。
まずは、あなた自身は BABY SZPIROを設定しましょう。
BABY SZPIROとは、OZ上でのあなたの分身です。服・ヘアスタイル・しっぽなど、あなたの思うままに着せ替えできます。かわいい BABY SZPIROができましたね。
あなたの写像情報は、OZの世界一高度な�
475:Vステムによって厳重に守られます。リラックスしてこの世界を楽しみましょう。 ・・・また違うか。
476:132人目の素数さん
20/05/08 16:41:05.99 /Daxwvu7.net
改訂版の論文読んでるけど、これギャップが消えてるとは言えないよね
Cor3.12に対するSSの指摘がIUT上の特定の概念を使わないと成立することは認めているが、
特定の概念(主にlabel)を使うとなぜそれが成立しなくなるのかの説明が今度は飛び飛びになってる。
そもそもこれはもうコロラリーではないだろう。
477:132人目の素数さん
20/05/08 16:47:16.07 vkw4jlVW.net
full poly-isomorphismにはスコラ哲学に似た詭弁性を感じる
478:132人目の素数さん
20/05/08 18:42:38.04 VeCIxYvH.net
E=mc^2
F=ma
小学生でもわかるレベルまで説明しろ
ドクズ
479:132人目の素数さん
20/05/08 19:17:04.33 nI1ouL+1.net
正直に言うと、無限の宇宙とか考える必要のない理論で解決したほうが健全だとは思う
少なくとも「遠アーベル幾何学を使わないとabc予想は解決できない」というのは間違いなくありえない
480:132人目の素数さん
20/05/08 19:37:51 nI1ouL+1.net
>>413
その引用元の人は遺伝的アルゴリズムを引き合いに出してたんだけど、雑に言うと群から見た組合せ変異を
考えて無数の宇宙の種を考えるという話だよね
「Zを変形する」という議論で何で望月氏がこの変なアイデアで行こうと思ったのかが素直に不思議だったけど
遠アーベル幾何学特有の理論に拘った結果だろう
これについてショルツの、同じ基本群を生じる非同型なXの明示という問題が関連付けられる
これは非自明な言い換えにより「変形」についての哲学の問題に置き換えることができる
確かに相当発想を転換しないとこの問題の意味はわからないが、少なくともIUTはマストではないよ
481:BLACKX
20/05/08 20:19:02.83 RckDF8Xf.net
同じ次元から同じ次元ならZFCで成り立つけど次元が変わる探索方法になるから何か違う空間を繋ぐアルゴリズムが必要なんじゃないのかな?まぁそれがIUTのはずだったんだけどさ…
482:132人目の素数さん
20/05/08 21:16:58 enp/+yz7.net
>>462
ま~た素人が訳の分からん譫言口にしてるな
483:BLACKX ◆SvoRwjQrNc
20/05/08 21:38:52 RckDF8Xf.net
>>463
まぁ素人だけどさ、質問
1)餅はリングと螺旋がだまし絵みたいに同じに見えているというが、リングと螺旋が繋がって見えているという事はある?
2)1)がNOの場合、リングと螺旋を切り分けたらリングであることと螺旋の関数が別々に認識できる?
3)螺旋についてリングの加算推移モデルの一部で餅の見える螺旋を書くことは可能?
484:132人目の素数さん
20/05/08 22:32:32.19 enp/+yz7.net
>>464
ま~た素人が訳の分からん譫言口にしてるな
485:132人目の素数さん
20/05/08 23:16:29.35 zgxzcJea.net
擁護派おらんとおもんないな
486:粋蕎
20/05/08 23:37:40.27 FSbzIJ9L.net
>>300
済まんあんたの自称じゃなかった
しかし
>>449
誰も、と言うのはアウト
スレリンク(math板:769番)
まぁ老人の言う事じゃが
487:132人目の素数さん
20/05/08 23:40:24.32 2rOAAZyv.net
Wikipediaのノートページに署名しないで書き込んでるやつ
このスレ見てるだろ
署名のやり方ぐらい覚えてきなよ
488:BLACKX
20/05/08 23:43:08.37 BcofGu0F.net
>>465
あ、俺中立だけど餅には否定派だから。
もっとよくわからない譫言するわ
リングか螺旋か分からない平面で関数の区間の中に観測点を置く時、点Aでリングに見え、点Bで螺旋に見え、点Cでリングと螺旋が見えるとする。
多分餅はAが見えてると思う。
餅の見ている回転リングの関数内にABC問題はあると考えられる?
489:◆QZaw55cn4c
20/05/09 00:08:32 exUGgp9K.net
>>468
私は署名しない主義です…
490:132人目の素数さん
20/05/09 00:31:39 Tn2OGW7R.net
>>470
Wikipediaのルールに違反しながら活動することが主義とは?
最後に6文字「--~~~~」すら書けないのか?
491:132人目の素数さん
20/05/09 00:37:27 737lAinw.net
望月は基礎論を勘違いしてると言った奴が、正則性公理と選択公理が同値と勘違いしていてビックリしたな
何でこんなレベルで数学者に対して勘違いしてると言えたのか不思議でしゃーなかった
ABC予想っていう一般受けする命題は変なやつもたくさん呼び寄せるんだなと思った
492:粋蕎 ◆C2UdlLHDRI
20/05/09 00:45:11 FS/ppdZ4.net
参加機会なんて無うけぇ知らんかったがWikipediaのノートブックって
署名無しじゃ議論に混ざっちゃいかんのか、それじゃ無署名投稿は外法者じゃ外法者。アウトロー。
罷り通りゃ何でもし腐る癖が悪化すると…人が見てなきゃポイ捨てや立ちションにネコババ、…
493:粋蕎 ◆C2UdlLHDRI
20/05/09 00:48:46 FS/ppdZ4.net
ほぅ言えば数学板@2chの歴史に於けるKingOfUnivesseを超えて一番の伝説
増田哲也の爺様も、もう63乃至64歳か
494:132人目の素数さん
20/05/09 00:51:20 QvGTnPR/.net
>>472
望月が基礎論勘違いしてるのは事実だよ
そしてそれを査読者も勘違いしてるのか、指摘したのに望月が無視してるのか、
どちらにせよ査読がまともじゃない(人選がおかしいro執筆者におもねりすぎ)
ではないかという雰囲気はある
495:132人目の素数さん
20/05/09 00:53:04 QvGTnPR/.net
あと望月は最新版で非専門家的な視点から書いてるって強調するくらいなら、
カットしたほうがいいと思うけどね
非専門家的な観点から基礎論について語る意義がわからない
これは昨日の議論でも出てたが第4論文は全体として存在意義が謎
496:132人目の素数さん
20/05/09 00:59:15 QvGTnPR/.net
公理が9個にせよZFCGがZFCの保存的拡大にせよ、
あれがスルーされてたということは、
査読者に基礎論の専門家はいないんだろうということを意味してる
そうであるなら第4論文を担当してる査読者は不適切な人選のはず
ワイルズのときのように各論文を適切に分割して適切に査読者を配置できてない
497:132人目の素数さん
20/05/09 01:04:48.85 737lAinw.net
>>477
正直そこまで自信満々に言えるならメールで指摘すりゃよくねと思う
どうしてしないの?
498:132人目の素数さん
20/05/09 01:06:22.40 3DgxF9IB.net
4月のアクセプト発表の時点で、なぜかこれからも修正が続くんだろ、って言われてて、
まったくそのとおりになってるんだよね
2月にアクセプトされたらしい原稿がどのバージョンだったか確認できないという
499:132人目の素数さん
20/05/09 01:07:56.55 gybn3mPM.net
>>478
基礎論のところは2012年にもうもっちーに直接言ったやつがいて、
もっちーがそのあと放置してたっていう流れなのよ
だから基礎論の誤解のところの話はIUTサイドも把握済みの単なる事実
500:132人目の素数さん
20/05/09 01:11:50.84 737lAinw.net
>>480
結局その指摘が正しいかどうか判断できないんだよな
ぶっちゃけその指摘者が勘違いしてる可能性もあるからさ
望月先生が間違えてるとしても、査読で指摘が入るだろうとも思うし
正直有象無象の人間の指摘って間違えてたりさして本質でないこと多いからさ
昨日も選択公理と正則性公理の同値性勘違いしてた奴がいたからさ
501:132人目の素数さん
20/05/09 01:13:05
502:.86 ID:Ayx0IbyQ.net
503:132人目の素数さん
20/05/09 01:14:11.98 gybn3mPM.net
>>481
おまえがじゃあメールして聞きゃいいじゃん
504:132人目の素数さん
20/05/09 01:14:55.81 I9xJsS3d.net
simplicial object
@zj_nj
もちろん僕は何一つ知らないし政治的な話はしたくないが、沢山の相当のレベルの数学者がマジで読みづらいと言っている論文が重要かつ正しいという理由で押し通されることには複雑な感情はある(ある程度以上なら解説と原論文の棲み分けだと思うが...)
増田成希
何も知らないといいつつ憶測で語って偉そう
505:132人目の素数さん
20/05/09 01:19:15.09 I9xJsS3d.net
simplicial object
@zj_nj
僕なんかがいうと本当におこがましくて恥ずかしいが、
アイデアが新しくて難しいということと、説明が不親切/複雑で難しいことは分離されるべきで、後者は解消可能なはずなのだが、
それができていたらここまで多くの不満を聞くことはないのでは?というのが読もうとしてみた人の話からの印象
増田成希おこがましすぎだろ
506:132人目の素数さん
20/05/09 01:19:51.29 737lAinw.net
>>483
俺はそもそもその問題の説明ができねえからメール出来ねえよ
保存的拡大の意味も分からんし
507:132人目の素数さん
20/05/09 01:23:46.92 eRN8BqbK.net
>>485
これは当然の指摘でしょ。
発表当時はよくわかんないけど興味あるって数学者はわりといたのに、
あとでどんどん減った理由なんだし。
ケドラヤも最初はわかんないけど興味あるって言ってたんだぞ。
508:132人目の素数さん
20/05/09 01:27:18.92 I9xJsS3d.net
増田成希が間違いをみつけたらしい
509:132人目の素数さん
20/05/09 01:30:01 11gKSmeH.net
今でこそ距離とられてるが当時はわりと活気あったからな。
潮目が変わったのがNew Scientistの2016年の記事あたり。
>そこで昨年、英国のオックスフォード大学でIUTを研究する目的で
>会議が開催されたが、それは、失敗に終わった。
という評価が出て、ラガリアスが「どの雑誌によるかで影響があると思う」
みたいなこと言い出した。
2015年の海外ワークショップで部外者で理解できたひとがゼロだったとか。
510:132人目の素数さん
20/05/09 01:30:21 737lAinw.net
もっちーはブログとかの日本語でも以下の点で読みにくい
・()内での説明が多すぎる
・「」での強調も多すぎる
・強調のための改行が多すぎる
書きたいことを書きまくってて、読み手への配慮はあんまりない印象
論文についても同じようなことしてんじゃないのかなあと思う
511:132人目の素数さん
20/05/09 01:31:29 PXBX/G0S.net
>>490
ふつうはそれをレフェリーが指摘して直させるんだが、
直してないのにアクセプトしてるからやっぱり太鼓持ち査読だと思うんだよなぁ
512:132人目の素数さん
20/05/09 01:35:31 I9xJsS3d.net
増田成希曰く
「(誰もまともに)査読できないから即リジェクト、書き直しを要求する」
のは著者にとっても利益になると思うが、あれくらいの重要性のものになると
考え方が違うんだろうか(それができなくて中途半端に引き受けた人たちが
放置する結果になったわけで、この人の判断はむしろ正しくないか?)
513:132人目の素数さん
20/05/09 01:38:54 I9xJsS3d.net
増田成希やっぱちがうわ 大天才だ
514:132人目の素数さん
20/05/09 02:03:15.64 WQU2S1JU.net
正則性公理の成り立たない下での自然数ってどんな自然数だろう。
いままで当然と考えられた議論が当然でなくなってくるんじゃないか。
これちゃんと査読してるの?
515:132人目の素数さん
20/05/09 02:37:31.42 4M/fwtlh.net
部分部分でみてもあかんぞ
516:132人目の素数さん
20/05/09 06:46:40.53 WHfuBpnK.net
>>490
もっちーなりに
「『人に解りやすい工夫 』
してる」
(つもり)
なんじゃね
517:132人目の素数さん
20/05/09 06:50:40.22 WHfuBpnK.net
>>493
大鬼才だよ
他人事に口挟んで無いで
自分の研究に専念するべき
「 人類に解を与えよ 」
としか
518:132人目の素数さん
20/05/09 06:53:14.90 WHfuBpnK.net
どう?
伝わる?
伝わらない?
分かりやすい構文
日頃から
心がけたいものですよね?
519:132人目の素数さん
20/05/09 07:02:34.51 WHfuBpnK.net
さあ、今日も一日
自分がさっぱりワケワカメな
小癪なクソ論文を書き上げた
偏屈ヒキニー奇人変人の
大鬼才を謗り倒すぞ!
520:粋蕎
20/05/09 07:03:29.85 FS/ppdZ4.net
数学に必要な分かり易さとは其の様な文学的言葉繰りじゃありゃせんよ姐御
521:132人目の素数さん
20/05/09 07:31:36 WHfuBpnK.net
拙者は
「変な♂をぢさん♂」
でござる。
522:132人目の素数さん
20/05/09 08:56:49.59 jgM/AhDP.net
>>482
基礎論の専門家だったら、公理が9個という
ナンセンスな捉え方は絶対にしないということでは?
公理が9個とかいう捉え方をしている時点で、
「この人なにも知らないのでは?」という
怪しい空気が流れてもしょうがない、
という話だと思っている。
たとえば複素関数論だったら、複素変数を「x」で書き表すことは
まずなくて、普通は「z」とか「w」とかの文字を複素変数に割り当てる。
別にそこで「x」の文字を使っても間違いではないが、
しかしそういう人が実際にいたら
「この人、複素関数論なにも知らないのでは?」という
怪しい空気が絶対に流れるわけで。
523:132人目の素数さん
20/05/09 09:14:44.03 j9hCxaDC.net
>>502
論理とか集合論が専門の人でない限り、数学者はまず集合論のこと知らない
渕野氏があげたこの話って、特殊例ではなく
数学界で一般的にみられることなんだろうなぁ
URLリンク(fuchino.ddo.jp)
524:132人目の素数さん
20/05/09 09:30:14 wZ5sm90r.net
すごく素朴な疑問なのだが
公理の数がなぜ重要なのかよくわからない
and で全部つなげば一個になってしまうし
戒律の数について熱い議論を続ける某宗教のような感じがしてしまって
525:132人目の素数さん
20/05/09 09:31:13 wZ5sm90r.net
あ
もうそれっぽい書き込みしてる人がいた
すまん
526:132人目の素数さん
20/05/09 09:33:23 zW5LgCWH.net
もっちんのブログは「特攻の拓」の末期を思い起こさせる
相当力入れて考えてきた人生が、あの文章に集約されてるんだろう
527:132人目の素数さん
20/05/09 09:47:20.54 j9hCxaDC.net
>>504
>and で全部つなげば一個になってしまう
無限個の式をandでつなぐことはできないけどね
公理図式の件でいえば、述語に関する限量子を使えば一つの式で書けるけど
それは二階論理を使うということだから、一階論理で成り立つ性質を
捨てることになり、ありがたくない
528:132人目の素数さん
20/05/09 09:53:08.87 O6gqR1gl.net
>>502
そもそも内包公理は元々ひとつの公理であって
それを論理式をパラメータにして無限個の文を作ればいいと分かったのは後のことだよ
「ZFCの公理が9個」っていう慣例的な表現と「ZFCは無限個の文から成る」っていうテクニカルな話を混同して批判するのはナンセンス
529:
20/05/09 09:59:35.32 fy3jnpaD.net
>>471
そんなルールはありません
IPユー�
530:Uーでこつこつ書くのが好きですね
531:132人目の素数さん
20/05/09 09:59:40.35 j9hCxaDC.net
>>504
論理学は宗教ではないけどね
一階論理だと都合のいい話が沢山あるんで
(コンパクト性定理とか、半決定可能とか)
たかだか「公理が1個にまとめられる」とかいう
素人的な理由だけで二階論理を使っても
かえって自分の手を縛るっていうわけ
こういうのは実際に自分で考えないと決して見えない
532:132人目の素数さん
20/05/09 10:06:02.26 j9hCxaDC.net
>>508
>内包公理は元々ひとつの公理
正確には分出公理ね
内包公理だと矛盾する
内包 ∃y∀x(x ∈ y ←→ φ(x))
分出 ∃y∀x(x ∈ y ←→ x ∈ z ∧ φ(x))
x∈zが、矛盾を防ぐコツね
二階論理だったら、もちろん式は一つだよ
∀φをつけられるからね
でも、それじゃ取り扱いがしにくい
一階論理で扱うにはどうしたらいいか考えた苦肉の策が
「論理式をパラメータにして無限個の文を作ればいい」
ってこと
一般の数学者はそもそも論理なんてロクに知らないから
いい加減なことを平気でいうけど、困ったもんだね
533:132人目の素数さん
20/05/09 10:30:36.54 wuUnu6Xu.net
暗黙にかならずどこかの宇宙をきめなくてはいけないというこですね
534:132人目の素数さん
20/05/09 10:55:42 g67xV4gR.net
>>490
これ
厳密である事と読みやすい事は違う
535:132人目の素数さん
20/05/09 10:59:54 RfpGzaQc.net
否定派スレなくなってもうたん?
536:132人目の素数さん
20/05/09 11:02:34 PzzKadGB.net
国際会議中止になったけど2015年あたりまでやってたセミナーと比べたら、
スピーカーとして参加を引き受けてくれる研究者だいぶ減ってるね。
537:132人目の素数さん
20/05/09 11:07:39 W9t4k47f.net
>>514
もともとIUTスレはここしかない。
変なのが乱立させただけ。
538:132人目の素数さん
20/05/09 11:08:41 AC9cDLYk.net
上でも言及してる人がいるように、一階述語論理では無限個の論理式を∧(=「かつ」)で結ぶことはできない出来ない(=「無限論理」が必要!)
そして公理の数が9個というのは数学的言明に翻訳できるので、論文であればフランクに書くべきではない
539:132人目の素数さん
20/05/09 11:13:13 j9hCxaDC.net
>>517
そもそも公理の数を書く必要なかった
専門外の素人に限って9個って言いたがる
多分全部知ってるぞって言いたいんだろうけど、それが地雷
はっきり言ってsimulate ∈-loopsのところは全然練れてない
ぶっちゃけ要らない 書いた本人以外みんなそう思ってるんじゃない?
540:132人目の素数さん
20/05/09 11:16:03 sVLQ9E4Y.net
公理の話はしょうもないminorな問題だろ
分かる人にとってはnine axiomsで通じるから問題ない
「9個の一階述語論理の閉論理式」とでも書いてない限り間違いとは言えんよ
541:132人目の素数さん
20/05/09 11:21:21 2iYAQUko.net
公理の話はmajorだからしてるんじゃなくて、
まちがってること書くくらいならそこいらないじゃん?
っていうか査読者も気づかないってことは査読者に基礎論の専門家いないってことでだいじょうぶか?
ってことでしょ。
公理の話がおかしいからIUTはまちがってるという話をしてるんじゃない
そういう書き方をするとほかがまちがってるんじゃないか、
あるいは査読者の査読がおおざっぱなんじゃないかっていう雰囲気になるだろ、ってこと。
542:132人目の素数さん
20/05/09 11:23:19 2iYAQUko.net
とくにIUTの場合はただでさえ新しい概念をいろいろ作って批判を回避しようとしてるんだから、
基礎的な概念のところで定式化が甘いと、
読者に「読んで理解できない俺が悪いんじゃなくて論文の書き方がおかしい」
と思われてもしょうがないのはあると思うよ。
543:132人目の素数さん
20/05/09 11:23:39 GkFOIO1z.net
だから間違ってないんだって
公理の種類としては9なんだから
定式化によっては無限個の論理式になるって話だろ
544:132人目の素数さん
20/05/09 11:25:22 AC9cDLYk.net
そもそもその望月が分かっているのかすら分からないので、本来の査読で�
545:れば指摘されて然るべき一文だと思う それ以前に必要ないセクションで曖昧なことを言うのも問題 曖昧な言明であれば間違いとは言えない、という思想はまさに補題3.12(=「ギャップ」!)を気にしていない理由に繋がってる気がする >>522 公理の種類などとは一切記載がないし、型理論などを導入すれば9個にすることも可能であるらしいが、それを一切言及せずに断言するのも不明
546:132人目の素数さん
20/05/09 11:26:55 2iYAQUko.net
>>522
ZFCとZFCGの話もか?
あと公理の数がラフに書いてるだけだ、定式化を変えればちゃんとなる、
なんて書き方をほかでもされていたらもう理解不能になるぞ?
labelの話もラフに書いてあるから定式化によっては理解可能なかたちになります、
じゃ読者はわかりようがない。
読者が好意的に読む義務はないし、そうやって変換しながら読むことが可能な論文だとも思えない。
547:132人目の素数さん
20/05/09 11:30:18 cBA9toCl.net
公理のところは正しいとか間違ってるとか、論文全体に致命的かどうかじゃなくて、
こういう書き方をするんならほかも定式化のブレが予想されて読む気が失せるんだよね。
SSレポートについて最新版だとあれこれ反論してるけど、
labelを考慮しないとSSレポートのような結論になるからlabelを考えろ、
というのは古い版だとなかったと思う。
そういうのも含めて最初から読めっていうのは酷すぎる。
548:粋蕎
20/05/09 11:42:51.49 FS/ppdZ4.net
無限和集合と無限積集合
URLリンク(mobile.twitter.com)
あぁしかしごめん、今の話題は無限集合じゃなく無限論理式じゃったな
>>517
無限論理式を∧(:且つ)で結ぶにゃ超限手段が必要って事なんじゃろうか?
(deleted an unsolicited ad)
549:132人目の素数さん
20/05/09 11:45:41.16 jgM/AhDP.net
公理が9個の話は、それ自体が正しいか間違いかではなくて、
「そういう書き方をする時点で信用を失う」
という話だと思っている(と>>502で既に書いた)。
同じことを言ってる人もこのスレに何人かいる。
たとえば複素関数論だったら、複素変数を「x」で書き表すことは
まずなくて、普通は「z」とか「w」とかの文字を複素変数に割り当てる。
別にそこで「x」の文字を使っても間違いではないが、
しかしそういう人が実際にいたら、その人は信用を失う。
「公理が9個と考えても別に間違ってない」
と反論してる人たちは、
「複素関数論の文脈で、複素変数を表すのに z ではなく x を使っても何ら間違ってない」
と言ってるのと同じで、もちろん x を使っても間違いではないが、
しかし実際にそんな危なっかしいことをする人がいたら、その人は信用を失う。
550:132人目の素数さん
20/05/09 12:02:42.60 j9hCxaDC.net
>>523
>型理論などを導入すれば9個にすることも可能であるらしい
でもよほど特殊な場合でない限りそんなことしないけどね
数が重要でないのにわざわざ9つというのが
いかにも素人の上から目線のマウンティング芸みたいで痛い(>_<)
551:132人目の素数さん
20/05/09 12:08:09.22 j9hCxaDC.net
>>526
無限個のxに関わる命題P(x)をandで結ぶ∀xP(x)はもちろん一階論理で許されますよ
問題は述語φについて同じことができるか、という点
一階論理ではできません
一階論理で扱うことで都合のよいことがいろいろある状況で
わざわざ二階論理を導入して「公理が9つ」という理由は
全く無いってことです
552:粋蕎
20/05/09 12:11:36.10 FS/ppdZ4.net
述語ねぇ
しかし二階論理と言いIUTと言いダブルスタンダードの様相じゃな
553:132人目の素数さん
20/05/09 12:36:47 WHfuBpnK.net
>>528
Joshi降臨。。。?
554:132人目の素数さん
20/05/09 13:37:40 /BYRDNlz.net
>>525
書いてあるよ。
投稿原稿版がPRIMSサーバーでプレプリント公開している。
URLリンク(www.kurims.kyoto-u.ac.jp)
555:132人目の素数さん
20/05/09 13:38:06 /BYRDNlz.net
応援スレで決着済みのことを、いつまでも引きずっているねー。
320132人目の素数さん2020/05/09(土) 07:01:44.31ID:/BYRDNlz>>323>>324
ZFCの話題は、本スレのInter-universal g
556:eometry と ABC予想 52 の324から始まっている。 (前略) >テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが >あと上でもあったけど専門外がIUTなんて理解できないっていうのはまんまIUTのラスト部分に跳ね返ってる >案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってるという しかし、Terence TaoがGoogle+で、ZFCについて述べてた内容を述べてないね。 今はGoogle+ないけど、下記のリンクのSpecific topicsで残っている。 https://asone.ai/polymath/index.php?title=ABC_conjecture ************************************************* The last part of (IUTT-IV) explores the use of different models of ZFC set theory in order to more fully develop inter-universal Teichmuller theory (this part is not needed for the applications to the abc conjecture). There appears to be an inaccuracy in a remark in Section 3, page 43 of that paper regarding the conservative nature of the extension of ZFC by the addition of the Grothendieck universe axiom; see this blog comment. However, this remark was purely for motivational purposes and does not impact the proof of the abc conjecture. ************************************************ (DeepL翻訳) (IUTT-IV)の最後の部分では、ZFC集合論の異なるモデルを用いて、より完全に普遍的なテイヒミュラー理論を発展させることを検討しています(この部分はabc推論への応用には必要ありません)。 この論文の第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、このブログのコメントを参照してください。 しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。
557:132人目の素数さん
20/05/09 13:52:51 bijIFi3Y.net
>>533
何が決着したのかはよく分からないが、
>しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。
不正確な点もあり証明に影響を与えるものでもないなら、やっぱり書かなくていいのでは?
というのが決着?
558:132人目の素数さん
20/05/09 13:55:10 gvw24+om.net
>>533
これみるかぎりタオも>>527の立場だな。
基礎論部分の不正確性はCor3.12の正否の問題ではなく、
論文をどうみるかという心情の問題。
タオは一貫して状況証拠的にはネガティブからスタートポイントに立つという立場にみえる。
559:132人目の素数さん
20/05/09 14:03:09 G3kGbBRi.net
数学にかぎらず、客観的証明とはべつに「いけてそうか」という主観は必ず混じる
2012年の発表時にはセミナーへの参加も盛んだったが、
2015年のロンドンセミナーが失敗して以降は風向きが微妙になった
SSレポートから風向きが変わったわけではないし、
Scholzeの権威があるからみんなが盲信するようになったわけでもない
そのまえの10回近いセミナーで理解者を出せなかったのが主因
560:132人目の素数さん
20/05/09 14:06:56 vilNrS9d.net
IUT 擁護派じゃないけど、
公理の数に拘ってるやつはうざいから消えて
561:132人目の素数さん
20/05/09 14:10:19 wubznBwf.net
最初の国内セミナーは30人くらい来てたんだっけか
このスレでも行ったってやつがひとりくらいいた気がする
562:132人目の素数さん
20/05/09 14:16:06 EpiLJs6
563:0.net
564:132人目の素数さん
20/05/09 14:25:28 bijIFi3Y.net
>>537
IUT論文の中身について数学的な内容を話すことさえできないなら、このスレはいらんだろう
ABC予想の証明には関係ないからいらない、というのであれば「abc予想ってどうなったの [転載禁止]©2ch.net 」みたいなスレに行ったほうが君のためだ
565:132人目の素数さん
20/05/09 14:46:12 L/vxUjcX.net
今年の国内セミナーは40人くらい集まる予定のはず。
566:132人目の素数さん
20/05/09 14:48:49 Jzt0P+UG.net
公理の数はただのあらさがし
567:132人目の素数さん
20/05/09 14:51:20 G1CYiQB/.net
掲載前に粗が見つかる程度の論文
568:132人目の素数さん
20/05/09 14:51:34 L/vxUjcX.net
延期?になった集会、結構ひと多いね。
URLリンク(www.maths.nottingham.ac.uk)
569:132人目の素数さん
20/05/09 14:58:16 7daEyNzb.net
そもそも4章終盤は間違えてるし書かなくていいのではって主張に、本当は望月は分かってるとかフランクに書いただけだとかの方が、主張をずらす粗捜しのように思えるがね
570:132人目の素数さん
20/05/09 15:16:02.89 Fjnv8ZFo.net
>>545
要は書き方の問題で明らかに否定するトーンで言うと、公理の数の話なんて難癖と言えば難癖だから、難癖じゃんと言われる
もし自分の主張を他人に受け入れて欲しいなら伝え方には気をつけよう
571:132人目の素数さん
20/05/09 15:22:05.50 7daEyNzb.net
>>546
伝え方が大事なのは分かるけど、数学板で数学上偽である命題を偽であると主張することが困難なのはちょっと残念だな
まあ、結論として、4章終わりはやっぱりいらないということは違いないんかね
572:132人目の素数さん
20/05/09 15:23:27.68 j9hCxaDC.net
>>546
甘ったれてますね
573:132人目の素数さん
20/05/09 15:39:03 v826FnmF.net
というか書き方からIUTを直接的に否定できるって言ってるやついるの?
ここまでみたらそういうのは少数派で多数派は書き方の問題は読み手に不信を与える
って話では
あとさ、これも何回か指摘されてるけど、証明する責任は望月にあるんだから、
このスレでIUTの否定的証明する必要性はまったくないんだわ
574:132人目の素数さん
20/05/09 15:39:49 Fjnv8ZFo.net
>>547
いらんかどうかの判断は正直できない
ABCには使われてないかもしれないけど、IUTのココロを伝えるために書いてあると思うし
間違えていたとしても価値がある場合もあるから何とも言えん
例えばフーリエ級数展開とか超関数も、当時は厳密には扱えなかったけど直感的には正しかった。
そしてだからこそ後の時代になって正当化された
多少間違えてるということだけで判断はできんなあと思う
575:132人目の素数さん
20/05/09 15:40:51 1un6YAdX.net
ほんと純数学って、純音楽と同じで、人に感動も呼び起こさないし、ロジックとしても役に立たないね。
予算減額がいいと思うよ。
576:132人目の素数さん
20/05/09 15:41:53 gwm6+T87.net
>>550
だからこそ応用がほかにないってのがけっこう痛い
なんかよくわからんけどとりあえず使えそうというのならここまで無視されてない
577:132人目の素数さん
20/05/09 15:43:42 scQJNZul.net
IUTが正しいと仮定すればこういうおもしろい結論が出ます、
というのならふつうに注目されてただろうね
谷村=志村予想も予想の段階で仮定すれば面白い結論が出るし、
それで反例もあがらなかったから徐々に信用されるようになった
IUTにはそういうモチベーションがない
578:132人目の素数さん
20/05/09 15:45:15 j9hCxaDC.net
>>550
少なくとも「9つ」は要らないな
そういう無駄な記述に、著者の虚栄心以外の心
579:はないよ
580:132人目の素数さん
20/05/09 15:46:10 1un6YAdX.net
フーリエとの違い
・ 直観的になんかおかしい
・ 一般現象での応用をぱっと思い浮かばない
・ だからみんな読む気も起きない
こういうことでしょ…
みんな分かっているくせに…
581:132人目の素数さん
20/05/09 15:51:00 tUatUVy2.net
>>554
どちらかと言うとそういう難癖こそ、レス投稿者に数学者に対して数学的な間違いを指摘したいという虚栄心を感じる
582:132人目の素数さん
20/05/09 15:57:18 G1CYiQB/.net
数学的な誤りの指摘を難癖と言われてしまったら何も言えなくなるな
匿名掲示板で何言ってんだか
583:132人目の素数さん
20/05/09 16:00:01 kDbU8IqI.net
本筋と関係ないからね
本筋と関係ないことをあたかも致命的なミスのように騒ぐ
難癖以外の何物でもないでしょ
584:132人目の素数さん
20/05/09 16:02:05 G1CYiQB/.net
致命的でなくてもミスはミスなんだよね
騒がれたくない人って何者だよ
RIMSの関係者か?
585:132人目の素数さん
20/05/09 16:02:10 tUatUVy2.net
>>557
別に匿名掲示板でも難癖レベルの指摘だったら、そら難癖と言われるよ
匿名掲示板だからって難癖でなくなるわけじゃない
586:132人目の素数さん
20/05/09 16:02:43 j9hCxaDC.net
本筋と関係ないことを書くのがそもそもダメなんじゃね?w
587:132人目の素数さん
20/05/09 16:03:21 7daEyNzb.net
本筋に関係のないことを論文に書くのは問題では
だったら数学論文におすすめのスポットとか書いても査読を通すのかという話になる
588:132人目の素数さん
20/05/09 16:21:55 whHO+5bV.net
URLリンク(twitter.com)
『文藝春秋6月号』にインタビュー記事載りました↓ 「ABC予想証明」天才数学者・望月新一とは何者か|加藤文元
(deleted an unsolicited ad)
589:132人目の素数さん
20/05/09 16:23:35 cNDZCjvf.net
どうでもいい部分で鬼の首を取ったようにさわぐのは
自分が馬鹿だと宣伝しているようなものだからやめた方がいいと思う
590:132人目の素数さん
20/05/09 16:30:47 hgyGtPgP.net
>>562
それなんだよな。
今回のはIUTが正しい正しくない以前に
「これまともに査読してないだろ」という空気があるのがよくない。
591:132人目の素数さん
20/05/09 16:32:24 bijIFi3Y.net
要するにIUT4章って「欅坂46のサイレントマジョリティーから着想を得ました。欅坂46とは……」と書いてあるようなもんだろ?
数学論文でこれを通すのがどうでもいいっていうのはちゃんちゃらおかしいと思うが。
592:132人目の素数さん
20/05/09 16:34:09 cPsklcPa.net
LabCuspの話題を無視するところを見ると、ちゃんと論文読んでないな。
593:132人目の素数さん
20/05/09 16:37:29 j9hCxaDC.net
>>566
で「ZFCの公理は九つではない」というのは
「は?欅坂?笑わせるな BABYMETAL最高!」
とかいう難癖とは異なる
594:132人目の素数さん
20/05/09 16:38:47 j9hCxaDC.net
>>567
自分が書けばいいのに
595:132人目の素数さん
20/05/09 16:39:49 h7oR9vR0.net
>>568
おなじだな
本筋と関係ないことが論文に書いてあるんだから
公理の数は本筋と関係ないと主張すればするほど、
じゃあそこをカットしろよという反論になって返ってくるよ
596:132人目の素数さん
20/05/09 16:39:54 hwkE6XtS.net
>>559
「ZFCは9個の公理から成る」これは間違った主張ではないよ
「ZFCは9つの一階述語論理の閉論理式から成る」と言ったら間違いだけど
597:132人目の素数さん
20/05/09 16:42:39 hY/5YyVW.net
本筋と関係ないことが不正確に書いてある
↓
いまじぶんが理解できないこともそれなんじゃないかという疑念が出る
↓
フォローする気をなくす
598:132人目の素数さん
20/05/09 16:43:13 j9hCxaDC.net
>>571
>「ZFCは9個の公理から成る」これは間違った主張ではないよ
正しくもない
強いて言えば「間違ってすらいない」
欅坂でいうと「平手友理奈はカリスマ!」みたいなヲタ発言か
599:132人目の素数さん
20/05/09 16:46:10 j9hCxaDC.net
あ、字間違ってましたw
誤 「平手友理奈はカリスマ!」
正 「平手友梨奈はカリスマ!」
ここでいってはいけない一言
「わかると思うが」
600:132人目の素数さん
20/05/09 16:46:50 WQU2S1JU.net
>>503
渕野さん厳しいなw
「バナッハタルスキーの定理は証明されたと考えられている」と書いているから、
木村俊一は定理の証明を
601:ちゃんと理解していないらしいとこきおろしているが、 「ショルツから反論がなかったので、IUTは正しいと判断した」と発言した玉川さんは、 もちろんIUT論文を理解していないわけだw
602:132人目の素数さん
20/05/09 16:48:44 /gPwFwIn.net
>>575
あれほんとに意味不明だった。
ショルツから反論があるかどうかって査読となにも関係ないのにな。
603:132人目の素数さん
20/05/09 16:51:22 xsXiYi/a.net
>>573
一階述語論理でZFCを厳密化する前からZFCはある訳で、厳密化される以前や高階述語論理まで加味すれば「9個の公理」と言うほうがむしろ自然に思うけどね
604:132人目の素数さん
20/05/09 16:55:20 j9hCxaDC.net
>>575
>渕野さん厳しいな
あ、でも、木村俊一の本はいろいろヒドイ
これマジで怒ってるよ
玉川氏の回答は明らかに官僚の答弁
ほんと誰が査読したんだろうな?
605:132人目の素数さん
20/05/09 16:57:13 /BYRDNlz.net
>>324
>テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが(中略)
>案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる
タオの指摘内容を知らせない(>>533)だけでなくて、調べたら「最終版が指摘に対応済」ではないか。
上記のような惑わしはヤメロ! 皆の時間の無駄だ。
「最終版を読んでも、タオの投稿版の指摘が訂正済だったら、何か問題か特定できない」のが当然でないか!!!!
・投稿時IUT‐?:URLリンク(www.kurims.kyoto-u.ac.jp)
・最終版IUT-?:URLリンク(www.kurims.kyoto-u.ac.jp)
投稿版と最終版の差分は、以下の1~3である。
1.下記の「断り書き」を追加 ←あまり重要ではない。
・【最終版頁67行2】" albeit from an extremely naive/non-expert point of view, relative to the theory of foundations! "
・【最終版頁67行6】"[i.e., mathematicians who are not equipped with a detailed knowledge of the theory of foundations!]"
・【最終版頁68行7】”in the context of the present series of papers"
606:132人目の素数さん
20/05/09 16:57:50 /BYRDNlz.net
2.おそらくタオ指摘で削除した部分 【最終版頁68行10】 ← 重要
・Although we shall not discuss in detail here the quite difficult issue of whether or not there actually exist ZFCG-models,
we remark in passing that one may justify the stance of ignoring such issues — at least from the point of view of establishing
the validity of various“final results”that may be formulated in ZFC-models -の後、
・投稿版:by invoking a result of Feferman [cf. [Ffmn],§2.3] concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”.
・最終版:by invoking the work of Feferman [cf. [Ffmn]].
Precise statements concerning such issues, however,
lie beyond the scope of the present paper [as well as of the level of expertise of the author!].
3.「言いたかったこと」を言い直した追記 【最終版頁68行15】
, with the following proviso: In the following discussion, it should be understood that every set-theoretic formula that appears is “absolute” in the sense
that its validity for a
607: collection of sets contained in some universe V relative to the model of set theory determined by V isequivalent, for any universe W such that V ∈ W , to its validity for the same collection of sets relative to the model of set theory determined by W [cf., e.g., [Drk], Chapter 3, Definition 4. ひどいガセネタだよ。これは。 (怒)
608:132人目の素数さん
20/05/09 16:58:40 j9hCxaDC.net
素人の「自然」は、見当違いだから無意味
残念な「自然」の例
・平面上で交わらない二直線の距離は一定、と考えるのが自然
・時刻は誰にとっても同じ、と考えるのが自然
こんな言葉で非ユークリッド幾何や相対性理論が否定できるなら苦労しない
609:132人目の素数さん
20/05/09 16:59:21 /gPwFwIn.net
>>579
>albeit from an extremely naive/non-expert point of view, relative to the theory of foundations!
もうこの時点で論文のスタイルをなしてない。
これでは日記帳だ。
610:132人目の素数さん
20/05/09 17:03:01 xDJzJeu4.net
じゃあはっきり言うが、公理が9個って話とひとつの公理をひとつの閉論理式で書けるかって話を勝手に混ぜこぜにしてるのがおかしいんだよ
「公理=一階述語論理の閉論理式」という思い込みをしてるんだろうね
611:132人目の素数さん
20/05/09 17:05:57 jgM/AhDP.net
>>502でも>>527でも書いたけど、これは「公理が9個」という書き方それ自体が
正しいか間違いかの問題ではなくて、
・「公理が9個」という書き方をする著者を、読者が怪訝な顔をせずに信用できるかどうかの問題
だということ。そして、怪訝な顔をして不信感をあらわにしている読者が少なからずいるということ。
そういう読者に対して「難癖だ」という反論はナンセンス。なぜなら、「難癖だ」という反論によって
読者の不信感が払しょくできるわけではないからだ。依然として、読者の不信感はぬぐえない。
たとえば、複素関数論の文脈で、複素変数を表すのに z や w ではなく x を使っている
危なっかしい著者がいたとすると、ほとんどの読者は不信感を抱き、著者は信用を失う。
「それは難癖だ。複素変数に x という文字を使っても論理的には間違ってない」
という反論をしてみたところで、著者の信用が取り戻せるわけではない。
確かに x という文字でも論理的には間違ってないが、論点はそこではなく、
「複素変数に x を使うという書き方そのものに読者は不信感を抱いている」という生理的な側面が
問題なのである。これに対して「難癖だ。論理的には間違ってない」という反論の仕方では的外れで、
読者の信用は取り戻せない。そして、信用を取り戻せる唯一の方法は、x ではなく z に書き換えること。
IUTの場合は、「公理が9個」という書き方をやめること。
あるいは、そもそも4章終盤は書かなくていいのではないかということ。
612:132人目の素数さん
20/05/09 17:11:15 j9hCxaDC.net
>>583
ところで、置換公理があれば、分出公理は要らないってのは知ってる?
613:132人目の素数さん
20/05/09 17:12:21 bijIFi3Y.net
>>580
どうも2020/04/22に更新したみたいだな
流石にチェックしてなかったわ、すまん
きちんと「非専門家の意見として」と注意を入れて、難癖扱いするのではなく訂正するのは、「数学的真偽」についてきちんと真摯に向き合ってる優秀な数学者だと思った
まあ「だったら論文に書かなくていいのでは」と思わざるを得ないが、査読時にカットしてる可能性も出てきたなこれは
614:132人目の素数さん
20/05/09 17:13:30 U8sKgosT.net
論文に「これは非専門家の意見であるが」なんて書いてあったらその時点でリジェクトだと思うが
615:132人目の素数さん
20/05/09 17:14:37 JNaCPHC5.net
>>584
公理の件はむしろ突っ込んでる人の半可通ぶりから来てる混乱としか思えんのだが
「公理が9個」これは実際~axiomと名の付いた公理9個からZFCが作られてるから問題ない
公理の数の話と、表現する論理式の数の話を混同してしまってる人がおかしい
あと少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか?
616:132人目の素数さん
20/05/09 17:15:49 bijIFi3Y.net
>>587
その通り
ただ査読論文はカットしていて、あくまで好意でネットに上げてるペーパーには「欅坂46めっちゃ可愛い」と書いてあるだけであれば、非難することではないかなと思う
査読論文の公開が待たれるな
617:132人目の素数さん
20/05/09 1
618:7:17:05 ID:U8sKgosT.net
619:132人目の素数さん
20/05/09 17:17:42 j9hCxaDC.net
>>588
論理に関して不可通な人が云ってもねぇ・・・
別に同値な別の公理に置き換えてもいいんで
そもそも個数に意味ないんだよね
だから書く必要ないっていってるんだけどね
どうしても書きたい理由って何?
もうマウンティング失敗してるけど
620:132人目の素数さん
20/05/09 17:17:43 xDJzJeu4.net
>>585
うん
621:132人目の素数さん
20/05/09 17:18:20 nrsDAk2r.net
だから査読に出した版をfixed版にしてarXivにあげとけって話だったのに、
なんで大学院生でも守れることを守らないんだろうか
622:132人目の素数さん
20/05/09 17:18:29 j9hCxaDC.net
>>592
じゃ、1個減ねw
623:132人目の素数さん
20/05/09 17:19:43 bijIFi3Y.net
>>590
間違いは誰にでもあるもので、非専門家で分からないことがあるということにさえ気づいてないということも多々ある
最終的に修正すればそこはいいと思うがな
624:132人目の素数さん
20/05/09 17:21:04 nrsDAk2r.net
>>595
査読版とネット版がちがうというのはまちがい云々のレベルじゃなくて詐欺だよ
ネット版をみて議論してるのに査読版は違うんだとか言われたらみんな怒るわ
625:132人目の素数さん
20/05/09 17:21:32 j9hCxaDC.net
あくまで脱線
>>589
>「欅坂46めっちゃ可愛い」
可愛いと思ったコは菅井以外みんなやめちった
ずーみん、ねる、すずもん・・・なんでだ
#てちはただのガキ
626:132人目の素数さん
20/05/09 17:21:53 LAn/L3vw.net
>>591
こうなってくると難癖としか思えないんだよね
あなたが論文の書き方に不満なのは分かったけど、私は別に変と思わない
627:132人目の素数さん
20/05/09 17:23:12 tUatUVy2.net
難癖つけるのは勝手だし好きにすればいいけど、それ難癖だよと言われてムキーて怒っちゃうのわな
628:132人目の素数さん
20/05/09 17:23:27 LAn/L3vw.net
>>594
え?置換公理を分出公理の替わりに置くなら結局9個では?
629:132人目の素数さん
20/05/09 17:24:06 j9hCxaDC.net
>>598
>私は別に変と思わない
そりゃ・・・君が集合論、いや論理に無知だからさ
無知こそ正義とかいわれてもねぇ・・・
630:132人目の素数さん
20/05/09 17:28:55 pjBbzAGT.net
>>601
無知と言うならその無知を指摘してくれないと誰にも伝わらないよ
631:132人目の素数さん
20/05/09 17:31:00.89 j9hCxaDC.net
>>602
甘ったれてるね
632:132人目の素数さん
20/05/09 17:37:54.69 G1CYiQB/.net
>>593
fixed版という概念がないのだろう
633:132人目の素数さん
20/05/09 17:50:58 pH2Ybl00.net
ペレルマンのときは少々間違っていても文句でなかったのに、徳のなさを感じるわ。
まあ、これまでの経緯を見ると仕方ないけどね
634:132人目の素数さん
20/05/09 17:57:38 /BYRDNlz.net
>>588
ZFCの話は、2012年のタオの指摘に乗っかって、
>>324が
>案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる
と書いてガゼで主張しただけだよ。
IUT-4で以下を修正しており、指摘で修正が必要であったのは、この箇所だよ。
concerning the “conservative extensionality” of ZFCG relative to ZFC, i.e.,
roughly speaking, that“any proposition that may be formulated in a ZFC-model and,
moreover, holds in a ZFCG-model infact holds in the original ZFC-model”
>ZFCの9個の公理
のIUT-4の記載部分は、投稿版も最終版も、以下記載だったが、修正されてないので此処は問題でないよ。
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice - cf., e.g., [Drk], Chapter 1, §3].”
だいたい [Drk], Chapter 1, §3].の出典元の引用で、些末なことで、タオが此処を問題しないと思うよ。
だから確認したら、此処とは違うところの指摘だよ。
>ZFCの9個の公理だの間違えまくってる、は、>>324の意見に過ぎないよ。
それにタオの指摘で直ってなければ、>>324氏ではなくて、
Woitブログ等が「タオ指摘の誤りが直されてない、査読おかしい」と騒いでいるよ w
635:132人目の素数さん
20/05/09 18:00:36 j9hCxaDC.net
>>605
ペレルマンは余計なこと書かなかったし
リッチ=フロー法も、すでにハミルトンが考えたものだったからな
望月の場合は、事情が全然異なる
自分勝手な方法をいきなり提案したんなら
丁�
636:Jに説明するのが当たり前 理解を読者に丸投げするのは自分勝手 そういうところが嫌われる 望月、アメリカでなんかあったのか?
637:132人目の素数さん
20/05/09 18:02:58 bkFpRS9Z.net
分かってないやつがいると思うが平手は史上稀に見るクズだからな
数え切れないサボり
ドタキャン
仕事の拒否
リハーサルをすっぽかしてディズニーで遊び。それを武勇伝として嬉嬉として語る
MV撮影を拒否して勝手に帰宅
武道館ライブをキャンセルに追い込む
新曲リリースを拒否
ついにソニーミュージックに多大な損害を与えたことでクビ
638:132人目の素数さん
20/05/09 18:53:56 j9hCxaDC.net
ま、みんな知らないと思うけど、SU-METALはポンコツ
・靴を左右逆に履いて、人に指摘されるまで気づかない
・ダンスはキレッキレなのに、自転車には乗れない
・CDのDって何?と聞かれてデロリアンと答えた
ちなみに、乃木坂46にいた姉は頭もいいし運動神経もある
URLリンク(www.youtube.com)
URLリンク(www.youtube.com)
639:132人目の素数さん
20/05/09 19:44:50 cPsklcPa.net
Label+Cuspなはずなので調べてみた。
>ラベカスプ に一致する情報は見つかりませんでした。
640:132人目の素数さん
20/05/09 23:14:14 N2l7VLsN.net
文藝春秋読んだけど、
九割以上これまで知ってるネタの
使い回しだった
Bさんはいい加減新しいネタ仕入れて欲しい
641:132人目の素数さん
20/05/10 00:28:24.99 H/PeN8WT.net
2020/4/30
2020年度訪問滞在型研究計画
「宇宙際タイヒミューラー理論の拡がり」(代表者:望月 新一)は感染症予防のため中止となりました。
642:132人目の素数さん
20/05/10 00:53:23.31 UEkZZYE2.net
>>607
>望月、アメリカでなんかあったのか?
なきゃあんな態度とらないよなぁ……
643:132人目の素数さん
20/05/10 00:54:36.64 H/PeN8WT.net
>>606
> 投稿版も最終版も
PIIMSの投稿規定と編集規定を公開
しろよな。
644:132人目の素数さん
20/05/10 00:56:22.44 H/PeN8WT.net
>>614
文字化け
PIIMS→PRIMS
645:132人目の素数さん
20/05/10 01:08:10 lr1QvSh+.net
簡単だよ横取りされるからだよ
ワザとわかりにくくして説明もしない
646:132人目の素数さん
20/05/10 01:47:24 wJ/tXnk8.net
ハーフで頭脳明晰すぎると、アメリカでも日本でも中高ではいじめられそう
647:132人目の素数さん
20/05/10 01:53:46 iTOLzEvs.net
IUTはCOVID19の感染より
Tウイルスの感染症状だ
強い感染力 変異化
パラダイムが全く違う言語
治療法なし
648:132人目の素数さん
20/05/10 02:35:19 nGu7yYOx.net
>>609
まるで分かってないな
SU-METALはポンコツではない
真逆であり、彼女の突出した有能さと天才性がBABYMETALを成功に導いたんだよ
実際 SU-METALとしてポンコツな場面なんて皆無だよ
さくら学院での中元すず香としてのエピソードによる印象操作が一つの原因になってる
さくら学院を作ったのは武藤彩未を売り出すのが目的の一つで、その為に彩未上げ中元下げの「演出」がなされた
それが千葉プロデューサーの意図だった
それと中元すず香自身がさすがにテンパってしまう厳しい環境に置かれたことが2つ目の要因だ
1.
649:広島の地元の中学の勉強や各種行事 2.中学の部活動(バスケット) 3.広島でのアクターズスクールのレッスンや公演 ↓ これらをこなした上での毎週の上京 4.さくら学院のレッスンや公演 5.BABYMETALのレッスンや公演 それでなくても成長期で体の成長で不安定なのに、これだけのタスクをこなしていたわけだよ 普通の中学生は1と2だけでも根を上げてるのがいるのに、さらに3、4、5を同時にこなした いくら中元でもさすがにテンパるよ エピソードの多くはこうした過負荷な環境の元で生み出されたことを理解しないといけないよ さすがに中3からは東京に引っ越して過負荷とはお別れした後は生徒会長として見事なリーダーシップを発揮した あなたは見識に欠けた方だね 残念なメイトさんだ
650:132人目の素数さん
20/05/10 07:09:18 Qk2N5gA9.net
そんな話を熱く語る輩が数学板に二人もいることに驚きだ
651:132人目の素数さん
20/05/10 07:10:59 GlqIB1Mz.net
ぽんこつ好きなんだろ
ぽんこつフェチだよ
652:132人目の素数さん
20/05/10 07:14:45 GlqIB1Mz.net
もっちーが呼んじゃうんだろ
「がっきーが好き」だの
「欅坂ファン」だのって
カムアしてたからね
653:132人目の素数さん
20/05/10 07:47:15 vZYbiwt9.net
>>619
現人神であるSU-METALこと中元すず香について
ここで語り合える仲間がいるなんて嬉しいな
ただ、一言いわせてもらうと
ポンコツは決してディスリスペクトではない
リスペクトなのだよ
中元すず香の原点、それは「私には歌しかない」
二人の優秀な姉に比べて自分には誇るべきものがない
そうおもっていた中元姉妹の三女、すず香にとって
歌は唯一自分の生きがいとなるものだったんだな
ついでにいうと、武藤彩未も学年末テストでボケまくってたぞw
アインシュタイン知らなかったとか・・・ま、演技だろうけどw
ついでにいうと、今、BABYMETALで一緒にやってる
元モー娘。の鞘師里保もポンコツだ
あんなにダンスがキレッキレなのに
何もないところでスッ転ぶとか
数々のボケをかましまくっているw
優秀な才能が与えられる者は、失うものも多い
これが現実 同じメイトとしてぜひ理解してほしいね
ちなみに中元すず香がさくら学院第2代生徒会長として
頑張ったことは承知している
654:132人目の素数さん
20/05/10 08:34:25.67 4UvjL26b.net
ヒント; Skolem
655:132人目の素数さん
20/05/10 08:36:28.30 vZYbiwt9.net
参考動画
生田絵梨花『みんな嘘ばっか』ありのまま生ちゃんw
URLリンク(www.youtube.com)
656:132人目の素数さん
20/05/10 09:01:47.71 he+CPLp2.net
>>606の書き込みがあってから、急にこのスレの内容がなくなったな
657:132人目の素数さん
20/05/10 09:17:48 ANF/kJTD.net
>>586
>どうも2020/04/22に更新したみたいだな
>流石にチェックしてなかったわ、すまん
4月3日に会見した後で、2012年のタオの指摘を修正した、と言いたいのかな?
下記の修正リストで、4/22は他でのmisprint修正。
ついで見だけど、2019年以降のIUT-?修正の数件も違う箇所で、1年以上の前だよ。
あと、出版するなら、出版前の校正による語句訂正は通常と思うが。
URLリンク(www.kurims.kyoto-u.ac.jp)
それに、タオの2012年の下記の指摘の修正は、
>there appears to be an inaccuracy in a remark in Section 3, page 43 of that paper regarding the conservative nature of the extension of ZFC by the addition of the Grothendieck universe axiom"
以下文節を1つの削除と追記で、数行にすぎないから、2012年指摘から修正に8年もかけたりする?
>concerning the “conservative extensionality” of ZFCG relative to ZFC,
>i.e.,
658:roughly speaking, that“any proposition that may be formulated in a ZFC-model and, >moreover, holds in a ZFCG-model infact holds in the original ZFC-model” 上記で「タオの指摘の修正」は確認はしたけど、>>324氏がタオの指摘に乗った違う箇所での「公理が9個」のギャップで、 「査読がおかしい」と主張された箇所は、IUT-?の最終版で特に修正されてないのは、ご説の通りで確認しましたよ。 ([Drk], Chapter 1, §3].の出典元の引用で、投稿版と最終版も同じまま) この引用した出典元でのギャップ指摘は、>>533氏の通り、と考えます。 >少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか?
659:132人目の素数さん
20/05/10 09:43:28 GlqIB1Mz.net
>>626
IUT論文を
「もっちー以上の能力
∨彼以上に時間を掛けて
∧彼以上に数学者人生を掛け
真摯に向き合ってる」
アンチなんて1人も居ないんだろ
660:132人目の素数さん
20/05/10 09:44:52 tIyT6EG+.net
しかしそういう落ち度は別に本筋には関係ないでしょ。それこそ理論が正しそうに見えたら
集合の認識自体が後追いで変わるだろうし、現にそれを狙ったわけだよね
(lab)cuspってのは別の意味でも非常に示唆的な考え方。そもそも何故数論でカスプが重要なのか
直接関係ないけど、ラングランズ対応と遠アーベル幾何の関係を考える上で参考になる
661:132人目の素数さん
20/05/10 09:52:42 GlqIB1Mz.net
>>596
>みんな怒る
(だの…"ショルツェガー"団とか…)
あなたは?
662:132人目の素数さん
20/05/10 09:58:00 GlqIB1Mz.net
憶測 ∧ ミンナガー!
ショルツェガー!!
コミュニティガー!!!
薄ッ! w
663:粋蕎 ◆C2UdlLHDRI
20/05/10 10:34:54 9DDwSwNg.net
数学板を荒らすなと言っていた60歳近い人間が数学板を荒らしとる…
664:132人目の素数さん
20/05/10 10:46:43 V5ic7h6H.net
公理が9個連呼おじさんどこ行った?w
665:132人目の素数さん
20/05/10 11:00:18 JcyWczgJ.net
公理9個うるさいよな。集めたら神龍出るのかよ。
666:132人目の素数さん
20/05/10 11:01:13 k326TTE9.net
>>629
本筋に関係のないことなら書かなくていいのでは?
本筋に関係のないことなら認識が後追いで変わることもないのでは?
667:132人目の素数さん
20/05/10 11:12:25 k326TTE9.net
(前略)
ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、
著者が数理論理学について理解をしていない可能性があるという意見がある。
(ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。)
URLリンク(ja.yourpedia.org)
2014年には既に指摘されているようだな
現時点でまだ修正していないのであれば、匿名じゃない人が指摘していないから気づいていない、という推測が出来る
まあ正当性と関係ないなら幾度となく言われてるがカット不可避なのだが
668:132人目の素数さん
20/05/10 11:19:29 Ug02vDRY.net
匿名の人の意見が正しいとも限らんがな
669:132人目の素数さん
20/05/10 11:40:41 R8uGa3EF.net
質問
テレンスタオとガウスはどっちが頭良いの?
ガウスが多方面で業績出せたのは時代のおかげであってトップレベルの実力は今でも変わってない?
670:粋蕎 ◆C2UdlLHDRI
20/05/10 11:44:48 9DDwSwNg.net
時代評価は時代評価じゃろ
時代が違う者同士で絶対評価しても仕方なかろう
671:132人目の素数さん
20/05/10 11:51:53 GlqIB1Mz.net
>>632
(IUTについて専門的な議論が出来ないなら嵐と変わりない)
との境地に達されて悟りでも開かれたのでしょうか…
彼は御仏の境地に至りつつあられるのかも知れませんね…
俗人の案ずるに及ばない処に至っておいでなのかも知れません…
静かに見守って差し上げましょう…
672:132人目の素数さん
20/05/10 14:45:54 x8XY47ji.net
>>638
純粋に数学的能力を比較するならタオはガウスには及ばない。
おそらくタオでもガウスの半分程度の才能。
それ程にガウスは凄い。
ちなみに現存する数学者でガウス、ニュートン、オイラーに数学的才能で並ぶものはいない。
673:132人目の素数さん
20/05/10 14:47:17 x8XY47ji.net
>>638
ちなみにタオは典型的なプロブレムソルバー。
もちろん飛びっきり超優秀な。
674:132人目の素数さん
20/05/10 15:09:02.45 og/WaHnn.net
今一番ガウスっぽいのってコンツェビッチあたりだと勝手に思ってるわ
675:132人目の素数さん
20/05/10 15:38:43 OFUy+/WK.net
>>641
理由はなんだろう
676:132人目の素数さん
20/05/10 16:08:37 UV4h2Mc7.net
業績見たらふつうそう思うと思うが
677:132人目の素数さん
20/05/10 16:15:40 MYhsrRms.net
同じ天才でも桁が違うか
タオは10年に1人
ガウスは100年に1人
678:132人目の素数さん
20/05/10 17:03:08 tIyT6EG+.net
>>641
創造性の問題でしょ。理解能力は別にそこまで違わないんじゃないの
タオよりコンツェビッチやコンヌのほうが創造性は高いと思う
679:132人目の素数さん
20/05/10 18:09:45 F6ksrVqy.net
タオの「問題の解き方」は本当に素晴らしいと思う
680:132人目の素数さん
20/05/10 18:31:05.03 tIyT6EG+.net
フィールズ賞は問題解決が得意な人が基本的に貰うもので、その中に創造と両方できる人がいるって
ことだろうけど、テイラーや張みたいな人がいるので「40歳までに運良く大問題を解けた人」と言ったほうが
段々よくなってきてるね。数学は複雑になってるから。Laumonも貰ってなかったか?弟子のBaoは貰った
>>635
数学的実在についての考え方を書いたわけであって、別に書くのは自由なのではないか?
本筋ってあくまで数論とabc予想の具体的証明の話よ。だから具体的証明を示したつもりの上で、
こういう考え方はどうかって提案してるわけでしょう
681:132人目の素数さん
20/05/10 18:44:36.88 3jiI6cdk.net
それはもう蒸し返さない方がいい
またわらわら湧いてくるから
682:132人目の素数さん
20/05/10 19:39:08 F6N/XZbc.net
>>649
少なくとも査読雑誌では弾かれる案件だろ……
心の一票に書けばいい話
683:132人目の素数さん
20/05/10 19:42:57 4M7s5hfJ.net
>>651
それを判断するのは査読者であって君ではない
684:132人目の素数さん
20/05/10 19:44:21 F6N/XZbc.net
>>652
?
そしたらこのスレいらないじゃん
匿名民が話すことなど何もない
685:132人目の素数さん
20/05/10 19:46:36 4M7s5hfJ.net
>>653
他のこと話せばいいじゃん
もしそれしか話したくないなら、確かに君には書くことないかもね
686:132人目の素数さん
20/05/10 19:48:24 UV4h2Mc7.net
>>653
べつにふつうにあるのでは?
査読者がおかしいという外部の批判は成り立つからね。
査読者がおかしいかどうかを決めるのは査読者自身ではないから。
687:132人目の素数さん
20/05/10 19:49:23 e5fv2i7f.net
査読権限があるのは査読者だが、査読者はそれを口実に査読に対する批判を封じ込める権限は持たない
688:132人目の素数さん
20/05/10 19:52:27 4M7s5hfJ.net
その批判が成り立つのは十分内容を理解してる場合のみだな
689:132人目の素数さん
20/05/10 19:55:03 F6N/XZbc.net
そしたら望月の身内しか書けないな
IUTの内容を理解してるの身内以外いないし
690:132人目の素数さん
20/05/10 19:56:59 F6N/XZbc.net
理解しているのは身内しかいない
→身内しか批判が成り立たない
→身内が結託して証明できたことにする
まさに補題3.12である
691:132人目の素数さん
20/05/10 19:57:19 tIyT6EG+.net
>>651
基礎論に関する記述ミスはチェックされたほうがいいというのは理解できるが、
もし証明が正しいなら別にあっても構わないし有用なセク
692:ションだったはずだろう 実際に査読も通ってしまっている。従ってあのセクションを外野がわざわざ否定する必要がない つまり、それは証明が怪しいと思う視点だからこそ出てくる批判
693:132人目の素数さん
20/05/10 20:02:24 JO5jxqcd.net
証明があやしいから批判されてるんだからどうしようもなくね?
むしろなんでこれで正しそうって流れになるのかわからん
694:132人目の素数さん
20/05/10 20:05:06 JO5jxqcd.net
ちなみにこれを覆すにはだれか外部にむけてわかりやすく説明するしかないよ
695:132人目の素数さん
20/05/10 20:08:37 4M7s5hfJ.net
ある程度理解して言ってるならいいんだけど、5chの発信者すらよく分からんレスの受け売り言ってるだけでしょ
そんなん判断するに足る能力がないじゃん
696:132人目の素数さん
20/05/10 20:18:07.05 ADuv42ka.net
そんなこと言い出したらSTAP細胞がなぜないのか、
を説明できるやつだって当時いなかったじゃん
でもあれは手続き的なことと周囲の反応がおかしいからそれでわかる
697:132人目の素数さん
20/05/10 20:19:36.32 uF0p6rGG.net
そもそもたかが5ちゃんだと思うならほっときゃいいと思うんだが
マスコミのほうが冷淡だからゴシップとして5ちゃんで擁護しないといけないとかならともかく、
5ちゃんで言われてる批判はnatureや朝日新聞とかに載ってるのと変わらんのだし
698:132人目の素数さん
20/05/10 20:21:35 CWzkYol1.net
偉い人が間違いだの正しいだのと言っているから間違いだの正しいだのと判断するのもおかしな話やね
証明をフォローできない我々は静観することしかできないのである
699:132人目の素数さん
20/05/10 20:23:16 uF0p6rGG.net
>>666
なにがおかしいんだ?
社会的評価ってそんなもんでしょ?
これがフェルマーの最終定理の簡単な証明スレにいるようなやつで、
在野で意味不明なこと言ってるんだから「ああそう」でいいが、
国立の研究機関なんだから手続き的なことは社会的評価に晒されるよ。
研究機関は民主主義の聖域ではない。
700:132人目の素数さん
20/05/10 20:26:58 4M7s5hfJ.net
>>665
マスコミとかは別に論ふのこの内容を省くべきとかそんなことまで言ってないんじゃね
違うって意見がありますと言っててそれなら俺もそうかなと思うけど
701:132人目の素数さん
20/05/10 20:29:59 XrpHBNKk.net
まあもう擁護のしかたとして外野は黙ってろしかできないからね
まえまでならマスコミも好意的だったが今回は手のひら返しされてるので、
もう擁護ために使えるソースがないし
逆にいえば懐疑派はIUTを状況証拠的に追い詰め終わってるので、
あとはRIMSが出版するという暴挙に出ないか監視するだけだわな
702:132人目の素数さん
20/05/10 20:32:34 XrpHBNKk.net
8年間ずーっと批判し続けたかいはあったと思う
8年間掲載は見送られ続けたし、今回もEMSがやめたほうがいいと言ってくれている
703:132人目の素数さん
20/05/10 20:35:04.74 4M7s5hfJ.net
>>670
それ何度か聞いたことあるけど、ソース知ってたら教えてほしい
704:132人目の素数さん
20/05/10 21:10:44.99 JcyWczgJ.net
8年批判とかwww
705:132人目の素数さん
20/05/10 21:27:36 tIyT6EG+.net
>>661
いや660は形式的な話をしてんの
勿論証明が間違ってる疑いがあったら最終セクションも不要なんじゃって話になるが、その場合も本題ではない
706:132人目の素数さん
20/05/10 21:55:57 x8XY47ji.net
>>646
タオは20~30年に一人はでるくらいの才能。
ガウスは200年に一人でるかでないかの才能。
次元が違うよ。
>>647
あと佐藤幹夫な。
グロモフが日本の数学者の印象を聞かれたときに真っ先に佐藤幹夫の名前を
上げたそうだよ。
イマジネーションに富んだ数学と評してる。
かなり前に佐藤のインタビュー記事が新聞に載ったが、その時の記事の内容な。
707:132人目の素数さん
20/05/10 21:57:24 x8XY47ji.net
>>669
もう出版は止められないだろうね。
これで日本の数学
708:界は世界に恥をさらすことになる。
709:132人目の素数さん
20/05/10 21:58:16 x8XY47ji.net
>>644
ガウスが二十歳かそこらでやったことを考えてみ?
710:132人目の素数さん
20/05/10 22:05:24 V+cBk/Dw.net
>>675
その前にスキャンダルになって掲載中止になるんじゃないかなあ
711:132人目の素数さん
20/05/10 22:15:48 MmrWQC5e.net
まあ出版されても2015年にラガリアスが言ってるように、
どの雑誌に載るかは影響を与えると思うけどね。
PRIMSに掲載された場合は無視されるんじゃない。
712:132人目の素数さん
20/05/10 22:17:13 mJQc0682.net
主語がでかすぎるだろ
仮に出版されたとしてもRIMSの信用度が失墜するだけ
713:132人目の素数さん
20/05/10 22:20:37 x8XY47ji.net
>>677
今からでもRIMSは論文掲載を撤回すべき。
714:132人目の素数さん
20/05/10 22:21:27 x8XY47ji.net
>>679
その通り。
信用はガタ落ちで世界から相手にされなくなる。
715:132人目の素数さん
20/05/10 22:38:47 vW4pn5EU.net
>>676
平方剰余の相互法則←予想したのはオイラー
素因数分解の一意性←フォーク(伝承)としては存在していたらしい
素数定理←予想したのはルジャンドル
楕円関数←発見したのはアーベル
モジュラー形式←ガウスによる新発見
こんな感じ?
いや勿論予想を解くのも既存の理論を発展させるのも一つ一つ大変で、多くこなすのも天才だが、
テレンス・タオを超えるか?と言われると微妙な気がする
716:粋蕎 ◆C2UdlLHDRI
20/05/10 22:49:25 9DDwSwNg.net
あれ?佐藤の不等式ってなんだったっけ?
717:132人目の素数さん
20/05/10 22:53:00 4M7s5hfJ.net
>>682
代数学の基本定理とか正規分布の発見とかもガウスだな
結果があまりに偉大で普遍的なものだから、逆にガウスの名前ついてないのが凄い
718:132人目の素数さん
20/05/10 22:54:58 wJ/tXnk8.net
もっちーは何年に一人の才能なの?
719:132人目の素数さん
20/05/10 23:00:42 vW4pn5EU.net
>>684
代数学の基本定理は発見自体はジラールだな
ただ証明に不備があったのを指摘して書き直したのがガウス
そして正規分布を導入したのはド・モアブルだ
720:132人目の素数さん
20/05/10 23:14:18.56 4M7s5hfJ.net
>>686
別名ガウス分布というくらいだからガウスが発見したんかなと思ってたけど違うかった、ごめん
誤差に関する微分方程式たててそこから正規分布を導いたのか
721:132人目の素数さん
20/05/10 23:17:44.96 vW4pn5EU.net
>>687
名前が名前だから仕方ない
ガウスもテレンス・タオも偉大な天才であることには違いない
722:132人目の素数さん
20/05/10 23:38:13 TwU+Q9wE.net
ガウスはあの時代だから輝けた部分もあるだろう。
今の時代でタオほどの業績のこせるかわからない。
タオだって、ガウスの時代に生まれたとしてあれだけの業績を残せるかはわからない。
個人的には理論構築や洞察力はガウスだけど
幅広い知識や計算力を利用した問題解決能力ならタオっていうイメージ。
723:132人目の素数さん
20/05/11 00:03:55.53 s4nwdewx.net
はよ はよ はよ 勝利宣言
724:132人目の素数さん
20/05/11 02:00:21 OnBjjUaH.net
>>685
大学飛び級クラスだから、業界的には毎年100人出るぐらいの才能じゃないのか。
フィールズ賞をとって、数学では大型新人扱いだし。
725:132人目の素数さん
20/05/11 02:30:59 zUll5sXV.net
>>691
100人はないわ。志村以上だろ
726:132人目の素数さん
20/05/11 02:39:37 11c513jh.net
そんなもん
IUTが正しいかどうかで評価は
全然変わるだろ