[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
946(1): 2021/03/08(月)11:11 ID:tHlTN7kN(10/32) AAS
>>945
なるほど
そもそも、同値関係を抜きにすればAOL4が成り立たないのは明らかです
ただAOL1のようなことをわざわざいうので理解できないわけです
>>927で、あなたも
「[0,1]の異なるコピーですが、正直定義がないためよく分かりませんでした」
といってましたが、
省8
950: 2021/03/08(月)11:46 ID:NM2BnIxM(3/3) AAS
>>946
そうですね、コピーの定義がないのでなんとも言えません
一応、Rの相対位相を入れた[0,1]と[1,2]は同相のはずで(チェックしていないですが)、著者も何度か同相を強調していますが……
著者は∧と∨が混同されてしまう状況を初等的な例で説明しているのだと思いますが、確かに初等的な話でさえここまで捏ね繰り回されるとAOL1〜4について判定することが困難ということは、十分伝わりました
著者にとっては、IUTはここまで捏ねくり回す必要がある理論で、書き方を直すことなんて出来ないと思ってるのではないでしょうか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s