7.3.1 阿罗不可能定理

文档摘要

7.3.1 阿罗不可能定理在设计一个真正“民主”的投票系统时，我们常不自觉地假设：只要把每个人的偏好排序收集上来，再用某种看似公平的规则汇总，就能自然导出一个全体认可的社会排序——比如“候选人A优于B，B优于C”。这种直觉如此强大，以至于工程师在写选举模块、产品经理在设计社区共识机制、算法研究员在构建多智能体协同框架时，几乎都会默认采用某种加权计票、Borda计数、或简单多数制。但1951年，年仅29岁的肯尼思·阿罗（Kenneth Arrow）在他博士论文中冷峻地证明：不存在任何社会选择函数，能同时满足一组看似温和、甚至近乎常识性的公理要求。这不是工程实现的暂时缺陷，不是算力不足导致的近似误差，也不是UI交互不够友好的体验问题——这是逻辑层面的结构性不可能。