LessWrong作者质疑FDT难以严格形式化

LessWrong作者在《A cat-belling problem for FDT》中提出，FDT面临“计算逻辑反事实”的指定难题，因而难以甚至无法被严格形式化；这是作者提出的技术论证，并非已被普遍接受的结论。 文章围绕FDT如何处理计算逻辑反事实展开，指出这类反事实的指定存在困难，由此挑战将FDT视为“正确决策理论”的主流叙事。该争论的核心是FDT能否获得严格、完整的形式化表达。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。