Laver Table - 版本历史

星汐镜Littlekk：链接重定向

2026-02-26T05:17:42Z

链接重定向

←上一版本		2026年2月26日 (四) 13:17的版本
第17行：		第17行：
	p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …(OEIS [[oeis:A098820\|A098820]])。这是一个增长缓慢的函数。		p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …(OEIS [[oeis:A098820\|A098820]])。这是一个增长缓慢的函数。

	p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。		p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[Googology\|googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。

	q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在[[快速增长层级]]结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, R. (1992). Critical points in an algebra of elementary embeddings. [https://arxiv.org/abs/math/9205202 arXiv:math/9205202] '''[math.LO]'''.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是[[序数#递归序数\|可计算的]]，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。		q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在[[快速增长层级]]结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, R. (1992). Critical points in an algebra of elementary embeddings. [https://arxiv.org/abs/math/9205202 arXiv:math/9205202] '''[math.LO]'''.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是[[序数#递归序数\|可计算的]]，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。

2026年2月22日 (日) 02:09 Tabelog

2026-02-22T02:09:25Z

←上一版本		2026年2月22日 (日) 10:09的版本
第15行：		第15行：

	==== 强度 ====		==== 强度 ====
	p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, ~~…，<ref>A098820 - OEIS. ''~~(~~EB/OL),~~ OEIS~~''. Available at~~: ~~https://oeis.org/~~A098820~~</ref>这是一个增长缓慢的函数。~~		p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …(OEIS [[oeis:A098820\|A098820]])。这是一个增长缓慢的函数。

	p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。		p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。

QWQ-bili：修复全局word-wrap导致的表格显示问题，修复图片显示，修订翻译，增添引用

2025-09-06T02:40:00Z

修复全局word-wrap导致的表格显示问题，修复图片显示，修订翻译，增添引用

←上一版本		2025年9月6日 (六) 10:40的版本
第1行：		第1行：
	Laver ~~表是一种无限族的原群，它们产生了一个可能增长极快的函数。它们由理查德·拉弗（Richard~~ Laver）于 1992 年首次定义。<ref>Laver, R. (1992). On the Algebra of Elementary Embeddings of a Rank into Itself. [https://arxiv.org/abs/math/9204204 arXiv:math/9204204] '''[math.LO]'''. </ref>		'''Laver 表'''，是一种无限族的原群，它们产生了一个可能增长极快的函数。它们由理查德·拉弗（Richard Laver）于 1992 年首次定义。<ref>Laver, R. (1992). On the Algebra of Elementary Embeddings of a Rank into Itself. [https://arxiv.org/abs/math/9204204 arXiv:math/9204204] '''[math.LO]'''. </ref>

	=== 定义 ===		=== 定义 ===
	Laver 表基于以下定理：对于每个<math>n\geq0</math>~~，在有限序数集~~ <math>\{1,\cdots,2^n\}</math> 上存在唯一的二元运算 <math>\star_n</math>，<ref>Philippe, B. (2018). Laver tables and combinatorics. ''(EB/OL)''. Available at: https://hal.science/hal-01883830/file/Laver-Tables.pdf</ref>满足：		Laver 表基于以下定理：对于每个<math>n\geq0</math>，在[[序数#有限序数\|有限序数]]集 <math>\{1,\cdots,2^n\}</math> 上存在唯一的二元运算 <math>\star_n</math>，<ref>Philippe, B. (2018). Laver tables and combinatorics. ''(EB/OL)''. Available at: https://hal.science/hal-01883830/file/Laver-Tables.pdf</ref>满足：

	\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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}		\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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}
第8行：		第8行：
	Laver 表 <math>A_n</math> 定义为唯一的取值为 <math>a\ \star_n\ b</math> 的 <math>2^n\times2^n</math> 表。Laver 表可以用此<ref>n-nekoyama (n.d.). Laver table - レイバーのテーブル. ''(EB/OL)''. Available at: https://n-nekoyama.github.io/googology/laver_table/</ref>进行计算。		Laver 表 <math>A_n</math> 定义为唯一的取值为 <math>a\ \star_n\ b</math> 的 <math>2^n\times2^n</math> 表。Laver 表可以用此<ref>n-nekoyama (n.d.). Laver table - レイバーのテーブル. ''(EB/OL)''. Available at: https://n-nekoyama.github.io/googology/laver_table/</ref>进行计算。

	注意这一定理仅适用于 2 ~~的幂。假如我们考虑的二元运算作用于一般的~~ <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。		注意这一定理仅适用于 2 的[[高德纳箭头#乘方\|幂]]。假如我们考虑的二元运算作用于一般的 <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。

	我们定义函数 <math>a\mapsto1\star_na</math> 的周期为 p(n)。		我们定义函数 <math>a\mapsto1\star_na</math> 的周期为 p(n)。
第17行：		第17行：
	p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …，<ref>A098820 - OEIS. ''(EB/OL), OEIS''. Available at: https://oeis.org/A098820</ref>这是一个增长缓慢的函数。		p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …，<ref>A098820 - OEIS. ''(EB/OL), OEIS''. Available at: https://oeis.org/A098820</ref>这是一个增长缓慢的函数。

	p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+~~I3）的公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于~~ p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。		p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。

	q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty ~~证明，在快速生长层次结构的一个稍作修改的版本中，~~<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, R. (1992). Critical points in an algebra of elementary embeddings. [https://arxiv.org/abs/math/9205202 arXiv:math/9205202] '''[math.LO]'''.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver ~~表是可计算的，因此~~ q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。		q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在[[快速增长层级]]结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, R. (1992). Critical points in an algebra of elementary embeddings. [https://arxiv.org/abs/math/9205202 arXiv:math/9205202] '''[math.LO]'''.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是[[序数#递归序数\|可计算的]]，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。

	Patrick Dehornoy 提供了一种填充 Laver 表的简单算法。<ref name=":0">Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables]</ref>然而，每个表格的大小以及 <math>\star</math> 运算所定义的循环群的规模都呈指数级增长，因此这目前是一个NP问题。		Patrick Dehornoy 提供了一种填充 Laver 表的简单算法。<ref name=":0">Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables]</ref>然而，每个表格的大小以及 <math>\star</math> 运算所定义的循环群的规模都呈指数级增长，因此这目前是一个NP问题。

	q(6) 的预期规模非常大[6]，但除了“证明可计算函数全域所需的集合论强度”外，没有给出其他理由或证明。然而，一个可计算函数f并不需要超过所有在已知需要证明该函数全域的集合论中可证明全域的可计算函数。		q(6) 的预期规模非常大<ref name=":0">Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables]</ref>，但除了“证明可计算函数全域所需的集合论强度”外，没有给出其他理由或证明。然而，一个可计算函数f并不需要超过所有在已知需要证明该函数全域的集合论中可证明全域的可计算函数。
	[[文件:~~Laver6 new~~.~~webp~~\|缩略图\|第六个 Laver 表的灰度图]]		[[文件:Laver6_new_PNG.png\|缩略图\|第六个 Laver 表的灰度图]]

	==== 解释 ====		==== 解释 ====
第31行：		第31行：
	<math>j \cdot k = \bigcup_{\alpha < \lambda} j(k \cap V_\alpha)</math>		<math>j \cdot k = \bigcup_{\alpha < \lambda} j(k \cap V_\alpha)</math>

	此处，<math>k \cap V_\alpha</math> 表示 <math>k</math> 在集合 <math>\{x \in V_\alpha \mid (x,k(x)) \in V_\alpha\}</math> 上的限制。虽然 <math>k</math> 本身不属于 <math>j</math> ~~的定义域~~ <math>V_\lambda</math>，但 <math>k \cap V_\alpha</math> 是它的元素。这一操作可理解为“对逐渐接近 <math>V_\lambda</math> 的 <math>k</math> 应用 <math>j</math>”。该运算符满足性质 <math>j(kl) = (jk)(jl)</math>，此性质被称为左自分布性（left-selfdistributivity）。已知 Laver 表与通过临界点关联到 <math>\mathcal{E}_\lambda</math> ~~的原群同构，因此与大基数公理密切相关。~~		此处，<math>k \cap V_\alpha</math> 表示 <math>k</math> 在集合 <math>\{x \in V_\alpha \mid (x,k(x)) \in V_\alpha\}</math> 上的限制。虽然 <math>k</math> 本身不属于 <math>j</math> 的[[ZFC公理体系#定义域\|定义域]] <math>V_\lambda</math>，但 <math>k \cap V_\alpha</math> 是它的元素。这一操作可理解为“对逐渐接近 <math>V_\lambda</math> 的 <math>k</math> 应用 <math>j</math>”。该运算符满足性质 <math>j(kl) = (jk)(jl)</math>，此性质被称为左自分布性（left-selfdistributivity）。已知 Laver 表与通过临界点关联到 <math>\mathcal{E}_\lambda</math> 的原群同构，因此与[[大基数公理]]密切相关。

	=== 取值 ===		=== 取值 ===
第37行：		第37行：
	==== Laver 表 ====		==== Laver 表 ====
	以下展示了前 6 个 Laver 表。<ref name=":0" />		以下展示了前 6 个 Laver 表。<ref name=":0" />
			<div style="text-wrap: nowrap;">
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	\|+<math>\star_0</math> 的 Laver 表		\|+<math>\star_0</math> 的 Laver 表
第1,618行：		第1,619行：
	\|32		\|32
	\|}		\|}
			</div>
	==== q 函数 ====		==== q 函数 ====
	事实上 <math>p(n)</math> 是一个增长速度非常缓慢的函数。		事实上 <math>p(n)</math> 是一个增长速度非常缓慢的函数。

2025年8月31日 (日) 02:51 Tabelog

2025-08-31T02:51:29Z

2025年8月31日 (日) 02:42 Tabelog

2025-08-31T02:42:25Z

←上一版本		2025年8月31日 (日) 10:42的版本
第1行：		第1行：
	Laver ~~表（Laver Table）是 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>		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>~~，它满足如下条件：~~		Laver 表基于以下定理：对于每个<math>n\geq0</math>，在有限序数集 <math>\{1,\cdots,2^n\}</math> 上存在唯一的二元运算 <math>\star_n</math>，<ref>Biane, Philippe. [https://hal.archives-ouvertes.fr/hal-01883830/file/Laver-Tables.pdf https://hal.archives-ouvertes.fr/hal-01883830/file/Laver-Tables.pdf.]</ref>满足：

	\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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}		\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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}
