[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)

Inter-universal geometry と ABC予想 否定派 http://rio2016.5ch.net/test/read.cgi/math/1587361264/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

440: １３２人目の素数さん [sage] 2020/04/25(土) 11:18:56 ID:dUEBtaY/ ٩(”*)ว>>439)) ﾁｮｯﾄ一緒ﾆ出ｶｹﾃｺｮｩﾈ…♪ http://rio2016.5ch.net/test/read.cgi/math/1587361264/440

441: １３２人目の素数さん [sage] 2020/04/25(土) 11:32:09 ID:dUEBtaY/ |*“))←２ｍ→(>>438) 博士…ＩＵＴＴは“失敗”しちゃってるんでしょうか? http://rio2016.5ch.net/test/read.cgi/math/1587361264/441

442: １３２人目の素数さん [sage] 2020/04/25(土) 11:34:50 ID:dUEBtaY/ ⊃♀))(>>436) (↑鏡) http://rio2016.5ch.net/test/read.cgi/math/1587361264/442

443: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 11:36:44 ID:ReTz6AXc >>438 ＞そんなミスは殆どない そりゃそうよ　集合論の話なんかしないでしょ ＞何よりグロタンディークが非常にロジカルな人だったしね でも、フォーシングとかは知らんと思うよ ネットでも実社会でもおかしな人ほど大騒ぎする 修士どころが理学部数学科卒でもない　 一般教養の数学も怪しい工学部卒とかｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/443

444: 論理狼 ◆y7fKJ8VsjM [sage] 2020/04/25(土) 11:38:10 ID:ReTz6AXc >>442 だからよくわかる(￣ー￣)ﾆﾔﾘ 昨日は右耳の聞こえが悪かった・・・幸い回復したが http://rio2016.5ch.net/test/read.cgi/math/1587361264/444

445: ID:1lEWVa2s [sage] 2020/04/25(土) 11:51:42 ID:Y7zAeKU+ https://youtu.be/pa8WPUG5ROA http://rio2016.5ch.net/test/read.cgi/math/1587361264/445

446: １３２人目の素数さん [sage] 2020/04/25(土) 12:04:34 ID:dUEBtaY/ >>444 ﾁﾞﾁﾞｨｯﾁｬﾏ寝る前にお風呂でバスタブ浸かってゆっくり入浴して寝てみて？ 血行を良くして身体を冷やさないように、って。 循環と代謝を良くするように生活して下さ〜ぃ。。。 ※ちゃんと白湯とかＯＳ-１とかで入浴前中後に水分＋ビタミンＣ補給をしっかりしてください! http://rio2016.5ch.net/test/read.cgi/math/1587361264/446

447: １３２人目の素数さん [sage] 2020/04/25(土) 12:13:31 ID:dUEBtaY/ 追伸 夕食は温野菜や煮魚や大豆製品を摂ると良いみたいです…(←アレルギーの方はﾀﾞﾒ。) お肉は鶏胸肉(成長ホルモン未使用※国産鶏胸肉とか)が良いみたいです。。。 良く加熱してお召し上がり下さい。 いつまでも元気なクソﾁﾞﾁﾞｨｯﾁｬﾏで勢い良くｽﾙﾙｪ回しして下さ〜ぃ♪ http://rio2016.5ch.net/test/read.cgi/math/1587361264/447

448: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 12:14:13 ID:ReTz6AXc >>446 あんた・・・いいヤツだなあ ありがとう、ＢＢＡ（一言余計！！！） http://rio2016.5ch.net/test/read.cgi/math/1587361264/448

449: １３２人目の素数さん [sage] 2020/04/25(土) 12:19:32 ID:dUEBtaY/ (ﾁﾞﾁﾞｨｯﾁｬﾏを狙ってるから…) (＾＾)ﾆﾔﾘ http://rio2016.5ch.net/test/read.cgi/math/1587361264/449

450: １３２人目の素数さん [sage] 2020/04/25(土) 12:20:41 ID:dUEBtaY/ (一言余計…魂胆ﾊﾞﾚﾊﾞﾚ…) http://rio2016.5ch.net/test/read.cgi/math/1587361264/450

