The subject of computation deals with solutions to mathematical problems by procedures, i.e., solutions that could be generated by a machine; that require no original thought.  For which problems are there such procedures, and when t...