Computable Foundations for Economics