Stephen Wolfram Writings
·
嵌套递归函数
💡
原文英文，约11600词，阅读约需42分钟。
📝
内容提要
作者在研究递归函数时，最初使用类似斐波那契的条件，未能发现复杂性。2003年，他在夏季学校实验中发现了T311等现象。尽管研究在2008年后暂停，但2020年物理项目激发了他对嵌套递归函数的兴趣，揭示了计算宇宙的复杂性。
🎯
关键要点
- 作者在研究递归函数时，最初未能发现复杂性。
- 2003年，作者在夏季学校实验中发现了T311等现象。
- 尽管研究在2008年后暂停，但2020年物理项目激发了他对嵌套递归函数的兴趣。
- 简单的程序可以生成复杂性，作者在1990年代进行了多次探索。
- 作者在2002年出版的《新科学》中仅简要讨论了递归序列。
- 在夏季学校的实验中，作者发现了更简单的嵌套递归函数具有复杂行为。
- 作者对嵌套递归函数的研究在过去几十年中多次回归。
- 现代Wolfram语言工具和物理项目的想法为探索提供了新方向。
- P312函数的定义展示了复杂的计算结构。
- P312的计算图揭示了不同的计算路径和初始条件。
- P312的行为在大n时表现出一定的规律性。
- P家族的递归函数展示了不同的复杂性和行为。
- T家族的递归函数展示了乘法操作的复杂性。
- T311函数在2003年夏季学校中被发现，表现出复杂的行为。
- S家族的递归函数展示了与斐波那契数列相关的行为。
- 复杂的规则可以产生高度复杂的行为，符合计算等价原理。
- 嵌套递归函数的历史与递归和数学归纳法的概念密切相关。
- Ackermann函数是一个著名的非原始递归函数的例子，展示了嵌套递归的复杂性。
- 嵌套递归函数可以用Wolfram语言中的Fold表示，显示出其原始递归的特性。
➡️
