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.
For the newest resources, visit Wolfram Repositories and Archives »
