21/12/01 19:40:12.47 TRAaUVeQ.net
一つだけ訂正すると、強い定理が必要といってもIUTに対してはどうも「ありそうにない」強い定理だからねw
少なくとも圏論的には意味を成さない可能性がやはり高い
SSの単純化でも矛盾になるし、ギャップ部分はこれはこれで非常に証明の存在自体怪しいという話になっている
21/12/01 19:40:12.47 TRAaUVeQ.net
一つだけ訂正すると、強い定理が必要といってもIUTに対してはどうも「ありそうにない」強い定理だからねw
少なくとも圏論的には意味を成さない可能性がやはり高い
SSの単純化でも矛盾になるし、ギャップ部分はこれはこれで非常に証明の存在自体怪しいという話になっている