Inter-universal geometry と ABC予想 52

**１３２人目の素数さん** · 2020/05/06(水) 03:11:21.36

IU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。

前スレ
Inter-universal geometry と ABC予想 51
https://rio2016.5ch.net/test/read.cgi/math/1587468367/

**１３２人目の素数さん** · 2020/05/09(土) 14:10:19.19

最初の国内セミナーは30人くらい来てたんだっけか
このスレでも行ったってやつがひとりくらいいた気がする

**１３２人目の素数さん** · 2020/05/09(土) 14:16:06.95

逆にいうとSSレポートがIUTの信用を落としたんじゃなくて、
IUTの信用がもう落ちてたからSSレポートが受け入れられる土壌があったんだよな
2012年にいきなりSSレポートが出てたら中立派のほうが多かったはず

**１３２人目の素数さん** · 2020/05/09(土) 14:25:28.81

>>537
IUT論文の中身について数学的な内容を話すことさえできないなら、このスレはいらんだろう
ABC予想の証明には関係ないからいらない、というのであれば「abc予想ってどうなったの [転載禁止]©2ch.net 」みたいなスレに行ったほうが君のためだ

**１３２人目の素数さん** · 2020/05/09(土) 14:46:12.08

今年の国内セミナーは40人くらい集まる予定のはず。

**１３２人目の素数さん** · 2020/05/09(土) 14:48:49.05

公理の数はただのあらさがし

**１３２人目の素数さん** · 2020/05/09(土) 14:51:20.71

掲載前に粗が見つかる程度の論文

**１３２人目の素数さん** · 2020/05/09(土) 14:51:34.84

延期？になった集会、結構ひと多いね。
https://www.maths.nottingham.ac.uk/plp/pmzibf/files/May2020.html

**１３２人目の素数さん** · 2020/05/09(土) 14:58:16.05

そもそも4章終盤は間違えてるし書かなくていいのではって主張に、本当は望月は分かってるとかフランクに書いただけだとかの方が、主張をずらす粗捜しのように思えるがね

**１３２人目の素数さん** · 2020/05/09(土) 15:16:02.89

>>545
要は書き方の問題で明らかに否定するトーンで言うと、公理の数の話なんて難癖と言えば難癖だから、難癖じゃんと言われる
もし自分の主張を他人に受け入れて欲しいなら伝え方には気をつけよう

**１３２人目の素数さん** · 2020/05/09(土) 15:22:05.50

>>546
伝え方が大事なのは分かるけど、数学板で数学上偽である命題を偽であると主張することが困難なのはちょっと残念だな
まあ、結論として、4章終わりはやっぱりいらないということは違いないんかね

**１３２人目の素数さん** · 2020/05/09(土) 15:23:27.68

>>546
甘ったれてますね

**１３２人目の素数さん** · 2020/05/09(土) 15:39:03.75

というか書き方からIUTを直接的に否定できるって言ってるやついるの？
ここまでみたらそういうのは少数派で多数派は書き方の問題は読み手に不信を与える
って話では

あとさ、これも何回か指摘されてるけど、証明する責任は望月にあるんだから、
このスレでIUTの否定的証明する必要性はまったくないんだわ

**１３２人目の素数さん** · 2020/05/09(土) 15:39:49.68

>>547
いらんかどうかの判断は正直できない
ABCには使われてないかもしれないけど、IUTのココロを伝えるために書いてあると思うし

間違えていたとしても価値がある場合もあるから何とも言えん
例えばフーリエ級数展開とか超関数も、当時は厳密には扱えなかったけど直感的には正しかった。
そしてだからこそ後の時代になって正当化された
多少間違えてるということだけで判断はできんなあと思う

**１３２人目の素数さん** · 2020/05/09(土) 15:40:51.37

ほんと純数学って、純音楽と同じで、人に感動も呼び起こさないし、ロジックとしても役に立たないね。

予算減額がいいと思うよ。

**１３２人目の素数さん** · 2020/05/09(土) 15:41:53.14

>>550
だからこそ応用がほかにないってのがけっこう痛い
なんかよくわからんけどとりあえず使えそうというのならここまで無視されてない

**１３２人目の素数さん** · 2020/05/09(土) 15:43:42.21

