[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 42 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
699(1): 2019/12/07(土)09:36 ID:uZFmzNJe(1/11) AAS
>>692
＞両方考えるのがIUT
両方とは？
>>691の１．と２．は両立しますよ
例えば
１．{}∈{{}}∈{{{}}}∈… という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
省5
700(1): 2019/12/07(土)09:51 ID:uZFmzNJe(2/11) AAS
>>695
＞「同義反復的解決をしたい」
＞「属性方程式a∈aを解きたい」
＞“simulate a∈a”
＞“loops of mutations”
＞“simulate ∈-loops”
これは問題の解決に立ちはだかる本質的な困難なんでしょうか？
省1
701(1): 2019/12/07(土)09:59 ID:uZFmzNJe(3/11) AAS
>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）
∈-loopsが必要なら「代替集合論」ZFC-AFAは不可欠でしょう
省2
703: 2019/12/07(土)15:38 ID:uZFmzNJe(4/11) AAS
前日の「坂道テレビ」も忘れずに
外部ﾘﾝｸ:www4.nhk.or.jp
705(1): 2019/12/07(土)19:01 ID:uZFmzNJe(5/11) AAS
>>704
最終節は読んでません そもそも数論幾何を知らないので
数論幾何において、ａ∈ａが現れるのかどうか知りたいわけです
AFAは別にトンデモではないので、
AFAを使った数学が受け入れられない
ということはありませんよ
ただ、実際にはａ∈ａではなく、
省6
706: 2019/12/07(土)19:16 ID:uZFmzNJe(6/11) AAS
>>704
＞「基礎論を刷新するもの」
それはないですね
708: 2019/12/07(土)19:27 ID:uZFmzNJe(7/11) AAS
＞西田哲学の絶対矛盾的自己同一
学生の頃、A=Aでない数学をやりたい、と云った友人がいたが
その後、予備校教師になったようだ・・・
709: 2019/12/07(土)20:23 ID:uZFmzNJe(8/11) AAS
>>707
個人的にはAFAよりsubstructural logicのほうが興味がありますけどね
710(1): 2019/12/07(土)20:48 ID:uZFmzNJe(9/11) AAS
2chｽﾚ:math
勉強もせずにこんなことばっかり臆面もなく書くとか
つくづく恥ずかしい人ですね
713(1): 2019/12/07(土)21:31 ID:uZFmzNJe(10/11) AAS
>>711
要するにIUTでは正則性公理に反する「集合」は出てこないということですか
IUT支持者の中にはおかしな人が少なくないようです
専門家はそういう人を抹殺したいでしょうね
どうぞ抹殺してください
とある方も著書でこう云ってます
「人を殺していけない根拠などありません」
715: 2019/12/07(土)22:03 ID:uZFmzNJe(11/11) AAS
>>714
世の中には「おかしな人たち」を観察する趣味を持ってる人もいます
そういう人たちにとっては無視とかＮＧとかいうのはあり得ないでしょうね
彼らの「おかしな発言」を記録して後世に残すことが楽しみなんですから
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s