第10行：		第10行：
	注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的 <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。		注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的 <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。

	~~我们定义如下函数的周期为~~ p(n):		我们定义函数 <math>a\mapsto1\star_na</math> 的周期为 p(n)。

	* <math>2^n\~~rightarrow2~~^n~~</math>~~		定义 q(n) 为函数 p(n) 的“伪逆”，即 <math>q(n)=\min\{N\|p(N)\geq2^n\}</math>。
	* <math>a\mapsto1\~~star_na~~</math>

	定义 q(n) ~~为函数~~ p(n) ~~的逆，即~~ <math>q(n)=\~~min~~\{~~N\|p~~(N)\~~geq2^n~~\}</math>。		=== 强度 ===
			p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …，<ref>OEIS [[oeis:A098820\|A098820]]</ref>这是一个增长缓慢的函数。

			p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）的公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。

			q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在快速生长层次结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是可计算的，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。

			Patrick Dehornoy 提供了一种填充 Laver 表的简单算法。<ref name=":0">Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables] (starting on slide 26). Retrieved 2018-12-11.</ref>然而，每个表格的大小以及 <math>\star</math> 运算所定义的循环群的规模都呈指数级增长，因此这目前是一个NP问题。

			q(6) 的预期规模非常大[6]，但除了“证明可计算函数全域所需的集合论强度”外，没有给出其他理由或证明。然而，一个可计算函数f并不需要超过所有在已知需要证明该函数全域的集合论中可证明全域的可计算函数。
			[[文件:Laver6 new.webp\|缩略图\|第六个 Laver 表的灰度图]]

			=== 解释 ===
			对于[[序数#极限序数\|极限序数]] <math>\lambda</math>，设 <math>\mathcal{E}_\lambda</math> 为所有[[初等嵌入]] <math>V_\lambda \mapsto V_\lambda</math> 的集合。对 <math>j,k \in \mathcal{E}_\lambda</math>，我们定义运算符 <math>j\cdot k</math>（或记为 <math>jk</math>）如下：

			<math>j \cdot k = \bigcup_{\alpha < \lambda} j(k \cap V_\alpha)</math>

			此处，<math>k \cap V_\alpha</math> 表示 <math>k</math> 在集合 <math>\{x \in V_\alpha \mid (x,k(x)) \in V_\alpha\}</math> 上的限制。虽然 <math>k</math> 本身不属于 <math>j</math> 的定义域 <math>V_\lambda</math>，但 <math>k \cap V_\alpha</math> 是它的元素。这一操作可理解为“对逐渐接近 <math>V_\lambda</math> 的 <math>k</math> 应用 <math>j</math>”。该运算符满足性质 <math>j(kl) = (jk)(jl)</math>，此性质被称为左自分布性（left-selfdistributivity）。已知 Laver 表与通过临界点关联到 <math>\mathcal{E}_\lambda</math> 的原群同构，因此与大基数公理密切相关。

	=== 取值 ===		=== 取值 ===

	==== Laver 表 ====		==== Laver 表 ====
	以下展示了前 6 个 Laver 表。<ref~~>Dehornoy, Patrick. [https~~:/~~/web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables] (starting on slide 26). Retrieved 2018-12-11.</ref~~>		以下展示了前 6 个 Laver 表。<ref name=":0" />
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	\|+<math>\star_0</math> 的 Laver 表		\|+<math>\star_0</math> 的 Laver 表
第1,613行：		第1,629行：
	* <math>q(3)=5</math>		* <math>q(3)=5</math>
	* <math>q(4)=9</math>		* <math>q(4)=9</math>
	* <math>q(5) > f_9 (f_8 (f_8(254))) ,</math>，其中这里的 [[增长层级#快速增长层级\|FGH]] 改版定义为 <math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>		* <math>q(5) > f_9 (f_8 (f_8(254)))</math>，其中这里的 [[增长层级#快速增长层级\|FGH]] 改版定义为 <math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>

	~~=== 强度 ===~~
	Dougherty 证明了 <math>q^n(1) > f_{\omega+1} (\lfloor log3 n\rfloor - 1)</math>。<ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>

	~~事实上，二元关系 <math>\star_n</math> 的存在唯一性以及函数 p(n) 的发散性并非显然的结果，它实际上与集合论中的嵌入有着深刻的联系。~~

	~~事实上，p(n) 发散的结论是在 I3 公理下才能够得到证明的。因此，作为一个快速增长的函数，q(n) 的完全性（即在所有自然数 n 下都有定义）在 ZFC+I3~~

	~~下得到了证明。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。~~

	== 参考资料 ==		== 参考资料 ==
	{{默认排序:相关问题}}		{{默认排序:相关问题}}
	[[分类:记号]]		[[分类:记号]]
			<references />
			[[分类:集合论相关]]

2025年8月30日 (六) 14:46 Tabelog

2025-08-30T14:46:51Z

←上一版本		2025年8月30日 (六) 22:46的版本
第1行：		第1行：
	~~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>		Laver 表（Laver Table）是 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>~~，它满足如下条件:~~		考虑作用于 <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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}		\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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}

	~~Laver表~~<math>A_n</math>定义为唯一的取值为<math>a~\star_n~b</math>的<math>2^n\times2^n</math>~~表。Laver表可以用此~~<ref>猫山にゃん太. Laver table - レイバーのテーブル[EB/OL]. 2022. [https://n-nekoyama.github.io/googology/laver_table/. https://n-nekoyama.github.io/googology/laver_table/.]</ref>进行计算。		Laver 表 <math>A_n</math> 定义为唯一的取值为 <math>a\ \star_n\ b</math> 的 <math>2^n\times2^n</math> 表。Laver 表可以用此<ref>猫山にゃん太. Laver table - レイバーのテーブル[EB/OL]. 2022. [https://n-nekoyama.github.io/googology/laver_table/. https://n-nekoyama.github.io/googology/laver_table/.]</ref>进行计算。

	注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的<math>\{1,\cdots,a\}</math>上，其中<math>a\neq 2^n</math>，则这样的二元运算<math>\star_n</math>将不是存在且唯一的。		注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的 <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。

	我们定义如下函数的周期为 p(n):		我们定义如下函数的周期为 p(n):
第15行：		第15行：
	* <math>a\mapsto1\star_na</math>		* <math>a\mapsto1\star_na</math>

	~~定义q~~(n)~~为函数p~~(n)的逆，即<math>q(n)=min\{N\|p(N)\geq2^n\}</math>		定义 q(n) 为函数 p(n) 的逆，即 <math>q(n)=\min\{N\|p(N)\geq2^n\}</math>。

	== 取值 ==		=== 取值 ===

	=== ~~Laver表~~ ===		==== Laver 表 ====
	~~以下展示了前6个Laver表~~<ref>Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables] (starting on slide 26). Retrieved 2018-12-11.</ref>		以下展示了前 6 个 Laver 表。<ref>Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables] (starting on slide 26). Retrieved 2018-12-11.</ref>
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	\|+<math>\star_0</math>~~的Laver表~~		\|+<math>\star_0</math> 的 Laver 表
	!		!
	!1		!1
第30行：		第30行：
	\|}		\|}
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	\|+<math>\star_1</math>~~的Laver表~~		\|+<math>\star_1</math> 的 Laver 表
	!		!
	!1		!1