IUTが正しいと仮定すればこういうおもしろい結論が出ます、
というのならふつうに注目されてただろうね
谷村＝志村予想も予想の段階で仮定すれば面白い結論が出るし、
それで反例もあがらなかったから徐々に信用されるようになった
IUTにはそういうモチベーションがない

**１３２人目の素数さん** · 2020/05/09(土) 15:45:15.01

>>550
少なくとも「９つ」は要らないな

そういう無駄な記述に、著者の虚栄心以外の心はないよ

**１３２人目の素数さん** · 2020/05/09(土) 15:46:10.35

フーリエとの違い

・　直観的になんかおかしい
・　一般現象での応用をぱっと思い浮かばない
・　だからみんな読む気も起きない

こういうことでしょ…
みんな分かっているくせに…

**１３２人目の素数さん** · 2020/05/09(土) 15:51:00.02

>>554
どちらかと言うとそういう難癖こそ、レス投稿者に数学者に対して数学的な間違いを指摘したいという虚栄心を感じる

**１３２人目の素数さん** · 2020/05/09(土) 15:57:18.79

数学的な誤りの指摘を難癖と言われてしまったら何も言えなくなるな
匿名掲示板で何言ってんだか

**１３２人目の素数さん** · 2020/05/09(土) 16:00:01.98

本筋と関係ないからね

本筋と関係ないことをあたかも致命的なミスのように騒ぐ
難癖以外の何物でもないでしょ

**１３２人目の素数さん** · 2020/05/09(土) 16:02:05.85

致命的でなくてもミスはミスなんだよね
騒がれたくない人って何者だよ
RIMSの関係者か？

**１３２人目の素数さん** · 2020/05/09(土) 16:02:10.63

>>557
別に匿名掲示板でも難癖レベルの指摘だったら、そら難癖と言われるよ
匿名掲示板だからって難癖でなくなるわけじゃない

**１３２人目の素数さん** · 2020/05/09(土) 16:02:43.82

本筋と関係ないことを書くのがそもそもダメなんじゃね？ｗ

**１３２人目の素数さん** · 2020/05/09(土) 16:03:21.35

本筋に関係のないことを論文に書くのは問題では
だったら数学論文におすすめのスポットとか書いても査読を通すのかという話になる

**１３２人目の素数さん** · 2020/05/09(土) 16:21:55.72

https://twitter.com/FumiharuKato/status/1259010181637103616

『文藝春秋6月号』にインタビュー記事載りました↓ 「ABC予想証明」天才数学者・望月新一とは何者か｜加藤文元
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2020/05/09(土) 16:23:35.70

どうでもいい部分で鬼の首を取ったようにさわぐのは
自分が馬鹿だと宣伝しているようなものだからやめた方がいいと思う

**１３２人目の素数さん** · 2020/05/09(土) 16:30:47.43

>>562
それなんだよな。
今回のはIUTが正しい正しくない以前に
「これまともに査読してないだろ」という空気があるのがよくない。

**１３２人目の素数さん** · 2020/05/09(土) 16:32:24.15

要するにIUT4章って「欅坂46のサイレントマジョリティーから着想を得ました。欅坂46とは……」と書いてあるようなもんだろ？
数学論文でこれを通すのがどうでもいいっていうのはちゃんちゃらおかしいと思うが。

**１３２人目の素数さん** · 2020/05/09(土) 16:34:09.49

LabCuspの話題を無視するところを見ると、ちゃんと論文読んでないな。

**１３２人目の素数さん** · 2020/05/09(土) 16:37:29.00

>>566
で「ＺＦＣの公理は九つではない」というのは
「は？欅坂？笑わせるな　BABYMETAL最高！」
とかいう難癖とは異なる

**１３２人目の素数さん** · 2020/05/09(土) 16:38:47.17

>>567
自分が書けばいいのに

**１３２人目の素数さん** · 2020/05/09(土) 16:39:49.39

>>568
おなじだな
本筋と関係ないことが論文に書いてあるんだから

公理の数は本筋と関係ないと主張すればするほど、
じゃあそこをカットしろよという反論になって返ってくるよ

**１３２人目の素数さん** · 2020/05/09(土) 16:39:54.30