451: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 12:21:03 ID:ReTz6AXc http://rio2016.5ch.net/test/read.cgi/math/1586655469/359-362 会長、わかりもしない論文にグダグダ拘泥ｗ IVの§3なら ∈-structureとか、∈-loopsとか 言わなきゃどうってことなかったのにな 査読者も要らん記述は削除するよう云えよ なんも仕事してないな http://rio2016.5ch.net/test/read.cgi/math/1587361264/451

452: １３２人目の素数さん [sage] 2020/04/25(土) 13:19:53 ID:nULhaJry >>424 代数幾何とか圏論とか全然わからない素人なんだけど、今の数学って、 ZFC + 到達不能基数の存在公理　（ZFCU？） の上で考えられているの？ つまり、IUTが正しかったとしても、それはZFCよりも（より多くの公理が必要という意味で）狭い世界で成り立つ話であって、 純粋なZFCの世界では考えられない話なの？ 例えば、フェルマーの最終定理も、ZFCよりも狭い世界では証明されたけど、純粋なZFCの世界では証明されていないと考えるべき？ http://rio2016.5ch.net/

test/read.cgi/math/1587361264/452

453: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 13:55:05 ID:ReTz6AXc >>452 集合論じゃなきゃ、今の数学で到達可能基数の存在公理は要らないんじゃね？ IUTの話なら本スレで訊きなよ 間違っても応援スレにはいくなよ　 あそこは「保育園」だからｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/453

454: １３２人目の素数さん [sage] 2020/04/25(土) 14:11:14 ID:nULhaJry >>453 到達不能基数のWikipedia見たら、 >到達不能基数による真クラスの存在性 >… > ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される >(これは ZFC に urelements を付け加えたものと混同しないように注意)。 > この公理系は、例えば全ての圏は 適切な米田埋め込み(en:Yoneda embedding)を持つということを証明するのに役立つ。 とか書いてあるから、圏論の周辺では到達不能基数の存在公理が仮定されて

いるのかなと思って この記述が正しいかどうかはわからないんだけど https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0 http://rio2016.5ch.net/test/read.cgi/math/1587361264/454

455: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 14:54:47 ID:ReTz6AXc >>454 本スレで訊きなよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/455

456: １３２人目の素数さん [sage] 2020/04/25(土) 15:00:26 ID:6wmAgSBh >>443 俺が読んだ代数幾何の本では、エタール位相をuniverse Uに属するスキームのみを用いて構成すれば、エタールサイト(スキームX上エタールなUに属するスキームとエタール位相の組)上の層F,F'に対してHom(F,F')が集合であるという注意が書いてあった 　 こんな感じで何も書いてない方が珍しいんじゃないかな それでもIUTみたいなミスは見たことないし、代数幾何(を含む数論幾何)研究者のほとんどはきちんと理解してると思うよ http://rio2016.5ch.net/test/read.cgi/

math/1587361264/456

457: ID:1lEWVa2s [sage] 2020/04/25(土) 15:07:31 ID:LLArYwLp >>443 僕は中卒ですが。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/457

458: １３２人目の素数さん [] 2020/04/25(土) 15:35:02 ID:56hvO4NK >>427 お前本当に論文読んだのかよ 無限降下列はないて書いてるじゃん http://rio2016.5ch.net/test/read.cgi/math/1587361264/458

459: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:01:21 ID:ReTz6AXc >>456 だったら、玉川に言ってやれば? 「ちゃんとやってくださいよ！ 　でないと、僕たち代数幾何を学んでる者が 　馬鹿にされるんですよ！！！」 って http://rio2016.5ch.net/test/read.cgi/math/1587361264/459

460: １３２人目の素数さん [] 2020/04/25(土) 16:01:49 ID:56hvO4NK >>423 無限降下列について言及はあるけど、それは正則性公理から存在しないから気をつけてね論文自身に書いてるじゃん あたかも望月自身がそれがあると信じるかのように書くとか捏造にも程がある こんな読み間違い普通はしないよ 明確な悪意をもって嘘をつくとか最低だわ http://rio2016.5ch.net/test/read.cgi/math/1587361264/460

