Tree Calculus：无需希腊字母的图灵完备计算
Tree Calculus 是一种极简、模块化且图灵完备的计算系统，它用无标签二叉树替代了传统的希腊字母和括号。作者 Johannes Bader 通过可视化方式展示了其核心规则，甚至让从未接触过 λ-calculus 的母亲在 1 小时内理解了逻辑运算。该系统不仅能在纸笔上推演，还具备自反性，能直接优化程序或生成其他语言的代码。Tree Calculus 将复杂的计算理论简化为直观的树形结构，让编程和数学推理变得更加平易近人。
Tree Calculus 的规范极其紧凑且自包含，这使得它非常易于教学。
HN 评论区
10- MelonUsk
他们的网站：https://treecalcul.us
顺便一提，一元树和二元树可能是生成整个计算宇宙最极简的方式。
- orangea
Tree Calculus 有没有被用来证明过什么关于非 Tree Calculus 领域的有趣结论？
- peter_d_sherman
>"Tree calculus is a minimal, modular, Turing-complete and reflective calculus."
这让它成为了所有数学基础的一个候选方案……
该领域的其他候选者包括：范畴论（Category Theory，一切归结为称为“组合”的单一操作）、λ演算（Lambda Calculus，一切归结为函数应用）、形式重写系统（Formal Rewriting Systems，即符号替换/Post 规范系统/Markov 算法——一切归结为单一操作：字符串重写，匹配符号模式并替换为另一个。例如，图灵机就存在于这个空间内）、同伦类型论（Homotopy Type Theory，简称 HoTT：路径即变换，等式陈述 (a = b) 不是静态的真值；它们是生活在高维空间中的路径（或连续变换）。逻辑证明、代数运算和几何形变都在“路径归纳”的概念下统一起来。证明两个数学结构等价，等同于找到它们之间的一条连续变换路径。）
这些只是其中一部分，其他还包括图灵完备的有限自动机，比如 Rule 110 等等。
总之，这是个很棒的链接，我们欢迎 Tree Calculus 加入这份名单！
相关：https://en.wikipedia.org/wiki/One-instruction_set_computer