Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

A Proof of Arrow's Impossibility Theorem by Mathematica
Author

S. Takekuma
Journal / Anthology

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

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.
Subject

*Applied Mathematics > Optimization