X
トップページ⇒数学
1002コメント441KB

Inter-universal geometry と ABC予想 52

■ このスレッドは過去ログ倉庫に格納されています
0525１３２人目の素数さん
垢版 |
2020/05/09(土) 11:30:18.87ID:cBA9toCl
公理のところは正しいとか間違ってるとか、論文全体に致命的かどうかじゃなくて、
こういう書き方をするんならほかも定式化のブレが予想されて読む気が失せるんだよね。
SSレポートについて最新版だとあれこれ反論してるけど、
labelを考慮しないとSSレポートのような結論になるからlabelを考えろ、
というのは古い版だとなかったと思う。
そういうのも含めて最初から読めっていうのは酷すぎる。
0527１３２人目の素数さん
垢版 |
2020/05/09(土) 11:45:41.16ID:jgM/AhDP
公理が9個の話は、それ自体が正しいか間違いかではなくて、

「そういう書き方をする時点で信用を失う」

という話だと思っている(と>>502で既に書いた)。
同じことを言ってる人もこのスレに何人かいる。

たとえば複素関数論だったら、複素変数を「x」で書き表すことは
まずなくて、普通は「z」とか「w」とかの文字を複素変数に割り当てる。
別にそこで「x」の文字を使っても間違いではないが、
しかしそういう人が実際にいたら、その人は信用を失う。

「公理が9個と考えても別に間違ってない」

と反論してる人たちは、

「複素関数論の文脈で、複素変数を表すのに z ではなく x を使っても何ら間違ってない」

と言ってるのと同じで、もちろん x を使っても間違いではないが、
しかし実際にそんな危なっかしいことをする人がいたら、その人は信用を失う。
0528１３２人目の素数さん
垢版 |
2020/05/09(土) 12:02:42.60ID:j9hCxaDC
>>523
＞型理論などを導入すれば9個にすることも可能であるらしい

でもよほど特殊な場合でない限りそんなことしないけどね

数が重要でないのにわざわざ９つというのが
いかにも素人の上から目線のマウンティング芸みたいで痛い(>_<)
0529１３２人目の素数さん
垢版 |
2020/05/09(土) 12:08:09.22ID:j9hCxaDC
>>526
無限個のxに関わる命題P(x)をandで結ぶ∀xP(x)はもちろん一階論理で許されますよ

問題は述語φについて同じことができるか、という点
一階論理ではできません

一階論理で扱うことで都合のよいことがいろいろある状況で
わざわざ二階論理を導入して「公理が９つ」という理由は
全く無いってことです
0530粋蕎 ◆C2UdlLHDRI
垢版 |
2020/05/09(土) 12:11:36.10ID:FS/ppdZ4
述語ねぇ

しかし二階論理と言いIUTと言いダブルスタンダードの様相じゃな
0533１３２人目の素数さん
垢版 |
2020/05/09(土) 13:38:06.95ID:/BYRDNlz
応援スレで決着済みのことを、いつまでも引きずっているねー。
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で残っている。

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の予想の証明に影響を与えるものではありません。
0534１３２人目の素数さん
垢版 |
2020/05/09(土) 13:52:51.91ID:bijIFi3Y
>>533
何が決着したのかはよく分からないが、

＞しかし、この発言は純粋に動機付けのためのものであり、abcの予想の証明に影響を与えるものではありません。

不正確な点もあり証明に影響を与えるものでもないなら、やっぱり書かなくていいのでは？
というのが決着？
0535１３２人目の素数さん
垢版 |
2020/05/09(土) 13:55:10.33ID:gvw24+om
>>533
これみるかぎりタオも>>527の立場だな。
基礎論部分の不正確性はCor3.12の正否の問題ではなく、
論文をどうみるかという心情の問題。