>>559
「ZFCは9個の公理から成る」これは間違った主張ではないよ
「ZFCは9つの一階述語論理の閉論理式から成る」と言ったら間違いだけど

**１３２人目の素数さん** · 2020/05/09(土) 16:42:39.73

本筋と関係ないことが不正確に書いてある
↓
いまじぶんが理解できないこともそれなんじゃないかという疑念が出る
↓
フォローする気をなくす

**１３２人目の素数さん** · 2020/05/09(土) 16:43:13.45

>>571
＞「ZFCは9個の公理から成る」これは間違った主張ではないよ

正しくもない

強いて言えば「間違ってすらいない」

欅坂でいうと「平手友理奈はカリスマ！」みたいなヲタ発言か

**１３２人目の素数さん** · 2020/05/09(土) 16:46:10.74

あ、字間違ってましたｗ

誤　「平手友理奈はカリスマ！」
正　「平手友梨奈はカリスマ！」

ここでいってはいけない一言

「わかると思うが」

**１３２人目の素数さん** · 2020/05/09(土) 16:46:50.75

>>503
渕野さん厳しいなｗ
「バナッハタルスキーの定理は証明されたと考えられている」と書いているから、
木村俊一は定理の証明をちゃんと理解していないらしいとこきおろしているが、
「ショルツから反論がなかったので、IUTは正しいと判断した」と発言した玉川さんは、
もちろんIUT論文を理解していないわけだｗ

**１３２人目の素数さん** · 2020/05/09(土) 16:48:44.19

>>575
あれほんとに意味不明だった。
ショルツから反論があるかどうかって査読となにも関係ないのにな。

**１３２人目の素数さん** · 2020/05/09(土) 16:51:22.19

>>573
一階述語論理でZFCを厳密化する前からZFCはある訳で、厳密化される以前や高階述語論理まで加味すれば「9個の公理」と言うほうがむしろ自然に思うけどね

**１３２人目の素数さん** · 2020/05/09(土) 16:55:20.37

>>575
＞渕野さん厳しいな
あ、でも、木村俊一の本はいろいろヒドイ
これマジで怒ってるよ

玉川氏の回答は明らかに官僚の答弁
ほんと誰が査読したんだろうな？

**１３２人目の素数さん** · 2020/05/09(土) 16:57:13.58

>>324

　＞テレンス・タオの言うように燻製ニシンの虚偽なのか分からんが（中略）
　＞案の定ZFCGがZFCの保存的拡大だのZFCの9個の公理だの間違えまくってる

タオの指摘内容を知らせない(>>533)だけでなくて、調べたら「最終版が指摘に対応済」ではないか。
上記のような惑わしはヤメロ！　皆の時間の無駄だ。
「最終版を読んでも、タオの投稿版の指摘が訂正済だったら、何か問題か特定できない」のが当然でないか！！！！

　・投稿時IUT‐Ⅳ：http://www.kurims.kyoto-u.ac.jp/preprint/file/RIMS1759.pdf
　・最終版IUT-Ⅳ：http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf

投稿版と最終版の差分は、以下の１~３である。

１．下記の「断り書き」を追加　　←あまり重要ではない。
・【最終版頁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"

**１３２人目の素数さん** · 2020/05/09(土) 16:57:50.01

２．おそらくタオ指摘で削除した部分　【最終版頁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.

ひどいガセネタだよ。これは。　（怒）

**１３２人目の素数さん** · 2020/05/09(土) 16:58:40.76

素人の「自然」は、見当違いだから無意味

残念な「自然」の例
・平面上で交わらない二直線の距離は一定、と考えるのが自然
・時刻は誰にとっても同じ、と考えるのが自然

こんな言葉で非ユークリッド幾何や相対性理論が否定できるなら苦労しない

**１３２人目の素数さん** · 2020/05/09(土) 16:59:21.31

>>579
＞albeit from an extremely naive/non-expert point of view, relative to the theory of foundations!

もうこの時点で論文のスタイルをなしてない。
これでは日記帳だ。

**１３２人目の素数さん** · 2020/05/09(土) 17:03:01.97

