NAT-ψ Function Implementation
Back
Abbreviate:
ψ_0^0(0)→1
1+...+1→n
ψ_0^0(1)→ω
ψ(a,b,c)→ψ_b^a(c)
ψ_0^a(c)→ψ^a(c)
ψ^0(c)→ψ(c)
Details:
...
Definition of "NAT-ψ Function"
(
en
) by Kanrokoti, Retrieved 2022/09/10
The program (implementation.js) and the site (implementation.html) under https://naruyoko.github.io/googology/NATPsi is licensed by
Creative Commons Attribution-ShareAlike 3.0 Unported License
.
Last updated: 2022/09/10