The Computable Alternative in the Formalization of Economics: A Counterfactual Essay
探讨了基于递归理论和归纳逻辑的经济学形式化新路径，通过消费者与生产理论、博弈论等例子，反事实地追问这些领域若采用可计算形式主义是否会带来更有趣的历史发展。
The mathematization of economics has proceeded along Bourbakian and formalistic pathways. The methodological underpinnings have been provided by deductivism. Recent developments in logic, the foundations of mathematics, and the philosophy of science suggest new possibilities for the formalization of economics along recursion theoretic and inductive lines. In this essay, the author explores, counterfactually, alternative ways of mathematizing economics on the basis of these new visions. By choosing examples from consumer and production theory, games and existence proofs, he asks whether a recursion theoretic formalism of their analytic content could have led to alternative, more interesting histories. The author's conclusions are unambiguously positive. Copyright 1996 by WWZ and Helbing & Lichtenhahn Verlag AG