461: １３２人目の素数さん [] 2020/04/25(土) 16:03:36 ID:56hvO4NK 望月は集合論分かってねえと書くやついたけれど、分かってねえがこのレベルなら、否定派の方が確実に分かってねえわ http://rio2016.5ch.net/test/read.cgi/math/1587361264/461

462: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:05:10 ID:ReTz6AXc >>458 読んだよ　その文章も読んだ 問題は、わざわざそこに言及したこと つまり V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ではなく V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V が、無限上昇列だとおもってるから Vから逆に降りる列を考えたんだろう？ しかし、そこまでいうんなら、そもそも V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V が無限列にならないことに気づけよｗ 大学１年生かよｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/462

463: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:06:49 ID:ReTz6AXc >>460-461 全て君の妄想 >>462に書いてあげたから　よく読もうね http://rio2016.5ch.net/test/read.cgi/math/1587361264/463

464: １３２人目の素数さん [] 2020/04/25(土) 16:14:11 ID:56hvO4NK >>462 あのさ、順序数とか分野じゃ 1,2,...,ωて書いたりするから別におかしくはないんだよ それと論文中にないてこと書いてるにも関わらず、そのことについてレスで言及にしないのは明らかにミスリードを狙ってるよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/464

465: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:14:49 ID:ReTz6AXc 蛇足 http://www.ivis.co.jp/text/20190619.pdf ｐ７７　参考：圏論の集合論的基礎を探して • 圏論では集合の圏 Sets，群の圏 Grps，圏の圏 Cats など 　様々な大きさの集まりを圏として扱う • VGB や Kelley-Morse set theoryでは Sets, Grps は扱うことができるが， 　クラスがクラスの要素になれないてにCats は扱えない • Ackermann set theory ではクラスもクラスの要素になれるが， 　Catsは扱えない（この中では一番有望であるが） • 圏論に集合

論的基礎を与えることに関する論文を２つ挙げておく 　F.A. Muller, 　"Sets, Classes, and Categories" 　British Journal for the Philosophy of Science 52 (2001) 539-573 　Ackermann set theory に手を入れた ARC という集合論を提案している． Michael A. Shulman, 　"Set theory for category theory” 　arXiv, 2008 　ジャーナル論文ではないみたい．informal paper と言っている. http://rio2016.5ch.net/test/read.cgi/math/1587361264/465

466: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:18:50 ID:ReTz6AXc >>464 ＞順序数とか分野じゃ1,2,...,ωて書いたりするから別におかしくはないんだよ 上記では、∈は書いてないね もし1∈2∈…∈ωと書いたら、ウソだよ だって”∈ω”の左側に何も書けないだろ？ 何か自然数を書いたっていいけど、その場合有限列だよな でも無限列と断言したんだよな？　だったらウソじゃんｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/466

467: １３２人目の素数さん [] 2020/04/25(土) 16:28:31 ID:56hvO4NK >>466 ”∈”で線型順序をなしてωはその最大値てわかるやん 論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから、そんな読み間違い起こさないよ だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意してねと書いてるわけでしょ これから集合論理解してないなんて言えないでしょ http://rio2016.5ch.net/test/read.cgi/math/1587361264/467

468: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:37:42 ID:ReTz6AXc ＞”∈”で線型順序をなして 自然数は線形順序（＝全順序）というだけではないよ、整列順序だから ＞ωはその最大値てわかるやん ωは自然数ではないけど　大学で習わなかった？ ＞論文でも任意のiについてV_i∈Vとなるような宇宙Vがあると断ってから、 ＞V_1∈V_2∈...∈Vとなるような無限列があるとかいてるから 読んだよ V_i∈Vと断るなら、無限列の最後の∈Vは要らんよね　意味ないから 何で書いたの？ ＞だけれど一方で正則性公理からV∈…V_1∈V_2は作れないから注意

してねと書いてるわけでしょ もしVを書かなければ、そういう馬鹿な発想は思いつかんよね だって、列のどの要素Viも自然数iで番号付けされてるから 当然どこから始めても有限列になる 要するに、無限列の最後に∈Vと書いたのが致命的 ところで∈-loopsの件はノーコメントか？ 当然読んだだろ？弁解不能か？そりゃできるわけないよなｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/468

