WolframAlpha computational knowledge AI
ack(2,ack(2,1))