じゃあはっきり言うが、公理が9個って話とひとつの公理をひとつの閉論理式で書けるかって話を勝手に混ぜこぜにしてるのがおかしいんだよ
「公理=一階述語論理の閉論理式」という思い込みをしてるんだろうね

**１３２人目の素数さん** · 2020/05/09(土) 17:05:57.74

>>502でも>>527でも書いたけど、これは「公理が9個」という書き方それ自体が
正しいか間違いかの問題ではなくて、

・「公理が9個」という書き方をする著者を、読者が怪訝な顔をせずに信用できるかどうかの問題

だということ。そして、怪訝な顔をして不信感をあらわにしている読者が少なからずいるということ。
そういう読者に対して「難癖だ」という反論はナンセンス。なぜなら、「難癖だ」という反論によって
読者の不信感が払しょくできるわけではないからだ。依然として、読者の不信感はぬぐえない。

たとえば、複素関数論の文脈で、複素変数を表すのに z や w ではなく x を使っている
危なっかしい著者がいたとすると、ほとんどの読者は不信感を抱き、著者は信用を失う。

「それは難癖だ。複素変数に x という文字を使っても論理的には間違ってない」

という反論をしてみたところで、著者の信用が取り戻せるわけではない。
確かに x という文字でも論理的には間違ってないが、論点はそこではなく、
「複素変数に x を使うという書き方そのものに読者は不信感を抱いている」という生理的な側面が
問題なのである。これに対して「難癖だ。論理的には間違ってない」という反論の仕方では的外れで、
読者の信用は取り戻せない。そして、信用を取り戻せる唯一の方法は、x ではなく z に書き換えること。
IUTの場合は、「公理が9個」という書き方をやめること。
あるいは、そもそも4章終盤は書かなくていいのではないかということ。

**１３２人目の素数さん** · 2020/05/09(土) 17:11:15.36

>>583
ところで、置換公理があれば、分出公理は要らないってのは知ってる？

**１３２人目の素数さん** · 2020/05/09(土) 17:12:21.74

>>580
どうも2020/04/22に更新したみたいだな
流石にチェックしてなかったわ、すまん

きちんと「非専門家の意見として」と注意を入れて、難癖扱いするのではなく訂正するのは、「数学的真偽」についてきちんと真摯に向き合ってる優秀な数学者だと思った
まあ「だったら論文に書かなくていいのでは」と思わざるを得ないが、査読時にカットしてる可能性も出てきたなこれは

**１３２人目の素数さん** · 2020/05/09(土) 17:13:30.38

論文に「これは非専門家の意見であるが」なんて書いてあったらその時点でリジェクトだと思うが

**１３２人目の素数さん** · 2020/05/09(土) 17:14:37.57

>>584
公理の件はむしろ突っ込んでる人の半可通ぶりから来てる混乱としか思えんのだが
「公理が9個」これは実際～axiomと名の付いた公理9個からZFCが作られてるから問題ない
公理の数の話と、表現する論理式の数の話を混同してしまってる人がおかしい

あと少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？

**１３２人目の素数さん** · 2020/05/09(土) 17:15:49.62

>>587
その通り
ただ査読論文はカットしていて、あくまで好意でネットに上げてるペーパーには「欅坂46めっちゃ可愛い」と書いてあるだけであれば、非難することではないかなと思う

査読論文の公開が待たれるな

**１３２人目の素数さん** · 2020/05/09(土) 17:17:05.50

>>589
査読論文とアップロードされてるものが違うなら世界中の数学者はキレていいよ
すくなくともショルツは怒鳴り込んでいいレベルだと思う

**１３２人目の素数さん** · 2020/05/09(土) 17:17:42.20

>>588
論理に関して不可通な人が云ってもねぇ・・・

別に同値な別の公理に置き換えてもいいんで
そもそも個数に意味ないんだよね

だから書く必要ないっていってるんだけどね
どうしても書きたい理由って何？　

もうマウンティング失敗してるけど

**１３２人目の素数さん** · 2020/05/09(土) 17:17:43.14

>>585
うん

**１３２人目の素数さん** · 2020/05/09(土) 17:18:20.80

だから査読に出した版をfixed版にしてarXivにあげとけって話だったのに、
なんで大学院生でも守れることを守らないんだろうか

**１３２人目の素数さん** · 2020/05/09(土) 17:18:29.47

