Study of the mathematical structure of social choice theory and economic theory

点击翻译按钮获取中文摘要

In the first half I studied computability of social choice rules and general equilibrium solution, and using Cantor’s diagonal argument and constructive mathematics I proved that they are not computable. In the second half I investigated Brouwer’s fixed point theorem from the point of view of constructive mathematics. It is not generally constructively proved, but if we require that functions satisfy the condition called“sequential local non-constancy”, then this theorem can be constructive proved. And I applied this result to economic theory and game theory.