哈丁-泰勒预测器真的能预测未来吗？是的；但仅能在回顾时实现
Does the Hardin-Taylor Predictor Actually Predict the Future? Yes; but Only in Retrospect
浏览论文内容
中文总结 AI 辅助
该研究澄清哈丁-泰勒预测器仅能在回顾时验证成功，其失效时间集是可数无处稠密集，而非前瞻性预测未来的程序。
中文摘要 AI 辅助
哈丁-泰勒定理是选择公理的一个推论，它给出了一种策略，可在给定任意时间函数 $f:\mathbb{R}\to S$ 的过去值时预测其未来值。对于任意函数 $f$，该策略失效的时间构成一个可数的无处稠密集。该定理常被表述为关于预测未来的引人注目的结果。在本文中，我们讨论该定理的操作内容并澄清这一常见解读。哈丁-泰勒预测策略是在线的：在时间 $t$ 时，它仅依赖于观测到的过去 $f\upharpoonright(-\infty,t)$。然而，其性能保证是离线的：由预测器失效的时间构成的异常集仅在整个函数被实现后才被定义。我们阐明了预测器的精确定义，讨论了一个简单的双函数示例作为合理性检验，并强调了验证预测器成功的回顾性本质。我们还研究了应在何种恰当的概率框架下评估该预测器作为预测程序的成功概率。我们的结论是，该定理最好被理解为关于预测器必须进行过程修正的时间集的微小性的结果，而非作为一种可前瞻性验证的预测未来的程序。
英文摘要
The Hardin-Taylor theorem, a consequence of the axiom of choice, gives a strategy to predict future values of an arbitrary function of time $f:\mathbb{R}\to S$ given its past values. The times in $\mathbb{R}$ at which the strategy fails are shown to form a countable nowhere dense set for any function $f$. The theorem is often presented as a striking result about predicting the future. In this note we discuss the operational content of the theorem and clarify this frequent interpretation. The Hardin--Taylor prediction strategy is online: at time $t$ it depends only on the observed past $f \upharpoonright (-\infty,t)$. Its performance guarantee, however, is offline: the exceptional set consisting of times at which the predictor fails is defined only after the entire function has been realized. We spell out the precise definition of the predictor, discuss a simple two-function example as a sanity check, and emphasize the retrospective nature of verifying the predictor's success. We also examine the proper probabilistic setting in which the success likelihood of the predictor as a forecasting procedure should be evaluated. Our conclusion is that the theorem is best understood as a result about the smallness of the set of times at which the predictor must be course-corrected, rather than as a prospectively verifiable procedure for forecasting the future.
