RCast 66: 射影几何与Rho演算
Greg Meredith与Isaac DeFrain和Christian Williams一起讨论了射影几何及其在Rho演算中的作用。 原文链接及音频 https://blog.rchain.coop/blog/2020/01/11/rcast-66-projective-geometr Fano图 讨论 指导原则之一：线是相互作用的点。形式上，这意味着线可以被解释为一系列过程，而点则是（一组）redex。所有可能的redex都已进行了颜色编码，以与图中各点的颜色匹配。例如，标记为p1的点以红色显示在L1，L3和L4上。因此，我们预计L1可能会随着L3的减少而减少，并且在各平行组成部分的两个红色部分中也会减少。同样，L1与L4会与红色并行和交互，L3和L4同样如此。 要从此骨架进行到仅在（一定数量）交互（从而能够提供稳定的几何形状）之后重现Fano平面的过程，要解决只有Pij和Qij。以下是一个简单的练习，但是你可能会发现这个小技巧会有所帮助。 x?(y)( *y | x!(y) ) | x!( x?(y)( *y | x!(y) ) | P ) ->* P | P | P | …. 构造Pij和Qij的解决方案更加有趣，因为随着线的相互作用，整个空间会演化为新的几何形状。 观察 转向构图几何 这种方法有关键特性——几何形状是可以被合成的。在最简单的情况下