Ξ函数：修订历史

2025年8月20日 (星期三)

• 当前之前 16:202025年8月20日 (三) 16:20 Z 留言 贡献 小 4,418字节 +29 无编辑摘要 标签：可视化编辑

2025年7月30日 (星期三)

• 当前之前 13:382025年7月30日 (三) 13:38 Tabelog 留言 贡献 小 4,389字节 −7 修正参考资料 标签：可视化编辑

2025年7月29日 (星期二)

• 当前之前 16:122025年7月29日 (二) 16:12 Tabelog 留言 贡献 小 4,396字节 +28 无编辑摘要 标签：可视化编辑

2025年7月25日 (星期五)

• 当前之前 19:122025年7月25日 (五) 19:12 Tabelog 留言 贡献 小 4,368字节 +17 无编辑摘要 标签：可视化编辑

2025年7月15日 (星期二)

• 当前之前 18:222025年7月15日 (二) 18:22 QWQ-bili 留言 贡献 小 4,351字节 +63 美化公式，添加引用
• 当前之前 15:182025年7月15日 (二) 15:18 Z 留言 贡献 小 4,288字节 +53 无编辑摘要 标签：可视化编辑
• 当前之前 15:182025年7月15日 (二) 15:18 Z 留言 贡献 4,235字节 +4,235 创建页面，内容为“Ξ函数是Adam P. Goucher定义的一个快速增长的不可计算函数。它的“增长率”被估算为OFP。 == 定义 == === SKI演算 === Ξ函数的定义基于SKI演算，SKI演算是组合逻辑的一个子系统，它是<math>\lambda</math>演算的前身。SKI演算是一颗二叉树，其中叶子是组合子为三个符号S、K、I，它们使用括号来表示树。SKI程序的一个简单的例子是<math>(((SK)S)((KI)S))</math>.我们默…” 标签：可视化编辑