Double-psi Function Implementation
dom ψ(ψ_1(0,0),0) expand ψ(ψ(2,ψ(1,0))) 2 expand ψ(ψ_1(0,0)+ψ(ψ_1(0,0),0)) 2 expand ψ(ψ_1(0,0)+ψ(ψ(ψ_1(0,0),0),0)) 2 expand ψ(ψ_3(0,0)+ψ(ψ_1(ψ_3(0,0)+1,0),0)) 2 expand ψ(ψ_3(0,0)+ψ(ψ_2(ψ_3(0,0),0),0)) 2 expand ψ(ψ_3(0,0)+ψ(ψ_1(ψ_2(ψ_2(0,0),0),0),0)) 2 expand ψ(ψ_3(0,0)+ψ_1(ψ_3(0,0),0)) 2 isStandard ψ(ψ_2(0,0)+ψ(ψ_1(ψ_2(0,0),0),0))
Abbreviate:
Details:
...
Definition of "Double-psi Function"
(
en
) by Kanrokoti, Retrieved 2021/11/21
The program (implementation.js) and the site (implementation.html) under https://naruyoko.github.io/googology/doublePsi is licensed by
Creative Commons Attribution-ShareAlike 3.0 Unported License
.
Last updated: 2021/11/24