I probably was supposed to have learned in my classes,
but apparently
have forgotten: what is the definition of "a computation". I'm hoping
that there is a better (more formal) definition than "that which can be
computed on a Turing Machine".
I refer the honourable gentleman to
http://en.wikipedia.org/wiki/Primitive_recursive_function
(or the equivalent pages on
mathworld.wolfram.com
Andy