Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

A Proof of Arrow's Impossibility Theorem by Mathematica

S. Takekuma
Journal / Anthology

Hitotsubashi Journal of Economics
Year: 1997
Volume: 38
Page range: 139-148

Arrow's impossibility theorem, the non-existence of social welfare function, is proved by using a program of Mathematica. A society consisting of two individuals and three alternatives is considered, and the social welfare function which satisfies the conditions of unanimity and independence of irrelevant alternatives is constructed by programming and is shown to be dictatorial.

*Applied Mathematics > Optimization