LessWrong 长文论证：计算逻辑反事实的指定难题令 FDT 难以严格形式化

LessWrong 作者在《A cat-belling problem for FDT》中论证，功能决策理论（FDT）受“计算逻辑反事实”（computational logical counterfactuals）的指定难题影响，难以甚至无法被严格形式化。这场决策理论技术辩论挑战了 FDT 被广泛视为“正确决策理论”的主流叙事。