Artificial intelligence and mathematical theory of computation