下箭号表示法：修订间差异

2025年7月1日 (二) 23:12的版本

下箭号表示法是一种超运算，它类似于上箭号表示法，只是将其结合律从右结合变成了左结合。

$a ↓^{1} b = a^{b}$

$a ↓^{n} 1 = a$

$a ↓^{n + 1} (b + 1) = (a ↓^{n + 1} b) ↓^{n} a$

下箭号虽然看起来增长地比上箭号慢得多，但其FGH增长率仍为 $ω$ 。

可以证明的是， $a ↓^{2 n - 1} b \geq a ↑^{n} b$ 。

2025年7月1日 (二) 23:12的版本查看源代码 Phyrion（留言 \| 贡献）行政员、界面管理员、管理员 643次编辑小无编辑摘要标签：已被回退可视化编辑：已切换 ←上一编辑		2025年7月1日 (二) 23:12的版本查看源代码 Phyrion（留言 \| 贡献）行政员、界面管理员、管理员 643次编辑小撤销Phyrion（讨论）的修订版本433 标签：撤销下一编辑→
第1行：		第1行：
	~~[[Has keyword~~:~~:下箭头]]~~		{{DISPLAYTITLE:下箭号表示法、下箭头记号}}

	下箭号表示法是一种[[超运算]]，它类似于[[高德纳箭头\|上箭号表示法]]，只是将其结合律从[[右结合]]变成了[[左结合]]。		下箭号表示法是一种[[超运算]]，它类似于[[高德纳箭头\|上箭号表示法]]，只是将其结合律从[[右结合]]变成了[[左结合]]。