Computation and theory