第44行：		第44行：
	\|}		\|}
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	\|+<math>\star_2</math>~~的Laver表~~		\|+<math>\star_2</math> 的 Laver 表
	!		!
	!1		!1
第76行：		第76行：
	\|}		\|}
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	~~! colspan="9"~~ \|<math>\star_3</math>~~的Laver表~~		\|+<math>\star_3</math> 的 Laver 表
	\|-		\|-
	!		!
第169行：		第169行：
	\|}		\|}
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	~~! colspan="17"~~ \|<math>\star_4</math>~~的Laver表~~		\|+<math>\star_4</math> 的 Laver 表
	\|-		\|-
	!		!
第478行：		第478行：
	\|}		\|}
	{\| class="wikitable mw-collapsible mw-collapsed"		{\| class="wikitable mw-collapsible mw-collapsed"
	~~! colspan="33"~~ \|<math>\~~star_6~~</math>~~的Laver表~~		\|+<math>\star_5</math> 的 Laver 表
	\|-		\|-
	!		!
第1,603行：		第1,603行：
	\|}		\|}

	=== ~~q函数~~ ===		=== q 函数 ===
	事实上<math>p(n)</math>是一个增长速度非常缓慢的函数。		事实上 <math>p(n)</math> 是一个增长速度非常缓慢的函数。

	我们有		我们有
