Strong 3-var ψ function Implementation
Back
Abbreviate:
ψ_0(0,0)→1
1+...+1→n
ψ_0(0,1)→ω
ψ(s,t,u)→ψ_s(t,u)
ψ_0(t,u)→ψ(t,u)
ψ_0(0,u)→ψ(u)
Details:
...
Definition of "Strong 3-var ψ function"
(
en
) by Kanrokoti, Retrieved 2022/07/13
The program (implementation.js) and the site (implementation.html) under https://naruyoko.github.io/googology/strong3varPsi is licensed by
Creative Commons Attribution-ShareAlike 3.0 Unported License
.
Last updated: 2022/07/13