タオは一貫して状況証拠的にはネガティブからスタートポイントに立つという立場にみえる。
0536１３２人目の素数さん
垢版 |
2020/05/09(土) 14:03:09.56ID:G3kGbBRi
数学にかぎらず、客観的証明とはべつに「いけてそうか」という主観は必ず混じる
2012年の発表時にはセミナーへの参加も盛んだったが、
2015年のロンドンセミナーが失敗して以降は風向きが微妙になった
SSレポートから風向きが変わったわけではないし、
Scholzeの権威があるからみんなが盲信するようになったわけでもない
そのまえの１０回近いセミナーで理解者を出せなかったのが主因
0537１３２人目の素数さん
垢版 |
2020/05/09(土) 14:06:56.65ID:vilNrS9d
IUT 擁護派じゃないけど、
公理の数に拘ってるやつはうざいから消えて
0538１３２人目の素数さん
垢版 |
2020/05/09(土) 14:10:19.19ID:wubznBwf
最初の国内セミナーは30人くらい来てたんだっけか
このスレでも行ったってやつがひとりくらいいた気がする
0539１３２人目の素数さん
垢版 |
2020/05/09(土) 14:16:06.95ID:EpiLJs60
逆にいうとSSレポートがIUTの信用を落としたんじゃなくて、
IUTの信用がもう落ちてたからSSレポートが受け入れられる土壌があったんだよな
2012年にいきなりSSレポートが出てたら中立派のほうが多かったはず
0540１３２人目の素数さん
垢版 |
2020/05/09(土) 14:25:28.81ID:bijIFi3Y
>>537
IUT論文の中身について数学的な内容を話すことさえできないなら、このスレはいらんだろう
ABC予想の証明には関係ないからいらない、というのであれば「abc予想ってどうなったの [転載禁止]©2ch.net 」みたいなスレに行ったほうが君のためだ
0541１３２人目の素数さん
垢版 |
2020/05/09(土) 14:46:12.08ID:L/vxUjcX
今年の国内セミナーは40人くらい集まる予定のはず。
0545１３２人目の素数さん
垢版 |
2020/05/09(土) 14:58:16.05ID:7daEyNzb
そもそも4章終盤は間違えてるし書かなくていいのではって主張に、本当は望月は分かってるとかフランクに書いただけだとかの方が、主張をずらす粗捜しのように思えるがね
0546１３２人目の素数さん
垢版 |
2020/05/09(土) 15:16:02.89ID:Fjnv8ZFo
>>545
要は書き方の問題で明らかに否定するトーンで言うと、公理の数の話なんて難癖と言えば難癖だから、難癖じゃんと言われる
もし自分の主張を他人に受け入れて欲しいなら伝え方には気をつけよう
0547１３２人目の素数さん
垢版 |
2020/05/09(土) 15:22:05.50ID:7daEyNzb
>>546
伝え方が大事なのは分かるけど、数学板で数学上偽である命題を偽であると主張することが困難なのはちょっと残念だな
まあ、結論として、4章終わりはやっぱりいらないということは違いないんかね
0548１３２人目の素数さん
垢版 |
2020/05/09(土) 15:23:27.68ID:j9hCxaDC
>>546
甘ったれてますね
0549１３２人目の素数さん
垢版 |
2020/05/09(土) 15:39:03.75ID:v826FnmF
というか書き方からIUTを直接的に否定できるって言ってるやついるの？
ここまでみたらそういうのは少数派で多数派は書き方の問題は読み手に不信を与える
って話では

あとさ、これも何回か指摘されてるけど、証明する責任は望月にあるんだから、
このスレでIUTの否定的証明する必要性はまったくないんだわ
0550１３２人目の素数さん
垢版 |
2020/05/09(土) 15:39:49.68ID:Fjnv8ZFo
>>547
いらんかどうかの判断は正直できない
ABCには使われてないかもしれないけど、IUTのココロを伝えるために書いてあると思うし

間違えていたとしても価値がある場合もあるから何とも言えん
例えばフーリエ級数展開とか超関数も、当時は厳密には扱えなかったけど直感的には正しかった。
そしてだからこそ後の時代になって正当化された
多少間違えてるということだけで判断はできんなあと思う
0551１３２人目の素数さん
垢版 |
2020/05/09(土) 15:40:51.37ID:1un6YAdX
ほんと純数学って、純音楽と同じで、人に感動も呼び起こさないし、ロジックとしても役に立たないね。

予算減額がいいと思うよ。
0552１３２人目の素数さん
垢版 |
2020/05/09(土) 15:41:53.14ID:gwm6+T87
>>550
だからこそ応用がほかにないってのがけっこう痛い
なんかよくわからんけどとりあえず使えそうというのならここまで無視されてない
0553１３２人目の素数さん
垢版 |
2020/05/09(土) 15:43:42.21ID:scQJNZul
IUTが正しいと仮定すればこういうおもしろい結論が出ます、
というのならふつうに注目されてただろうね
谷村＝志村予想も予想の段階で仮定すれば面白い結論が出るし、
それで反例もあがらなかったから徐々に信用されるようになった
IUTにはそういうモチベーションがない
0554１３２人目の素数さん
垢版 |
2020/05/09(土) 15:45:15.01ID:j9hCxaDC
>>550
少なくとも「９つ」は要らないな

