From: SKRdJ@nowhere.net   
      
   	Are there any symbolic systems that can deal with Ackermann   
   functions computations? One can compute values for such functions with   
   pencil and paper for small arguments, but it becomes tiresome quickly.   
   However, with the right notation, the computations are relatively   
   straightforward. I just wonder if there are any symbolic systems that can   
   tackle such functions, at least a bit further than what we people can do   
   by hand?   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)