Пусть неизвестная функция f задана на всей вещественной прямой
В момент t нам известны все её значения при x < t, и требуется предсказать f(t). Непрерывность или другие условия регулярности не предполагаются. Теорема Кристофера Хардина и Алана Тейлора утверждает, что существует единая стратегия, которая для каждой такой функции ошибается лишь на счётном нигде не плотном множестве моментов. Множество ошибок может зависеть от функции. Здесь «почти всегда» имеет точный смысл, без вероятностной модели. Построение использует аксиому выбора. Зафиксируем вполне упорядочение множества всех функций из ℝ в ℝ. Это такой порядок, в котором у любого непустого подмножества есть наименьший элемент...