A Computable Universe