ACO - 版本历史

Tabelog：文字替换 -“weak Veblen 函数”替换为“weak Veblen 函数”

2025-08-26T08:25:55Z

文字替换 -“weak Veblen 函数”替换为“weak Veblen 函数”

←上一版本		2025年8月26日 (二) 16:25的版本
第28行：		第28行：
	\|<math>p1(p2(p2(p2+p2)))</math>		\|<math>p1(p2(p2(p2+p2)))</math>
	\|-		\|-
	\|[[~~Weak Veblen 函数\|~~weak Veblen 函数]]		\|[[weak Veblen 函数]]
	\|$\varphi(1@(1,0,0))$		\|$\varphi(1@(1,0,0))$
	\|-		\|-

2025年8月25日 (一) 05:33 Tabelog

2025-08-25T05:33:33Z

←上一版本		2025年8月25日 (一) 13:33的版本
第1行：		第1行：
	ACO（Ackerman's Ordinal，阿克曼序数），是[[~~Veblen函数~~#有限元 Veblen 函数\|三元 Veblen 函数]]的极限。		ACO（Ackerman's Ordinal，阿克曼序数），是[[Veblen 函数#有限元 Veblen 函数\|三元 Veblen 函数]]的极限。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
第38行：		第38行：
	证明论序数：<math>\rm p_1(\Sigma_1^1-TDC_0)</math>		证明论序数：<math>\rm p_1(\Sigma_1^1-TDC_0)</math>

	极限在此处的记号：[[~~Veblen函数~~#二元 Veblen 函数\|三元 Veblen 函数]]		极限在此处的记号：[[Veblen 函数#有限元 Veblen 函数\|三元 Veblen 函数]]

	巧合的是，如果使用攀爬法将[[阿克曼函数]]引入序数运算，得到的极限正好是 ACO。		巧合的是，如果使用攀爬法将[[阿克曼函数]]引入序数运算，得到的极限正好是 ACO。
	[[分类:序数]]		[[分类:序数]]

Tabelog：文字替换 -“Veblen 函数”替换为“Veblen 函数”

2025-08-25T05:24:54Z

文字替换 -“Veblen 函数”替换为“Veblen 函数”

←上一版本		2025年8月25日 (一) 13:24的版本
第4行：		第4行：
	!表达式		!表达式
	\|-		\|-
	\|[[~~Veblen函数\|~~Veblen 函数]]		\|[[Veblen 函数]]
	\|<math>\varphi(1,0,0,0)</math>		\|<math>\varphi(1,0,0,0)</math>
	\|-		\|-

QWQ-bili：修订公式及排版

2025-08-19T19:03:40Z

修订公式及排版

←上一版本		2025年8月20日 (三) 03:03的版本
第29行：		第29行：
	\|-		\|-
	\|[[Weak Veblen 函数\|weak Veblen 函数]]		\|[[Weak Veblen 函数\|weak Veblen 函数]]
	\|\varphi(1@(1,0,0))		\|$\varphi(1@(1,0,0))$
	\|-		\|-
	\|[[Dropping#M 记号\|M 记号]]		\|[[Dropping#M 记号\|M 记号]]
第39行：		第39行：

	极限在此处的记号：[[Veblen函数#二元 Veblen 函数\|三元 Veblen 函数]]		极限在此处的记号：[[Veblen函数#二元 Veblen 函数\|三元 Veblen 函数]]


	巧合的是，如果使用攀爬法将[[阿克曼函数]]引入序数运算，得到的极限正好是 ACO。		巧合的是，如果使用攀爬法将[[阿克曼函数]]引入序数运算，得到的极限正好是 ACO。
	[[分类:序数]]		[[分类:序数]]

Tabelog：文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”

2025-08-17T02:40:36Z

文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”

←上一版本		2025年8月17日 (日) 10:40的版本
第31行：		第31行：
	\|\varphi(1@(1,0,0))		\|\varphi(1@(1,0,0))
	\|-		\|-
	\|[[Dropping ~~Hydra~~#M 记号\|M 记号]]		\|[[Dropping#M 记号\|M 记号]]
	\|<math>p(p(M+p(M+p(M)+p(M))))</math>		\|<math>p(p(M+p(M+p(M)+p(M))))</math>
	\|}		\|}

Tabelog：文字替换 -“Weak veblen函数”替换为“Weak Veblen 函数”

2025-08-17T02:10:27Z

文字替换 -“Weak veblen函数”替换为“Weak Veblen 函数”

←上一版本		2025年8月17日 (日) 10:10的版本
第28行：		第28行：
	\|<math>p1(p2(p2(p2+p2)))</math>		\|<math>p1(p2(p2(p2+p2)))</math>
	\|-		\|-
	\|[[Weak ~~veblen函数~~\|weak Veblen 函数]]		\|[[Weak Veblen 函数\|weak Veblen 函数]]
	\|\varphi(1@(1,0,0))		\|\varphi(1@(1,0,0))
	\|-		\|-

2025年8月7日 (四) 15:06 Tabelog

2025-08-07T15:06:15Z

←上一版本		2025年8月7日 (四) 23:06的版本
第1行：		第1行：
	ACO（Ackerman's Ordinal，阿克曼序数），是[[Veblen函数#二元 Veblen 函数\|~~三元Veblen~~ 函数]]的极限。		ACO（Ackerman's Ordinal，阿克曼序数），是[[Veblen函数#有限元 Veblen 函数\|三元 Veblen 函数]]的极限。
	{\| class="wikitable"		{\| class="wikitable"
	![[序数记号]]		![[序数记号]]
第35行：		第35行：
	\|}		\|}

	== 性质 ==		=== 性质 ===
			证明论序数：<math>\rm p_1(\Sigma_1^1-TDC_0)</math>

	极限在此处的记号：[[Veblen函数#二元 Veblen 函数\|三元 Veblen 函数]]		极限在此处的记号：[[Veblen函数#二元 Veblen 函数\|三元 Veblen 函数]]

	巧合的是，如果使用攀爬法将[[阿克曼函数]]~~引入序数运算，得到的极限正好是ACO。~~
			巧合的是，如果使用攀爬法将[[阿克曼函数]]引入序数运算，得到的极限正好是 ACO。
			[[分类:序数]]

YourCpper：创建页面，内容为“ACO（Ackerman's Ordinal，阿克曼序数），是三元Veblen 函数的极限。 {| class="wikitable" !序数记号 !表达式 |- |Veblen 函数 | $\varphi(1,0,0,0)$ |- |BOCF | $\psi(\Omega^{\Omega^2})$ |- |MOCF | $\psi(\Omega^{\Omega^2})$ |- |BMS | $(0)(1,1)(2,1)(3,1)(3,1)$ |- |HPrSS | $1,3,5,7,7$ |- |0-Y | $1…”$

2025-08-07T13:39:21Z

创建页面，内容为“ACO（Ackerman's Ordinal，阿克曼序数），是三元Veblen 函数的极限。 {| class="wikitable" !序数记号 !表达式 |- |Veblen 函数 |<math>\varphi(1,0,0,0)</math> |- |BOCF |<math>\psi(\Omega^{\Omega^2})</math> |- |MOCF |<math>\psi(\Omega^{\Omega^2})</math> |- |BMS |<math>(0)(1,1)(2,1)(3,1)(3,1)</math> |- |HPrSS |<math>1,3,5,7,7</math> |- |0-Y |<math>1…”

新页面

ACO（Ackerman's Ordinal，阿克曼序数），是[[Veblen函数#二元 Veblen 函数|三元Veblen 函数]]的极限。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[Veblen函数|Veblen 函数]]
|<math>\varphi(1,0,0,0)</math>
|-
|[[OCF#BOCF|BOCF]]
|<math>\psi(\Omega^{\Omega^2})</math>
|-
|[[OCF#MOCF|MOCF]]
|<math>\psi(\Omega^{\Omega^2})</math>
|-
|[[BMS]]
|<math>(0)(1,1)(2,1)(3,1)(3,1)</math>
|-
|[[HPrSS]]
|<math>1,3,5,7,7</math>
|-
|[[0-Y]]
|<math>1,3,5,7,7</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,6,8,8</math>
|-
|[[PSS Hydra]]
|<math>p1(p2(p2(p2+p2)))</math>
|-
|[[Weak veblen函数|weak Veblen 函数]]
|\varphi(1@(1,0,0))
|-
|[[Dropping Hydra#M 记号|M 记号]]
|<math>p(p(M+p(M+p(M)+p(M))))</math>
|}

== 性质 ==
极限在此处的记号：[[Veblen函数#二元 Veblen 函数|三元 Veblen 函数]]

巧合的是，如果使用攀爬法将[[阿克曼函数]]引入序数运算，得到的极限正好是ACO。

ACO - 版本历史

Tabelog：​文字替换 -“weak Veblen 函数”替换为“weak Veblen 函数”

2025年8月25日 (一) 05:33 Tabelog

Tabelog：​文字替换 -“Veblen 函数”替换为“Veblen 函数”

QWQ-bili：​修订公式及排版