Kumakuma 4 Variables Psi Implementation
expand ψ(ψ(1,0)) 2 expand ψ(ψ_1(1,ω,ω+1)) 2 expand ψ(ψ_2(0,1,ω)) 2 expand ψ(ψ(ω,0)) 2 expand ψ(ψ_1(ψ(1,0)+1,0,0)) 2 expand ψ(ψ(ψ(1,0,0),0,0)) 2 expand ψ(ψ_2(0,0,0)) 2 expand ψ(ψ_ω(0,0,0)) 2 expand ψ(ψ_1(0,2,0)+ψ(2,0)) 2 isStandard ψ(ψ_1(2,ψ(ω+1,0,0),0)) isStandard ψ(ψ_ψ(ψ(1,0,0),ω+1,0)(0,0,0))
Abbreviate:
Details:
...
Definition of "Kumakuma 4 variables ψ"
by Kanrokoti, Retrieved 2021/11/16
The program (implementation.js) and the site (implementation.html) under https://naruyoko.github.io/googology/kuma4varPsi is licensed by
Creative Commons Attribution-ShareAlike 3.0 Unported License
.
Last updated: 2022/04/26