Weak 2-var θψ function Implementation
expand ψ(ψ_θ(0)(0)) 2 expand ψ(ψ_{θ(0)+θ(0)}(0)) 2 expand ψ(ψ_{θ(0)+θ(0)}(0)+ψ_θ(0)(0)) 2 expand ψ(ψ_{θ(0)+θ(0)}(0)+ψ_{θ(0)+θ(0)}(0)) 2 expand ψ(ψ_θ(1)(0)) 2 expand ψ(ψ_θ(θ(0))(0)) 2 expand ψ(ψ_θ(θ(0))(0)+ψ_θ(ψ_θ(θ(0))(0))(0)) 2 expand ψ(ψ_θ(θ(0))(0)+ψ_θ(θ(0))(0)) 2 expand ψ(ψ_θ(θ(0))(ψ_θ(ψ_θ(θ(0))(0))(0))) 2 expand ψ(ψ_θ(θ(0))(ψ_θ(θ(0))(0))) 2 expand ψ(ψ_{θ(θ(0))+θ(0)}(0)) 2 expand ψ(ψ_{θ(θ(0))+θ(0)}(0)+ψ_θ(ψ_{θ(θ(0))+θ(0)}(0))(0)) 2 expand ψ(ψ_{θ(θ(0))+θ(ψ_θ(θ(0))(0))}(0)) 2 expand ψ(ψ_{θ(θ(0))+θ(θ(0))}(0)) 2 expand ψ(ψ_θ(θ(θ(0)))(0)) 2 expand ψ(ψ_θ(θ(θ(ψ_θ(ψ_θ(θ(θ(0)))(0))(0))))(0)) 2 expand ψ(ψ_θ(θ(θ(ψ_θ(θ(ψ_θ(θ(θ(0)))(0)))(0))))(0)) 2 expand ψ(ψ_θ(θ(θ(ψ_θ(θ(θ(0)))(0))))(0)) 2 expand ψ(ψ_θ(1,0)(0)) 2 expand ψ(ψ_θ(1,0)(0)+ψ_θ(ψ_θ(1,0)(0))(0)) 2 expand ψ(ψ_θ(1,0)(0)+ψ_θ(θ(0))(0)) 2 expand ψ(ψ_θ(1,0)(ψ_θ(1,0)(0))) 2 expand ψ(ψ_{θ(1,0)+θ(0)}(0)) 2 expand ψ(ψ_{θ(1,0)+θ(θ(0))}(0)) 2 expand ψ(ψ_θ(1,1)(0)) 2 expand ψ(ψ_θ(1,ψ_θ(0)(0))(0)) 2 expand ψ(ψ_θ(1,ψ_θ(1,0)(0))(0)) 2 expand ψ(ψ_θ(1,θ(0))(0)) 2 expand ψ(ψ_θ(1,θ(1,0))(0)) 2 expand ψ(ψ_θ(2,0)(0)) 2 isStandard ψ(ψ_θ(θ(0))(0)+ψ_θ(ψ_θ(θ(0))(0))(0)) isStandard ψ(ψ_θ(1,0)(0)+ψ_θ(ψ_θ(1,0)(0))(0)) isStandard ψ(ψ_θ(2,θ(ψ_θ(2,ψ_θ(2,θ(ψ_θ(1,ψ_θ(2,θ(0))(0))(0)))(0))(0)))(0))
Abbreviate:
Details:
...
Definition of "Weak 2-var θψ function"
(
en
) by Kanrokoti, Retrieved 2022/04/11
The program (implementation.js) and the site (implementation.html) under https://naruyoko.github.io/googology/weak2varThetaPsi is licensed by
Creative Commons Attribution-ShareAlike 3.0 Unported License
.
Last updated: 2022/04/11