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

Inter-universal geometry と ABC予想 42 http://rio2016.5ch.net/test/read.cgi/math/1572150086/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

699: １３２人目の素数さん [] 2019/12/07(土) 09:36:56.95 ID:uZFmzNJe >>692 ＞両方考えるのがIUT 両方とは？ >>691の１．と２．は両立しますよ 例えば １．{}∈{{}}∈{{{}}}∈…　という無限列は存在する ２．Ω＝{{},{{}},{{{}}},…}とすれば 　　任意の有限重{{{…}}}について 　　{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する それでいいなら a∈aとなるようなa（=無限重{{{…}}}） を考える必要はない、ということです http://rio2016.5ch.net/test/read.cgi/math/1572150086/699

700: １３２人目の素数さん [] 2019/12/07(土) 09:51:58.46 ID:uZFmzNJe >>695 ＞「同義反復的解決をしたい」 ＞「属性方程式a∈aを解きたい」 ＞“simulate a∈a” ＞“loops of mutations” ＞“simulate ∈-loops” これは問題の解決に立ちはだかる本質的な困難なんでしょうか？ 特に”loop”である必要はどこから出てくるんでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1572150086/700

701: １３２人目の素数さん [] 2019/12/07(土) 09:59:15.64 ID:uZFmzNJe >>697 ＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった しかし∈-loopsは、正則性公理とは矛盾しますけどね 「集合のいかなる∈列も有限長で終わる」 というのが正則性公理ですから （それゆえ「基礎の公理」とも呼ばれる） ∈-loopsが必要なら「代替集合論」ZFC-AFAは不可欠でしょう 上半平面の幾何学がユークリッド幾何とすることはできず 双曲幾何にならざるを得ないというようなもの http://rio2016.5ch.net/test/read.cgi/math/1572150086/701

703: １３２人目の素数さん [] 2019/12/07(土) 15:38:30.45 ID:uZFmzNJe 前日の「坂道テレビ」も忘れずに https://www4.nhk.or.jp/P5659/ http://rio2016.5ch.net/test/read.cgi/math/1572150086/703

705: １３２人目の素数さん [] 2019/12/07(土) 19:01:02.07 ID:uZFmzNJe >>704 最終節は読んでません　そもそも数論幾何を知らないので 数論幾何において、ａ∈ａが現れるのかどうか知りたいわけです AFAは別にトンデモではないので、 AFAを使った数学が受け入れられない ということはありませんよ ただ、実際にはａ∈ａではなく、 正則性公理の成立する範囲内で おさまるというのであれば 別にかまいません 宇宙の拡大とやらも、今の集合論の巨大基数の範囲よりも 全然小さいレベルのようですから、集合論研究者も 大して関心持たないでしょうね http://rio2016.5ch.net/test/read.cgi/math/1572150086/705

706: １３２人目の素数さん [] 2019/12/07(土) 19:16:24.75 ID:uZFmzNJe >>704 ＞「基礎論を刷新するもの」 それはないですね http://rio2016.5ch.net/test/read.cgi/math/1572150086/706

708: １３２人目の素数さん [] 2019/12/07(土) 19:27:34.43 ID:uZFmzNJe ＞西田哲学の絶対矛盾的自己同一 学生の頃、A=Aでない数学をやりたい、と云った友人がいたが その後、予備校教師になったようだ・・・ http://rio2016.5ch.net/test/read.cgi/math/1572150086/708

709: １３２人目の素数さん [] 2019/12/07(土) 20:23:30.67 ID:uZFmzNJe >>707 個人的にはAFAよりsubstructural logicのほうが興味がありますけどね http://rio2016.5ch.net/test/read.cgi/math/1572150086/709

710: １３２人目の素数さん [] 2019/12/07(土) 20:48:42.47 ID:uZFmzNJe https://rio2016.5ch.net/test/read.cgi/math/1506152332/138-140 勉強もせずにこんなことばっかり臆面もなく書くとか つくづく恥ずかしい人ですね http://rio2016.5ch.net/test/read.cgi/math/1572150086/710

713: １３２人目の素数さん [] 2019/12/07(土) 21:31:41.29 ID:uZFmzNJe >>711 要するにIUTでは正則性公理に反する「集合」は出てこないということですか IUT支持者の中にはおかしな人が少なくないようです 専門家はそういう人を抹殺したいでしょうね どうぞ抹殺してください　 とある方も著書でこう云ってます 「人を殺していけない根拠などありません」 http://rio2016.5ch.net/test/read.cgi/math/1572150086/713

715: １３２人目の素数さん [] 2019/12/07(土) 22:03:27.56 ID:uZFmzNJe >>714 世の中には「おかしな人たち」を観察する趣味を持ってる人もいます そういう人たちにとっては無視とかＮＧとかいうのはあり得ないでしょうね 彼らの「おかしな発言」を記録して後世に残すことが楽しみなんですから http://rio2016.5ch.net/test/read.cgi/math/1572150086/715

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.922s*