Arrow's Theorem and Turing computability
Arrow's Theorem and Turing computability
复制标题
阿罗定理和图灵可计算性
DOI：
10.1007/s001990050157
复制
发表时间：
1997
期刊：
影响因子：
1.3
通讯作者：
H. R. Mihara
中科院分区：
文献类型：
--
作者：
H. R. Mihara
一个可数社会的社会福利函数满足成对可计算性，如果对于每一对（x，y）备选方案，存在一个算法，可以从{x，y}上每个轮廓的任何描述中决定社会是否偏好xtoy。证明了如果一个满足一致性和独立性的社会福利函数也满足成对可计算性，那么它就是独裁的。这一结果在实践基础上严重限制了鱼骨对阿罗不可能性的解决。我还对一个可耻的“社会”作了解释。
A social welfare function for a denumerable society satisfiesPairwise Computabilityif for each pair (x,y) of alternatives, there exists an algorithm that can decide from any description of each profile on {x,y} whether the society prefersxtoy. I prove that if a social welfare function satisfying Unanimity and Independence also satisfies Pairwise Computability, then it is dictatorial. This result severely limits on practical grounds Fishburn's resolution (1970) of Arrow's impossibility. I also give an interpretation of a denumerable “society.”