国家社科基金重大项目(18ZDA031)
Patrick Grim等人运用计算机模拟研究方法,揭示出在ukasiewicz模糊逻辑系统中自指语句赋值具有周期性和混沌行为等动态特征,而且在系统内混沌行为本身不可判定。元胞自动机同样具有周期性与混沌行为,而 Mikhail Prokopenk 等人通过构造“自指”,证明元胞自动机的动态也同样具有不可判定性。对两者进行比较研究,有助于进一步揭示它们之间的内在关联。
李振宇.自指语句赋值与元胞自动机的[J].湖南科技大学学报(社会科学版),2019,(4):29-35