Tree Calculus：仅需一个操作符，具备“自我反思”能力的极简计算模型
Tree Calculus 是一种新型极简计算模型，由 Barry Jay 发现。它仅使用一个操作符（△）即可实现图灵完备性，突破了传统 λ 演算的局限，天然支持程序反射和内省。其独特之处在于程序即数据，能够轻松实现递归、序列化及自我分析。...
标签索引
图灵完备性
这个标签下有 3 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
经典台球系统图灵完备，物理世界具计算潜力
研究者通过拓扑克莱恩场理论框架，证明二维台球系统具有图灵完备性，这意味着物理世界中的经典台球模型能够执行通用计算。台球作为粒子运动的理想化模型，具有弹性反射特性，并自然作为平滑哈密顿系统在陡峭约束势下的极限出现。这一发现确立了在物理自然的台...
康威生命游戏中运行Lisp解释器
本文介绍了一个在康威生命游戏中实现的Lisp解释器项目。康威生命游戏是一种图灵完备的细胞自动机，而Lisp是经典的高级编程语言。该项目首次在生命游戏中运行Lisp，支持闭包和宏等特性。作者详细描述了架构设计、优化过程和实现细节，包括使用QF...