>>592
じゃ、１個減ねｗ

**１３２人目の素数さん** · 2020/05/09(土) 17:19:43.26

>>590
間違いは誰にでもあるもので、非専門家で分からないことがあるということにさえ気づいてないということも多々ある
最終的に修正すればそこはいいと思うがな

**１３２人目の素数さん** · 2020/05/09(土) 17:21:04.36

>>595
査読版とネット版がちがうというのはまちがい云々のレベルじゃなくて詐欺だよ
ネット版をみて議論してるのに査読版は違うんだとか言われたらみんな怒るわ

**１３２人目の素数さん** · 2020/05/09(土) 17:21:32.39

あくまで脱線

>>589
＞「欅坂46めっちゃ可愛い」

可愛いと思ったコは菅井以外みんなやめちった

ずーみん、ねる、すずもん・・・なんでだ

＃てちはただのガキ

**１３２人目の素数さん** · 2020/05/09(土) 17:21:53.51

>>591
こうなってくると難癖としか思えないんだよね
あなたが論文の書き方に不満なのは分かったけど、私は別に変と思わない

**１３２人目の素数さん** · 2020/05/09(土) 17:23:12.24

難癖つけるのは勝手だし好きにすればいいけど、それ難癖だよと言われてムキーて怒っちゃうのわな

**１３２人目の素数さん** · 2020/05/09(土) 17:23:27.82

>>594
え？置換公理を分出公理の替わりに置くなら結局9個では？

**１３２人目の素数さん** · 2020/05/09(土) 17:24:06.45

>>598
＞私は別に変と思わない

そりゃ・・・君が集合論、いや論理に無知だからさ

無知こそ正義とかいわれてもねぇ・・・

**１３２人目の素数さん** · 2020/05/09(土) 17:28:55.03

>>601
無知と言うならその無知を指摘してくれないと誰にも伝わらないよ

**１３２人目の素数さん** · 2020/05/09(土) 17:31:00.89

>>602
甘ったれてるね

**１３２人目の素数さん** · 2020/05/09(土) 17:37:54.69

>>593
fixed版という概念がないのだろう

**１３２人目の素数さん** · 2020/05/09(土) 17:50:58.82

ペレルマンのときは少々間違っていても文句でなかったのに、徳のなさを感じるわ。
まあ、これまでの経緯を見ると仕方ないけどね

**１３２人目の素数さん** · 2020/05/09(土) 17:57:38.91

>>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ブログ等が「タオ指摘の誤りが直されてない、査読おかしい」と騒いでいるよ　ｗ

**１３２人目の素数さん** · 2020/05/09(土) 18:00:36.42

>>605
ペレルマンは余計なこと書かなかったし
リッチ＝フロー法も、すでにハミルトンが考えたものだったからな

望月の場合は、事情が全然異なる
自分勝手な方法をいきなり提案したんなら
丁寧に説明するのが当たり前

理解を読者に丸投げするのは自分勝手
そういうところが嫌われる

望月、アメリカでなんかあったのか？

**１３２人目の素数さん** · 2020/05/09(土) 18:02:58.60

分かってないやつがいると思うが平手は史上稀に見るクズだからな

数え切れないサボり
ドタキャン
仕事の拒否
リハーサルをすっぽかしてディズニーで遊び。それを武勇伝として嬉嬉として語る
MV撮影を拒否して勝手に帰宅
武道館ライブをキャンセルに追い込む
新曲リリースを拒否
ついにソニーミュージックに多大な損害を与えたことでクビ

**１３２人目の素数さん** · 2020/05/09(土) 18:53:56.06

ま、みんな知らないと思うけど、SU-METALはポンコツ

・靴を左右逆に履いて、人に指摘されるまで気づかない
・ダンスはキレッキレなのに、自転車には乗れない
・CDのDって何？と聞かれてデロリアンと答えた

ちなみに、乃木坂４６にいた姉は頭もいいし運動神経もある
https://www.youtube.com/watch?v=AJ1yubnd3uI
https://www.youtube.com/watch?v=gyJ8IzuUOzE

**１３２人目の素数さん** · 2020/05/09(土) 19:44:50.47

Label+Cuspなはずなので調べてみた。