469: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:41:38 ID:ReTz6AXc いっとくけど、基礎の公理のない集合論を考えたいならそうしたっていいよ 別に、基礎の公理がないと矛盾する、とかいうことはないから でも、IUTで∈-loopsが必要なわけではないんだろ？ simulate ∈-loopsって書いてあるけど、loopならいいんだろ？ だったら∈なんて一切語らなければいいじゃん いったい、何がしたいの？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/469

470: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 16:47:50 ID:ReTz6AXc http://rio2016.5ch.net/test/read.cgi/math/1586655469/375-376 どうやらIUTを守る会　会長も IVの§3がuntouchableだと 気付いたようだな(￣ー￣)ﾆﾔﾘ なんでこの節載せたのかね 載せるにしても∈に関する一連の説明は結局無意味だよね 削除したほうがいい、っていわなかったのかね？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/470

471: １３２人目の素数さん [] 2020/04/25(土) 16:53:58 ID:56hvO4NK >>468 いやあのさ、ここでの大小関係て順序数での比較なのは明白なんだからωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ。。 一応書いとくとωは自然数全体の集合ね ωはω∪{ω}で最大値だよ V_i∈…Vて書いたのは、∈で最大をとることの強調だろうよ ε-loopそのものも明確にねえて論文P74で書いてるだろ だけれどある種の類似物をこれから作ろうて話じゃん わざわざ書かなかったのは無限降下列を指摘すりゃあ十分だと思ったからだよ マジで悪意の

ある切り取りが好きなんすねえ http://rio2016.5ch.net/test/read.cgi/math/1587361264/471

472: １３２人目の素数さん [] 2020/04/25(土) 16:56:13 ID:LKPY7+kk たとえば順序数の文脈なら 1∈2∈…∈ωは正しいし無限個の順序数が現れてるから無限列ってのも間違ってない 論理狼さんが「無限列はa1,a2,…の形だけが正しくて最大元が最後に現れてる↑のものは無限列と呼ばない！」って考えるのは自由だけど これを無限列と呼ぶのは別に間違いじゃないと思うよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/472

473: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:01:10 ID:ReTz6AXc >>471 ＞ここでの大小関係て順序数での比較なのは明白なんだから 誤　順序数 正　自然数（＝有限順序数） ＞ωは自然数じゃねえなんていう的外れすぎるツッコミはやめてくれよ そもそも、ωを持ち出すことが的外れなんだが、自覚ないのか？ ＞ωはω∪{ω}で最大値だよ 一方、ωはωの要素ではない　ωに最大値は存在しない　大学で習わなかった？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/473

474: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:03:35 ID:ReTz6AXc >>471 ＞ε-loopそのものも明確にねえて論文P74で書いてるだろ 読んだよ ＞だけれどある種の類似物をこれから作ろうて話じゃん 問題は、なぜ「∈-loopsの類似物」という必要があるのか？ってこと そんなこという必要ないよね？　頭冷やせよ　ドライアイスでｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/474

475: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:09:03 ID:ReTz6AXc ＞順序数の文脈なら1∈2∈…∈ωは正しいし もしどうしてもそう書きたいのなら、 極限順序数ωについて”∈ω”と書く場合には ∈の左側には項が存在せず、無限列が記載される という定義を示すべきだね それを君は文脈という言葉でゴリ押ししたいんだろうけど あの論文でそれは通用しないな http://rio2016.5ch.net/test/read.cgi/math/1587361264/475

476: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:12:15 ID:ReTz6AXc >>472 ＞「無限列はa1,a2,…の形だけが正しくて ＞　最大元が最後に現れてる↑のものは無限列と呼ばない！」 ＞　って考えるのは自由だけど なんで∈を抜いたのかな？ ∈を入れないんなら、1，2，・・・，ωと書いても問題ないよ ∈があるから左の項と右の項がある筈、ということ 頭　真空なのかな？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/476

