打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

Hybrid Prss:修订间差异

来自Googology Wiki
Z留言 | 贡献
无编辑摘要
QWQ-bili留言 | 贡献
美化公式,修正排版
第1行: 第1行:
Hybrid Prss / HBprss 1.1
'''Hybrid Prss(HBprss 1.1)'''是一种[[Beklemishev's_Worm|Worm]]型[[序数记号]]。


=== 定义 ===
=== 定义 ===
检查序列:
一个'''合法的''' HBprss 表达式是以 1 开头的有限长[[序数#有限序数与超限序数|正整数]]序列,即形如


Hybrid Prss 的合法序列开头必为 1,且每一项都是非零自然数,一个合法的表达式是有限长的
<math>a_1,a_2,\cdots,a_n|n,a_1,a_2,\cdots,a_n\in\N,a_1=1</math>


任意序列后加上一个新项 1 表示原序列对应的序数加一
的序列。


展开方法:
例如:<math>1,4,6,4</math>和<math>1,1,4,5,1,4</math>都是合法的 HBprss 表达式,而<math>1,2,\pi</math>和<math>2,2,2</math>不是。


做阶差序列:
=== 展开方法 ===


* 若阶差序列最后一项为 1,原式按照 [[初等序列系统|PrSS]] 展开
任意 HBprss 序列后加上一个新项 1 表示原序列对应的[[序数]]加一。
* 当阶差序列最后一项与其父项差距为1,则原式按照 [[长初等序列|LPrSS]] 规则展开
* 当阶差序列最后一项 b+n 与其父项 b 差距为 n,继续取阶差序列直到阶差序列末项与父项差为 1,然后逐层按照 [[0-Y]] 展开


特殊情况:当表达式仅仅为 1,n+1,则展开为 1,n,n^2,n^3,...
==== 阶差序列 ====


如果第 a 项和次项差值值为 n,且序列第二项为 m,那么,下一项的阶差序列的值应该被限制在 n*m 以及之下
* 若阶差序列最后一项为 1,原式按照 [[初等序列系统|PrSS]] 展开。
* 当阶差序列最后一项与其父项差距为1,则原式按照 [[长初等序列|LPrSS]] 规则展开。
* 当阶差序列最后一项 b+n 与其父项 b 差距为 n,继续取阶差序列直到阶差序列末项与父项差为 1,然后逐层按照 [[0-Y]] 展开。
 
==== 特殊情况 ====
当表达式形如 <math>1,n+1</math>,则展开为 <math>1,n,n^2,n^3,\cdots</math>
 
如果第 <math>a</math> 项和次项差值值为 <math>n</math>,且序列第二项为 <math>m</math>,那么,下一项的阶差序列的值应该被限制在 <math>n\cdot m</math> 以及之下。


特殊情况举例:
特殊情况举例:


* 1,4=1,3,9,27,81,...
* <math>1,4=1,3,9,27,81,\cdots</math>
* 1,3=1,2,4,8,16,...
* <math>1,3=1,2,4,8,16,\cdots</math>


极限表达式:1,w
==== 极限 ====
HBprss的极限表达式为 <math>1,\omega</math>.


=== 分析 ===
=== 分析 ===
* <math>1,2,3,4....=1,2,4</math>
* <math>1,2,3,4,\cdots=1,2,4</math>
 
* <math>1,2,4,2,4=\varepsilon_0\cdot \varepsilon_0</math>
* <math>1,2,4,2,4=\varepsilon_0*\varepsilon_0</math>
* <math>1,2,4,3=\omega^{\omega^{\varepsilon_0+1}}</math>
* <math>1,2,4,3=\omega^{\omega^{\varepsilon_0+1}}</math>
* <math>1,2,4,3,5=\omega^{\omega^{\varepsilon_0\times2}}</math>
* <math>1,2,4,3,5=\omega^{\omega^{\varepsilon_0\cdot 2}}</math>
* <math>1,2,4,4=1,2,4,3,5,4,6,...=\varepsilon_1</math>
* <math>1,2,4,4=1,2,4,3,5,4,6,...=\varepsilon_1</math>
* <math>1,2,4,5=\varepsilon_\omega</math>
* <math>1,2,4,5=\varepsilon_\omega</math>
* 1,2,4,6=εε0
* <math>1,2,4,6=\varepsilon _{\varepsilon _{0}}</math>
* 1,2,4,6,4,6=ε_(ε0*2)
* <math>1,2,4,6,4,6=\varepsilon _{\varepsilon _{0}\cdot 2}</math>
* 1,2,4,6,5,7=ε_(ω^(ε0+ε0))
* <math>1,2,4,6,5,7=\varepsilon _{\omega^{\varepsilon _{0}+\varepsilon _{0}}}</math>
* 1,2,4,6,6=εε1
* <math>1,2,4,6,6=\varepsilon _{\varepsilon _{1}}</math>
* 1,2,4,6,7=εεω
* <math>1,2,4,6,7=\varepsilon _{\varepsilon _{\omega}}</math>
* 1,2,4,6,8=εεε0
* <math>1,2,4,6,8=\varepsilon _{\varepsilon _{\varepsilon _{0}}}</math>
* 1,2,4,6,8,8=εεε1
* <math>1,2,4,6,8,8=\varepsilon_{\varepsilon_{\varepsilon _{1}}}</math>
* 1,2,4,7=ζ0
* <math>1,2,4,7=\zeta _{0}</math>
* 1,2,4,7,5=ε_ζ0+ζ0
* <math>1,2,4,7,5=\varepsilon _{\zeta _{0}+\zeta _{0}}</math>
* 1,2,4,7,5=ε_ω^(ζ0+1)
* <math>1,2,4,7,5=\varepsilon _{\omega^{\zeta _{0}+1}}</math>
* 1,2,4,7,5,8=ε_ω^(ζ0*2)
* <math>1,2,4,7,5,8=\varepsilon _{\omega^{\zeta _{0}\cdot 2}}</math>
* 1,2,4,7,6=ε_εζ0+1
* <math>1,2,4,7,6=\varepsilon _{\varepsilon _{\zeta _{0}+1}}</math>
* 1,2,4,7,6,9=ε_εζ0*2
* <math>1,2,4,7,6,9=\varepsilon _{\varepsilon _{\zeta _{0}\cdot 2}}</math>
* 1,2,4,7,6,9,7=ε_ε_ω^ζ0+1
* <math>1,2,4,7,6,9,7=\varepsilon _{\varepsilon _{\omega^{\zeta _{0}+1}}}</math>
* 1,2,4,7,6,9,8=ε_ε_ε_ζ0+1
* <math>1,2,4,7,6,9,8=\varepsilon _{\varepsilon _{\varepsilon _{\zeta _{0}+1}}}</math>
* 1,2,4,7,7=ζ1
* <math>1,2,4,7,7=\zeta _{1}</math>
* 1,2,4,7,9=ζε0
* <math>1,2,4,7,9=\zeta _{\varepsilon _{0}}</math>
* 1,2,4,7,10=ζζ0
* <math>1,2,4,7,10=\zeta _{\zeta _{0}}</math>
* 1,2,4,7,10,8=ζ_(ζ0*ω)
* <math>1,2,4,7,10,8=\zeta _{\zeta _{0}\cdot \omega}</math>
* 1,2,4,7,10,9=ζ_εζ0+1
* <math>1,2,4,7,10,9=\zeta _{\varepsilon _{\zeta _{0}+1}}</math>
* 1,2,4,7,10,10=ζ_ζ1
* <math>1,2,4,7,10,10=\zeta _{\zeta _{1}}</math>
* 1,2,4,7,10,11=ζ_ζω
* <math>1,2,4,7,10,11=\zeta _{\zeta _{\omega}}</math>
* 1,2,4,7,10,13=ζζζ0
* <math>1,2,4,7,10,13=\zeta _{\zeta _{\zeta _{0}}}</math>
* 1,2,4,7,11=η0
* <math>1,2,4,7,11=\eta_{0}</math>
* 1,2,4,8=HCO=φ(w,0)
* <math>1,2,4,8=\mathrm{HCO}=\varphi (\omega,0)</math>
* 1,2,4,8,2,4,8=ψ(Ω^ω)^2
* <math>1,2,4,8,2,4,8=\psi (\Omega^\omega)^2</math>
* 1,2,4,8,3=ψ(Ω^ω)^ω
* <math>1,2,4,8,3=\psi (\Omega^\omega)^\omega</math>
* 1,2,4,8,4=ψ(Ω^ω+1)
* <math>1,2,4,8,4=\psi (\Omega^\omega+1)</math>
* 1,2,4,8,4,8=ψ(Ω^ω+ψ(Ω^ω))
* <math>1,2,4,8,4,8=\psi (\Omega^\omega+\psi (\Omega^\omega))</math>
* 1,2,4,8,5=ψ(Ω^ω+ω^(ψ(Ω^ω)+1))
* <math>1,2,4,8,5=\psi (\Omega^\omega+\omega^{\psi (\Omega^\omega)+1)}</math>
* 1,2,4,8,5,9=ψ(Ω^ω+ω^(ψ(Ω^ω)*2))
* <math>1,2,4,8,5,9=\psi (\Omega^\omega+\omega^{\psi (\Omega^\omega)\cdot 2)}</math>
* 1,2,4,8,6=ψ(Ω^ω+ψ(Ω^ω+1))
* <math>1,2,4,8,6=\psi (\Omega^\omega+\psi (\Omega^\omega+1))</math>
* 1,2,4,8,6,10=ψ(Ω^ω+ψ(Ω^ω+ψ(Ω^ω)))
* <math>1,2,4,8,6,10=\psi (\Omega^\omega+\psi (\Omega^\omega+\psi (\Omega^\omega)))</math>
* 1,2,4,8,6,10,8=ψ(Ω^ω+ψ(Ω^ω+ψ(Ω^ω+1)))
* <math>1,2,4,8,6,10,8=\psi (\Omega^\omega+\psi (\Omega^\omega+\psi (\Omega^\omega+1)))</math>
* 1,2,4,8,6,10,8,12=ψ(Ω^ω+ψ(Ω^ω+ψ(Ω^ω+ψ(Ω^ω))))
* <math>1,2,4,8,6,10,8,12=\psi (\Omega^\omega+\psi (\Omega^\omega+\psi (\Omega^\omega+\psi (\Omega^\omega))))</math>
* 1,2,4,8,7=ψ(Ω^ω+Ω)
* <math>1,2,4,8,7=\psi (\Omega^\omega+\Omega)</math>
* 1,2,4,8,7,9=ψ(Ω^ω+Ω*ψ(Ω))
* <math>1,2,4,8,7,9=\psi (\Omega^\omega+\Omega\cdot \psi (\Omega))</math>
* 1,2,4,8,7,11=ψ(Ω^ω+Ω*ψ(Ω^ω))
* <math>1,2,4,8,7,11=\psi (\Omega^\omega+\Omega\cdot \psi (\Omega^\omega))</math>
* 1,2,4,8,7,11,9=ψ(Ω^ω+Ω*ψ(Ω^ω+1))
* <math>1,2,4,8,7,11,9=\psi (\Omega^\omega+\Omega\cdot \psi (\Omega^\omega+1))</math>
* 1,2,4,8,7,11,9,13=ψ(Ω^ω+Ω*ψ(Ω^ω+ψ(Ω^ω)))
* <math>1,2,4,8,7,11,9,13=\psi (\Omega^\omega+\Omega\cdot \psi (\Omega^\omega+\psi (\Omega^\omega)))</math>
* 1,2,4,8,7,11,9,13,11=ψ(Ω^ω+Ω*ψ(Ω^ω+ψ(Ω^ω+1)))
* <math>1,2,4,8,7,11,9,13,11=\psi (\Omega^\omega+\Omega\cdot \psi (\Omega^\omega+\psi (\Omega^\omega+1)))</math>
* 1,2,4,8,7,11,10=ψ(Ω^ω+Ω*ψ(Ω^ω+Ω))
* <math>1,2,4,8,7,11,10=\psi (\Omega^\omega+\Omega\cdot \psi (\Omega^\omega+\Omega))</math>
* 1,2,4,8,7,11,10,14=ψ(Ω^ω+Ω*ψ(Ω^ω+Ω*ψ(Ω^ω)))
* <math>1,2,4,8,7,11,10,14=\psi (\Omega^\omega+\Omega\cdot \psi (\Omega^\omega+\Omega\cdot \psi (\Omega^\omega)))</math>
* 1,2,4,8,7,11,11=ψ(Ω^ω+Ω^2)
* <math>1,2,4,8,7,11,11=\psi (\Omega^\omega+\Omega^2)</math>
* 1,2,4,8,7,11,11,7,11,11=ψ(Ω^ω+Ω^2+Ω*ψ(Ω^ω+Ω^2))
* <math>1,2,4,8,7,11,11,7,11,11=\psi (\Omega^\omega+\Omega^2+\Omega\cdot \psi (\Omega^\omega+\Omega^2))</math>
* 1,2,4,8,7,11,11,9=ψ(Ω^ω+Ω^2+Ω*ψ(Ω^ω+Ω^2+1))
* <math>1,2,4,8,7,11,11,9=\psi (\Omega^\omega+\Omega^2+\Omega\cdot \psi (\Omega^\omega+\Omega^2+1))</math>
* 1,2,4,8,7,11,11,9,13,13=ψ(Ω^ω+Ω^2+Ω*ψ(Ω^ω+Ω^2+ψ(Ω^ω+Ω^2)))
* <math>1,2,4,8,7,11,11,9,13,13=\psi (\Omega^\omega+\Omega^2+\Omega\cdot \psi (\Omega^\omega+\Omega^2+\psi (\Omega^\omega+\Omega^2)))</math>
* 1,2,4,8,7,11,11,10,14,14=ψ(Ω^ω+Ω^2+Ω*ψ(Ω^ω+Ω^2+Ω*ψ(Ω^ω+Ω^2)))
* <math>1,2,4,8,7,11,11,10,14,14=\psi (\Omega^\omega+\Omega^2+\Omega\cdot \psi (\Omega^\omega+\Omega^2+\Omega\cdot \psi (\Omega^\omega+\Omega^2)))</math>
* 1,2,4,8,7,11,11,11=ψ(Ω^ω+Ω^2*2)
* <math>1,2,4,8,7,11,11,11=\psi (\Omega^\omega+\Omega^2\cdot 2)</math>
* 1,2,4,8,7,11,12=ψ(Ω^ω+Ω^2)
* <math>1,2,4,8,7,11,12=\psi (\Omega^\omega+\Omega^2\cdot \omega)</math>
* 1,2,4,8,7,11,13=ψ(Ω^ω+Ω^2(Ω))
* <math>1,2,4,8,7,11,13=\psi (\Omega^\omega+\Omega^2\cdot \psi (\Omega))</math>
* 1,2,4,8,7,11,15,15=ψ(Ω^ω+Ω^2(Ω^ω+Ω^2))
* <math>1,2,4,8,7,11,15,15=\psi (\Omega^\omega+\Omega^2\cdot \psi (\Omega^\omega+\Omega^2))</math>
* 1,2,4,8,7,11,15,15,15=ψ(Ω^ω+Ω^3)
* <math>1,2,4,8,7,11,15,15,15=\psi (\Omega^\omega+\Omega^3)</math>
* 1,2,4,8,7,11,16=ψ(Ω^ω*2)
* <math>1,2,4,8,7,11,16=\psi (\Omega^\omega\cdot 2)</math>


 
 
[[分类:记号]]
[[分类:记号]]

2025年8月8日 (五) 17:30的版本

Hybrid Prss(HBprss 1.1)是一种Worm序数记号

定义

一个合法的 HBprss 表达式是以 1 开头的有限长正整数序列,即形如

a1,a2,,an|n,a1,a2,,an,a1=1

的序列。

例如:1,4,6,41,1,4,5,1,4都是合法的 HBprss 表达式,而1,2,π2,2,2不是。

展开方法

任意 HBprss 序列后加上一个新项 1 表示原序列对应的序数加一。

阶差序列

  • 若阶差序列最后一项为 1,原式按照 PrSS 展开。
  • 当阶差序列最后一项与其父项差距为1,则原式按照 LPrSS 规则展开。
  • 当阶差序列最后一项 b+n 与其父项 b 差距为 n,继续取阶差序列直到阶差序列末项与父项差为 1,然后逐层按照 0-Y 展开。

特殊情况

当表达式形如 1,n+1,则展开为 1,n,n2,n3,

如果第 a 项和次项差值值为 n,且序列第二项为 m,那么,下一项的阶差序列的值应该被限制在 nm 以及之下。

特殊情况举例:

  • 1,4=1,3,9,27,81,
  • 1,3=1,2,4,8,16,

极限

HBprss的极限表达式为 1,ω.

分析

  • 1,2,3,4,=1,2,4
  • 1,2,4,2,4=ε0ε0
  • 1,2,4,3=ωωε0+1
  • 1,2,4,3,5=ωωε02
  • 1,2,4,4=1,2,4,3,5,4,6,...=ε1
  • 1,2,4,5=εω
  • 1,2,4,6=εε0
  • 1,2,4,6,4,6=εε02
  • 1,2,4,6,5,7=εωε0+ε0
  • 1,2,4,6,6=εε1
  • 1,2,4,6,7=εεω
  • 1,2,4,6,8=εεε0
  • 1,2,4,6,8,8=εεε1
  • 1,2,4,7=ζ0
  • 1,2,4,7,5=εζ0+ζ0
  • 1,2,4,7,5=εωζ0+1
  • 1,2,4,7,5,8=εωζ02
  • 1,2,4,7,6=εεζ0+1
  • 1,2,4,7,6,9=εεζ02
  • 1,2,4,7,6,9,7=εεωζ0+1
  • 1,2,4,7,6,9,8=εεεζ0+1
  • 1,2,4,7,7=ζ1
  • 1,2,4,7,9=ζε0
  • 1,2,4,7,10=ζζ0
  • 1,2,4,7,10,8=ζζ0ω
  • 1,2,4,7,10,9=ζεζ0+1
  • 1,2,4,7,10,10=ζζ1
  • 1,2,4,7,10,11=ζζω
  • 1,2,4,7,10,13=ζζζ0
  • 1,2,4,7,11=η0
  • 1,2,4,8=HCO=φ(ω,0)
  • 1,2,4,8,2,4,8=ψ(Ωω)2
  • 1,2,4,8,3=ψ(Ωω)ω
  • 1,2,4,8,4=ψ(Ωω+1)
  • 1,2,4,8,4,8=ψ(Ωω+ψ(Ωω))
  • 1,2,4,8,5=ψ(Ωω+ωψ(Ωω)+1)
  • 1,2,4,8,5,9=ψ(Ωω+ωψ(Ωω)2)
  • 1,2,4,8,6=ψ(Ωω+ψ(Ωω+1))
  • 1,2,4,8,6,10=ψ(Ωω+ψ(Ωω+ψ(Ωω)))
  • 1,2,4,8,6,10,8=ψ(Ωω+ψ(Ωω+ψ(Ωω+1)))
  • 1,2,4,8,6,10,8,12=ψ(Ωω+ψ(Ωω+ψ(Ωω+ψ(Ωω))))
  • 1,2,4,8,7=ψ(Ωω+Ω)
  • 1,2,4,8,7,9=ψ(Ωω+Ωψ(Ω))
  • 1,2,4,8,7,11=ψ(Ωω+Ωψ(Ωω))
  • 1,2,4,8,7,11,9=ψ(Ωω+Ωψ(Ωω+1))
  • 1,2,4,8,7,11,9,13=ψ(Ωω+Ωψ(Ωω+ψ(Ωω)))
  • 1,2,4,8,7,11,9,13,11=ψ(Ωω+Ωψ(Ωω+ψ(Ωω+1)))
  • 1,2,4,8,7,11,10=ψ(Ωω+Ωψ(Ωω+Ω))
  • 1,2,4,8,7,11,10,14=ψ(Ωω+Ωψ(Ωω+Ωψ(Ωω)))
  • 1,2,4,8,7,11,11=ψ(Ωω+Ω2)
  • 1,2,4,8,7,11,11,7,11,11=ψ(Ωω+Ω2+Ωψ(Ωω+Ω2))
  • 1,2,4,8,7,11,11,9=ψ(Ωω+Ω2+Ωψ(Ωω+Ω2+1))
  • 1,2,4,8,7,11,11,9,13,13=ψ(Ωω+Ω2+Ωψ(Ωω+Ω2+ψ(Ωω+Ω2)))
  • 1,2,4,8,7,11,11,10,14,14=ψ(Ωω+Ω2+Ωψ(Ωω+Ω2+Ωψ(Ωω+Ω2)))
  • 1,2,4,8,7,11,11,11=ψ(Ωω+Ω22)
  • 1,2,4,8,7,11,12=ψ(Ωω+Ω2ω)
  • 1,2,4,8,7,11,13=ψ(Ωω+Ω2ψ(Ω))
  • 1,2,4,8,7,11,15,15=ψ(Ωω+Ω2ψ(Ωω+Ω2))
  • 1,2,4,8,7,11,15,15,15=ψ(Ωω+Ω3)
  • 1,2,4,8,7,11,16=ψ(Ωω2)