そういう無駄な記述に、著者の虚栄心以外の心はないよ
0555１３２人目の素数さん
垢版 |
2020/05/09(土) 15:46:10.35ID:1un6YAdX
フーリエとの違い

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

こういうことでしょ…
みんな分かっているくせに…
0556１３２人目の素数さん
垢版 |
2020/05/09(土) 15:51:00.02ID:tUatUVy2
>>554
どちらかと言うとそういう難癖こそ、レス投稿者に数学者に対して数学的な間違いを指摘したいという虚栄心を感じる
0557１３２人目の素数さん
垢版 |
2020/05/09(土) 15:57:18.79ID:G1CYiQB/
数学的な誤りの指摘を難癖と言われてしまったら何も言えなくなるな
匿名掲示板で何言ってんだか
0558１３２人目の素数さん
垢版 |
2020/05/09(土) 16:00:01.98ID:kDbU8IqI
本筋と関係ないからね

本筋と関係ないことをあたかも致命的なミスのように騒ぐ
難癖以外の何物でもないでしょ
0559１３２人目の素数さん
垢版 |
2020/05/09(土) 16:02:05.85ID:G1CYiQB/
致命的でなくてもミスはミスなんだよね
騒がれたくない人って何者だよ
RIMSの関係者か？
0560１３２人目の素数さん
垢版 |
2020/05/09(土) 16:02:10.63ID:tUatUVy2
>>557
別に匿名掲示板でも難癖レベルの指摘だったら、そら難癖と言われるよ
匿名掲示板だからって難癖でなくなるわけじゃない
0562１３２人目の素数さん
垢版 |
2020/05/09(土) 16:03:21.35ID:7daEyNzb
本筋に関係のないことを論文に書くのは問題では
だったら数学論文におすすめのスポットとか書いても査読を通すのかという話になる
0564１３２人目の素数さん
垢版 |
2020/05/09(土) 16:23:35.70ID:cNDZCjvf
どうでもいい部分で鬼の首を取ったようにさわぐのは
自分が馬鹿だと宣伝しているようなものだからやめた方がいいと思う
0565１３２人目の素数さん
垢版 |
2020/05/09(土) 16:30:47.43ID:hgyGtPgP
>>562
それなんだよな。
今回のはIUTが正しい正しくない以前に
「これまともに査読してないだろ」という空気があるのがよくない。
0566１３２人目の素数さん
垢版 |
2020/05/09(土) 16:32:24.15ID:bijIFi3Y
要するにIUT4章って「欅坂46のサイレントマジョリティーから着想を得ました。欅坂46とは……」と書いてあるようなもんだろ？
数学論文でこれを通すのがどうでもいいっていうのはちゃんちゃらおかしいと思うが。
0567１３２人目の素数さん
垢版 |
2020/05/09(土) 16:34:09.49ID:cPsklcPa
LabCuspの話題を無視するところを見ると、ちゃんと論文読んでないな。
0568１３２人目の素数さん
垢版 |
2020/05/09(土) 16:37:29.00ID:j9hCxaDC
>>566
で「ＺＦＣの公理は九つではない」というのは
「は？欅坂？笑わせるな　BABYMETAL最高！」
とかいう難癖とは異なる
0570１３２人目の素数さん
垢版 |
2020/05/09(土) 16:39:49.39ID:h7oR9vR0
>>568
おなじだな
本筋と関係ないことが論文に書いてあるんだから

公理の数は本筋と関係ないと主張すればするほど、
じゃあそこをカットしろよという反論になって返ってくるよ
0571１３２人目の素数さん
垢版 |
2020/05/09(土) 16:39:54.30ID:hwkE6XtS
>>559
「ZFCは9個の公理から成る」これは間違った主張ではないよ
「ZFCは9つの一階述語論理の閉論理式から成る」と言ったら間違いだけど
0572１３２人目の素数さん
垢版 |
2020/05/09(土) 16:42:39.73ID:hY/5YyVW
本筋と関係ないことが不正確に書いてある
↓
いまじぶんが理解できないこともそれなんじゃないかという疑念が出る
↓
フォローする気をなくす
0573１３２人目の素数さん
垢版 |
2020/05/09(土) 16:43:13.45ID:j9hCxaDC
>>571
＞「ZFCは9個の公理から成る」これは間違った主張ではないよ

正しくもない

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