477: １３２人目の素数さん [] 2020/04/25(土) 17:13:07 ID:56hvO4NK >>473 何でお前が勝手に正誤判定してるんだ 文脈的に順序数だったのは明白だったぞ。。 自然数での比較なら順序数なんて言葉は持ち出さねえよ ωを持ち出したのはV_1∈V_2∈…∈Vの順序構造はω+1と同じだから持ち出したんだよ ωはωの要素でないのは百も知っとるわ だからω+1の中で最大と書いたんだけれど文章読めない人？ 君は大学行く以前にもう一度義務教育やり直した方がいい http://rio2016.5ch.net/test/read.cgi/math/1587361264/477

478: １３２人目の素数さん [] 2020/04/25(土) 17:14:27 ID:56hvO4NK >>474 精神としては集合論では存在しない∈loopに似てるから持ち出したんでしょ 馬鹿なのかな http://rio2016.5ch.net/test/read.cgi/math/1587361264/478

479: ID:1lEWVa2s [sage] 2020/04/25(土) 17:17:01 ID:t1bR/tIL 本は数学の基礎ですか。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/479

480: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:18:00 ID:ReTz6AXc >>477 ＞文脈的に順序数だったのは明白だったぞ それ妄想 ＞V_1∈V_2∈…∈Vの順序構造 あのな、∈は”、”じゃないんだよ　単なる区切りの文字じゃない ∈と書くからには（＜でも⊂でも同じだけど）左の項と右の項が要るの 分かるかな？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/480

481: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:21:49 ID:ReTz6AXc >>478 ＞集合論では存在しない∈loopに似てるから持ち出したんでしょ 存在しないものに似てるってナンセンスだな 論文を読む限り∈ｰloopsは集合論ではできないから”シミュレート”するとあるが そもそも”シミュレート”を強調する必要があるのか？ ただのループではいかんのか？なぜいかんのか？君は説明できるのか？ 説明できないんなら黙れよ　意味ないから http://rio2016.5ch.net/test/read.cgi/math/1587361264/481

482: １３２人目の素数さん [] 2020/04/25(土) 17:22:49 ID:56hvO4NK マジで集合論とか順序数分からなかったのか、分かっててあえて難癖つけてたのかは知らんけど 5chでIUT論文について、集合論的に間違ってるとかいう奴はこのレベルなんだなあということが分かったわ マジで論文の成否とは無関係なところで突っ込んでいた ていうかすぐに分かるような間違いなら、それまでに本職の数学から当然ツッコミが入るはずで、8年間もあってるのかあってないのか分からねえみたいな状態になるはずないんだよな http://rio2016.5ch.net/test/read.cgi/math/1

587361264/482

483: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:27:09 ID:ReTz6AXc >>482 論文の成否と関係あるかどうかは知らんｗ 関係ないなら、無駄に突っ込まれる箇所は削除するのが当然だろう まあ、査読者に対して最大元贔屓目に見れば 「ここは著者がinter-universeを考えた動機についての説明だから 　結果として見当違いだった思考の跡についての記述も残しておくべきだろう」 と考えたのかもしれん 無駄な気遣いだけどな http://rio2016.5ch.net/test/read.cgi/math/1587361264/483

484: １３２人目の素数さん [] 2020/04/25(土) 17:28:08 ID:56hvO4NK >>480 文脈的には明らかだったんだけど、義務教育を全うしたか怪しい君には難しかったようだね 君のことを買いかぶりすぎてた俺が悪かったよ、ごめんね 「1<2<3<...<ω」て書くのは誤りで 「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は 分かりにくいし、大変そうだけど頑張ってね http://rio2016.5ch.net/test/read.cgi/math/1587361264/484

485: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:32:27 ID:ReTz6AXc 結局、inter-universeそのものは∈と無関係なんだろ？ だったら§3の記述は無駄なおしゃべりを割愛してスッキリと書くべきだな ∈の無限上昇列も無限下降列もループも要らない グロタンディク宇宙はあってもいいかもしれんが、 そもそも取り替えたいのは本当に宇宙全体なのか？ もっと真面目に考えたほうがいいんじゃないのか？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/485

486: １３２人目の素数さん [] 2020/04/25(土) 17:34:32 ID:56hvO4NK >>481 いや知らんけど明らかに悪意持って捏造してるレスみたら、それは捏造ですよと注意しただけだよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/486

