Title: Artificial and Mathematical Theory of Computation