Philosophical Aspects of an Alleged Connection Between the Axiom of Choice and Predicting the Future
- 300 Downloads
In 2008 Christopher Hardin and Alan Taylor published an article titled “Peculiar connection between the axiom of choice and predicting the future” in which they claim that if some system can be described as a function from a set of some instants of time to some set of states, then there is a way to predict the next value of the function based on its previous input. Using their so-called \(\mu \)-strategy one can randomly choose an instant t and the probability that the strategy is correct at t (i.e. that the output for a strategy for input t is exactly the same as the value of the function) equals 1. Mathematical aspects of this article are sound, but the background story about the correlation between theorems and philosophical aspects of predicting the future faces certain problems. The goal of my paper is to bring them up.
KeywordsAxiom of choice Computability on the real numbers Probability
I want to thank Rafal Urbaniak for his time and endless comments concerning this paper. I would also thank two anonymous referees, whose comments were very helpful. This research has been funded by Research Foundation Flanders (FWO).
- 1.Braverman, M., & Cook, S. (2006). Computing over the reals: Foundations for scientific computing. Notices of the American Mathematical Society, 53, 318–329.Google Scholar
- 2.Devlin, K. (1994). The joy of sets: Fundamentals of contemporary set theory. Berlin: Springer.Google Scholar
- 3.George, A. (2007). A proof of induction? Philosophers’ Imprint, 7(2), 1–5.Google Scholar
- 4.Hardin, C. S., & Taylor, A. D. (2008). A peculiar connection between the axiom of choice and predicting the future. American Mathematical Monthly, 115, 91–96.Google Scholar