487: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:35:41 ID:ReTz6AXc >>484 ＞「1<2<3<...<ω」て書くのは誤りで ＞「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は 「1<2<3<…」かつ「任意の自然数nについてn<ω」の場合、 便宜的に「1<2<3<...<ω」と書くと定義するなら、そうしてもいいよ ただそういう表記は、極限順序数であるωに、 あたかも前者となる順序数が存在するかのごとき 誤解を与える点で有害無益だと思うがね 君は、ωに前者がないこと、俺にいわれるまで

知らなかっただろ（嘲） http://rio2016.5ch.net/test/read.cgi/math/1587361264/487

488: １３２人目の素数さん [] 2020/04/25(土) 17:35:56 ID:56hvO4NK >>483 IUTが正しいかは分からんけど、君の考えが見当違いになってたのは分かる http://rio2016.5ch.net/test/read.cgi/math/1587361264/488

489: １３２人目の素数さん [] 2020/04/25(土) 17:36:10 ID:ZB44qZOw >>480 ∈が順序関係になってる場合(例えば順序数全体で∈を考える)だとV1∈V2∈…∈Vはおかしくないでしょ 実数の体系でa1<a2<…aって書くのと同じことだよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/489

490: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:37:56 ID:ReTz6AXc >>486 悪意も善意もない そもそも望月の文章が、読者をミスリードしかねない危険なものだと指摘した 自分が間違えた経験をそのまま書いてるだけかもしれんが、 もしそうなら、愚劣の極みだな http://rio2016.5ch.net/test/read.cgi/math/1587361264/490

491: １３２人目の素数さん [] 2020/04/25(土) 17:38:46 ID:GoU2jl6o >>487 ＞ただそういう表記は、極限順序数であるωに、 ＞あたかも前者となる順序数が存在するかのごとき ＞誤解を与える点で有害無益だと思うがね だんだん批判のトーンが下がって来てるねw 単にあなたがややこしいと思ってただけでしょ、集合論の本でもこの程度の書き方は特に不自然とは思わない http://rio2016.5ch.net/test/read.cgi/math/1587361264/491

492: １３２人目の素数さん [] 2020/04/25(土) 17:38:58 ID:56hvO4NK >>487 いや知ってだけど そもそもωをわざわざ持ち出す人が知らないわけないじゃん 知らなかったのはむしろ君で、それ誤魔化すために書いたのかな笑 http://rio2016.5ch.net/test/read.cgi/math/1587361264/492

493: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:41:26 ID:ReTz6AXc >>489 粗雑な表現を漫然と受け入れてると、必ずつまづくよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/493

494: １３２人目の素数さん [] 2020/04/25(土) 17:45:10 ID:56hvO4NK >>490 あのさ、無限降下列も∈loopも、正則性公理からそれ自身はありませんてP68とP74で明確に書いてるのに、どうミスリードされるんだ？ 君はスレを読んでた人をミスリードさせようとしてたのに、よう言えるなそんなこと http://rio2016.5ch.net/test/read.cgi/math/1587361264/494

495: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:46:02 ID:ReTz6AXc >>491 ＞だんだん批判のトーンが下がって来てるねw いや、まったく下がってない　上がりまくってるがｗ 無限上昇列があるというだけなら　わざわざ∈Vをつける必要がない 無限下降列が存在しない、とか∈ループが存在しないというのにもVは必要ない 上記２点を否定することは絶対にない http://rio2016.5ch.net/test/read.cgi/math/1587361264/495

496: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:49:04 ID:ReTz6AXc >>494 わざわざVを持ち出して、無限上昇列の最後に「∈V」とつけてる時点で 「もしかしたらVから無限下降列がつくれて、 　VからVへのループもできそうなのにおしい」 という気持ちがありありと感じられるから 「そういう妄想、要らんから」 といってるだけ　何がしたいんだ？望月 http://rio2016.5ch.net/test/read.cgi/math/1587361264/496

497: ポス毒 [] 2020/04/25(土) 17:49:32 ID:6oPh/Rfv IDころころ変わるからコテ付けます >>495 それだけだったらminor revisionといて提案する程度の事柄だね… (個人的にreviseする必要があるとは思えないけど) こんな部分を突いても論文の批判としては無価値だと思うよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/497

