WolframAlpha computational knowledge AI
what is ackermann 4,1?