＞ラベカスプに一致する情報は見つかりませんでした。

**１３２人目の素数さん** · 2020/05/09(土) 23:14:14.52

文藝春秋読んだけど、
九割以上これまで知ってるネタの
使い回しだった

Bさんはいい加減新しいネタ仕入れて欲しい

**１３２人目の素数さん** · 2020/05/10(日) 00:28:24.99

2020/4/30
2020年度訪問滞在型研究計画
「宇宙際タイヒミューラー理論の拡がり」（代表者：望月新一）は感染症予防のため中止となりました。

**１３２人目の素数さん** · 2020/05/10(日) 00:53:23.31

>>607
＞望月、アメリカでなんかあったのか？
なきゃあんな態度とらないよなぁ……

**１３２人目の素数さん** · 2020/05/10(日) 00:54:36.64

>>606
> 投稿版も最終版も
PIIMSの投稿規定と編集規定を公開
しろよな。

**１３２人目の素数さん** · 2020/05/10(日) 00:56:22.44

>>614
文字化け
PIIMS→PRIMS

**１３２人目の素数さん** · 2020/05/10(日) 01:08:10.70

簡単だよ横取りされるからだよ
ワザとわかりにくくして説明もしない

**１３２人目の素数さん** · 2020/05/10(日) 01:47:24.24

ハーフで頭脳明晰すぎると、アメリカでも日本でも中高ではいじめられそう

**１３２人目の素数さん** · 2020/05/10(日) 01:53:46.95

IUTはCOVID19の感染より
Tウイルスの感染症状だ
強い感染力　変異化
パラダイムが全く違う言語
治療法なし

**１３２人目の素数さん** · 2020/05/10(日) 02:35:19.74

>>609
まるで分かってないな
SU-METALはポンコツではない
真逆であり、彼女の突出した有能さと天才性がBABYMETALを成功に導いたんだよ
実際 SU-METALとしてポンコツな場面なんて皆無だよ
さくら学院での中元すず香としてのエピソードによる印象操作が一つの原因になってる
さくら学院を作ったのは武藤彩未を売り出すのが目的の一つで、その為に彩未上げ中元下げの「演出」がなされた
それが千葉プロデューサーの意図だった
それと中元すず香自身がさすがにテンパってしまう厳しい環境に置かれたことが2つ目の要因だ

1.広島の地元の中学の勉強や各種行事
2.中学の部活動（バスケット）
3.広島でのアクターズスクールのレッスンや公演
↓
これらをこなした上での毎週の上京
4.さくら学院のレッスンや公演
5.BABYMETALのレッスンや公演

それでなくても成長期で体の成長で不安定なのに、これだけのタスクをこなしていたわけだよ
普通の中学生は1と2だけでも根を上げてるのがいるのに、さらに3、4、5を同時にこなした
いくら中元でもさすがにテンパるよ
エピソードの多くはこうした過負荷な環境の元で生み出されたことを理解しないといけないよ
さすがに中3からは東京に引っ越して過負荷とはお別れした後は生徒会長として見事なリーダーシップを発揮した
あなたは見識に欠けた方だね
残念なメイトさんだ

**１３２人目の素数さん** · 2020/05/10(日) 07:09:18.29

そんな話を熱く語る輩が数学板に二人もいることに驚きだ

**１３２人目の素数さん** · 2020/05/10(日) 07:10:59.13

ぽんこつ好きなんだろ
ぽんこつフェチだよ

**１３２人目の素数さん** · 2020/05/10(日) 07:14:45.46

もっちーが呼んじゃうんだろ
「がっきーが好き」だの
「欅坂ファン」だのって
カムアしてたからね

**１３２人目の素数さん** · 2020/05/10(日) 07:47:15.02

>>619
現人神であるSU-METALこと中元すず香について
ここで語り合える仲間がいるなんて嬉しいな

ただ、一言いわせてもらうと
ポンコツは決してディスリスペクトではない
リスペクトなのだよ

中元すず香の原点、それは「私には歌しかない」

二人の優秀な姉に比べて自分には誇るべきものがない
そうおもっていた中元姉妹の三女、すず香にとって
歌は唯一自分の生きがいとなるものだったんだな