498: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:52:28 ID:ReTz6AXc >>486 ＞いや知らんけど 結局　56hvO4NKはloopについては何も語れてないな 顔洗って出直してこいよ　ま　別に戻ってこなくていいけどｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/498

499: １３２人目の素数さん [] 2020/04/25(土) 17:54:37 ID:56hvO4NK >>496 それと似たような操作したいて話なわけでしょ そんなのありえねえと君が批判するのは自由だけれど、論文の一部分だけを切り出して、しかもその論文中で明確に否定してることを、「論文にはこんな記述があるから間違ってる！！」とかミスリードにもほどがあるでしょ そのようなミスリードは批判されるべきものだよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/499

500: １３２人目の素数さん [sage] 2020/04/25(土) 17:55:11 ID:yxjK8Qim revisionする必要すらない内容なら書かなければいいと思うんですがそれは http://rio2016.5ch.net/test/read.cgi/math/1587361264/500

501: １３２人目の素数さん [] 2020/04/25(土) 17:56:01 ID:56hvO4NK >>498 君が気持ちよくスレ民ミスリードしてたところを、それミスリードだからと暴いてしまってごめんねー http://rio2016.5ch.net/test/read.cgi/math/1587361264/501

502: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:56:58 ID:ReTz6AXc >>497 わざわざHNつけるほどの話じゃないよ　やめときな もちろんこんなのは些細なことだよｗ ただ、こんなところでケチつけられんのは、イヤだろ？ それだけのこと もう　コテ外していいよ　あんた研究者なんだろ？ ５ｃｈみたいな地獄に来るもんじゃないよ　時間の無駄だから まあ　IUTについて素人に分かりやすい説明してくれるんなら有難いが そういうのはIUTの本スレでやりなよ　ここは「変態収容所」だからｗ http://rio2016.5ch.net/test/read.cgi/math/158736126

4/502

503: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 17:58:47 ID:ReTz6AXc >>501 ん？君結局、loopについては語れないんだろ？ ここに書く意味、ないじゃんｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/503

504: １３２人目の素数さん [] 2020/04/25(土) 17:58:58 ID:d2+O8E/0 >>502 批判に耐えきれなくなって、とうとう「自分はあえてキチガイを演じていただけなんですが」というスタンスに変えたか 悲しいねえ http://rio2016.5ch.net/test/read.cgi/math/1587361264/504

505: １３２人目の素数さん [] 2020/04/25(土) 18:00:16 ID:56hvO4NK >>503 ミスリードしてるレスに対して、それミスリードしてると指摘することには意味があるよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/505

506: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 18:02:40 ID:ReTz6AXc 批判？どれもこれも見当違いなので、全然痛くも痒くもありませんがｗ むしろ「文脈」とかいいだす時点で 「なんだ結局俺の云ってること実質的に認めてんじゃん」 と思ってるけどな　ま、当然だけど ポスドクが５ｃｈなんか見てちゃダメだよ　脳味噌腐るからｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/506

507: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 18:05:00 ID:ReTz6AXc >>505 肝心なことに答えないねｗ 望月の論文　IUT IVの§3のloopの理論全体における必要性について、 君は全然説明できてないけど、要するに君IUTが分かってないってこと？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/507

508: １３２人目の素数さん [sage] 2020/04/25(土) 18:06:15 ID:yxjK8Qim 改訂する必要すらない内容を論文に載せるくらいなら、 それこそ「心の一票」にでも書けばいいと思うんだが まあアクセプトされた際の会見で「既存の公理体系の上です」とか何とか言ってたし宇宙公理の件は本当にカットしてるかもしれない あるいはCor 3.12以降をカットしていればSSも認める正しい論文だな http://rio2016.5ch.net/test/read.cgi/math/1587361264/508

