Post in Computer Art and the Theory of Computation