617.远方既弱又强=彭罗斯铺砌层级结构+无穷着色描述复杂度-哥德尔不完全定理壁垒+局部规则决定远方的认识边界