Artificial and Mathematical Theory of Computation