509: ポス毒 [] 2020/04/25(土) 18:06:47 ID:QqbM/om7 >>502 ＞もちろんこんなのは些細なことだよｗ ＞ただ、こんなところでケチつけられんのは、イヤだろ？ ＞それだけのこと こんな些細なところをつついてると「IUTの批判は実は大したことないのでは？」と思われそうで心配だよ Woitのブログで展開されてるような真っ当な批判の方が埋もれてしまう 要するに狼さんの批判が藁人形に使われるってことね http://rio2016.5ch.net/test/read.cgi/math/1587361264/509

510: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 18:06:50 ID:ReTz6AXc 云っとくけど、別にloopとやらがあってもいいよ ∈-loopと全然無関係ならね 関係なくていいんでしょ？だったら∈-loopとか云う必要ないよね？ ただそれだけだよ　何発狂してんの？君たちｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/510

511: １３２人目の素数さん [] 2020/04/25(土) 18:08:33 ID:56hvO4NK >>507 当たり前じゃん、分かってないよ けれど君の>>423のレス内容にある「望月先生は無限降下列や∈loopが文字通りあると思ってる」という趣旨の内容について、それは論文中で明確に否定されてるねと書いてるのよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/511

512: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 18:09:03 ID:ReTz6AXc >>509 真面目な批判のネタがあるならIUT本スレでお書きください 変態収容所で粋がっても無駄だから ついでにいうけど、真面目にやりたいなら 実名でarXivに論文上げるのが一番 ５ｃｈなんかでうだうだいっても無駄 http://rio2016.5ch.net/test/read.cgi/math/1587361264/512

513: ポス毒 [] 2020/04/25(土) 18:16:52 ID:9CWGK7bc >>512 狼さんがこのスレで提起した批判に突っ込んでるだけだよ このスレで出てきた話だからここで話してるだけ http://rio2016.5ch.net/test/read.cgi/math/1587361264/513

514: １３２人目の素数さん [sage] 2020/04/25(土) 18:21:19 ID:h3YipE68 ポスドクってコテを付けるくらいなんだからポスドクなんだろうけど…… 論文に改訂(revision)がいらない全く無関係なことが書いてあることを何とも思わないって やっぱり廣中あたりが"日本の数学者 最後の世代"なんかねぇ http://rio2016.5ch.net/test/read.cgi/math/1587361264/514

515: ポス毒 [] 2020/04/25(土) 18:25:49 ID:Xw+fHmNN >>514 論点がズレてるよ 私は狼さんの批判がナンセンスなことを指摘してるだけであって IUT論文の集合論の部分が不要かどうかとかは議論してない これが無関係なのかどうか判断する能力も無いしね http://rio2016.5ch.net/test/read.cgi/math/1587361264/515

516: BLACKX ◆SvoRwjQrNc [sage] 2020/04/25(土) 18:27:08 ID:tte+Rsu2 >>502 いえ、キチガイ収容所です http://rio2016.5ch.net/test/read.cgi/math/1587361264/516

517: １３２人目の素数さん [sage] 2020/04/25(土) 18:31:17 ID:h3YipE68 >>515 必要であれば改訂する必要があるし、 不要であればそもそも心の一声に書くべきで改訂するしないの問題ではない 要不要はそれこそ論点ではなく、その中で改訂しなくていいという発言をしてしまうことが嘆かわしいんだよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/517

518: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 18:31:17 ID:ReTz6AXc >>513　>>515 ポスドクは真面目な批判をIUT本スレに書かなくちゃ こんなところで粋がって書いてると コラッツ●違いのド素人のBLACKX に ●違い呼ばわりされるよｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/518

519: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 18:34:09 ID:ReTz6AXc >>516 収容所の設置、有難うございますｗ 所長として毎日、多くの変態たちと付き合う充実した毎日を過ごしております なお、私、過去の所業により、スレ立てが出来ません このスレが1000に近づきましたら、次スレの設置をお願いいたします💛 http://rio2016.5ch.net/test/read.cgi/math/1587361264/519

520: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 18:38:22 ID:ReTz6AXc >>515 ＞IUT論文の集合論の部分が不要かどうかとかは議論してない ここに書くなら議論しろよｗ ＞これが無関係なのかどうか判断する能力も無いしね え？あんた数論幾何専攻のポスドクじゃないの？ 何のポスドク？異分野ならそれこそこんなところで遊んでるなよｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/520

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 482 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.021s