[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
Inter-universal geometry と ABC予想 否定派 http://rio2016.5ch.net/test/read.cgi/math/1587361264/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
406: 論理狼 ◆y7fKJ8VsjM [] 2020/04/24(金) 22:36:26 ID:BTmyP9va >>404 ＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V ＞の意味するところを述べよ 誤りｗ もし”∈V”を書かずに V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... と書けば、無限上昇列になる なぜ、望月がわざわざ∈Vとかいて自爆したかは知らん 望月に訊け ついでにいっとくが、会長の⊂の置き換えは🐎🦌そのものｗ また「宇宙は上位互換ってことよ」も集合論が分らん🐎🦌のタワゴトｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/406
407: １３２人目の素数さん [] 2020/04/24(金) 22:40:25 ID:BTmyP9va >>404 ＞V0 は可算濃度、 V1 は連続濃度、・・に相当するとせよ ＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む ＞以下、V2、V3・・など同じだ これはヒドイｗ V0,V1,V2,V3…全て到達可能基数の宇宙 到達可能基数が唯一と思ってるなら IUTを守る会のセタ会長は正真正銘の🐎🦌 http://rio2016.5ch.net/test/read.cgi/math/1587361264/407
408: 論理狼 ◆y7fKJ8VsjM [] 2020/04/24(金) 22:43:30 ID:BTmyP9va >>404 ＞うまく答えられたら・・・ 🐎🦌は自分が天才だと自惚れる悪癖がある ＞アホな答えなら、おれからツッコミが入る 🐎🦌はリコウぶった🐎🦌発言でさらに恥をかく 🐎🦌がリコウになることはあり得ないｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/408
409: １３２人目の素数さん [] 2020/04/24(金) 22:50:58 ID:zkcRGLXo ＞＞＞＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む 吹いただろそんな宇宙あるかよｗｗｗｗｗｗｗｗｗｗｗｗｗ 連続濃度が強到達不能基数になること示してみろｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/409
410: 論理狼 ◆y7fKJ8VsjM [] 2020/04/24(金) 22:55:57 ID:BTmyP9va はっきりいって、査読者が集合論を理解していたなら IUT論文 IV の Section 3 "Inter-universal Formalism:the Languege of Species" は全文削除だな 初歩的誤りがあり全然無意味 http://rio2016.5ch.net/test/read.cgi/math/1587361264/410
411: １３２人目の素数さん [sage] 2020/04/24(金) 23:00:31 ID:zkcRGLXo >>410 じいちゃんお前が分かってないんだよ コロナにかかって死ぬなよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/411
412: 論理狼 ◆y7fKJ8VsjM [] 2020/04/24(金) 23:08:38 ID:BTmyP9va >>411 「V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む」 と書いたのは私ではなく◆e.a0E5TtKE だいたい、望月が V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V が無限列になる、とか書いてる時点で、初歩的な誤り そしてそれを見過ごす査読者も全く仕事してない こんなの、学部生でも間違いだと分かるぞ http://rio2016.5ch.net/test/read.cgi/math/1587361264/412
413: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/24(金) 23:22:14 ID:9m+2fnQ5 >>409 >＞＞＞＞V1 は連続濃度の宇宙は、V0 の可算濃度の集合をすべて要素として含む >吹いただろそんな宇宙あるかよｗｗｗｗｗｗｗｗｗｗｗｗｗ >連続濃度が強到達不能基数になること示してみろｗ ？ 意味分からん 単に「宇宙」と言ったときには、強到達不能基数は必ずしも必要としない（下記ご参照） https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99 グロタンディーク宇宙 (抜粋) グロタンディーク宇宙と到達不能基数 グロタンディーク宇宙の2つの簡単な例がある: ・空集合 ・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。 他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である: (U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。 (C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。 あと、集合論の「宇宙」（universe）は、下記 Kenneth KUNEN.1980のPDFでもどうぞ なお、和訳 藤田博司先生の「キューネン数学基礎論講義」を併読すると良いと思う （藤田博司先生のは、大学図書館などにあるだろう） http://blacaman.tripod.com/cursos/pdf/2012-2_0941.pdf SET THEORY. An Introduction to Independence Proofs. Kenneth KUNEN.1980 https://books.google.co.jp/books?id=1lsAvgAACAAJ&dq=%E9%9B%86%E5%90%88%E8%AB%96+%E8%97%A4%E7%94%B0&hl=ja&sa=X&ved=0ahUKEwioqab84_7oAhUjIqYKHQCwDR0Q6AEILjAB キューネン数学基礎論講義 ケネス・キューネン 翻訳 藤田博司 日本評論社, 2016 - 378 ページ 名著『集合論』の著者キューネンによる数学基礎論の教科書、待望の邦訳。公理的集合論からゲーデルの不完全性定理まで幅広い題材を、哲学的な話題も含めてていねいに解説します。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/413
414: １３２人目の素数さん [sage] 2020/04/24(金) 23:22:28 ID:zkcRGLXo 最後のＶがどういう意味で書かれているかわからないが本文と関係ないし 査読者になってもどうでもいいと感じるけど Ｖを書かずに無限列の存在仮定でいいのでは http://rio2016.5ch.net/test/read.cgi/math/1587361264/414
415: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/24(金) 23:25:00 ID:9m+2fnQ5 >>413 下記を追加しておく 読んでからレス頼む https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6) 宇宙 (数学) (抜粋) 数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/415
416: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/24(金) 23:28:30 ID:9m+2fnQ5 >>414 ＞査読者になってもどうでもいいと感じるけど 査読者が気付いたら、指摘はするだろうな どうでも良いことだが、ケアレスミスにしても（誤字脱字に同じ）、論文の瑕疵にはなるから ＞Ｖを書かずに無限列の存在仮定でいいのでは Ｖを書いてもいいだろう？ 意味わからん http://rio2016.5ch.net/test/read.cgi/math/1587361264/416
417: １３２人目の素数さん [sage] 2020/04/24(金) 23:31:02 ID:zkcRGLXo などと、査読を一度もしたことがないであろう ものがかたっておりますので 査読依頼等の過程の例を語ってください http://rio2016.5ch.net/test/read.cgi/math/1587361264/417
418: １３２人目の素数さん [] 2020/04/25(土) 00:14:01 ID:asnl0I6U >>412 ＞だいたい、望月が ＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V ＞が無限列になる、とか書いてる時点で、初歩的な誤り あのねえ、別にIUTを擁護する気は無いんだけどこの指摘は流石にナンセンスだよ こんなの「Vi ∈V (任意のi∈N)かつV0 ∈ V1 ∈ …」を横着して書いてるだけじゃん 基本的に論文は最大限汲み取って読むべきものだし、そもそもこの程度のものはミスでもなんでもない http://rio2016.5ch.net/test/read.cgi/math/1587361264/418
419: １３２人目の素数さん [sage] 2020/04/25(土) 00:40:03 ID:nULhaJry よくわからないけど、それってZFCで集合になるの？ なんかラッセルのパラドックスみたいな問題が起きそうじゃない？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/419
420: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/25(土) 07:23:57 ID:b0fzLo6k >>417 おれは、査読はしたことがないが 査読されたことは何度かあるよ、数学じゃないが 専門誌に論文を送る 査読者から、意見が来る それに回答する 掲載決定になる 例えば、一度「これこれで、掲載できない」という意見が来て それに対して、反論というか説明をして掲載になった経験がある まあ、似たようなものじゃね？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/420
421: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 08:41:57 ID:ReTz6AXc >>414 >最後のＶがどういう意味で書かれているかわからないが な、分からないだろ？ 書かなきゃいいのにｗ >本文と関係ないし 関係ないなら、全文カットだなｗ >査読者になってもどうでもいいと感じるけど どうでもいいなら、全文カットだなｗ >Ｖを書かずに無限列の存在仮定でいいのでは ∈無限列の存在なら、Ｖを書いてはいけない これが真理 でも、そもそも∈無限列 使わないんだろ？ じゃ要らねえじゃんｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/421
422: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 08:43:30 ID:ReTz6AXc >>416 ＞＞Ｖを書かずに無限列の存在仮定でいいのでは ＞Ｖを書いてもいいだろう？ ダメ。Ｖを書いた瞬間、無限列でなくなる それが分らん貴様は正真正銘の🐎🦌 http://rio2016.5ch.net/test/read.cgi/math/1587361264/422
423: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 08:48:40 ID:ReTz6AXc >>418 ＞＞V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V ＞こんなの「Vi ∈V (任意のi∈N)かつV0 ∈ V1 ∈ …」を横着して書いてるだけじゃん これだけなら、そういう言い訳も成り立つが、この後 「無限降下列ガー」とか「∈-loops ガー」とか言ってるから 文字通りの意味だと思ったほうがいい つまりガチで◆e.a0E5TtKEレベルの ド素人的勘違いを犯してる可能性大 だいたい、勘違いを引き起こす表記なら 査読者が指摘して修正させる必要がある そうしてない時点で査読者も同じ勘違い をしてる可能性大 ヤベェ、数論幾何、マジヤベェｗ http://rio2016.5ch.net/test/read.cgi/math/1587361264/423
424: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 08:53:00 ID:ReTz6AXc >>419 ＞よくわからないけど、それってZFCで集合になるの？ ZFCに到達不能基数の存在公理を追加すれば認められる ＞なんかラッセルのパラドックスみたいな問題が起きそうじゃない？ 今のところ、問題は起きていない http://rio2016.5ch.net/test/read.cgi/math/1587361264/424
425: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 09:00:42 ID:ReTz6AXc IUTを守る会 会長の日本語読解力じゃ 予想を提示しただけで、「証明した！」 といいそうな勢いで、マジヤベェｗ https://rio2016.5ch.net/test/read.cgi/math/1586655469/356 ＞多分、Sato-Tate予想の解決、みんな正しいと思っている（下記リンク） ＞論文読まないでもねｗ（＾＾； https://ja.wikipedia.org/wiki/%E4%BD%90%E8%97%A4%E3%83%BB%E3%83%86%E3%82%A4%E3%83%88%E4%BA%88%E6%83%B3 おまえ、よくそういう嘘が平気でつけるね 🐎🦌？ リンク先のどこをどう読んでも 「みんな正しいと思ってる」なんて書いてないどころが 逆に「これじゃ、正しいって云えねぇよな」って雰囲気じゃん おまえ、日本語読めないの？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/425
426: １３２人目の素数さん [] 2020/04/25(土) 09:04:47 ID:QwbpAiRF >>423 参考までに論文のどこに出て来てるのか教えて http://rio2016.5ch.net/test/read.cgi/math/1587361264/426
427: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 09:13:19 ID:ReTz6AXc >>426 ・V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V →IUT論文 IVの§3の本文冒頭 p67 及び Remark3.1.4 p71 ・無限降下列云々 →IUT論文 IVの§3の本文 p68 ・∈-loops →IUT論文 IVの§3のRemark3.3.1 p74 http://rio2016.5ch.net/test/read.cgi/math/1587361264/427
428: 現代数学の系譜 雑談 ◆e.a0E5TtKE [sage] 2020/04/25(土) 09:20:40 ID:b0fzLo6k >>421 Vの定義は、別に書いてあるよ グロタンディーク宇宙だよ http://rio2016.5ch.net/test/read.cgi/math/1587361264/428
429: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 09:22:03 ID:ReTz6AXc https://rio2016.5ch.net/test/read.cgi/math/1586655469/355 >私ら、ヤジウマ応援団ですよ >Jリーグの応援みたいなもので、 >みんなでエール送ったりしているのです >「RIMS、がんばれ！」みたいな そもそもなんで、不可解な論文書く「半外人」とか そんな論文をロクに査読もせずアクセプトする 如何わしい「組織」とかを応援するの？ サイコパス？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/429
430: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 09:24:57 ID:ReTz6AXc >>428 VだけじゃなくVi (i∈N）全部がグロタンディク宇宙だが どうしても認めたくないのか？この🐎🦌はｗ 分からないといってるのは「Vが何か？」ではない なんで、わざわざ「∈V」とかいう余計な２文字を書いたか、だ 自爆だろ？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/430
431: １３２人目の素数さん [sage] 2020/04/25(土) 10:11:32 ID:dUEBtaY/ ☆ＹＯ-ＤA！☆ｯﾁｬﾏが降臨してたw 週末はちゃんとした人が現れるの法則? w http://rio2016.5ch.net/test/read.cgi/math/1587361264/431
432: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 10:36:01 ID:ReTz6AXc >>431 BBAのいうことはいちいちわからん 誰がヨーダだって？ http://rio2016.5ch.net/test/read.cgi/math/1587361264/432
433: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 10:38:16 ID:ReTz6AXc ちなみ、与田っちょといえばこのコだぞ https://www.youtube.com/watch?v=tDFGAv-IOhI http://rio2016.5ch.net/test/read.cgi/math/1587361264/433
434: １３２人目の素数さん [sage] 2020/04/25(土) 10:41:18 ID:dUEBtaY/ 「ＢＢＡ」っていうから 教えな━━━━━ぃ! w 怒ﾚ怒ﾚ…(*“)ﾌｯ…✳゜ http://rio2016.5ch.net/test/read.cgi/math/1587361264/434
435: １３２人目の素数さん [sage] 2020/04/25(土) 10:42:05 ID:Aut7D1nk >>423 数論幾何や代数幾何やってる殆どの人はきちんとしてるんだが、 IUTの失敗で数論幾何全体が厳密でないみたいになるのはちょっと残念だな http://rio2016.5ch.net/test/read.cgi/math/1587361264/435
436: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 10:42:54 ID:ReTz6AXc >>434 やれやれ ・・・更年期障害か http://rio2016.5ch.net/test/read.cgi/math/1587361264/436
437: 論理狼 ◆y7fKJ8VsjM [] 2020/04/25(土) 10:45:22 ID:ReTz6AXc >>435 ＞殆どの人はきちんとしてるんだが わかってますって でも、分野外、とくに集合論とか論理のことになると とたんに信じられないほど粗雑になるのも 基礎論以外の数学のどの分野でもありがちな傾向かと http://rio2016.5ch.net/test/read.cgi/math/1587361264/437
438: １３２人目の素数さん [sage] 2020/04/25(土) 10:56:11 ID:Aut7D1nk >>437 そうか？ 数論幾何は読んだことないけど代数幾何の本とか論文を読んでるとそんなミスは殆どない 何よりグロタンディークが非常にロジカルな人だったしね ネットだとたまに粗雑どころか逆ギレする人がいるけど、せいぜい修士卒で道を終えたような人間だろう http://rio2016.5ch.net/test/read.cgi/math/1587361264/438
439: ID:1lEWVa2s [sage] 2020/04/25(土) 11:12:40 ID:UBlOy0QO >>438 僕は中卒ですが。 http://rio2016.5ch.net/test/read.cgi/math/1587361264/439
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/1587361264/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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 516 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.174s*