主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。
- 2025年8月28日 (四) 10:54 Z 留言 贡献创建了页面Laver table （创建页面，内容为“Laver表是Richard Laver在1992 年提出的一个增长速度很快的表<ref>Laver, Richard. [http://arxiv.org/abs/math.LO/9204204 On the Algebra of Elementary Embeddings of a Rank into Itself]. Retrieved 2014-08-23. </ref> == 定义 == 考虑作用于<math>\{1,\cdots,2^n\}</math>上的二元运算<math>\star_n</math>，它满足如下条件: \begin{eqnarray*}a \star_n 0 & = & 0 \\a \star_n 1 & = & (a+1) \mod 2^n \\a \star_n i & = & (a \star_n (i-1)) \star_…”） 标签：可视化编辑