量智信息中心_量科网

分布式计算的奠基性不可能性结果——Fischer-Lynch-Paterson定理、两将军问题、CAP定理——通常被理解为对协调物理极限的发现。本文论证这些结果完全不是物理限制，而是范畴错误的产物：将“仅向前时间流”(FITO)信息传递视为自然法则，而非认识到这只是继承自香农信道模型和Lamport“先发生关系”的设计选择。该研究团队通过六个步骤展开论证：首先，借鉴Ryle的范畴错误框架与Spekkens在量子基础中提出的本体/认知区分；其次，揭示FITO作为统摄经典不可能性结果的隐藏公理；第三，运用Spekkens的莱布尼茨原则证明基于FITO的模型包含冗余本体结构；第四，构建反事实推演——放弃FITO约束后的系统变化；第五，论证这些不可能定理仅针对FITO系统而非物理世界；第六，勾勒替代性的交易模型——通过原子级双向交易取代单向消息传递，双边交互可消解表面上的不可能性。其深层启示在于：分布式计算领域在过去五十年间可能始终在错误的设计空间中进行优化。