欅坂でいうと「平手友理奈はカリスマ！」みたいなヲタ発言か
0574１３２人目の素数さん
垢版 |
2020/05/09(土) 16:46:10.74ID:j9hCxaDC
あ、字間違ってましたｗ

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

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

「わかると思うが」
0575１３２人目の素数さん
垢版 |
2020/05/09(土) 16:46:50.75ID:WQU2S1JU
>>503
渕野さん厳しいなｗ
「バナッハタルスキーの定理は証明されたと考えられている」と書いているから、
木村俊一は定理の証明をちゃんと理解していないらしいとこきおろしているが、
「ショルツから反論がなかったので、IUTは正しいと判断した」と発言した玉川さんは、
もちろんIUT論文を理解していないわけだｗ
0576１３２人目の素数さん
垢版 |
2020/05/09(土) 16:48:44.19ID:/gPwFwIn
>>575
あれほんとに意味不明だった。
ショルツから反論があるかどうかって査読となにも関係ないのにな。
0577１３２人目の素数さん
垢版 |
2020/05/09(土) 16:51:22.19ID:xsXiYi/a
>>573
一階述語論理でZFCを厳密化する前からZFCはある訳で、厳密化される以前や高階述語論理まで加味すれば「9個の公理」と言うほうがむしろ自然に思うけどね
0578１３２人目の素数さん
垢版 |
2020/05/09(土) 16:55:20.37ID:j9hCxaDC
>>575
＞渕野さん厳しいな
あ、でも、木村俊一の本はいろいろヒドイ
これマジで怒ってるよ

玉川氏の回答は明らかに官僚の答弁
ほんと誰が査読したんだろうな？
0579１３２人目の素数さん
垢版 |
2020/05/09(土) 16:57:13.58ID:/BYRDNlz
>>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"
0580１３２人目の素数さん
垢版 |
2020/05/09(土) 16:57:50.01ID:/BYRDNlz
２．おそらくタオ指摘で削除した部分　【最終版頁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.

ひどいガセネタだよ。これは。　（怒）
0581１３２人目の素数さん
垢版 |
2020/05/09(土) 16:58:40.76ID:j9hCxaDC
素人の「自然」は、見当違いだから無意味

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

こんな言葉で非ユークリッド幾何や相対性理論が否定できるなら苦労しない
0582１３２人目の素数さん
垢版 |
2020/05/09(土) 16:59:21.31ID:/gPwFwIn
>>579
＞albeit from an extremely naive/non-expert point of view, relative to the theory of foundations!

もうこの時点で論文のスタイルをなしてない。
これでは日記帳だ。
0583１３２人目の素数さん
垢版 |
2020/05/09(土) 17:03:01.97ID:xDJzJeu4
じゃあはっきり言うが、公理が9個って話とひとつの公理をひとつの閉論理式で書けるかって話を勝手に混ぜこぜにしてるのがおかしいんだよ
「公理=一階述語論理の閉論理式」という思い込みをしてるんだろうね
0584１３２人目の素数さん
垢版 |
2020/05/09(土) 17:05:57.74ID:jgM/AhDP
>>502でも>>527でも書いたけど、これは「公理が9個」という書き方それ自体が
正しいか間違いかの問題ではなくて、

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

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

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

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

という反論をしてみたところで、著者の信用が取り戻せるわけではない。
確かに x という文字でも論理的には間違ってないが、論点はそこではなく、
「複素変数に x を使うという書き方そのものに読者は不信感を抱いている」という生理的な側面が
問題なのである。これに対して「難癖だ。論理的には間違ってない」という反論の仕方では的外れで、
読者の信用は取り戻せない。そして、信用を取り戻せる唯一の方法は、x ではなく z に書き換えること。
IUTの場合は、「公理が9個」という書き方をやめること。
あるいは、そもそも4章終盤は書かなくていいのではないかということ。
0586１３２人目の素数さん
垢版 |
2020/05/09(土) 17:12:21.74ID:bijIFi3Y
>>580
どうも2020/04/22に更新したみたいだな
流石にチェックしてなかったわ、すまん

