[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
440: 2020/04/25(土)11:18 ID:dUEBtaY/(3/14) AAS
٩(”*)ว>>439))
ﾁｮｯﾄ一緒ﾆ出ｶｹﾃｺｮｩﾈ…♪
441: 2020/04/25(土)11:32 ID:dUEBtaY/(4/14) AAS
|*“))←２ｍ→(>>438)
博士…ＩＵＴＴは“失敗”しちゃってるんでしょうか?
442(1): 2020/04/25(土)11:34 ID:dUEBtaY/(5/14) AAS
⊃♀))(>>436)
(↑鏡)
443(2): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)11:36 ID:ReTz6AXc(13/59) AAS
>>438
＞そんなミスは殆どない
そりゃそうよ 集合論の話なんかしないでしょ
＞何よりグロタンディークが非常にロジカルな人だったしね
でも、フォーシングとかは知らんと思うよ
ネットでも実社会でもおかしな人ほど大騒ぎする
省2
444(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)11:38 ID:ReTz6AXc(14/59) AAS
>>442
だからよくわかる(￣ー￣)ﾆﾔﾘ
昨日は右耳の聞こえが悪かった・・・幸い回復したが
445: ID:1lEWVa2s 2020/04/25(土)11:51 ID:Y7zAeKU+(1) AAS
動画ﾘﾝｸ[YouTube]
446(1): 2020/04/25(土)12:04 ID:dUEBtaY/(6/14) AAS
>>444
ﾁﾞﾁﾞｨｯﾁｬﾏ寝る前にお風呂でバスタブ浸かってゆっくり入浴して寝てみて？
血行を良くして身体を冷やさないように、って。
循環と代謝を良くするように生活して下さ〜ぃ。。。
※ちゃんと白湯とかＯＳ-１とかで入浴前中後に水分＋ビタミンＣ補給をしっかりしてください!
447: 2020/04/25(土)12:13 ID:dUEBtaY/(7/14) AAS
追伸
夕食は温野菜や煮魚や大豆製品を摂ると良いみたいです…(←アレルギーの方はﾀﾞﾒ。)
お肉は鶏胸肉(成長ホルモン未使用※国産鶏胸肉とか)が良いみたいです。。。
良く加熱してお召し上がり下さい。
いつまでも元気なクソﾁﾞﾁﾞｨｯﾁｬﾏで勢い良くｽﾙﾙｪ回しして下さ〜ぃ♪
448: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)12:14 ID:ReTz6AXc(15/59) AAS
>>446
あんた・・・いいヤツだなあ
ありがとう、ＢＢＡ（一言余計！！！）
449: 2020/04/25(土)12:19 ID:dUEBtaY/(8/14) AAS
(ﾁﾞﾁﾞｨｯﾁｬﾏを狙ってるから…)
(＾＾)ﾆﾔﾘ
450: 2020/04/25(土)12:20 ID:dUEBtaY/(9/14) AAS
(一言余計…魂胆ﾊﾞﾚﾊﾞﾚ…)
451: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)12:21 ID:ReTz6AXc(16/59) AAS
2chｽﾚ:math
会長、わかりもしない論文にグダグダ拘泥ｗ
IVの§3なら
∈-structureとか、∈-loopsとか
言わなきゃどうってことなかったのにな
査読者も要らん記述は削除するよう云えよ
なんも仕事してないな
452(1): 2020/04/25(土)13:19 ID:nULhaJry(2/4) AAS
>>424
代数幾何とか圏論とか全然わからない素人なんだけど、今の数学って、
ZFC + 到達不能基数の存在公理 （ZFCU？）
の上で考えられているの？
つまり、IUTが正しかったとしても、それはZFCよりも（より多くの公理が必要という意味で）狭い世界で成り立つ話であって、
純粋なZFCの世界では考えられない話なの？
例えば、フェルマーの最終定理も、ZFCよりも狭い世界では証明されたけど、純粋なZFCの世界では証明されていないと考えるべき？
453(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)13:55 ID:ReTz6AXc(17/59) AAS
>>452
集合論じゃなきゃ、今の数学で到達可能基数の存在公理は要らないんじゃね？
IUTの話なら本スレで訊きなよ
間違っても応援スレにはいくなよ
あそこは「保育園」だからｗ
454(1): 2020/04/25(土)14:11 ID:nULhaJry(3/4) AAS
>>453
到達不能基数のWikipedia見たら、
>到達不能基数による真クラスの存在性
>…
> ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される
>(これは ZFC に urelements を付け加えたものと混同しないように注意)。
> この公理系は、例えば全ての圏は 適切な米田埋め込み(en:Yoneda embedding)を持つということを証明するのに役立つ。
省3
455: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)14:54 ID:ReTz6AXc(18/59) AAS
>>454
本スレで訊きなよ
456(1): 2020/04/25(土)15:00 ID:6wmAgSBh(1) AAS
>>443
俺が読んだ代数幾何の本では、エタール位相をuniverse Uに属するスキームのみを用いて構成すれば、エタールサイト(スキームX上エタールなUに属するスキームとエタール位相の組)上の層F,F'に対してHom(F,F')が集合であるという注意が書いてあった
こんな感じで何も書いてない方が珍しいんじゃないかな
それでもIUTみたいなミスは見たことないし、代数幾何(を含む数論幾何)研究者のほとんどはきちんと理解してると思うよ
457: ID:1lEWVa2s 2020/04/25(土)15:07 ID:LLArYwLp(1) AAS
>>443
僕は中卒ですが。
458(1): 2020/04/25(土)15:35 ID:56hvO4NK(1/18) AAS
>>427
お前本当に論文読んだのかよ
無限降下列はないて書いてるじゃん
459: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:01 ID:ReTz6AXc(19/59) AAS
>>456
だったら、玉川に言ってやれば?
「ちゃんとやってくださいよ！
でないと、僕たち代数幾何を学んでる者が
馬鹿にされるんですよ！！！」
って
460(1): 2020/04/25(土)16:01 ID:56hvO4NK(2/18) AAS
>>423
無限降下列について言及はあるけど、それは正則性公理から存在しないから気をつけてね論文自身に書いてるじゃん
あたかも望月自身がそれがあると信じるかのように書くとか捏造にも程がある
こんな読み間違い普通はしないよ
明確な悪意をもって嘘をつくとか最低だわ
461(1): 2020/04/25(土)16:03 ID:56hvO4NK(3/18) AAS
望月は集合論分かってねえと書くやついたけれど、分かってねえがこのレベルなら、否定派の方が確実に分かってねえわ
462(2): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:05 ID:ReTz6AXc(20/59) AAS
>>458
読んだよ その文章も読んだ
問題は、わざわざそこに言及したこと
つまり
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ...
ではなく
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
省6
463: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:06 ID:ReTz6AXc(21/59) AAS
>>460-461
全て君の妄想
>>462に書いてあげたから よく読もうね
464(1): 2020/04/25(土)16:14 ID:56hvO4NK(4/18) AAS
>>462
あのさ、順序数とか分野じゃ
1,2,...,ωて書いたりするから別におかしくはないんだよ
それと論文中にないてこと書いてるにも関わらず、そのことについてレスで言及にしないのは明らかにミスリードを狙ってるよ
465: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:14 ID:ReTz6AXc(22/59) AAS
蛇足
外部ﾘﾝｸ[pdf]:www.ivis.co.jp
ｐ７７ 参考：圏論の集合論的基礎を探して
• 圏論では集合の圏 Sets，群の圏 Grps，圏の圏 Cats など
様々な大きさの集まりを圏として扱う
• VGB や Kelley-Morse set theoryでは Sets, Grps は扱うことができるが，
クラスがクラスの要素になれないてにCats は扱えない
省11
466(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:18 ID:ReTz6AXc(23/59) AAS
>>464
＞順序数とか分野じゃ1,2,...,ωて書いたりするから別におかしくはないんだよ
上記では、∈は書いてないね
もし1∈2∈…∈ωと書いたら、ウソだよ
だって”∈ω”の左側に何も書けないだろ？
何か自然数を書いたっていいけど、その場合有限列だよな
でも無限列と断言したんだよな？ だったらウソじゃんｗ
467: 2020/04/25(土)16:28 ID:56hvO4NK(5/18) AAS
>>466
”∈”で線型順序をなしてωはその最大値てわかるやん
論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから、そんな読み間違い起こさないよ
だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意してねと書いてるわけでしょ
これから集合論理解してないなんて言えないでしょ
468(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:37 ID:ReTz6AXc(24/59) AAS
＞”∈”で線型順序をなして
自然数は線形順序（＝全順序）というだけではないよ、整列順序だから
＞ωはその最大値てわかるやん
ωは自然数ではないけど 大学で習わなかった？
＞論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、
＞V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから
省10
469: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:41 ID:ReTz6AXc(25/59) AAS
いっとくけど、基礎の公理のない集合論を考えたいならそうしたっていいよ
別に、基礎の公理がないと矛盾する、とかいうことはないから
でも、IUTで∈-loopsが必要なわけではないんだろ？
simulate ∈-loopsって書いてあるけど、loopならいいんだろ？
だったら∈なんて一切語らなければいいじゃん
いったい、何がしたいの？
470: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)16:47 ID:ReTz6AXc(26/59) AAS
2chｽﾚ:math
どうやらIUTを守る会 会長も
IVの§3がuntouchableだと
気付いたようだな(￣ー￣)ﾆﾔﾘ
なんでこの節載せたのかね
載せるにしても∈に関する一連の説明は結局無意味だよね
削除したほうがいい、っていわなかったのかね？
471(2): 2020/04/25(土)16:53 ID:56hvO4NK(6/18) AAS
>>468
いやあのさ、ここでの大小関係て順序数での比較なのは明白なんだからωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ。。
一応書いとくとωは自然数全体の集合ね
ωはω∪{ω}で最大値だよ
V_i∈…Vて書いたのは、∈で最大をとることの強調だろうよ
ε-loopそのものも明確にねえて論文P74で書いてるだろ
だけれどある種の類似物をこれから作ろうて話じゃん
省2
472(1): 2020/04/25(土)16:56 ID:LKPY7+kk(1) AAS
たとえば順序数の文脈なら
1∈2∈…∈ωは正しいし無限個の順序数が現れてるから無限列ってのも間違ってない
論理狼さんが「無限列はa1,a2,…の形だけが正しくて最大元が最後に現れてる↑のものは無限列と呼ばない！」って考えるのは自由だけど
これを無限列と呼ぶのは別に間違いじゃないと思うよ
473(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:01 ID:ReTz6AXc(27/59) AAS
>>471
＞ここでの大小関係て順序数での比較なのは明白なんだから
誤 順序数
正 自然数（＝有限順序数）
＞ωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ
そもそも、ωを持ち出すことが的外れなんだが、自覚ないのか？
＞ωはω∪{ω}で最大値だよ
省1
474(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:03 ID:ReTz6AXc(28/59) AAS
>>471
＞ε-loopそのものも明確にねえて論文P74で書いてるだろ
読んだよ
＞だけれどある種の類似物をこれから作ろうて話じゃん
問題は、なぜ「∈-loopsの類似物」という必要があるのか？ってこと
そんなこという必要ないよね？ 頭冷やせよ ドライアイスでｗ
475: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:09 ID:ReTz6AXc(29/59) AAS
＞順序数の文脈なら1∈2∈…∈ωは正しいし
もしどうしてもそう書きたいのなら、
極限順序数ωについて”∈ω”と書く場合には
∈の左側には項が存在せず、無限列が記載される
という定義を示すべきだね
それを君は文脈という言葉でゴリ押ししたいんだろうけど
あの論文でそれは通用しないな
476: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:12 ID:ReTz6AXc(30/59) AAS
>>472
＞「無限列はa1,a2,…の形だけが正しくて
＞ 最大元が最後に現れてる↑のものは無限列と呼ばない！」
＞ って考えるのは自由だけど
なんで∈を抜いたのかな？
∈を入れないんなら、1，2，・・・，ωと書いても問題ないよ
∈があるから左の項と右の項がある筈、ということ
省1
477(1): 2020/04/25(土)17:13 ID:56hvO4NK(7/18) AAS
>>473
何でお前が勝手に正誤判定してるんだ
文脈的に順序数だったのは明白だったぞ。。
自然数での比較なら順序数なんて言葉は持ち出さねえよ
ωを持ち出したのはV_1∈V_2∈…∈Vの順序構造はω+1と同じだから持ち出したんだよ
ωはωの要素でないのは百も知っとるわ
だからω+1の中で最大と書いたんだけれど文章読めない人？
省1
478(1): 2020/04/25(土)17:14 ID:56hvO4NK(8/18) AAS
>>474
精神としては集合論では存在しない∈loopに似てるから持ち出したんでしょ
馬鹿なのかな
479: ID:1lEWVa2s 2020/04/25(土)17:17 ID:t1bR/tIL(1) AAS
本は数学の基礎ですか。
480(2): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:18 ID:ReTz6AXc(31/59) AAS
>>477
＞文脈的に順序数だったのは明白だったぞ
それ妄想
＞V_1∈V_2∈…∈Vの順序構造
あのな、∈は”、”じゃないんだよ 単なる区切りの文字じゃない
∈と書くからには（＜でも⊂でも同じだけど）左の項と右の項が要るの
省1
481(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:21 ID:ReTz6AXc(32/59) AAS
>>478
＞集合論では存在しない∈loopに似てるから持ち出したんでしょ
存在しないものに似てるってナンセンスだな
論文を読む限り∈ｰloopsは集合論ではできないから”シミュレート”するとあるが
そもそも”シミュレート”を強調する必要があるのか？
ただのループではいかんのか？なぜいかんのか？君は説明できるのか？
説明できないんなら黙れよ 意味ないから
482(1): 2020/04/25(土)17:22 ID:56hvO4NK(9/18) AAS
マジで集合論とか順序数分からなかったのか、分かっててあえて難癖つけてたのかは知らんけど
5chでIUT論文について、集合論的に間違ってるとかいう奴はこのレベルなんだなあということが分かったわ
マジで論文の成否とは無関係なところで突っ込んでいた
ていうかすぐに分かるような間違いなら、それまでに本職の数学から当然ツッコミが入るはずで、8年間もあってるのかあってないのか分からねえみたいな状態になるはずないんだよな
483(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:27 ID:ReTz6AXc(33/59) AAS
>>482
論文の成否と関係あるかどうかは知らんｗ
関係ないなら、無駄に突っ込まれる箇所は削除するのが当然だろう
まあ、査読者に対して最大元贔屓目に見れば
「ここは著者がinter-universeを考えた動機についての説明だから
結果として見当違いだった思考の跡についての記述も残しておくべきだろう」
と考えたのかもしれん
省1
484(1): 2020/04/25(土)17:28 ID:56hvO4NK(10/18) AAS
>>480
文脈的には明らかだったんだけど、義務教育を全うしたか怪しい君には難しかったようだね
君のことを買いかぶりすぎてた俺が悪かったよ、ごめんね
「1<2<3<...<ω」て書くのは誤りで
「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は
分かりにくいし、大変そうだけど頑張ってね
485: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:32 ID:ReTz6AXc(34/59) AAS
結局、inter-universeそのものは∈と無関係なんだろ？
だったら§3の記述は無駄なおしゃべりを割愛してスッキリと書くべきだな
∈の無限上昇列も無限下降列もループも要らない
グロタンディク宇宙はあってもいいかもしれんが、
そもそも取り替えたいのは本当に宇宙全体なのか？
もっと真面目に考えたほうがいいんじゃないのか？
486(2): 2020/04/25(土)17:34 ID:56hvO4NK(11/18) AAS
>>481
いや知らんけど明らかに悪意持って捏造してるレスみたら、それは捏造ですよと注意しただけだよ
487(2): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:35 ID:ReTz6AXc(35/59) AAS
>>484
＞「1<2<3<...<ω」て書くのは誤りで
＞「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は
「1<2<3<…」かつ「任意の自然数nについてn<ω」の場合、
便宜的に「1<2<3<...<ω」と書くと定義するなら、そうしてもいいよ
ただそういう表記は、極限順序数であるωに、
あたかも前者となる順序数が存在するかのごとき
省2
488: 2020/04/25(土)17:35 ID:56hvO4NK(12/18) AAS
>>483
IUTが正しいかは分からんけど、君の考えが見当違いになってたのは分かる
489(1): 2020/04/25(土)17:36 ID:ZB44qZOw(1) AAS
>>480
∈が順序関係になってる場合(例えば順序数全体で∈を考える)だとV1∈V2∈…∈Vはおかしくないでしょ
実数の体系でa1<a2<…aって書くのと同じことだよ
490(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:37 ID:ReTz6AXc(36/59) AAS
>>486
悪意も善意もない
そもそも望月の文章が、読者をミスリードしかねない危険なものだと指摘した
自分が間違えた経験をそのまま書いてるだけかもしれんが、
もしそうなら、愚劣の極みだな
491(1): 2020/04/25(土)17:38 ID:GoU2jl6o(1) AAS
>>487
＞ただそういう表記は、極限順序数であるωに、
＞あたかも前者となる順序数が存在するかのごとき
＞誤解を与える点で有害無益だと思うがね
だんだん批判のトーンが下がって来てるねw
単にあなたがややこしいと思ってただけでしょ、集合論の本でもこの程度の書き方は特に不自然とは思わない
492: 2020/04/25(土)17:38 ID:56hvO4NK(13/18) AAS
>>487
いや知ってだけど
そもそもωをわざわざ持ち出す人が知らないわけないじゃん
知らなかったのはむしろ君で、それ誤魔化すために書いたのかな笑
493: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:41 ID:ReTz6AXc(37/59) AAS
>>489
粗雑な表現を漫然と受け入れてると、必ずつまづくよ
494(1): 2020/04/25(土)17:45 ID:56hvO4NK(14/18) AAS
>>490
あのさ、無限降下列も∈loopも、正則性公理からそれ自身はありませんてP68とP74で明確に書いてるのに、どうミスリードされるんだ？
君はスレを読んでた人をミスリードさせようとしてたのに、よう言えるなそんなこと
495(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:46 ID:ReTz6AXc(38/59) AAS
>>491
＞だんだん批判のトーンが下がって来てるねw
いや、まったく下がってない 上がりまくってるがｗ
無限上昇列があるというだけなら わざわざ∈Vをつける必要がない
無限下降列が存在しない、とか∈ループが存在しないというのにもVは必要ない
上記２点を否定することは絶対にない
496(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:49 ID:ReTz6AXc(39/59) AAS
>>494
わざわざVを持ち出して、無限上昇列の最後に「∈V」とつけてる時点で
「もしかしたらVから無限下降列がつくれて、
VからVへのループもできそうなのにおしい」
という気持ちがありありと感じられるから
「そういう妄想、要らんから」
といってるだけ 何がしたいんだ？望月
497(1): ポス毒 2020/04/25(土)17:49 ID:6oPh/Rfv(1) AAS
IDころころ変わるからコテ付けます
>>495
それだけだったらminor revisionといて提案する程度の事柄だね…
(個人的にreviseする必要があるとは思えないけど)
こんな部分を突いても論文の批判としては無価値だと思うよ
498(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:52 ID:ReTz6AXc(40/59) AAS
>>486
＞いや知らんけど
結局 56hvO4NKはloopについては何も語れてないな
顔洗って出直してこいよ ま 別に戻ってこなくていいけどｗ
499: 2020/04/25(土)17:54 ID:56hvO4NK(15/18) AAS
>>496
それと似たような操作したいて話なわけでしょ
そんなのありえねえと君が批判するのは自由だけれど、論文の一部分だけを切り出して、しかもその論文中で明確に否定してることを、「論文にはこんな記述があるから間違ってる！！」とかミスリードにもほどがあるでしょ
そのようなミスリードは批判されるべきものだよ
500: 2020/04/25(土)17:55 ID:yxjK8Qim(1/2) AAS
revisionする必要すらない内容なら書かなければいいと思うんですがそれは
501(1): 2020/04/25(土)17:56 ID:56hvO4NK(16/18) AAS
>>498
君が気持ちよくスレ民ミスリードしてたところを、それミスリードだからと暴いてしまってごめんねー
502(3): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:56 ID:ReTz6AXc(41/59) AAS
>>497
わざわざHNつけるほどの話じゃないよ やめときな
もちろんこんなのは些細なことだよｗ
ただ、こんなところでケチつけられんのは、イヤだろ？
それだけのこと
もう コテ外していいよ あんた研究者なんだろ？
５ｃｈみたいな地獄に来るもんじゃないよ 時間の無駄だから
省2
503(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:58 ID:ReTz6AXc(42/59) AAS
>>501
ん？君結局、loopについては語れないんだろ？
ここに書く意味、ないじゃんｗｗｗｗｗｗｗ
504: 2020/04/25(土)17:58 ID:d2+O8E/0(1) AAS
>>502
批判に耐えきれなくなって、とうとう「自分はあえてキチガイを演じていただけなんですが」というスタンスに変えたか
悲しいねえ
505(1): 2020/04/25(土)18:00 ID:56hvO4NK(17/18) AAS
>>503
ミスリードしてるレスに対して、それミスリードしてると指摘することには意味があるよ
506: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:02 ID:ReTz6AXc(43/59) AAS
批判？どれもこれも見当違いなので、全然痛くも痒くもありませんがｗ
むしろ「文脈」とかいいだす時点で
「なんだ結局俺の云ってること実質的に認めてんじゃん」
と思ってるけどな ま、当然だけど
ポスドクが５ｃｈなんか見てちゃダメだよ 脳味噌腐るからｗ
507(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:05 ID:ReTz6AXc(44/59) AAS
>>505
肝心なことに答えないねｗ
望月の論文 IUT IVの§3のloopの理論全体における必要性について、
君は全然説明できてないけど、要するに君IUTが分かってないってこと？
508: 2020/04/25(土)18:06 ID:yxjK8Qim(2/2) AAS
改訂する必要すらない内容を論文に載せるくらいなら、
それこそ「心の一票」にでも書けばいいと思うんだが
まあアクセプトされた際の会見で「既存の公理体系の上です」とか何とか言ってたし宇宙公理の件は本当にカットしてるかもしれない
あるいはCor 3.12以降をカットしていればSSも認める正しい論文だな
509(1): ポス毒 2020/04/25(土)18:06 ID:QqbM/om7(1) AAS
>>502
＞もちろんこんなのは些細なことだよｗ
＞ただ、こんなところでケチつけられんのは、イヤだろ？
＞それだけのこと
こんな些細なところをつついてると「IUTの批判は実は大したことないのでは？」と思われそうで心配だよ
Woitのブログで展開されてるような真っ当な批判の方が埋もれてしまう
要するに狼さんの批判が藁人形に使われるってことね
510: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:06 ID:ReTz6AXc(45/59) AAS
云っとくけど、別にloopとやらがあってもいいよ
∈-loopと全然無関係ならね
関係なくていいんでしょ？だったら∈-loopとか云う必要ないよね？
ただそれだけだよ 何発狂してんの？君たちｗｗｗｗｗｗｗ
511: 2020/04/25(土)18:08 ID:56hvO4NK(18/18) AAS
>>507
当たり前じゃん、分かってないよ
けれど君の>>423のレス内容にある「望月先生は無限降下列や∈loopが文字通りあると思ってる」という趣旨の内容について、それは論文中で明確に否定されてるねと書いてるのよ
512(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:09 ID:ReTz6AXc(46/59) AAS
>>509
真面目な批判のネタがあるならIUT本スレでお書きください
変態収容所で粋がっても無駄だから
ついでにいうけど、真面目にやりたいなら
実名でarXivに論文上げるのが一番
５ｃｈなんかでうだうだいっても無駄
513(1): ポス毒 2020/04/25(土)18:16 ID:9CWGK7bc(1) AAS
>>512
狼さんがこのスレで提起した批判に突っ込んでるだけだよ
このスレで出てきた話だからここで話してるだけ
514(1): 2020/04/25(土)18:21 ID:h3YipE68(1/2) AAS
ポスドクってコテを付けるくらいなんだからポスドクなんだろうけど……
論文に改訂(revision)がいらない全く無関係なことが書いてあることを何とも思わないって
やっぱり廣中あたりが"日本の数学者 最後の世代"なんかねぇ
515(3): ポス毒 2020/04/25(土)18:25 ID:Xw+fHmNN(1) AAS
>>514
論点がズレてるよ
私は狼さんの批判がナンセンスなことを指摘してるだけであって
IUT論文の集合論の部分が不要かどうかとかは議論してない
これが無関係なのかどうか判断する能力も無いしね
516(2): BLACKX ◆SvoRwjQrNc 2020/04/25(土)18:27 ID:tte+Rsu2(1/4) AAS
>>502
いえ、キチガイ収容所です
517: 2020/04/25(土)18:31 ID:h3YipE68(2/2) AAS
>>515
必要であれば改訂する必要があるし、
不要であればそもそも心の一声に書くべきで改訂するしないの問題ではない
要不要はそれこそ論点ではなく、その中で改訂しなくていいという発言をしてしまうことが嘆かわしいんだよ
518(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:31 ID:ReTz6AXc(47/59) AAS
>>513 >>515
ポスドクは真面目な批判をIUT本スレに書かなくちゃ
こんなところで粋がって書いてると
コラッツ●違いのド素人のBLACKX に
●違い呼ばわりされるよｗ
519(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:34 ID:ReTz6AXc(48/59) AAS
>>516
収容所の設置、有難うございますｗ
所長として毎日、多くの変態たちと付き合う充実した毎日を過ごしております
なお、私、過去の所業により、スレ立てが出来ません
このスレが1000に近づきましたら、次スレの設置をお願いいたします💛
520: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:38 ID:ReTz6AXc(49/59) AAS
>>515
＞IUT論文の集合論の部分が不要かどうかとかは議論してない
ここに書くなら議論しろよｗ
＞これが無関係なのかどうか判断する能力も無いしね
え？あんた数論幾何専攻のポスドクじゃないの？
何のポスドク？異分野ならそれこそこんなところで遊んでるなよｗ
上下前次1-新書関写板覧索設栞歴
あと 482 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s