Newbetuts
.
New posts in ackermann-function
Can you define functions which are not primitive recursive, yet total, in Type Theory? [closed]
computability
type-theory
ackermann-function
partial-functions
Ackermann Function primitive recursive
computer-science
recursion
ackermann-function
Example $x$, $y$ and $z$ values for $x\uparrow^\alpha y=z$ where $\alpha\in \Bbb R-\Bbb N$
hyperoperation
ackermann-function
Prev