きちんと「非専門家の意見として」と注意を入れて、難癖扱いするのではなく訂正するのは、「数学的真偽」についてきちんと真摯に向き合ってる優秀な数学者だと思った
まあ「だったら論文に書かなくていいのでは」と思わざるを得ないが、査読時にカットしてる可能性も出てきたなこれは
0587１３２人目の素数さん
垢版 |
2020/05/09(土) 17:13:30.38ID:U8sKgosT
論文に「これは非専門家の意見であるが」なんて書いてあったらその時点でリジェクトだと思うが
0588１３２人目の素数さん
垢版 |
2020/05/09(土) 17:14:37.57ID:JNaCPHC5
>>584
公理の件はむしろ突っ込んでる人の半可通ぶりから来てる混乱としか思えんのだが
「公理が9個」これは実際～axiomと名の付いた公理9個からZFCが作られてるから問題ない
公理の数の話と、表現する論理式の数の話を混同してしまってる人がおかしい

あと少なからずの読者が云々とあるが、匿名じゃない意見で「公理が9個」を批判してる人はいるのか？
0589１３２人目の素数さん
垢版 |
2020/05/09(土) 17:15:49.62ID:bijIFi3Y
>>587
その通り
ただ査読論文はカットしていて、あくまで好意でネットに上げてるペーパーには「欅坂46めっちゃ可愛い」と書いてあるだけであれば、非難することではないかなと思う

査読論文の公開が待たれるな
0590１３２人目の素数さん
垢版 |
2020/05/09(土) 17:17:05.50ID:U8sKgosT
>>589
査読論文とアップロードされてるものが違うなら世界中の数学者はキレていいよ
すくなくともショルツは怒鳴り込んでいいレベルだと思う
0591１３２人目の素数さん
垢版 |
2020/05/09(土) 17:17:42.20ID:j9hCxaDC
>>588
論理に関して不可通な人が云ってもねぇ・・・

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

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

もうマウンティング失敗してるけど
0593１３２人目の素数さん
垢版 |
2020/05/09(土) 17:18:20.80ID:nrsDAk2r
だから査読に出した版をfixed版にしてarXivにあげとけって話だったのに、
なんで大学院生でも守れることを守らないんだろうか
0595１３２人目の素数さん
垢版 |
2020/05/09(土) 17:19:43.26ID:bijIFi3Y
>>590
間違いは誰にでもあるもので、非専門家で分からないことがあるということにさえ気づいてないということも多々ある
最終的に修正すればそこはいいと思うがな
0596１３２人目の素数さん
垢版 |
2020/05/09(土) 17:21:04.36ID:nrsDAk2r
>>595
査読版とネット版がちがうというのはまちがい云々のレベルじゃなくて詐欺だよ
ネット版をみて議論してるのに査読版は違うんだとか言われたらみんな怒るわ
0597１３２人目の素数さん
垢版 |
2020/05/09(土) 17:21:32.39ID:j9hCxaDC
あくまで脱線

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

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

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

＃てちはただのガキ
0598１３２人目の素数さん
垢版 |
2020/05/09(土) 17:21:53.51ID:LAn/L3vw
>>591
こうなってくると難癖としか思えないんだよね
あなたが論文の書き方に不満なのは分かったけど、私は別に変と思わない
0599１３２人目の素数さん
垢版 |
2020/05/09(土) 17:23:12.24ID:tUatUVy2
難癖つけるのは勝手だし好きにすればいいけど、それ難癖だよと言われてムキーて怒っちゃうのわな
0601１３２人目の素数さん
垢版 |
2020/05/09(土) 17:24:06.45ID:j9hCxaDC
>>598
＞私は別に変と思わない

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

無知こそ正義とかいわれてもねぇ・・・
0605１３２人目の素数さん
垢版 |
2020/05/09(土) 17:50:58.82ID:pH2Ybl00
ペレルマンのときは少々間違っていても文句でなかったのに、徳のなさを感じるわ。
まあ、これまでの経緯を見ると仕方ないけどね
0606１３２人目の素数さん
垢版 |
2020/05/09(土) 17:57:38.91ID:/BYRDNlz
>>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ブログ等が「タオ指摘の誤りが直されてない、査読おかしい」と騒いでいるよ　ｗ
0607１３２人目の素数さん
垢版 |
2020/05/09(土) 18:00:36.42ID:j9hCxaDC
>>605
ペレルマンは余計なこと書かなかったし
リッチ＝フロー法も、すでにハミルトンが考えたものだったからな

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

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

望月、アメリカでなんかあったのか？
0608１３２人目の素数さん
垢版 |
2020/05/09(土) 18:02:58.60ID:bkFpRS9Z
分かってないやつがいると思うが平手は史上稀に見るクズだからな

