2025.02.03
https://www.youtube.com/watch?v=kYamytTPVM0
思った
$ \bf S5のフレームクラスは万有引力と見れる． 全ての要素は全ての要素と関係がある：$ \forall x. \forall y. x \prec y
全ての要素は全ての要素とある程度の$ r \in \Rを関係を持つ
$ \forall x.\forall y.\exists r \in \R, x R^r y
$ x R^0 y \iff x = y
$ x R^\infty y \iff x \not\prec y
あるいは$ \forall x.\forall y. x \neq y \implies \exists r \in [0,1), x R^{1/r} y
どういう論理を考えたらこんなことを扱えるのだろうか？」
観た
すばらしい