2012 Fiscal Year Final Research Report
Study of the mathematical structure of social choice theory and economic theory
| Project/Area Number |
20530165
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Economic theory
|
|---|
| Research Institution | Doshisha University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2008 – 2012
|
| Keywords | ミクロ経済学 / 社会的選択理論 |
|---|
| Research Abstract |
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.
|