ついでにいうと、武藤彩未も学年末テストでボケまくってたぞｗ
アインシュタイン知らなかったとか・・・ま、演技だろうけどｗ

ついでにいうと、今、BABYMETALで一緒にやってる
元モー娘。の鞘師里保もポンコツだ

あんなにダンスがキレッキレなのに
何もないところでスッ転ぶとか
数々のボケをかましまくっているｗ

優秀な才能が与えられる者は、失うものも多い
これが現実　同じメイトとしてぜひ理解してほしいね

ちなみに中元すず香がさくら学院第２代生徒会長として
頑張ったことは承知している

**１３２人目の素数さん** · 2020/05/10(日) 08:34:25.67

ヒント；　Skolem

**１３２人目の素数さん** · 2020/05/10(日) 08:36:28.30

参考動画

生田絵梨花『みんな嘘ばっか』ありのまま生ちゃんｗ
https://www.youtube.com/watch?v=qk2r5aAF9mY

**１３２人目の素数さん** · 2020/05/10(日) 09:01:47.71

>>606の書き込みがあってから、急にこのｽﾚの内容がなくなったな

**１３２人目の素数さん** · 2020/05/10(日) 09:17:48.20

>>586

　＞どうも2020/04/22に更新したみたいだな
　＞流石にチェックしてなかったわ、すまん

4月３日に会見した後で、2012年のタオの指摘を修正した、と言いたいのかな？

下記の修正リストで、4/22は他でのmisprint修正。
ついで見だけど、2019年以降のIUT-Ⅳ修正の数件も違う箇所で、１年以上の前だよ。
あと、出版するなら、出版前の校正による語句訂正は通常と思うが。
http://www.kurims.kyoto-u.ac.jp/~motizuki/news-japanese.html

それに、タオの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個」を批判してる人はいるのか？

**１３２人目の素数さん** · 2020/05/10(日) 09:43:28.36

>>626
IUT論文を
「もっちー以上の能力
∨彼以上に時間を掛けて
∧彼以上に数学者人生を掛け
真摯に向き合ってる」

アンチなんて1人も居ないんだろ

**１３２人目の素数さん** · 2020/05/10(日) 09:44:52.68

しかしそういう落ち度は別に本筋には関係ないでしょ。それこそ理論が正しそうに見えたら
集合の認識自体が後追いで変わるだろうし、現にそれを狙ったわけだよね

（lab）cuspってのは別の意味でも非常に示唆的な考え方。そもそも何故数論でカスプが重要なのか
直接関係ないけど、ラングランズ対応と遠アーベル幾何の関係を考える上で参考になる

**１３２人目の素数さん** · 2020/05/10(日) 09:52:42.13

>>596
>みんな怒る

(だの…"ショルツェガー"団とか…)

あなたは？

**１３２人目の素数さん** · 2020/05/10(日) 09:58:00.25

憶測 ∧ ミンナガー！
ショルツェガー！！
コミュニティガー！！！

薄ｯ! w

粋蕎 ◆C2UdlLHDRI · 2020/05/10(日) 10:34:54.87

数学板を荒らすなと言っていた60歳近い人間が数学板を荒らしとる…

**１３２人目の素数さん** · 2020/05/10(日) 10:46:43.41

公理が9個連呼おじさんどこ行った？w

**１３２人目の素数さん** · 2020/05/10(日) 11:00:18.08

公理9個うるさいよな。集めたら神龍出るのかよ。

**１３２人目の素数さん** · 2020/05/10(日) 11:01:13.03

>>629
本筋に関係のないことなら書かなくていいのでは？
本筋に関係のないことなら認識が後追いで変わることもないのでは？

**１３２人目の素数さん** · 2020/05/10(日) 11:12:25.18

(前略)
ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない。

これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、
著者が数理論理学について理解をしていない可能性があるという意見がある。
（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。）

https://ja.yourpedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96

2014年には既に指摘されているようだな
現時点でまだ修正していないのであれば、匿名じゃない人が指摘していないから気づいていない、という推測が出来る
まあ正当性と関係ないなら幾度となく言われてるがカット不可避なのだが

**１３２人目の素数さん** · 2020/05/10(日) 11:19:29.36

匿名の人の意見が正しいとも限らんがな