Undecidability, Computation Universality and Minimality in Economic Dynamics*
从经典递归论视角，将经济实体算法化，证明理性经济行为与微观、行为、宏观经济学核心领域中的非最大、非均衡和不稳定动态一致。
An attempt is made, in this paper, to pose questions about economic dynamics in the broad areas of microeconomics, behavioural economics and macroeconomics from the point of view of classical recursion theory. This viewpoint makes it imperative that the fundamental economic entities in question are given an algorithmic formulation. Algorithms, in turn, are intrinsically dynamic objects which, if they are nontrivial, encapsulate nonlinear dynamics in novel ways such that it is possible to ask decidability questions and obtain effective answers about the economic entities. It is shown, formally, that rational economic behaviour is comfortably consistent with nonmaximum, disequilibrium and unstable economic dynamics in core areas of microeconomics, behavioural economics and macroeconomics.