The Computable Alternative in the Formalization of Economics: A Counterfactual Essay