LessWrong 长文论证：计算逻辑反事实难题让 FDT 难以成立

LessWrong 刊出《A cat-belling problem for FDT》，作者论证功能决策理论（FDT）因「计算逻辑反事实」的指定难题，难以甚至无法被严格形式化。这构成决策理论圈关于 FDT 可行性的实质性技术辩论，与 FDT 被广泛视为「正确决策理论」的主流叙事形成张力。