第1,613行：		第1,613行：
	* <math>q(3)=5</math>		* <math>q(3)=5</math>
	* <math>q(4)=9</math>		* <math>q(4)=9</math>
	* <math>q(5) > f_9 (f_8 (f_8(254))) ,</math>~~,其中这里的FGH改版定义为~~<math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>		* <math>q(5) > f_9 (f_8 (f_8(254))) ,</math>，其中这里的 [[增长层级#快速增长层级\|FGH]] 改版定义为 <math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>

	== 强度 ==		=== 强度 ===
	Dougherty 证明了<math>q^n(1) > f_{\omega+1} (\lfloor log3 n\rfloor - 1)</math><ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>		Dougherty 证明了 <math>q^n(1) > f_{\omega+1} (\lfloor log3 n\rfloor - 1)</math>。<ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>

	事实上，二元关系<math>\star_n</math>~~的存在唯一性以及函数p~~(n)的发散性并非显然的结果，它实际上与集合论中的嵌入有着深刻的联系。		事实上，二元关系 <math>\star_n</math> 的存在唯一性以及函数 p(n) 的发散性并非显然的结果，它实际上与集合论中的嵌入有着深刻的联系。

	事实上，p(n) ~~发散的结论是在I3公理下才能够得到证明的。因此，作为一个快速增长的函数，q~~(n) 的完全性（即在所有自然数 n 下都有定义）在 ZFC+I3		事实上，p(n) 发散的结论是在 I3 公理下才能够得到证明的。因此，作为一个快速增长的函数，q(n) 的完全性（即在所有自然数 n 下都有定义）在 ZFC+I3

	下得到了证明。用[[googology]]更熟悉（但是并不严格）的说法，我们目前认为 q(n) ~~的增长率的上界为PTO~~(ZFC+I3)		下得到了证明。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。

	== 参考资料 ==		== 参考资料 ==
	{{默认排序:相关问题}}		{{默认排序:相关问题}}
	[[分类:记号]]		[[分类:记号]]

Tabelog：Tabelog移动页面Laver table至Laver Table，不留重定向

2025-08-30T14:41:14Z

Tabelog移动页面Laver table至Laver Table，不留重定向

←上一版本	2025年8月30日 (六) 22:41的版本
（没有差异）

2025年8月28日 (四) 04:59 Z

2025-08-28T04:59:05Z

←上一版本		2025年8月28日 (四) 12:59的版本
第1,615行：		第1,615行：
	* <math>q(5) > f_9 (f_8 (f_8(254))) ,</math>,其中这里的FGH改版定义为<math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>		* <math>q(5) > f_9 (f_8 (f_8(254))) ,</math>,其中这里的FGH改版定义为<math>f_{\alpha+1}(n)=f_\alpha^{n+1}(n)</math>

			== 强度 ==
	Dougherty 证明了<math>q^n(1) > f_{\omega+1} (\lfloor log3 n\rfloor - 1)</math><ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>		Dougherty 证明了<math>q^n(1) > f_{\omega+1} (\lfloor log3 n\rfloor - 1)</math><ref>Dougherty, Randall. [http://arxiv.org/abs/math.LO/9205202 Critical points in an algebra of elementary embeddings.] Retrieved 2014-08-23.</ref>

			事实上，二元关系<math>\star_n</math>的存在唯一性以及函数p(n)的发散性并非显然的结果，它实际上与集合论中的嵌入有着深刻的联系。

			事实上，p(n) 发散的结论是在I3公理下才能够得到证明的。因此，作为一个快速增长的函数，q(n) 的完全性（即在所有自然数 n 下都有定义）在 ZFC+I3

			下得到了证明。用[[googology]]更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为PTO(ZFC+I3)

	== 参考资料 ==		== 参考资料 ==
	{{默认排序:相关问题}}		{{默认排序:相关问题}}
	[[分类:记号]]		[[分类:记号]]

2025年8月28日 (四) 04:52 Z

2025-08-28T04:52:52Z

显示更改

2025年8月28日 (四) 02:58 Z

2025-08-28T02:58:44Z

←上一版本		2025年8月28日 (四) 10:58的版本
第16行：		第16行：

	定义q(n)为函数p(n)的逆，即<math>q(n)=min\{N\|p(N)\geq2^n\}</math>		定义q(n)为函数p(n)的逆，即<math>q(n)=min\{N\|p(N)\geq2^n\}</math>

			== 取值 ==

			TO DO：取值

			== 参考资料 ==
	{{默认排序:相关问题}}		{{默认排序:相关问题}}
	[[分类:记号]]		[[分类:记号]]

←上一版本		2026年2月26日 (四) 13:17的版本
第17行：		第17行：
	p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …(OEIS [[oeis:A098820\|A098820]])。这是一个增长缓慢的函数。		p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …(OEIS [[oeis:A098820\|A098820]])。这是一个增长缓慢的函数。

	p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。		p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[Googology\|googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。

	q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在[[快速增长层级]]结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, R. (1992). Critical points in an algebra of elementary embeddings. [https://arxiv.org/abs/math/9205202 arXiv:math/9205202] '''[math.LO]'''.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是[[序数#递归序数\|可计算的]]，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。		q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在[[快速增长层级]]结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, R. (1992). Critical points in an algebra of elementary embeddings. [https://arxiv.org/abs/math/9205202 arXiv:math/9205202] '''[math.LO]'''.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是[[序数#递归序数\|可计算的]]，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。

←上一版本		2025年8月31日 (日) 10:51的版本
第1行：		第1行：
	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>		Laver 表是一种无限族的原群，它们产生了一个可能增长极快的函数。它们由理查德·拉弗（Richard Laver）于 1992 年首次定义。<ref>Laver, R. (1992). On the Algebra of Elementary Embeddings of a Rank into Itself. [https://arxiv.org/abs/math/9204204 arXiv:math/9204204] '''[math.LO]'''. </ref>

	=== 定义 ===		=== 定义 ===
	Laver 表基于以下定理：对于每个<math>n\geq0</math>，在有限序数集 <math>\{1,\cdots,2^n\}</math> 上存在唯一的二元运算 <math>\star_n</math>，<ref>~~Biane~~, ~~Philippe~~. ~~[https://hal~~.~~archives-ouvertes~~.fr/~~hal-01883830/file/Laver-Tables~~.~~pdf~~ https://hal.~~archives-ouvertes.fr~~/hal-01883830/file/Laver-Tables.pdf.]</ref>满足：		Laver 表基于以下定理：对于每个<math>n\geq0</math>，在有限序数集 <math>\{1,\cdots,2^n\}</math> 上存在唯一的二元运算 <math>\star_n</math>，<ref>Philippe, B. (2018). Laver tables and combinatorics. ''(EB/OL)''. Available at: https://hal.science/hal-01883830/file/Laver-Tables.pdf</ref>满足：

	\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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}		\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_n (a \star_n 1) \ (i \neq 0,1)\end{eqnarray}

	Laver 表 <math>A_n</math> 定义为唯一的取值为 <math>a\ \star_n\ b</math> 的 <math>2^n\times2^n</math> 表。Laver 表可以用此<ref>~~猫山にゃん太~~. Laver table - レイバーのテーブル[EB/OL]. ~~2022. [https~~:~~//n-nekoyama.github.io/googology/laver_table/.~~ https://n-nekoyama.github.io/googology/laver_table/.]</ref>进行计算。		Laver 表 <math>A_n</math> 定义为唯一的取值为 <math>a\ \star_n\ b</math> 的 <math>2^n\times2^n</math> 表。Laver 表可以用此<ref>n-nekoyama (n.d.). Laver table - レイバーのテーブル. ''(EB/OL)''. Available at: https://n-nekoyama.github.io/googology/laver_table/</ref>进行计算。

	注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的 <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。		注意这一定理仅适用于 2 的幂。假如我们考虑的二元运算作用于一般的 <math>\{1,\cdots,a\}</math> 上，其中 <math>a\neq 2^n</math>，则这样的二元运算 <math>\star_n</math> 将不是存在且唯一的。
第14行：		第14行：
	定义 q(n) 为函数 p(n) 的“伪逆”，即 <math>q(n)=\min\{N\|p(N)\geq2^n\}</math>。		定义 q(n) 为函数 p(n) 的“伪逆”，即 <math>q(n)=\min\{N\|p(N)\geq2^n\}</math>。

	=== 强度 ===		==== 强度 ====
	p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …，<ref>OEIS [[oeis~~:A098820\|~~A098820]]</ref>这是一个增长缓慢的函数。		p(n) 的前几个值为1, 1, 2, 4, 4, 8, 8, 8, 8, 16, 16, 16, 16, …，<ref>A098820 - OEIS. ''(EB/OL), OEIS''. Available at: https://oeis.org/A098820</ref>这是一个增长缓慢的函数。

	p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）的公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。		p 在 [[ZFC公理体系\|ZFC]]+存在 rank-into-rank 基数（或 ZFC+I3）的公理系统中被证明是发散的。但遗憾的是，后者这一公理过于强大，以至于少数专家对其系统的相容性存疑。由于 p 的发散性尚未通过其他方式证明，这仍是一个未解问题。用 [[googology]] 更熟悉（但是并不严格）的说法，我们目前认为 q(n) 的增长率的上界为 [[证明论序数\|PTO(ZFC+I3)]]。

	q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在快速生长层次结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, ~~Randall~~. [~~http~~://arxiv.org/abs/math~~.LO~~/9205202 ~~Critical points in an algebra of elementary embeddings~~.] ~~Retrieved 2014-08-23~~.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是可计算的，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。		q 是一个快速增长的函数，其全域性当且仅当 p 发散。q(n) 的前几个值为 0, 2, 3, 5, 9。尽管 n≥5 时 q(n) 的存在性尚未被确认，但在上述公理假设下，Randall Dougherty 证明，在快速生长层次结构的一个稍作修改的版本中，<math>q^n(1)>f_{\omega+1}(\lfloor\log_3n\rfloor-1)</math>，且 <math>q(5) > f_9 (f_8 (f_8(254)))</math>。<ref>Dougherty, R. (1992). Critical points in an algebra of elementary embeddings. [https://arxiv.org/abs/math/9205202 arXiv:math/9205202] '''[math.LO]'''.</ref>Dougherty 对证明更优下界的可能性表示悲观，目前也没有更严格的上界已知。Laver 表是可计算的，因此 q(n)在较小时会被[[忙碌海狸函数]] Σ(n) 超越。

	Patrick Dehornoy 提供了一种填充 Laver 表的简单算法。<ref name=":0">Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables] ~~(starting on slide 26). Retrieved 2018-12-11.~~</ref>然而，每个表格的大小以及 <math>\star</math> 运算所定义的循环群的规模都呈指数级增长，因此这目前是一个NP问题。		Patrick Dehornoy 提供了一种填充 Laver 表的简单算法。<ref name=":0">Dehornoy, Patrick. [https://web.archive.org/web/20230429003832/https://www.lmno.cnrs.fr/archives/dehornoy/Talks/Dyz.pdf Laver Tables]</ref>然而，每个表格的大小以及 <math>\star</math> 运算所定义的循环群的规模都呈指数级增长，因此这目前是一个NP问题。

	q(6) 的预期规模非常大[6]，但除了“证明可计算函数全域所需的集合论强度”外，没有给出其他理由或证明。然而，一个可计算函数f并不需要超过所有在已知需要证明该函数全域的集合论中可证明全域的可计算函数。		q(6) 的预期规模非常大[6]，但除了“证明可计算函数全域所需的集合论强度”外，没有给出其他理由或证明。然而，一个可计算函数f并不需要超过所有在已知需要证明该函数全域的集合论中可证明全域的可计算函数。
	[[文件:Laver6 new.webp\|缩略图\|第六个 Laver 表的灰度图]]		[[文件:Laver6 new.webp\|缩略图\|第六个 Laver 表的灰度图]]

	=== 解释 ===		==== 解释 ====
	对于[[序数#极限序数\|极限序数]] <math>\lambda</math>，设 <math>\mathcal{E}_\lambda</math> 为所有[[初等嵌入]] <math>V_\lambda \mapsto V_\lambda</math> 的集合。对 <math>j,k \in \mathcal{E}_\lambda</math>，我们定义运算符 <math>j\cdot k</math>（或记为 <math>jk</math>）如下：		对于[[序数#极限序数\|极限序数]] <math>\lambda</math>，设 <math>\mathcal{E}_\lambda</math> 为所有[[初等嵌入]] <math>V_\lambda \mapsto V_\lambda</math> 的集合。对 <math>j,k \in \mathcal{E}_\lambda</math>，我们定义运算符 <math>j\cdot k</math>（或记为 <math>jk</math>）如下：

第1,619行：		第1,619行：
	\|}		\|}

	=== q 函数 ===		==== q 函数 ====
	事实上 <math>p(n)</math> 是一个增长速度非常缓慢的函数。		事实上 <math>p(n)</math> 是一个增长速度非常缓慢的函数。