主要公开日志

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年7月15日 (二) 15:18 Z 留言 贡献创建了页面Ξ函数 （创建页面，内容为“Ξ函数是Adam P. Goucher定义的一个快速增长的不可计算函数。它的“增长率”被估算为OFP。 == 定义 == === SKI演算 === Ξ函数的定义基于SKI演算，SKI演算是组合逻辑的一个子系统，它是<math>\lambda</math>演算的前身。SKI演算是一颗二叉树，其中叶子是组合子为三个符号S、K、I，它们使用括号来表示树。SKI程序的一个简单的例子是<math>(((SK)S)((KI)S))</math>.我们默…”） 标签：可视化编辑