数え切れないサボり
ドタキャン
仕事の拒否
リハーサルをすっぽかしてディズニーで遊び。それを武勇伝として嬉嬉として語る
MV撮影を拒否して勝手に帰宅
武道館ライブをキャンセルに追い込む
新曲リリースを拒否
ついにソニーミュージックに多大な損害を与えたことでクビ
0609１３２人目の素数さん
垢版 |
2020/05/09(土) 18:53:56.06ID:j9hCxaDC
ま、みんな知らないと思うけど、SU-METALはポンコツ

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

ちなみに、乃木坂４６にいた姉は頭もいいし運動神経もある
https://www.youtube.com/watch?v=AJ1yubnd3uI
https://www.youtube.com/watch?v=gyJ8IzuUOzE
0610１３２人目の素数さん
垢版 |
2020/05/09(土) 19:44:50.47ID:cPsklcPa
Label+Cuspなはずなので調べてみた。

＞ラベカスプ に一致する情報は見つかりませんでした。
0611１３２人目の素数さん
垢版 |
2020/05/09(土) 23:14:14.52ID:N2l7VLsN
文藝春秋読んだけど、
九割以上これまで知ってるネタの
使い回しだった

Bさんはいい加減新しいネタ仕入れて欲しい
0612１３２人目の素数さん
垢版 |
2020/05/10(日) 00:28:24.99ID:H/PeN8WT
2020/4/30
2020年度訪問滞在型研究計画
「宇宙際タイヒミューラー理論の拡がり」（代表者：望月 新一）は感染症予防のため中止となりました。
0614１３２人目の素数さん
垢版 |
2020/05/10(日) 00:54:36.64ID:H/PeN8WT
>>606
> 投稿版も最終版も
PIIMSの投稿規定と編集規定を公開
しろよな。
0615１３２人目の素数さん
垢版 |
2020/05/10(日) 00:56:22.44ID:H/PeN8WT
>>614
文字化け
PIIMS→PRIMS
0616１３２人目の素数さん
垢版 |
2020/05/10(日) 01:08:10.70ID:lr1QvSh+
簡単だよ横取りされるからだよ
ワザとわかりにくくして説明もしない
0617１３２人目の素数さん
垢版 |
2020/05/10(日) 01:47:24.24ID:wJ/tXnk8
ハーフで頭脳明晰すぎると、アメリカでも日本でも中高ではいじめられそう
0618１３２人目の素数さん
垢版 |
2020/05/10(日) 01:53:46.95ID:iTOLzEvs
IUTはCOVID19の感染より
Tウイルスの感染症状だ
強い感染力　変異化
パラダイムが全く違う言語
治療法なし
0619１３２人目の素数さん
垢版 |
2020/05/10(日) 02:35:19.74ID:nGu7yYOx
>>609
まるで分かってないな
SU-METALはポンコツではない
真逆であり、彼女の突出した有能さと天才性がBABYMETALを成功に導いたんだよ
実際 SU-METALとしてポンコツな場面なんて皆無だよ
さくら学院での中元すず香としてのエピソードによる印象操作が一つの原因になってる
さくら学院を作ったのは武藤彩未を売り出すのが目的の一つで、その為に彩未上げ中元下げの「演出」がなされた
それが千葉プロデューサーの意図だった
それと中元すず香自身がさすがにテンパってしまう厳しい環境に置かれたことが2つ目の要因だ

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

それでなくても成長期で体の成長で不安定なのに、これだけのタスクをこなしていたわけだよ
普通の中学生は1と2だけでも根を上げてるのがいるのに、さらに3、4、5を同時にこなした
いくら中元でもさすがにテンパるよ
エピソードの多くはこうした過負荷な環境の元で生み出されたことを理解しないといけないよ
さすがに中3からは東京に引っ越して過負荷とはお別れした後は生徒会長として見事なリーダーシップを発揮した
あなたは見識に欠けた方だね
残念なメイトさんだ
0622１３２人目の素数さん
垢版 |
2020/05/10(日) 07:14:45.46ID:GlqIB1Mz
もっちーが呼んじゃうんだろ
「がっきーが好き」だの
「欅坂ファン」だのって
カムアしてたからね
0623１３２人目の素数さん
垢版 |
2020/05/10(日) 07:47:15.02ID:vZYbiwt9
>>619
現人神であるSU-METALこと中元すず香について
ここで語り合える仲間がいるなんて嬉しいな

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

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

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

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

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

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

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

ちなみに中元すず香がさくら学院第２代生徒会長として
頑張ったことは承知している
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況