20/05/08 00:03:30 FB+9/Zc+.net
>>362
本当にどうでもいい指摘しかできねえんだな
何で同じ場所にあるからって、俺が他の人の枝分かれしたレスまで読みに行かなくちゃいけねえんだ
どこまで追い詰められたらそんな下らないことが言えるんだ
で、関係ないことの指摘は君自身からはできないの？
383:１３２人目の素数さん
20/05/08 00:04:51 bog376Rl.net
追い詰められているのはiut
384:１３２人目の素数さん
20/05/08 00:08:07 FB+9/Zc+.net
>>364
それはその通りなんだけれど、ZFCが9個の公理からなるから間違ってるんだと一緒に出されると、それこそ、そのレベルのしょうもない間違いなのかなと勘繰ってしまうんだよな
あいにく俺はZFCGがZFCの保存拡大かどうかとか判断するレベルになくてさ
385:１３２人目の素数さん
20/05/08 00:09:57 MO0PPmSy.net
>>367
しょうもない間違い、とは？
数学では間違いの程度が低いから論証は成り立つとかはないけど？
386:１３２人目の素数さん
20/05/08 00:09:59 CQCFkNor.net
>>363
OK,分かった
君の主観では、論文の誤ってる箇所を指摘する行為は面白くない、ということだな
理解した
そして私の主観では、論文に関係ないことを載せて、しかも間違っているというのは良く分からない、ということだ
これでFAかな？
387:１３２人目の素数さん
20/05/08 00:10:33 t31dz+7K.net
だれか質問しなよ。間違ってると思うなら。
388:１３２人目の素数さん
20/05/08 00:14:22 FB+9/Zc+.net
>>368
ZFCが9個と考えて勘違いしてて犯してしまう間違いを何か具体的に教えてくれん？
基礎論を多少勉強しただけの俺だと何も想像つかん
389:１３２人目の素数さん
20/05/08 00:15:03 CEjMAogP.net
望月にお伺い立てる必要あるの？
望月が正しいって言い張ってもZFCの公理が９個になることはないんだから、
望月に質問する意味なくない？
390:１３２人目の素数さん
20/05/08 00:16:53 t31dz+7K.net
>>372
お伺いじゃなくて、そこ間違ってると思いますよ。でいいんじゃない。
391:１３２人目の素数さん
20/05/08 00:17:01 bog376Rl.net
質問じゃなくて尋問な
392:１３２人目の素数さん
20/05/08 00:17:33 FB+9/Zc+.net
>>369
いや、誤りを指摘するのは重要だと思うよ？
正直どう見てもどうでも良さそうな誤りをグダグダ掲示板で書くのはつまらねえなと思う
でさ、IV章が関係ないことを君の言葉でちゃんと伝えてくれない？
再三要求してるのに一向に君自身からの回答がないんだけど
393:１３２人目の素数さん
20/05/08 00:19:50 t31dz+7K.net
>>289
ABCじゃなかったら騒がなかっただけで、なんというか中途半端に専門（数論幾何）近くて
この論文でABCとか触られると、精神と研究計画に狂いが出るから、
とりあえず埋没してほしいと思ってる人は多いと思うんだけど。
物理・生物とかだと割とそういう政治あるけどw
数学は知らんw
394:１３２人目の素数さん
20/05/08 00:20:48 bog376Rl.net
一流雑誌では一瞥してタイポがあるだけでリジェクトなの
395:１３２人目の素数さん
20/05/08 00:24:15 t31dz+7K.net
いずれにせよ40過ぎて専門外の話を一ページから学部生みたいにセミナーで読むみたいなのは辛いのはわかる。
数学は門外漢だしこれは勘が、解析とかで分野に偏見ない人の方が応用例作れる可能性高い感じするな。
396:１３２人目の素数さん
20/05/08 00:25:39 YwOdwjHq.net
>>371
抜けてるのがWell-ordering theoremの場合、
宇宙の選択とかで使われてる集合の区別がつくというのが勘違いの可能性はあるよ
397:１３２人目の素数さん
20/05/08 00:28:10 YwOdwjHq.net
俺は逆に第4論文で考えていたことがCor3.12の致命傷になってるんじゃないかって立場なんだよね
第4論文のアブストラクトでは第3章までの議論の続きということになってるが
この疑念について俺が傾いているのはScholzeが言ってる内容とけっこうシンクロするから
つまり区別できないものを区別できてると勘違いしてるのが集合論の誤解に起因してるって可能性
398:１３２人目の素数さん
20/05/08 00:29:18 IU3jiVQk.net
間違いだとわかりきっているなら修正すればいいのに
399:１３２人目の素数さん
20/05/08 00:29:26 CQCFkNor.net
>>375
いやだからどうでも良い間違いを書くくらいならカットで良いのに何で残してるのかが謎って話な
数学上間違っているものをわざわざ掘り起こして好意的に解釈しようとしたのが>>326
400:１３２人目の素数さん
20/05/08 00:31:10 t31dz+7K.net
>>380
StixとPopという人も専門らしいけど彼らはどう見てるんだろう。
4が意外と重要なのか。
401:１３２人目の素数さん
20/05/08 00:34:38 YwOdwjHq.net
>>383
StixとPopは集合論の専門家じゃなくて遠アーベルでしょ？
StixとPopがそこの間違いかどうかは判定できないだろうし、
望月自身も集合論をちゃんと説明しろって言われたらできないと思うよ。
できるなら第4論文みたいなことにはなってないからね。
402:１３２人目の素数さん
20/05/08 00:35:13 IfhxurXg.net
URLﾘﾝｸ(www.quantamagazine.org)
Scholzeは、長い定理とその短い証明に困惑していた。
それは有効ではあるが実体のないものとして彼を襲った。
中間の2つの論文では、「ほとんど何も起きていないように見える」と後に書いている。
ショルツェは、第３の論文でコラーリ 3.12 にたどり着いた。
corollary 3.12は、これがabcの証明の核心であることが数学者の間で一致している。
これがなければ、"証明は全く存在しない "とカレガリは書いている。
当時まだ２４歳だったショルツェ氏は、証拠に欠陥があると信じていた。
しかし、彼は自分の考えを直接聞かれたとき以外は、論文についての議論にはほとんど口を出さなかった。
徐々に、様々な数論者がこのコロリーが引っかかっていることに気づくようになった。
そして2017年の終わりに、望月の論文が出版に向けて受理されたという噂が、広まった。
森重文は、ショルツに手紙を出して望月との会談を実現したいと申し出た。
ショルツェはスティックスに連絡を取り、3月に二人は京都を訪れた。
abc 仮定は、楕円曲線に関連する 2 つの量の間にある不等式を証明することに集約される。
望月の研究は、この不等式を別の形に変換したもので、
Stixは、2つの集合の体積を比較すると考えることができると言っている。
3.12では、望月がこの新しい不等式の証明を提示している。
この証明では、２つの集合の体積を、実数の２つの異なるコピーの中に住んでいるものと見なす。
集合の体積が互いにどのように関係しているかを追跡するには、
あるコピーの体積の測定値が他のコピーの測定値とどのように関係しているかを理解する必要がある。
望月のマッピングでは、測定棒はお互いに局所的に互換性がある。
しかし、円の周りを回ると、反対側に回っていた場合とは違うように見える測定棒で終わってしまう、とスティックス氏は言う。
体積測定におけるこの非互換性は、結果として生じる不等式が間違った量の間にあることを意味する、とショルツェとスティックスは主張している。
そして、体積測定値がグローバルに互換性を持つように調整した場合、不等式は無意味になると彼らは言う。
403:１３２人目の素数さん
20/05/08 00:36:48 FB+9/Zc+.net
>>379
ごめん、well ordering theoremて整列可能定理、つまり選択公理のことを言ってるんだよな？
何でそれがZFCから抜けるのか分からんし、前のレスとの繋がりも分からんし、「宇宙の選択で使われる集合の区別がつく」との繋がりもよく分からん
俺がアホすぎるだけかもしれないんだけど、もう少し説明してほしい
404:１３２人目の素数さん
20/05/08 00:38:04 bog376Rl.net
アホだと自覚してるなら、もう寝ろ
405:１３２人目の素数さん
20/05/08 00:43:02 FB+9/Zc+.net
>>382
その指摘がさ、枝葉末節にこだわっててつまんねーなと言ってるのさ
でさ、無関係であることの説明まだなの？
もうことここに至ってまでしないってのは「私はできません」と自白してるようなもんだと思うけど一応確認しておくわ
406:１３２人目の素数さん
20/05/08 00:43:57 YwOdwjHq.net
>>386
選択公理が抜けてると仮定するでしょ。
だったら選択公理と同値なAxiom of regularityも抜けるだろ？
で、Axiom of regularityが抜けたら∈-無限下降列の禁止が抜けるだろ？
∈-無限下降列が抜けたらa∈aが成り立つようになってしまう。
a∈aを認めてることが同一のものを異なるようにするトリックなんじゃないの、と。
407:１３２人目の素数さん
20/05/08 00:45:40 YwOdwjHq.net
でな、このa∈aはZFCの公理系では成立しないんだが、
585１３２人目の素数さん2020/02/11(火) 14:26:40.36ID:dsqej9cA>>763
>>580-581
IUT論文公開当時のエレンバーグのブログでフェファーマンの弟子が書いているのだけど
M氏は或る先行論文の脚注でZFCGはZFCの保存的拡大であると書いていたらしい（自分はその論文がどれか知りません）。
もちろん保存的拡大ではないのですが。
結局Stixが言うようにエッシャーの階段にしかなっていないのですよ。
M氏はsimulate a∈a、loops of mutations、simulate ∈-loopsは種の言語では成り立つと考えているようですが。
その節で名前の出ているKimですら分からないとMOで書いています。
なのよ。つまりZFCを誤解してるからa∈aが成り立つと思ってんじゃね？ってこと。
408:１３２人目の素数さん
20/05/08 00:46:37 YwOdwjHq.net
だからZFCについての誤解はなにかの抜けになってるなら致命的なのよ。
409:１３２人目の素数さん
20/05/08 00:54:37 YwOdwjHq.net
でな、さらに業界話をすると、このa∈aをむりやり成り立たせる議論はじつは00年代にあったんだが、
あんまりうまくいかなくて立ち消えてるわけよ。
なぜか？
それは自然数論の議論がAxiom of regularityが成り立たない領域には出ない
ということが分かってるからなわけ。
つまりAxiom of regularityを外して議論しないとできない自然数論はないの。
だからabc予想を解決するためにa∈aを成り立たせないといけないとしたら、
それは出発点をまちがってるんだよ。
410:１３２人目の素数さん
20/05/08 00:57:08 VeCIxYvH.net
なんで数理論理学乃至数学基礎論の奴らって上から目線なの？
自覚ある？
死ねよ
411:１３２人目の素数さん
20/05/08 00:57:37 t31dz+7K.net
>>385
こういう一般記事は今はもう読んだしいらんかな。
もっと専門的なのがききたいわ。
412:１３２人目の素数さん
20/05/08 00:57:42 FB+9/Zc+.net
>>389
ごめん、途中から入って勘違いしてるかもしれないが、選択公理を入れる入れないの話をしてる訳じゃないんだ
ZFC公理系のうち置換公理は論理式をパラメータとしてるから、公理の数としては無限になってしまうという話
ナイーブな言い方だが、イメージしやすいように誤解を恐れずいうと、公理となる論理式の集合そのものを濃度は無限であるのがZFC
それを9個の公理と言ってしまうと、あたかも有限の公理論理式の集合を考えてしまってるので、厳密に言えば間違い
ただそんなのハッキリ言ってZFCで論理を展開する上でさして気にするほどでもないと思うし、正直つまらん指摘だねと思ってる
413:１３２人目の素数さん
20/05/08 00:58:28 YwOdwjHq.net
だからScholzeがDupuyに対して、そもそも全単射だから選択の余地がないだろ、
って反論してるのはクリティカルだというのが俺の見解。
おそらくAxiom of regularityをおけば全単射になっているものを、
これを抜いて全単射じゃないと誤解してるから選択ができると思ってるんじゃないの、と。
例えば集合(a)と集合(a)は全単射だが、これを(a)と(a∈a)としたら外見上は全単射じゃなくなるわな。
でもa∈aは成り立たないから右はまちがいなの。
414:１３２人目の素数さん
20/05/08 01:00:42 YwOdwjHq.net
>>395
公理系�
415:ﾉ対する誤解があるんでしょ。 だから望月がZFCの公理系についてほかにも誤解してる可能性が消せない、 というのが俺の立場。 あんたが大したまちがいじゃないっていうのは勝手だが、 そういうレベルのまちがいしかしてないってのは断定できないだろ。
416:１３２人目の素数さん
20/05/08 01:05:57 FB+9/Zc+.net
>>389
正則性公理は選択公理と同値じゃねえよ馬鹿野郎
そもそも同値だったら、それこそZF公理からZFCが導かれるじゃねえか
こんなレベルの奴が基礎論部分に難癖をつけてるのか？？
ついでに指摘しておくと正則性公理を外したからってa∈aは成立するとは限らねえよ
∃a,a∈aも証明できん（そういうモデルがあるってだけ）
417:１３２人目の素数さん
20/05/08 01:08:29 FB+9/Zc+.net
>>397
あのさ、正則性公理と選択公理を同値と勘違いしてるバカは基礎論を語らん方がいいと思う
もはや何もわかってないに等しい
418:１３２人目の素数さん
20/05/08 01:10:05 nPMn2KHZ.net
>>398
正則性公理が抜けたらa∈aは成立するのでは？
a∈aが成り立たないのって正則性公理の
すべての集合 x に対し，x の要素で， ∈ に関して極小なものが存在する
からでしょ？
むしろ成立するとは限らないなら正則性公理を抜いたうえで、
残りの8個から出せるのか？
419:１３２人目の素数さん
20/05/08 01:17:14 XNnmsqsd.net
ってか8年前となにも進展してないな、と思った。
2012年の段階でこんなレスあるし。
38:１３２人目の素数さん
12/10/06 22:21:54.31
宇宙際の論文は俺も見てみたが基礎論の部分で間違いというのは
ZFCGがZFCの保存拡大になっているというところじゃないの？
ZFCGは前スレのZFC+Uのことだから、ロジシャンなら誰にでも分かる明らかに間違い。
この間違いが他の部分に本質的な打撃を与えたりしないとは思うけど
もっちーが基礎論の部分に関して初歩的な勘違いしているのは否定しようのない事実。
53:１３２人目の素数さん
12/10/07 11:00:59.16
「ZFCGがZFCの保存拡大」って間違った主張をしているのは
ABC予想をZFCGで証明した後その主張からZFCの定理であると言うため？
だとするとかなり致命的なんじゃないの？
420:１３２人目の素数さん
20/05/08 01:23:31 rnRdd7Yi.net
>>401
これの53がわりとまえから気になってるんだよね
abc予想はZFC上の予想のはずで、ZFCGで証明したうえでZFCに引き戻すってできるのか？
あるいはZFCで論じている部分をZFCGにいったん移しててもアウトだよね。
421:１３２人目の素数さん
20/05/08 01:25:43 FB+9/Zc+.net
>>400
これは正則性公理に関するよくある勘違いなんだけれど、正則性公理を外したからって「∃a,a∈a」は証明できない（だろうと考えられてる）
なぜかというと一般論として、理論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あげとくね
URLﾘﾝｸ(ja.m.wikipedia.org)ラッセルのパラドックス
矛盾の解消の中段くらい読めば、オレの話が載ってるよ
422:１３２人目の素数さん
20/05/08 01:29:27 H4T0A3GE.net
もし仮に、リソースに限りがある人間が証明も否定も絶対にできない領域を見つけて
意図的にそこに焦点当てて何か書いて
そのまま籠城したら最強ではないか？
423:１３２人目の素数さん
20/05/08 01:31:35 FB+9/Zc+.net
(「∃a,a∈a」が証明できる)と、(「∃a,a∈a」となるモデルがある)があるは意味が違う
前者がどんなモデルでも「∃a,a∈a」が成立することを主張してることに対して、後者は「∃a,a∈a」となるモデルがひとつあると言ってるに過ぎないからだ
424:１３２人目の素数さん
20/05/08 01:38:16 upYib8HA.net
ZFCをそのまま使うとsimulate a∈aが成り立たなくね？って話では？
ちなみにZFCGはZFC-何かではないからZFCでsimulate a∈aが成り立たない場合、
ZFCGにすることでは解決しないんだよね。
425:１３２人目の素数さん
20/05/08 01:39:35 iceLflDJ.net
正直、選択公理をwell order theoremとか、正則性公理をaxiom of reguralityとかわざわざ英語で言い出した時点で、誤魔化したいのは見え見えだった
426:１３２人目の素数さん
20/05/08 01:39:49 t31dz+7K.net
理解しているという人がいるのが気になるんだよな。
427:BLACKX ◆SvoRwjQrNc
20/05/08 01:39:55 Uj3xE1sY.net
永田雅宜
428:BLACKX ◆SvoRwjQrNc
20/05/08 01:40:47 Uj3xE1sY.net
タイミングクソ悪かったすまない
ヒルベルト第14問題を否定的に解決
429:１３２人目の素数さん
20/05/08 01:49:02 6RKkScyI.net
今見たらまたIUT論文修正されてるな。
レフェリーはなんの論文をアクセプトしたのかわからんくなりつつある。
430:１３２人目の素数さん
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.
つまり正則性公理違反かどうかは基礎論部分では重要。
431:１３２人目の素数さん
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年前から言われててだれも解決してないんだよな、これ。
432:１３２人目の素数さん
20/05/08 02:09:09.32 6RKkScyI.net
あとこれは>>403と関連してることで、
正則性公理違反でない＝種の言語なら∈ループが証明できる
ではないので、Remark3.3.1は種の言語で
simulate a∈a、loops of mutations、simulate ∈-loops
が成り立つというのがなにを言ってるのか曖昧。
433:１３２人目の素数さん
20/05/08 02:09:53.83 FB+9/Zc+.net
>>413
文字通りa∈…∈aしたら正則性公理違反なので似たようなことをするみたいな感じで論文には書かれていたけど
じゃあ具体的にそれをどうするかというのは、論文を読んでは見たけどこれは難しすぎてサッパリ分からんね
434:１３２人目の素数さん
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)
435:１３２人目の素数さん
20/05/08 02:14:27 6RKkScyI.net
>>415
難しすぎるというかまずその主張の基礎論的な文脈がよくわからない
種の言語においてはa ∈ … ∈ aになることを証明できる
と言っているのなら明らかにまちがい
だが、
種の言語においてはa ∈ … ∈ aになるモデルが少なくとも1つある
というのなら、
simulate a∈a、loops of mutations、simulate ∈-loops
が「成り立つ」というのはなにを示しているのかわからなくなる
望月はこの箇所で基礎論的な用語を使って記述していないから、
よほど好意的に解釈しない限りなにか混乱してるようにみえる
436:１３２人目の素数さん
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が必要なのか分からない）
437:１３２人目の素数さん
20/05/08 06:12:06 enp/+yz7.net
>>392
>業界話をすると、このa∈aをむりやり成り立たせる議論は
>じつは00年代にあったんだが、あんまりうまくいかなくて
>立ち消えてるわけよ。
業界というのは集合論業界？
むりやり成り立たせる議論というのは
>>418に書いたAczelのZFC-AFA？
>それは自然数論の議論がAxiom of regularityが成り立たない領域には出ない
>ということが分かってるからなわけ。
それはAczelの公理で入れた「基礎のない集合」では、
自然数を扱えないということ？
438:１３２人目の素数さん
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)
品性のない南京大虐殺近親相姦ニホンザルヒトモドキをこの世から抹殺しろ
439:１３２人目の素数さん
20/05/08 06:15:27 enp/+yz7.net
>>395
公理の数が有限か無限かをとやかくいうのは可算推移モデルを考えたいから？
440:１３２人目の素数さん
20/05/08 06:18:22 enp/+yz7.net
＞3.12では、望月がこの新しい不等式の証明を提示している。
＞この証明では、２つの集合の体積を、実数の２つの異なるコピーの中に住んでいるものと見なす。
＞集合の体積が互いにどのように関係しているかを追跡するには、
＞あるコピーの体積の測定値が他のコピーの測定値とどのように関係しているかを理解する必要がある。
＞望月のマッピングでは、測定棒はお互いに局所的に互換性がある。
＞しかし、円の周りを回ると、反対側に回っていた場合とは違うように見える測定棒で終わってしまう、とスティックス氏は言う。
＞体積測定におけるこの非互換性は、結果として生じる不等式が間違った量の間にあることを意味する、とショルツェとスティックスは主張している。
＞そして、体積測定値がグローバルに互換性を持つように調整した場合、不等式は無意味になると彼らは言う。
リングとらせんの違いみたいな感じか？
441:１３２人目の素数さん
20/05/08 06:22:48 enp/+yz7.net
>>403
>正則性公理に関するよくある勘違いなんだけれど、
>正則性公理を外したからって「∃a,a∈a」は証明できない（だろうと考えられてる）
（だろうと考えられてる）のところは
「ZFCは無矛盾だと考えられている」
の意味だね
そこは理解した
442:１３２人目の素数さん
20/05/08 06:29:19 enp/+yz7.net
>>380
>第4論文で考えていたことがCor3.12の致命傷になってるんじゃないか
>>422で書いた、リングとらせんの違いに関わるんならそうかもしれんね
これ、将来「Scholzeのパラドックス」として教科書に載りそうだな
頑張って示してくれると嬉しい IUTよりこのパラドックスのほうが美しそうだ
443:１３２人目の素数さん
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
444:１３２人目の素数さん
20/05/08 07:28:54.91 IfhxurXg.net
スティックスは「エッシャーの階段」と言っているようです。
URLﾘﾝｸ(www.quantamagazine.org)
もし、2つのものの不等式があっても、測定棒がコントロールできない要因で縮小されていたら、
不等式が実際に何を意味するのかをコントロールできなくなってしまう。
Scholze氏とStix氏は、物事がうまくいかないのは、この議論の重要な点にあると考えている。
望月のマッピングでは、測定棒はお互いに局所的に互換性がある。
しかし、円の周りを回ると、反対側に回っていた場合とは違うように見える測定棒で終わってしまう、とスティックス氏は言う。
この状況は、エッシャーの有名な曲がりくねった階段に似ていると彼は言う
体積測定におけるこの非互換性は、結果として生じる不等式が間違った量の間にあることを意味する、とショルツェとスティックスは主張している。
そして、体積測定値がグローバルに互換性を持つように調整した場合、不等式は無意味になると彼らは言う。
445:１３２人目の素数さん
20/05/08 07:32:42.18 7UumtpEA.net
＞しかし、円の周りを回ると、反対側に回っていた場合とは違うように見える測定棒で終わってしまう、とスティックス氏は言う。
＞体積測定におけるこの非互換性は、結果として生じる不等式が間違った量の間にあることを意味する、とショルツェとスティックスは主張している。
＞そして、体積測定値がグローバルに互換性を持つように調整した場合、不等式は無意味になると彼らは言う。
上記のIUT第２のアニメーションは、円の周りを回ると、反対側に回っていた場合の測定棒と、体積測定値で、不等式が無意味でないことを言っている？
446:１３２人目の素数さん
20/05/08 07:53:54.30 IfhxurXg.net
IUT衝撃の宇宙とは絵本の中にしかないおとぎ話であったということですね
447:１３２人目の素数さん
20/05/08 08:04:33.20 7UumtpEA.net
IUT第２のアニメーション。 不等式の成立。
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:１３２人目の素数さん
20/05/08 08:09:44 7UumtpEA.net
>>429 リンク間違えた
IUT第２のアニメーション。 不等式の成立。
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)
449:１３２人目の素数さん
20/05/08 08:41:27 Go/j7R4f.net
なるほど
IUTの「証明」はアニメを含む動画
解説本によるのだな
450:１３２人目の素数さん
20/05/08 09:50:56 7UumtpEA.net
IUT第２のアニメーションは、
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
で、同Pdfの最終頁16の図に至るまでの過程を解説で、あわせて読んだよ ｗ
451:１３２人目の素数さん
20/05/08 09:52:31 NxyHm2B/.net
おまえらどんだけイマジネーションないんだよ
452:１３２人目の素数さん
20/05/08 10:15:36 WZMpayjt.net
これだけ意味不明瞭な箇所があってしかも間違いも何箇所か放置されてる場合、
レフェリーがちゃんと読んでるのかという疑問が出そう
１、レフェリーが間違いを見逃してる
２、望月がレフェリーの修正勧告に応じていない
の２通りが考えられるが、１なら技量不足だし２ならリジェクト案件では
453:粋蕎 ◆C2UdlLHDRI
20/05/08 10:16:47 FSbzIJ9L.net
今さら到着。400レス超えとる
454:１３２人目の素数さん
20/05/08 10:19:31 7UumtpEA.net
>>433
自分のイマジネーションが、「自分の思い込みでないか」は
「著者の論とピントは一致している」かを、確認しておきたいですね。
（Scholzeさん？）
455:粋蕎 ◆C2UdlLHDRI
20/05/08 10:22:29 FSbzIJ9L.net
あら？超多連投57歳は
中立派を何と言ってたかのう？無意見な半可通？無意見とは言っとったが半可通とは違うな
中の字が入る三文字じゃった様な
456:粋蕎 ◆C2UdlLHDRI
20/05/08 10:22:41 FSbzIJ9L.net
あら？超多連投57歳は
中立派を何と言ってたかのう？無意見な半可通？無意見とは言っとったが半可通とは違うな
中の字が入る三文字じゃった様な
457:粋蕎 ◆C2UdlLHDRI
20/05/08 10:33:10 FSbzIJ9L.net
何じゃブラウザが苦しみ野太打ち回っとるのう｡
458:１３２人目の素数さん
20/05/08 10:39:38 enp/+yz7.net
どうでもいいことですが
＞超多連投57歳
それ、どこからでてきた数字ですか？
459:１３２人目の素数さん
20/05/08 11:02:40 nI1ouL+1.net
a∈aの問題は、恐らくΘリンクでのcoricityによる通信の話でしょう
これは普通には成立しないことくらい望月氏はわかってると思う。だから圏群とラベルによる一般化を考えた
つまり、圏群を経由して集合論的な情報を太らせようとした
それを成立させようとした仕組みが今回は上手く行くと見えなかったというだけの話だろう
そういう方向でできる事はあるだろうね
460:１３２人目の素数さん
20/05/08 11:40:29.28 enp/+yz7.net
>>441
＞Θリンクでのcoricityによる通信
＞これは普通には成立しない
＞だから圏群とラベルによる一般化を考えた
＞つまり、圏群を経由して集合論的な情報を太らせようとした
＞それを成立させようとした仕組みが
＞今回は上手く行くと見えなかったというだけ
＞そういう方向でできる事はあるだろうね
何でもできる、つまり上手く行き過ぎるかもね
Aと￢Aの両方が実現できたら・・・矛盾
ショルツでも他の誰でもいいから
Escherの階段のような素人でもわかる矛盾を示したら
ラッセルみたいに歴史に名を残せるね
・・・業績としては大したことではないかもしれんけど
461:１３２人目の素数さん
20/05/08 11:48:00.40 enp/+yz7.net
上手く行き過ぎる仕掛け
集合論で
内包公理図式（任意の述語Ｐについて集合｛ｘ｜Ｐ（ｘ）｝の存在）を認めたら
集合｛ｘ｜ｘ∈ｘ⇒Ｐ｝から任意の命題Ｐが証明できる
カリーのパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
※上記はラッセルパラドックスの一般化
462:１３２人目の素数さん
20/05/08 11:56:47.11 IfhxurXg.net
望月氏はどこまでも昇る階段をみつけた。たくさんの宇宙が遠くに見えた。しかしそれはエッシャーの階段であった。
望月氏の見た宇宙は、実際すべてぺしゃんこにつぶれてしまっていた。
463:１３２人目の素数さん
20/05/08 12:05:02.73 enp/+yz7.net
望月新一に捧ぐ・・・なんちって
URLﾘﾝｸ(www.youtube.com)
464:１３２人目の素数さん
20/05/08 12:11:23 IU3jiVQk.net
まさに「これが認められるならなんでもありなのでは」って感じなのか
465:１３２人目の素数さん
20/05/08 12:19:39 IfhxurXg.net
大論文は、次世代センター予算は、この８年間は・・・・なんだったのか、という話にもなる
466:粋蕎
20/05/08 13:01:27.83 FSbzIJ9L.net
>>440
>>300の自称じゃけぇよう知らん
467:１３２人目の素数さん
20/05/08 13:34:03 enp/+yz7.net
>>448
５７といってるのはあなただけみたいですが
468:１３２人目の素数さん
20/05/08 13:52:26.76 fbIUdI9a.net
LabCuspの翻訳して
469:１３２人目の素数さん
20/05/08 13:57:48.05 fbIUdI9a.net
The Set of Label Classes of Cusps of a Base-PrimeStrip
ベースプライムストリップのカスプのラベルクラスの集合
by DeepL
470:１３２人目の素数さん
20/05/08 14:01:44.57 aUmmMWos.net
星氏がかつてたどり着いた感覚に
ようやく俺たちも到達したということか
471:１３２人目の素数さん
20/05/08 14:38:54 dfXmjIwT.net
素数判定アルゴリズムすら間違えてた自分は永遠に辿りつけないかも…orz
果てしなく遠いな
472:１３２人目の素数さん
20/05/08 15:33:06 7xMfHdvs.net
ガウスとテレンスタオってどっちが頭良い？
473:１３２人目の素数さん
20/05/08 16:06:17.33 7UumtpEA.net
>>446
>>452
ようこそ、OZの世界へ
OZは世界中の人々が集い、楽しむことができるインターネット上の仮想世界です。アクセスは、お持ちのパソコン・携帯電話・テレビなどから簡単に行えます。
ではこれから、OZの世界を体験してみましょう。
まずは、あなた自身はアバターを設定しましょう。
アバターとは、OZ上でのあなたの分身です。服・ヘアスタイル・しっぽなど、あなたの思うままに着せ替えできます。かわいいアバターができましたね。
あなたの個人情報は、OZの世界一高度なセキュリティによって厳重に守られます。リラックスしてこの世界を楽しみましょう。
・・・違うか。
474:１３２人目の素数さん
20/05/08 16:27:17 7UumtpEA.net
ようこそ、OZの世界へ
OZは世界中の人々が集い、楽しむことができるインターネット上の仮想世界です。アクセスは、お持ちのパソコン・携帯電話・テレビなどから簡単に行えます。
ではこれから、OZの世界を体験してみましょう。
まずは、あなた自身は BABY SZPIROを設定しましょう。
BABY SZPIROとは、OZ上でのあなたの分身です。服・ヘアスタイル・しっぽなど、あなたの思うままに着せ替えできます。かわいい BABY SZPIROができましたね。
あなたの写像情報は、OZの世界一高度なシステムによって厳重に守られます。リラックスしてこの世界を楽しみましょう。
・・・また違うか。
475:１３２人目の素数さん
20/05/08 16:41:05.99 /Daxwvu7.net
改訂版の論文読んでるけど、これギャップが消えてるとは言えないよね
Cor3.12に対するSSの指摘がIUT上の特定の概念を使わないと成立することは認めているが、
特定の概念（主にlabel）を使うとなぜそれが成立しなくなるのかの説明が今度は飛び飛びになってる。
そもそもこれはもうコロラリーではないだろう。
476:１３２人目の素数さん
20/05/08 16:47:16.07 vkw4jlVW.net
full poly-isomorphismにはスコラ哲学に似た詭弁性を感じる
477:１３２人目の素数さん
20/05/08 18:42:38.04 VeCIxYvH.net
E=mc^2
F=ma
小学生でもわかるレベルまで説明しろ
ドクズ
478:１３２人目の素数さん
20/05/08 19:17:04.33 nI1ouL+1.net
正直に言うと、無限の宇宙とか考える必要のない理論で解決したほうが健全だとは思う
少なくとも「遠アーベル幾何学を使わないとabc予想は解決できない」というのは間違いなくありえない
479:１３２人目の素数さん
20/05/08 19:37:51 nI1ouL+1.net
>>413
その引用元の人は遺伝的アルゴリズムを引き合いに出してたんだけど、雑に言うと群から見た組合せ変異を
考えて無数の宇宙の種を考えるという話だよね
「Zを変形する」という議論で何で望月氏がこの変なアイデアで行こうと思ったのかが素直に不思議だったけど
遠アーベル幾何学特有の理論に拘った結果だろう
これについてショルツの、同じ基本群を生じる非同型なXの明示という問題が関連付けられる
これは非自明な言い換えにより「変形」についての哲学の問題に置き換えることができる
確かに相当発想を転換しないとこの問題の意味はわからないが、少なくともIUTはマストではないよ
480:BLACKX
20/05/08 20:19:02.83 RckDF8Xf.net
同じ次元から同じ次元ならZFCで成り立つけど次元が変わる探索方法になるから何か違う空間を繋ぐアルゴリズムが必要なんじゃないのかな？まぁそれがIUTのはずだったんだけどさ…
481:１３２人目の素数さん
20/05/08 21:16:58 enp/+yz7.net
>>462
ま～た素人が訳の分からん譫言口にしてるな
482:BLACKX ◆SvoRwjQrNc
20/05/08 21:38:52 RckDF8Xf.net
>>463
まぁ素人だけどさ、質問
1)餅はリングと螺旋がだまし絵みたいに同じに見えているというが、リングと螺旋が繋がって見えているという事はある？
2)1)がNOの場合、リングと螺旋を切り分けたらリングであることと螺旋の関数が別々に認識できる？
3)螺旋についてリングの加算推移モデルの一部で餅の見える螺旋を書くことは可能？
483:１３２人目の素数さん
20/05/08 22:32:32.19 enp/+yz7.net
>>464
ま～た素人が訳の分からん譫言口にしてるな
484:１３２人目の素数さん
20/05/08 23:16:29.35 zgxzcJea.net
擁護派おらんとおもんないな
485:粋蕎
20/05/08 23:37:40.27 FSbzIJ9L.net
>>300
済まんあんたの自称じゃなかった
しかし
>>449
誰も、と言うのはアウト
ｽﾚﾘﾝｸ(math板:769番)
まぁ老人の言う事じゃが
486:１３２人目の素数さん
20/05/08 23:40:24.32 2rOAAZyv.net
Wikipediaのノートページに署名しないで書き込んでるやつ
このスレ見てるだろ
署名のやり方ぐらい覚えてきなよ
487:BLACKX
20/05/08 23:43:08.37 BcofGu0F.net
>>465
あ、俺中立だけど餅には否定派だから。
もっとよくわからない譫言するわ
リングか螺旋か分からない平面で関数の区間の中に観測点を置く時、点Aでリングに見え、点Bで螺旋に見え、点Cでリングと螺旋が見えるとする。
多分餅はAが見えてると思う。
餅の見ている回転リングの関数内にABC問題はあると考えられる？
488:◆QZaw55cn4c
20/05/09 00:08:32 exUGgp9K.net
>>468
私は署名しない主義です…
489:１３２人目の素数さん
20/05/09 00:31:39 Tn2OGW7R.net
>>470
Wikipediaのルールに違反しながら活動することが主義とは？
最後に6文字「--~~~~」すら書けないのか？
490:１３２人目の素数さん
20/05/09 00:37:27 737lAinw.net
望月は基礎論を勘違いしてると言った奴が、正則性公理と選択公理が同値と勘違いしていてビックリしたな
何でこんなレベルで数学者に対して勘違いしてると言えたのか不思議でしゃーなかった
ABC予想っていう一般受けする命題は変なやつもたくさん呼び寄せるんだなと思った
491:粋蕎 ◆C2UdlLHDRI
20/05/09 00:45:11 FS/ppdZ4.net
参加機会なんて無うけぇ知らんかったがWikipediaのノートブックって
署名無しじゃ議論に混ざっちゃいかんのか、それじゃ無署名投稿は外法者じゃ外法者。アウトロー｡
罷り通りゃ何でもし腐る癖が悪化すると…人が見てなきゃポイ捨てや立ちションにネコババ、…
492:粋蕎 ◆C2UdlLHDRI
20/05/09 00:48:46 FS/ppdZ4.net
ほぅ言えば数学板@2chの歴史に於けるKingOfUnivesseを超えて一番の伝説
増田哲也の爺様も、もう63乃至64歳か
493:１３２人目の素数さん
20/05/09 00:51:20 QvGTnPR/.net
>>472
望月が基礎論勘違いしてるのは事実だよ
そしてそれを査読者も勘違いしてるのか、指摘したのに望月が無視してるのか、
どちらにせよ査読がまともじゃない（人選がおかしいro執筆者におもねりすぎ）
ではないかという雰囲気はある
494:１３２人目の素数さん
20/05/09 00:53:04 QvGTnPR/.net
あと望月は最新版で非専門家的な視点から書いてるって強調するくらいなら、
カットしたほうがいいと思うけどね
非専門家的な観点から基礎論について語る意義がわからない
これは昨日の議論でも出てたが第4論文は全体として存在意義が謎
495:１３２人目の素数さん
20/05/09 00:59:15 QvGTnPR/.net
公理が9個にせよZFCGがZFCの保存的拡大にせよ、
あれがスルーされてたということは、
査読者に基礎論の専門家はいないんだろうということを意味してる
そうであるなら第4論文を担当してる査読者は不適切な人選のはず
ワイルズのときのように各論文を適切に分割して適切に査読者を配置できてない
496:１３２人目の素数さん
20/05/09 01:04:48.85 737lAinw.net
>>477
正直そこまで自信満々に言えるならメールで指摘すりゃよくねと思う
どうしてしないの？
497:１３２人目の素数さん
20/05/09 01:06:22.40 3DgxF9IB.net
4月のアクセプト発表の時点で、なぜかこれからも修正が続くんだろ、って言われてて、
まったくそのとおりになってるんだよね
2月にアクセプトされたらしい原稿がどのバージョンだったか確認できないという
498:１３２人目の素数さん
20/05/09 01:07:56.55 gybn3mPM.net
>>478
基礎論のところは2012年にもうもっちーに直接言ったやつがいて、
もっちーがそのあと放置してたっていう流れなのよ
だから基礎論の誤解のところの話はIUTサイドも把握済みの単なる事実
499:１３２人目の素数さん
20/05/09 01:11:50.84 737lAinw.net
>>480
結局その指摘が正しいかどうか判断できないんだよな
ぶっちゃけその指摘者が勘違いしてる可能性もあるからさ
望月先生が間違えてるとしても、査読で指摘が入るだろうとも思うし
正直有象無象の人間の指摘って間違えてたりさして本質でないこと多いからさ
昨日も選択公理と正則性公理の同値性勘違いしてた奴がいたからさ
500:１３２人目の素数さん
20/05/09 01:13:05.86 Ayx0IbyQ.net
別に公理が9個ってのも砕けた言い方としては間違って無いだろ
内包公理は論理式としては無限個でもナイーブには一つの公理として名前を持ってる訳だから
ZFCの公理が9種類っていう話と論理式として無限個が必要になるっていうテクニカルな話を混同するのは無意味
501:１３２人目の素数さん
20/05/09 01:14:11.98 gybn3mPM.net
>>481
おまえがじゃあメールして聞きゃいいじゃん
502:１３２人目の素数さん
20/05/09 01:14:55.81 I9xJsS3d.net
simplicial object
@zj_nj
もちろん僕は何一つ知らないし政治的な話はしたくないが、沢山の相当のレベルの数学者がマジで読みづらいと言っている論文が重要かつ正しいという理由で押し通されることには複雑な感情はある（ある程度以上なら解説と原論文の棲み分けだと思うが...）
増田成希
何も知らないといいつつ憶測で語って偉そう
503:１３２人目の素数さん
20/05/09 01:19:15.09 I9xJsS3d.net
simplicial object
@zj_nj
僕なんかがいうと本当におこがましくて恥ずかしいが、
アイデアが新しくて難しいということと、説明が不親切/複雑で難しいことは分離されるべきで、後者は解消可能なはずなのだが、
それができていたらここまで多くの不満を聞くことはないのでは？というのが読もうとしてみた人の話からの印象
増田成希おこがましすぎだろ
504:１３２人目の素数さん
20/05/09 01:19:51.29 737lAinw.net
>>483
俺はそもそもその問題の説明ができねえからメール出来ねえよ
保存的拡大の意味も分からんし
505:１３２人目の素数さん
20/05/09 01:23:46.92 eRN8BqbK.net
>>485
これは当然の指摘でしょ。
発表当時はよくわかんないけど興味あるって数学者はわりといたのに、
あとでどんどん減った理由なんだし。
ケドラヤも最初はわかんないけど興味あるって言ってたんだぞ。
506:１３２人目の素数さん
20/05/09 01:27:18.92 I9xJsS3d.net
増田成希が間違いをみつけたらしい
507:１３２人目の素数さん
20/05/09 01:30:01 11gKSmeH.net
今でこそ距離とられてるが当時はわりと活気あったからな。
潮目が変わったのがNew Scientistの2016年の記事あたり。
＞そこで昨年、英国のオックスフォード大学でIUTを研究する目的で
＞会議が開催されたが、それは、失敗に終わった。
という評価が出て、ラガリアスが「どの雑誌によるかで影響があると思う」
みたいなこと言い出した。
2015年の海外ワークショップで部外者で理解できたひとがゼロだったとか。
508:１３２人目の素数さん
20/05/09 01:30:21 737lAinw.net
もっちーはブログとかの日本語でも以下の点で読みにくい
・（）内での説明が多すぎる
・「」での強調も多すぎる
・強調のための改行が多すぎる
書きたいことを書きまくってて、読み手への配慮はあんまりない印象
論文についても同じよう
509:なことしてんじゃないのかなあと思う
510:１３２人目の素数さん
20/05/09 01:31:29 PXBX/G0S.net
>>490
ふつうはそれをレフェリーが指摘して直させるんだが、
直してないのにアクセプトしてるからやっぱり太鼓持ち査読だと思うんだよなぁ
511:１３２人目の素数さん
20/05/09 01:35:31 I9xJsS3d.net
増田成希曰く
「（誰もまともに）査読できないから即リジェクト、書き直しを要求する」
のは著者にとっても利益になると思うが、あれくらいの重要性のものになると
考え方が違うんだろうか（それができなくて中途半端に引き受けた人たちが
放置する結果になったわけで、この人の判断はむしろ正しくないか？）
512:１３２人目の素数さん
20/05/09 01:38:54 I9xJsS3d.net
増田成希やっぱちがうわ 大天才だ
513:１３２人目の素数さん
20/05/09 02:03:15.64 WQU2S1JU.net
正則性公理の成り立たない下での自然数ってどんな自然数だろう。
いままで当然と考えられた議論が当然でなくなってくるんじゃないか。
これちゃんと査読してるの？
514:１３２人目の素数さん
20/05/09 02:37:31.42 4M/fwtlh.net
部分部分でみてもあかんぞ
515:１３２人目の素数さん
20/05/09 06:46:40.53 WHfuBpnK.net
>>490
もっちーなりに
「『人に解りやすい工夫 』
してる」
(つもり)
なんじゃね
516:１３２人目の素数さん
20/05/09 06:50:40.22 WHfuBpnK.net
>>493
大鬼才だよ
他人事に口挟んで無いで
自分の研究に専念するべき
「 人類に解を与えよ 」
としか
517:１３２人目の素数さん
20/05/09 06:53:14.90 WHfuBpnK.net
どう？
伝わる？
伝わらない？
分かりやすい構文
日頃から
心がけたいものですよね？
518:１３２人目の素数さん
20/05/09 07:02:34.51 WHfuBpnK.net
さあ、今日も一日
自分がさっぱりワケワカメな
小癪なクソ論文を書き上げた
偏屈ヒキニー奇人変人の
大鬼才を謗り倒すぞ！
519:粋蕎
20/05/09 07:03:29.85 FS/ppdZ4.net
数学に必要な分かり易さとは其の様な文学的言葉繰りじゃありゃせんよ姐御
520:１３２人目の素数さん
20/05/09 07:31:36 WHfuBpnK.net
拙者は
「変な♂をぢさん♂」
でござる。
521:１３２人目の素数さん
20/05/09 08:56:49.59 jgM/AhDP.net
>>482
基礎論の専門家だったら、公理が9個という
ナンセンスな捉え方は絶対にしないということでは？
公理が9個とかいう捉え方をしている時点で、
「この人なにも知らないのでは？」という
怪しい空気が流れてもしょうがない、
という話だと思っ�
522:ﾄいる。 たとえば複素関数論だったら、複素変数を「x」で書き表すことは まずなくて、普通は「z」とか「w」とかの文字を複素変数に割り当てる。 別にそこで「x」の文字を使っても間違いではないが、 しかしそういう人が実際にいたら 「この人、複素関数論なにも知らないのでは？」という 怪しい空気が絶対に流れるわけで。
523:１３２人目の素数さん
20/05/09 09:14:44.03 j9hCxaDC.net
>>502
論理とか集合論が専門の人でない限り、数学者はまず集合論のこと知らない
渕野氏があげたこの話って、特殊例ではなく
数学界で一般的にみられることなんだろうなぁ
URLﾘﾝｸ(fuchino.ddo.jp)
524:１３２人目の素数さん
20/05/09 09:30:14 wZ5sm90r.net
すごく素朴な疑問なのだが
公理の数がなぜ重要なのかよくわからない
and で全部つなげば一個になってしまうし
戒律の数について熱い議論を続ける某宗教のような感じがしてしまって
525:１３２人目の素数さん
20/05/09 09:31:13 wZ5sm90r.net
あ
もうそれっぽい書き込みしてる人がいた
すまん
526:１３２人目の素数さん
20/05/09 09:33:23 zW5LgCWH.net
もっちんのブログは「特攻の拓」の末期を思い起こさせる
相当力入れて考えてきた人生が、あの文章に集約されてるんだろう
527:１３２人目の素数さん
20/05/09 09:47:20.54 j9hCxaDC.net
>>504
＞and で全部つなげば一個になってしまう
無限個の式をandでつなぐことはできないけどね
公理図式の件でいえば、述語に関する限量子を使えば一つの式で書けるけど
それは二階論理を使うということだから、一階論理で成り立つ性質を
捨てることになり、ありがたくない
528:１３２人目の素数さん
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:１３２人目の素数さん
20/05/09 09:59:40.35 j9hCxaDC.net
>>504
論理学は宗教ではないけどね
一階論理だと都合のいい話が沢山あるんで
（コンパクト性定理とか、半決定可能とか）
たかだか「公理が１個にまとめられる」とかいう
素人的な理由だけで二階論理を使っても
かえって自分の手を縛るっていうわけ
こういうのは実際に自分で考えないと決して見えない
531:１３２人目の素数さん
20/05/09 10:06:02.26 j9hCxaDC.net
>>508
＞内包公理は元々ひとつの公理
正確には分出公理ね
内包公理だと矛盾する
内包 ∃y∀x(x ∈ y ←→ φ(x))
分出 ∃y∀x(x ∈ y ←→ x ∈ z ∧ φ(x))
ｘ∈ｚが、矛盾を防ぐコツね
二階論理だったら、もちろん式は一つだよ
∀φをつけられるからね
でも、それじゃ取り扱いがしにくい
一階論理で扱うにはどうしたらいいか考えた苦肉の策が
「論理式をパラメータにして無限個の文を作ればいい」
ってこと
一般の数学者はそもそも論理なんてロクに知らないから
いい加減なことを平気でいうけど、困ったもんだね
532:１３２人目の素数さん
20/05/09 10:30:36.54 wuUnu6Xu.net
暗黙にかならずどこかの宇宙をきめなくてはいけないというこですね
533:１３２人目の素数さん
20/05/09 10:55:42 g67xV4gR.net
>>490
これ
厳密である事と読みやすい事は違う
534:１３２人目の素数さん
20/05/09 10:59:54 RfpGzaQc.net
否定派スレなくなってもうたん？
535:１３２人目の素数さん
20/05/09 11:02:34 PzzKadGB.net
国際会議中止になったけど2015年あたりまでやってたセミナーと比べたら、
スピーカーとして参加を引き受けてくれる研究者だいぶ減ってるね。
536:１３２人目の素数さん
20/05/09 11:07:39 W9t4k47f.net
>>514
もともとIUTスレはここしかない。
変なのが乱立させただけ。
537:１３２人目の素数さん
20/05/09 11:08:41 AC9cDLYk.net
上でも言及してる人がいるように、一階述語論理では無限個の論理式を∧(=「かつ」)で結ぶことはできない出来ない(=「無限論理」が必要！)
そして公理の数が9個というのは数学的言明に翻訳できるので、論文であればフランクに書くべきではない
538:１３２人目の素数さん
20/05/09 11:13:13 j9hCxaDC.net
>>517
そもそも公理の数を書く必要なかった
専門外の素人に限って９個って言いたがる
多分全部知ってるぞって言いたいんだろうけど、それが地雷
はっきり言ってsimulate ∈-loopsのところは全然練れてない
ぶっちゃけ要らない 書いた本人以外みんなそう思ってるんじゃない？
539:１３２人目の素数さん
20/05/09 11:16:03 sVLQ9E4Y.net
公理の話はしょうもないminorな問題だろ
分かる人にとってはnine axiomsで通じるから問題ない
「9個の一階述語論理の閉論理式」とでも書いてない限り間違いとは言えんよ
540:１３２人目の素数さん
20/05/09 11:21:21 2iYAQUko.net
公理の話はmajorだからしてるんじゃなくて、
まちがってること書くくらいならそこいらないじゃん？
っていうか査読者も気づかないってことは査読者に基礎論の専門家いないってことでだいじょうぶか？
ってことでしょ。
公理の話がおかしいからIUTはまちがってるという話をしてるんじゃない
そういう書き方をするとほかがまちがってるんじゃないか、
あるいは査読者の査読がおおざっぱなんじゃないかっていう雰囲気になるだろ、ってこと。
541:１３２人目の素数さん
20/05/09 11:23:19 2iYAQUko.net
とくにIUTの場合はただでさえ新しい概念をいろいろ作って批判を回避しようとしてるんだから、
基礎的な概念のところで定式化が甘いと、
読者に「読んで理解できない俺が悪いんじゃなくて論文の書き方がおかしい」
と思われてもしょうがないのはあると思うよ。
542:１３２人目の素数さん
20/05/09 11:23:39 GkFOIO1z.net
だから間違ってないんだって
公理の種類としては9なんだから
定式化によっては無限個の論理式になるって話だろ
543:１３２人目の素数さん
20/05/09 11:25:22 AC9cDLYk.net
そもそもその望月が分かっているのかすら分からないので、本来の査読であれば指摘されて然るべき一文だと思う
それ以前に必要ないセクションで曖昧なことを言うのも問題
曖昧な言明であれば間違いとは言えない、という思想はまさに補題3.12(=「ギャップ」！)を気にしていない理由に繋がってる気がする
>>522
公理の種類などとは一切記載がないし、型理論などを導入すれば9個にすることも可能であるらしいが、それを一切言及せずに断言するのも不明
544:１３２人目の素数さん
20/05/09 11:26:55 2iYAQUko.net
>>522
ZFCとZFCGの話もか？
あと公理の数がラフに書いてるだけだ、定式化を変えればちゃんとなる、
なんて書き方をほかでもされていたらもう理解不能になるぞ？
labelの話もラフに書いてあるから定式化によっては理解可能なかたちになります、
じゃ読者はわかりようがない。
読者が好意的に読む義務はないし、そうやって変換しながら読むことが可能な論文だとも思えない。
545:１３２人目の素数さん
20/05/09 11:30:18 cBA9toCl.net
公理のところは正しいとか間違ってるとか、論文全体に致命的かどうかじゃなくて、
こういう書き方をするんならほかも定式化のブレが予想されて読む気が失せるんだよね。
SSレポートについて最新版だとあれこれ反論してるけど、
labelを考慮しないとSSレポートのような結論になるからlabelを考えろ、
というのは古い版だとなかったと思う。
そういうのも含めて最初から読めっていうのは酷すぎる。
546:粋蕎
20/05/09 11:42:51.49 FS/ppdZ4.net
無限和集合と無限積集合
URLﾘﾝｸ(mobile.twitter.com)
あぁしかしごめん、今の話題は無限集合じゃなく無限論理式じゃったな
<
547:a href="../test/read.cgi/math/1588702281/517" rel="noopener noreferrer" target="_blank" class="reply_link">>>517 無限論理式を∧(:且つ)で結ぶにゃ超限手段が必要って事なんじゃろうか？ (deleted an unsolicited ad)
548:１３２人目の素数さん
20/05/09 11:45:41.16 jgM/AhDP.net
公理が9個の話は、それ自体が正しいか間違いかではなくて、
「そういう書き方をする時点で信用を失う」
という話だと思っている(と>>502で既に書いた)。
同じことを言ってる人もこのスレに何人かいる。
たとえば複素関数論だったら、複素変数を「x」で書き表すことは
まずなくて、普通は「z」とか「w」とかの文字を複素変数に割り当てる。
別にそこで「x」の文字を使っても間違いではないが、
しかしそういう人が実際にいたら、その人は信用を失う。
「公理が9個と考えても別に間違ってない」
と反論してる人たちは、
「複素関数論の文脈で、複素変数を表すのに z ではなく x を使っても何ら間違ってない」
と言ってるのと同じで、もちろん x を使っても間違いではないが、
しかし実際にそんな危なっかしいことをする人がいたら、その人は信用を失う。
549:１３２人目の素数さん
20/05/09 12:02:42.60 j9hCxaDC.net
>>523
＞型理論などを導入すれば9個にすることも可能であるらしい
でもよほど特殊な場合でない限りそんなことしないけどね
数が重要でないのにわざわざ９つというのが
いかにも素人の上から目線のマウンティング芸みたいで痛い(>_<)
550:１３２人目の素数さん
20/05/09 12:08:09.22 j9hCxaDC.net
>>526
無限個のxに関わる命題P(x)をandで結ぶ∀xP(x)はもちろん一階論理で許されますよ
問題は述語φについて同じことができるか、という点
一階論理ではできません
一階論理で扱うことで都合のよいことがいろいろある状況で
わざわざ二階論理を導入して「公理が９つ」という理由は
全く無いってことです
551:粋蕎
20/05/09 12:11:36.10 FS/ppdZ4.net
述語ねぇ
しかし二階論理と言いIUTと言いダブルスタンダードの様相じゃな
552:１３２人目の素数さん
20/05/09 12:36:47 WHfuBpnK.net
>>528
Ｊｏｓｈｉ降臨。。。?
553:１３２人目の素数さん
20/05/09 13:37:40 /BYRDNlz.net
>>525
書いてあるよ。
投稿原稿版がPRIMSサーバーでプレプリント公開している。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
554:１３２人目の素数さん
20/05/09 13:38:06 /BYRDNlz.net
応援スレで決着済みのことを、いつまでも引きずっているねー。
320１３２人目の素数さん2020/05/09(土) 07:01:44.31ID:/BYRDNlz>>323>>324
ZFCの話題は、本スレのInter-universal geometry と ABC予想 52 の324から始まっている。
（前略）
＞テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが
＞あと上でもあったけど専門外がIUTなんて理解できないっていうのはまんまIUTのラスト部分に跳ね返ってる
＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってるという
しかし、Terence TaoがGoogle+で、ZFCについて述べてた内容を述べてないね。
今はGoogle+ないけど、下記のリンクのSpecific topicsで残っている。
URLﾘﾝｸ(asone.ai)
*************************************************
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集合論の異なる
555:モデルを用いて、より完全に普遍的なテイヒミュラー理論を発展させることを検討しています（この部分はabc推論への応用には必要ありません）。 この論文の第3節43ページのGrothendieck宇宙公理の追加によるZFCの拡張の保守性に関する発言には不正確な点があるようですが、このブログのコメントを参照してください。 しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。
556:１３２人目の素数さん
20/05/09 13:52:51 bijIFi3Y.net
>>533
何が決着したのかはよく分からないが、
＞しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。
不正確な点もあり証明に影響を与えるものでもないなら、やっぱり書かなくていいのでは？
というのが決着？
557:１３２人目の素数さん
20/05/09 13:55:10 gvw24+om.net
>>533
これみるかぎりタオも>>527の立場だな。
基礎論部分の不正確性はCor3.12の正否の問題ではなく、
論文をどうみるかという心情の問題。
タオは一貫して状況証拠的にはネガティブからスタートポイントに立つという立場にみえる。
558:１３２人目の素数さん
20/05/09 14:03:09 G3kGbBRi.net
数学にかぎらず、客観的証明とはべつに「いけてそうか」という主観は必ず混じる
2012年の発表時にはセミナーへの参加も盛んだったが、
2015年のロンドンセミナーが失敗して以降は風向きが微妙になった
SSレポートから風向きが変わったわけではないし、
Scholzeの権威があるからみんなが盲信するようになったわけでもない
そのまえの１０回近いセミナーで理解者を出せなかったのが主因
559:１３２人目の素数さん
20/05/09 14:06:56 vilNrS9d.net
IUT 擁護派じゃないけど、
公理の数に拘ってるやつはうざいから消えて
560:１３２人目の素数さん
20/05/09 14:10:19 wubznBwf.net
最初の国内セミナーは30人くらい来てたんだっけか
このスレでも行ったってやつがひとりくらいいた気がする
561:１３２人目の素数さん
20/05/09 14:16:06 EpiLJs60.net
逆にいうとSSレポートがIUTの信用を落としたんじゃなくて、
IUTの信用がもう落ちてたからSSレポートが受け入れられる土壌があったんだよな
2012年にいきなりSSレポートが出てたら中立派のほうが多かったはず
562:１３２人目の素数さん
20/05/09 14:25:28 bijIFi3Y.net
>>537
IUT論文の中身について数学的な内容を話すことさえできないなら、このスレはいらんだろう
ABC予想の証明には関係ないからいらない、というのであれば「abc予想ってどうなったの [転載禁止]©2ch.net 」みたいなスレに行ったほうが君のためだ
563:１３２人目の素数さん
20/05/09 14:46:12 L/vxUjcX.net
今年の国内セミナーは40人くらい集まる予定のはず。
564:１３２人目の素数さん
20/05/09 14:48:49 Jzt0P+UG.net
公理の数はただのあらさがし
565:１３２人目の素数さん
20/05/09 14:51:20 G1CYiQB/.net
掲載前に粗が見つかる程度の論文
566:１３２人目の素数さん
20/05/09 14:51:34 L/vxUjcX.net
延期？になった集会、結構ひと多いね。
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
567:１３２人目の素数さん
20/05/09 14:58:16 7daEyNzb.net
そもそも4章終盤は間違えてるし書かなくていいのではって主張に、本当は望月は分かってるとかフランクに書いただけだとかの方が、主張をずらす粗捜しのように思えるがね
568:１３２人目の素数さん
20/05/09 15:16:02.89 Fjnv8ZFo.net
>>545
要は書き方の問題で明らかに否定するトーンで言うと、公理の数の話なんて難癖と言えば難癖だから、難癖じゃんと言われる
もし自分の主張を他人に受け入れて欲しいなら伝え方には気をつけよう
569:１３２人目の素数さん
20/05/09 15:22:05.50 7daEyNzb.net
>>546
伝え方が大事なのは分かるけど、数学板で数学上偽である命題を偽であると主張することが困難なのはちょ
570:っと残念だな まあ、結論として、4章終わりはやっぱりいらないということは違いないんかね
571:１３２人目の素数さん
20/05/09 15:23:27.68 j9hCxaDC.net
>>546
甘ったれてますね
572:１３２人目の素数さん
20/05/09 15:39:03 v826FnmF.net
というか書き方からIUTを直接的に否定できるって言ってるやついるの？
ここまでみたらそういうのは少数派で多数派は書き方の問題は読み手に不信を与える
って話では
あとさ、これも何回か指摘されてるけど、証明する責任は望月にあるんだから、
このスレでIUTの否定的証明する必要性はまったくないんだわ
573:１３２人目の素数さん
20/05/09 15:39:49 Fjnv8ZFo.net
>>547
いらんかどうかの判断は正直できない
ABCには使われてないかもしれないけど、IUTのココロを伝えるために書いてあると思うし
間違えていたとしても価値がある場合もあるから何とも言えん
例えばフーリエ級数展開とか超関数も、当時は厳密には扱えなかったけど直感的には正しかった。
そしてだからこそ後の時代になって正当化された
多少間違えてるということだけで判断はできんなあと思う
574:１３２人目の素数さん
20/05/09 15:40:51 1un6YAdX.net
ほんと純数学って、純音楽と同じで、人に感動も呼び起こさないし、ロジックとしても役に立たないね。
予算減額がいいと思うよ。
575:１３２人目の素数さん
20/05/09 15:41:53 gwm6+T87.net
>>550
だからこそ応用がほかにないってのがけっこう痛い
なんかよくわからんけどとりあえず使えそうというのならここまで無視されてない
576:１３２人目の素数さん
20/05/09 15:43:42 scQJNZul.net
IUTが正しいと仮定すればこういうおもしろい結論が出ます、
というのならふつうに注目されてただろうね
谷村＝志村予想も予想の段階で仮定すれば面白い結論が出るし、
それで反例もあがらなかったから徐々に信用されるようになった
IUTにはそういうモチベーションがない
577:１３２人目の素数さん
20/05/09 15:45:15 j9hCxaDC.net
>>550
少なくとも「９つ」は要らないな
そういう無駄な記述に、著者の虚栄心以外の心はないよ
578:１３２人目の素数さん
20/05/09 15:46:10 1un6YAdX.net
フーリエとの違い
・ 直観的になんかおかしい
・ 一般現象での応用をぱっと思い浮かばない
・ だからみんな読む気も起きない
こういうことでしょ…
みんな分かっているくせに…
579:１３２人目の素数さん
20/05/09 15:51:00 tUatUVy2.net
>>554
どちらかと言うとそういう難癖こそ、レス投稿者に数学者に対して数学的な間違いを指摘したいという虚栄心を感じる
580:１３２人目の素数さん
20/05/09 15:57:18 G1CYiQB/.net
数学的な誤りの指摘を難癖と言われてしまったら何も言えなくなるな
匿名掲示板で何言ってんだか
581:１３２人目の素数さん
20/05/09 16:00:01 kDbU8IqI.net
本筋と関係ないからね
本筋と関係ないことをあたかも致命的なミスのように騒ぐ
難癖以外の何物でもないでしょ
582:１３２人目の素数さん
20/05/09 16:02:05 G1CYiQB/.net
致命的でなくてもミスはミスなんだよね
騒がれたくない人って何者だよ
RIMSの関係者か？
583:１３２人目の素数さん
20/05/09 16:02:10 tUatUVy2.net
>>557
別に匿名掲示板でも難癖レベルの指摘だったら、そら難癖と言われるよ
匿名掲示板だからって難癖でなくなるわけじゃない
584:１３２人目の素数さん
20/05/09 16:02:43 j9hCxaDC.net
本筋と関係ないことを書くのがそもそもダメなんじゃね？ｗ
585:１３２人目の素数さん
20/05/09 16:03:21 7daEyNzb.net
本筋に関係のないことを論文に書くのは問題では
だったら数学論文におすすめのスポットとか書いても査読を通すのかという話になる
586:１３２人目の素数さん
20/05/09 16:21:55 whHO+5bV.net
URLﾘﾝｸ(twitter.com)
『文藝春秋6月号』にインタビュー記事載りました↓ 「ABC予想証明」天才数学者・望月新一とは何者か｜加藤文元
(deleted an unsolicited ad)
587:１３２人目の素数さん
20/05/09 16:23:35 cNDZCjvf.net
どうでもいい部分で鬼の首を取ったようにさわぐのは
自分が馬鹿だと宣伝しているようなものだからやめた方がいいと思う
588:１３２人目の素数さん
20/05/09 16:30:47 hgyGtPgP.net
>>562
それなんだよな。
今回のはIUTが正しい正しくない以前に
「これまともに査読してないだろ」という空気があるのがよくない。
589:１３２人目の素数さん
20/05/09 16:32:24 bijIFi3Y.net
要するにIUT4章って「欅坂46のサイレントマジョリティーから着想を得ました。欅坂46とは……」と書いてあるようなもんだろ？
数学論文でこれを通すのがどうでもいいっていうのはちゃんちゃらおかしいと思うが。
590:１３２人目の素数さん
20/05/09 16:34:09 cPsklcPa.net
LabCuspの話題を無視するところを見ると、ちゃんと論文読んでないな。
591:１３２人目の素数さん
20/05/09 16:37:29 j9hCxaDC.net
>>566
で「ＺＦＣの公理は九つではない」というのは
「は？欅坂？笑わせるな BABYMETAL最高！」
とかいう難癖とは異なる
592:１３２人目の素数さん
20/05/09 16:38:47 j9hCxaDC.net
>>567
自分が書けばいいのに
593:１３２人目の素数さん
20/05/09 16:39:49 h7oR9vR0.net
>>568
おなじだな
本筋と関係ないことが論文に書いてあるんだから
公理の数は本筋と関係ないと主張すればするほど、
じゃあそこをカットしろよという反論になって返ってくるよ
594:１３２人目の素数さん
20/05/09 16:39:54 hwkE6XtS.net
>>559
「ZFCは9個の公理から成る」これは間違った主張ではないよ
「ZFCは9つの一階述語論理の閉論理式から成る」と言ったら間違いだけど
595:１３２人目の素数さん
20/05/09 16:42:39 hY/5YyVW.net
本筋と関係ないことが不正確に書いてある
↓
いまじぶんが理解できないこともそれなんじゃないかという疑念が出る
↓
フォローする気をなくす
596:１３２人目の素数さん
20/05/09 16:43:13 j9hCxaDC.net
>>571
＞「ZFCは9個の公理から成る」これは間違った主張ではないよ
正しくもない
強いて言えば「間違ってすらいない」
欅坂でいうと「平手友理奈はカリスマ！」みたいなヲタ発言か
597:１３２人目の素数さん
20/05/09 16:46:10 j9hCxaDC.net
あ、字間違ってましたｗ
誤 「平手友理奈はカリスマ！」
正 「平手友梨奈はカリスマ！」
ここでいってはいけない一言
「わかると思うが」
598:１３２人目の素数さん
20/05/09 16:46:50 WQU2S1JU.net
>>503
渕野さん厳しいなｗ
「バナッハタルスキーの定理は証明されたと考えられている」と書いているから、
木村俊一は定理の証明をちゃんと理解していないらしいとこきおろしているが、
「ショルツから反論がなかったので、IUTは正しいと判断した」と発言した玉川さんは、
もちろんIUT論文を理解していないわけだｗ
599:１３２人目の素数さん
20/05/09 16:48:44 /gPwFwIn.net
>>575
あれほんとに意味不明だった。
ショルツから反論があるかどうかって査読となにも関係ないのにな。
600:１３２人目の素数さん
20/05/09 16:51:22 xsXiYi/a.net
>>573
一階述語論理でZFCを厳密化する前からZFCはある訳で、厳密化される以前や高階述語論理まで加味すれば「9個の公理」と言うほうがむしろ自然に思うけどね
601:１３２人目の素数さん
20/05/09 16:55:20 j9hCxaDC.net
>>575
＞渕野さん厳しいな
あ、でも、木村俊一の本はいろいろヒドイ
これマジで怒ってるよ
玉川氏の回答は明らかに官僚の答弁
ほんと誰が査読したんだろうな？
602:１３２人目の素数さん
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)
投稿版と最終版の差分は、以下の１~３である。
１．下記の「断り書き」を追加 ←あまり重要ではない。
・【最終版頁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"
603:１３２人目の素数さん
20/05/09 16:57:50 /BYRDNlz.net
２．おそらくタオ指摘で削除した部分 【最終版頁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 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.
ひどいガセネタだよ。これは。 （怒）
604:１３２人目の素数さん
20/05/09 16:58:40 j9hCxaDC.net
素人の「自然」は、見当違いだから無意味
残念な「自然」の例
・平面上で交わらない二直線の距離は一定、と考えるのが自然
・時刻は誰にとっても同じ、と考えるのが自然
こんな言葉で非ユークリッド幾何や相対性理論が否定できるなら苦労しない
605:１３２人目の素数さん
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!
もうこの時点で論文のスタイルをなしてない。
これでは日記帳だ。
606:１３２人目の素数さん
20/05/09 17:03:01 xDJzJeu4.net
じゃあはっきり言うが、公理が9個って話とひとつの公理をひとつの閉論理式で書けるかって話を勝手に混ぜこぜにしてるのがおかしいんだよ
「公理=一階述語論理の閉論理式」という思い込みをしてるんだろうね
607:１３２人目の素数さん
20/05/09 17:05:57 jgM/AhDP.net
>>502でも>>527でも書いたけど、これは「公理が9個」という書き方それ自体が
正しいか間違いかの問題ではなくて、
・「公理が9個」という書き方をする著者を、読者が怪訝な顔をせずに信用できるかどうかの問題
だということ。そして、怪訝な顔をして不信感をあらわにしている読者が少なからずいるということ。
そういう読者に対して「難癖だ」という反論はナンセンス。なぜなら、「難癖だ」という反論によって
読者の不信感が払しょくできるわけではないからだ。依然として、読者の不信感はぬぐえない。
たとえば、複素関数論の文脈で、複素変数を表すのに z や w ではなく x を使っている
危なっかしい著者がいたとすると、ほとんどの読者は不信感を抱き、著者は信用を失う。
「それは難癖だ。複素変数に x という文字を使っても論理的には間違ってない」
と�
608:｢う反論をしてみたところで、著者の信用が取り戻せるわけではない。 確かに x という文字でも論理的には間違ってないが、論点はそこではなく、 「複素変数に x を使うという書き方そのものに読者は不信感を抱いている」という生理的な側面が 問題なのである。これに対して「難癖だ。論理的には間違ってない」という反論の仕方では的外れで、 読者の信用は取り戻せない。そして、信用を取り戻せる唯一の方法は、x ではなく z に書き換えること。 IUTの場合は、「公理が9個」という書き方をやめること。 あるいは、そもそも4章終盤は書かなくていいのではないかということ。
609:１３２人目の素数さん
20/05/09 17:11:15 j9hCxaDC.net
>>583
ところで、置換公理があれば、分出公理は要らないってのは知ってる？
610:１３２人目の素数さん
20/05/09 17:12:21 bijIFi3Y.net
>>580
どうも2020/04/22に更新したみたいだな
流石にチェックしてなかったわ、すまん
きちんと「非専門家の意見として」と注意を入れて、難癖扱いするのではなく訂正するのは、「数学的真偽」についてきちんと真摯に向き合ってる優秀な数学者だと思った
まあ「だったら論文に書かなくていいのでは」と思わざるを得ないが、査読時にカットしてる可能性も出てきたなこれは
611:１３２人目の素数さん
20/05/09 17:13:30 U8sKgosT.net
論文に「これは非専門家の意見であるが」なんて書いてあったらその時点でリジェクトだと思うが
612:１３２人目の素数さん
20/05/09 17:14:37 JNaCPHC5.net
>>584
公理の件はむしろ突っ込んでる人の半可通ぶりから来てる混乱としか思えんのだが
「公理が9個」これは実際～axiomと名の付いた公理9個からZFCが作られてるから問題ない
公理の数の話と、表現する論理式の数の話を混同してしまってる人がおかしい
あと少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？
613:１３２人目の素数さん
20/05/09 17:15:49 bijIFi3Y.net
>>587
その通り
ただ査読論文はカットしていて、あくまで好意でネットに上げてるペーパーには「欅坂46めっちゃ可愛い」と書いてあるだけであれば、非難することではないかなと思う
査読論文の公開が待たれるな
614:１３２人目の素数さん
20/05/09 17:17:05 U8sKgosT.net
>>589
査読論文とアップロードされてるものが違うなら世界中の数学者はキレていいよ
すくなくともショルツは怒鳴り込んでいいレベルだと思う
615:１３２人目の素数さん
20/05/09 17:17:42 j9hCxaDC.net
>>588
論理に関して不可通な人が云ってもねぇ・・・
別に同値な別の公理に置き換えてもいいんで
そもそも個数に意味ないんだよね
だから書く必要ないっていってるんだけどね
どうしても書きたい理由って何？
もうマウンティング失敗してるけど
616:１３２人目の素数さん
20/05/09 17:17:43 xDJzJeu4.net
>>585
うん
617:１３２人目の素数さん
20/05/09 17:18:20 nrsDAk2r.net
だから査読に出した版をfixed版にしてarXivにあげとけって話だったのに、
なんで大学院生でも守れることを守らないんだろうか
618:１３２人目の素数さん
20/05/09 17:18:29 j9hCxaDC.net
>>592
じゃ、１個減ねｗ
619:１３２人目の素数さん
20/05/09 17:19:43 bijIFi3Y.net
>>590
間違いは誰にでもあるもので、非専門家で分からないことがあるということにさえ気づいてないということも多々ある
最終的に修正すればそこはいいと思うがな
620:１３２人目の素数さん
20/05/09 17:21:04 nrsDAk2r.net
>>595
査読版とネット版がちがうというのはまちがい云々のレベルじゃなくて詐欺だよ
ネット版をみて議論してるのに査読版は違うんだとか言われたらみんな怒るわ
621:１３２人目の素数さん
20/05/09 17:21:32 j9hCxaDC.net
あくまで脱線
>>589
＞「欅坂46めっちゃ可愛い」
可愛いと思ったコは菅井以外みんなやめちった
ずーみん、ねる、すずもん・・・なんでだ
＃てちはただのガキ
622:１３２人目の素数さん
20/05/09 17:21:53 LAn/L3vw.net
>>591
こうなってくると難癖としか思えないんだよね
あなたが論文の書き方に不満なのは分かったけど、私は別に変と思わない
623:１３２人目の素数さん
20/05/09 17:23:12 tUatUVy2.net
難癖つけるのは勝手だし好きにすればいいけど、それ難癖だよと言われてムキーて怒っちゃうのわな
624:１３２人目の素数さん
20/05/09 17:23:27 LAn/L3vw.net
>>594
え？置換公理を分出公理の替わりに置くなら結局9個では？
625:１３２人目の素数さん
20/05/09 17:24:06 j9hCxaDC.net
>>598
＞私は別に変と思わない
そりゃ
626:・・・君が集合論、いや論理に無知だからさ 無知こそ正義とかいわれてもねぇ・・・
627:１３２人目の素数さん
20/05/09 17:28:55 pjBbzAGT.net
>>601
無知と言うならその無知を指摘してくれないと誰にも伝わらないよ
628:１３２人目の素数さん
20/05/09 17:31:00.89 j9hCxaDC.net
>>602
甘ったれてるね
629:１３２人目の素数さん
20/05/09 17:37:54.69 G1CYiQB/.net
>>593
fixed版という概念がないのだろう
630:１３２人目の素数さん
20/05/09 17:50:58 pH2Ybl00.net
ペレルマンのときは少々間違っていても文句でなかったのに、徳のなさを感じるわ。
まあ、これまでの経緯を見ると仕方ないけどね
631:１３２人目の素数さん
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ブログ等が「タオ指摘の誤りが直されてない、査読おかしい」と騒いでいるよ ｗ
632:１３２人目の素数さん
20/05/09 18:00:36 j9hCxaDC.net
>>605
ペレルマンは余計なこと書かなかったし
リッチ＝フロー法も、すでにハミルトンが考えたものだったからな
望月の場合は、事情が全然異なる
自分勝手な方法をいきなり提案したんなら
丁寧に説明するのが当たり前
理解を読者に丸投げするのは自分勝手
そういうところが嫌われる
望月、アメリカでなんかあったのか？
633:１３２人目の素数さん
20/05/09 18:02:58 bkFpRS9Z.net
分かってないやつがいると思うが平手は史上稀に見るクズだからな
数え切れないサボり
ドタキャン
仕事の拒否
リハーサルをすっぽかしてディズニーで遊び。それを武勇伝として嬉嬉として語る
MV撮影を拒否して勝手に帰宅
武道館ライブをキャンセルに追い込む
新曲リリースを拒否
ついにソニーミュージックに多大な損害を与えたことでクビ
634:１３２人目の素数さん
20/05/09 18:53:56 j9hCxaDC.net
ま、みんな知らないと思うけど、SU-METALはポンコツ
・靴を左右逆に履いて、人に指摘されるまで気づかない
・ダンスはキレッキレなのに、自転車には乗れない
・CDのDって何？と聞かれてデロリアンと答えた
ちなみに、乃木坂４６にいた姉は頭もいいし運動神経もある
URLﾘﾝｸ(www.youtube.com)
URLﾘﾝｸ(www.youtube.com)
635:１３２人目の素数さん
20/05/09 19:44:50 cPsklcPa.net
Label+Cuspなはずなので調べてみた。
＞ラベカスプ に一致する情報は見つかりませんでした。
636:１３２人目の素数さん
20/05/09 23:14:14 N2l7VLsN.net
文藝春秋読んだけど、
九割以上これまで知ってるネタの
使い回しだった
Bさんはいい加減新しいネタ仕入れて欲しい
637:１３２人目の素数さん
20/05/10 00:28:24.99 H/PeN8WT.net
2020/4/30
2020年度訪問滞在型研究計画
「宇宙際タイヒミューラー理論の拡がり」（代�
638:\者：望月 新一）は感染症予防のため中止となりました。
639:１３２人目の素数さん
20/05/10 00:53:23.31 UEkZZYE2.net
>>607
＞望月、アメリカでなんかあったのか？
なきゃあんな態度とらないよなぁ……
640:１３２人目の素数さん
20/05/10 00:54:36.64 H/PeN8WT.net
>>606
> 投稿版も最終版も
PIIMSの投稿規定と編集規定を公開
しろよな。
641:１３２人目の素数さん
20/05/10 00:56:22.44 H/PeN8WT.net
>>614
文字化け
PIIMS→PRIMS
642:１３２人目の素数さん
20/05/10 01:08:10 lr1QvSh+.net
簡単だよ横取りされるからだよ
ワザとわかりにくくして説明もしない
643:１３２人目の素数さん
20/05/10 01:47:24 wJ/tXnk8.net
ハーフで頭脳明晰すぎると、アメリカでも日本でも中高ではいじめられそう
644:１３２人目の素数さん
20/05/10 01:53:46 iTOLzEvs.net
IUTはCOVID19の感染より
Tウイルスの感染症状だ
強い感染力 変異化
パラダイムが全く違う言語
治療法なし
645:１３２人目の素数さん
20/05/10 02:35:19 nGu7yYOx.net
>>609
まるで分かってないな
SU-METALはポンコツではない
真逆であり、彼女の突出した有能さと天才性がBABYMETALを成功に導いたんだよ
実際 SU-METALとしてポンコツな場面なんて皆無だよ
さくら学院での中元すず香としてのエピソードによる印象操作が一つの原因になってる
さくら学院を作ったのは武藤彩未を売り出すのが目的の一つで、その為に彩未上げ中元下げの「演出」がなされた
それが千葉プロデューサーの意図だった
それと中元すず香自身がさすがにテンパってしまう厳しい環境に置かれたことが2つ目の要因だ
1.広島の地元の中学の勉強や各種行事
2.中学の部活動（バスケット）
3.広島でのアクターズスクールのレッスンや公演
↓
これらをこなした上での毎週の上京
4.さくら学院のレッスンや公演
5.BABYMETALのレッスンや公演
それでなくても成長期で体の成長で不安定なのに、これだけのタスクをこなしていたわけだよ
普通の中学生は1と2だけでも根を上げてるのがいるのに、さらに3、4、5を同時にこなした
いくら中元でもさすがにテンパるよ
エピソードの多くはこうした過負荷な環境の元で生み出されたことを理解しないといけないよ
さすがに中3からは東京に引っ越して過負荷とはお別れした後は生徒会長として見事なリーダーシップを発揮した
あなたは見識に欠けた方だね
残念なメイトさんだ
646:１３２人目の素数さん
20/05/10 07:09:18 Qk2N5gA9.net
そんな話を熱く語る輩が数学板に二人もいることに驚きだ
647:１３２人目の素数さん
20/05/10 07:10:59 GlqIB1Mz.net
ぽんこつ好きなんだろ
ぽんこつフェチだよ
648:１３２人目の素数さん
20/05/10 07:14:45 GlqIB1Mz.net
もっちーが呼んじゃうんだろ
「がっきーが好き」だの
「欅坂ファン」だのって
カムアしてたからね
649:１３２人目の素数さん
20/05/10 07:47:15 vZYbiwt9.net
>>619
現人神であるSU-METALこと中元すず香について
ここで語り合える仲間がいるなんて嬉しいな
ただ、一言いわせてもらうと
ポンコツは決してディスリスペクトではない
リスペクトなのだよ
中元すず香の原点、それは「私には歌しかない」
二人の優秀な姉に比べて自分には誇るべきものがない
そうおもっていた中元姉妹の三女、すず香にとって
歌は唯一自分の生きがいとなるものだったんだな
ついでにいうと、武藤彩未も学年末テストでボケまくってたぞｗ
アインシュタイン知らなかったとか・・・ま、演技だろうけどｗ
ついでにいうと、今、BABYMETALで一緒にやってる
元モー娘。の鞘師里保もポンコツだ
あんなにダンスがキレッキレなのに
何もないところでスッ転ぶとか
数々のボケをかましまくっているｗ
優秀な才能が与えられる者は、失うものも多い
これが現実 同じメイトとしてぜひ理解してほしいね
ちなみに中元すず香がさくら学院第２代生徒会長として
頑張ったことは承知している
650:１３２人目の素数さん
20/05/10 08:34:25.67 4UvjL26b.net
ヒント； Skolem
651:１３２人目の素数さん
20/05/10 08:36:28.30 vZYbiwt9.net
参考動画
生田絵梨花『みんな嘘ばっか』ありのまま生ちゃんｗ
URLﾘﾝｸ(www.youtube.com)
652:１３２人目の素数さん
20/05/10 09:01:47.71 he+CPLp2.net
>>606の書き込みがあってから、急にこのｽﾚの内容がなくなったな
653:１３２人目の素数さん
20/05/10 09:17:48 ANF/kJTD.net
>>586
＞どうも2020/04/22に更新したみたいだな
＞流石にチェックしてなかったわ、すまん
4月３日に会見した後で、2012年のタオの指摘を修正した、と言いたいのかな？
下記の修正リストで、4/22は他でのmisprint修正。
ついで見だけど、2019年以降のIUT-?修正の数件も違う箇所で、１年以上の前だよ。
あと、出版するなら、出版前の校正による語句訂正は通常と思うが。
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"
以下文節を１つの削除と追記で、数行にすぎないから、2012年指摘から修正に8年もかけたりする？
＞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”
上記で「タオの指摘の修正」は確認はしたけど、>>324氏がタオの指摘に乗った違う箇所での「公理が９個」のギャップで、
「査読がおかしい」と主張された箇所は、IUT-?の最終版で特に修正されてないのは、ご説の通りで確認しましたよ。
（[Drk], Chapter 1, §3].の出典元の引用で、投稿版と最終版も同じまま）
この引用した出典元でのギャップ指摘は、>>533氏の通り、と考えます。
＞少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？
654:１３２人目の素数さん
20/05/10 09:43:28 GlqIB1Mz.net
>>626
IUT論文を
「もっちー以上の能力
∨彼以上に時間を掛けて
∧彼以上に数学者人生を掛け
真摯に向き合ってる」
アンチなんて1人も居ないんだろ
655:１３２人目の素数さん
20/05/10 09:44:52 tIyT6EG+.net
しかしそういう落ち度は別に本筋には関係ないでしょ。それこそ理論が正しそうに見えたら
集合の認識自体が後追いで変わるだろうし、現にそれを狙ったわけだよね
（lab）cuspってのは別の意味でも非常に示唆的な考え方。そもそも何故数論でカスプが重要なのか
直接関係ないけど、ラングランズ対応と遠アーベル幾何の関係を考える上で参考になる
656:１３２人目の素数さん
20/05/10 09:52:42 GlqIB1Mz.net
>>596
>みんな怒る
(だの…"ショルツェガー"団とか…)
あなたは？
657:１３２人目の素数さん
20/05/10 09:58:00 GlqIB1Mz.net
憶測 ∧ ミンナガー！
ショルツェガー！！
コミュニティガー！！！
薄ｯ! w
658:粋蕎 ◆C2UdlLHDRI
20/05/10 10:34:54 9DDwSwNg.net
数学板を荒らすなと言っていた60歳近い人間が数学板を荒らしとる…
659:１３２人目の素数さん
20/05/10 10:46:43 V5ic7h6H.net
公理が9個連呼おじさんどこ行った？w
660:１３２人目の素数さん
20/05/10 11:00:18 JcyWczgJ.net
公理9個うるさいよな。集めたら神龍出るのかよ。
661:１３２人目の素数さん
20/05/10 11:01:13 k326TTE9.net
>>629
本筋に関係のないことなら書かなくていいのでは？
本筋に関係のないことなら認識が後追いで変わることもないのでは？
662:１３２人目の素数さん
20/05/10 11:12:25 k326TTE9.net
(前略)
ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、
著者が数理論理学について理解をしていない可能性があるという意見がある。
（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）
URLﾘﾝｸ(ja.yourpedia.org)
2014年には既に指摘されているようだな
現時点でまだ修正していないのであれば、匿名じゃない人が指摘していないから気づいていない、という推測が出来る
まあ正当性と関係ないなら幾度となく言われてるがカット不可避なのだが
663:１３２人目の素数さん
20/05/10 11:19:29 Ug02vDRY.net
匿名の人の意見が正しいとも限らんがな
664:１３２人目の素数さん
20/05/10 11:40:41 R8uGa3EF.net
質問
テレンスタオとガウスはどっちが頭良いの？
ガウスが多方面で業績出せたのは時代のおかげであってトップレベルの実力は今でも変わってない？
665:粋蕎 ◆C2UdlLHDRI
20/05/10 11:44:48 9DDwSwNg.net
時代評価は時代評価じゃろ
時代が違う者同士で絶対評価しても仕方なかろう
666:１３２人目の素数さん
20/05/10 11:51:53 GlqIB1Mz.net
>>632
(IUTについて専門的な議論が出来ないなら嵐と変わりない)
との境地に達されて悟りでも開かれたのでしょうか…
彼は御仏の境地に至りつつあられるのかも知れませんね…
俗人の案ずるに及ばない処に至っておいでなのかも知れません…
静かに見守って差し上げましょう…