Abstract
An infinite lottery machine is used as a foil for testing the reach of inductive inference, since inferences concerning it require novel extensions of probability. Its use is defensible if there is some sense in which the lottery is physically possible, even if exotic physics is needed. I argue that exotic physics is needed and describe several proposals that fail and at least one that succeeds well enough.
Similar content being viewed by others
Change history
20 June 2017
An erratum to this article has been published.
Notes
Here I will restrict myself to objective approaches to inductive inference. Analogous problems arise if we ask what should be our subjective belief in each outcome.
If we accelerate the jumping in a supertask, so infinitely many jumps are completed in finite time, the flea will have jumped “off to infinity,” behaving like what is called a “space evader” in Manchak and Roberts (2016, §1.4).
They are uniform in the sense that any two angular segments of the same size host rational angles that can be mapped one-one onto each other; and the entire set of rational angles is mapped back to itself if we shift all the angles by adding any fixed rational angle to them.
I learned of this argument from the ever-inventive Jim Brown.
These conditions may not be necessary. Paraconsistent logics support deductive reasoning in domains with inconsistent descriptions.
To keep the selection conservative, I set aside Newtonian indeterministic systems such as the dome or the infinite mass-spring-mass-spring-… system, described in (Norton 2008: Norton 1999, §1.1), even though van Strien (2014) has shown that dome-like indeterminism had already been found in Newtonian physics in the nineteenth century.
For an introduction to the extensive literature on supertasks, see Manchak and Roberts (2016).
Davies (2001) describes a supertask computer able to compute Turing non-computable functions through its use of unlimited miniaturization.
This supertask has a venerable history that includes a celebrated von Neumann anecdote. See Halmos (1973, pp. 386–87).
The fastest way to arrive at (5) is to generate the random walk from a simplified half-step random walk, in which the walker can only move up a half step (“+1/2”) or down a half-step(“-1/2”) with probability 1/2 in each case. The result of two half steps is +1, −1 or 0, conforming with the probabilities of (4). In N steps = 2N half-steps, the probability of m half steps up and 2N–m half steps down is just \( \frac{\left(2 N\right)!}{m!\left(2 N- m\right)!}\frac{1}{2^{2 N}} \). This results in a net motion of m – (2N–m) = 2(m-N) half steps up, which corresponds to the walker moving to cell n = (m-N). This last probability becomes equation (5) with the substitutions m = N + n and 2N–m = 2N–(n + N) = N–n.
That is, for any m, n, \( {}_{N\to \infty}^{\lim}\frac{P\left( m, N\right)}{P\left( n, N\right)}=\frac{\left( N+ n\right)!\left( N- n\right)!}{\left( N+ m\right)!\left( N- m\right)!}=1. \)
To avoid issues of failure of convergence in the positions of the balls in the past time limit, it is convenient to replace the urn and balls with an infinite panel of numbered switches. Removing a ball corresponds to setting its switch from “in” to “out.”
The probability that none of the gods in the collective remove the lowest numbered ball from its urn is \( \frac{N}{N+1}\times \frac{N+1}{N+2}\times \cdots \times \frac{2 N-1}{2 N}=\frac{N}{2 N}=\frac{1}{2} \).
For a concern that quantum theory likely precludes such unnormalizable states, see Earman, Additivity requirements in classical and quantum probability, unpublished.
This scheme can also be implemented (but with the same two problems) as an infinite superposition of the discrete energy eigenstates of a particle in an infinitely deep potential well; or a harmonic oscillator.
A more modern calculation (Johnson 2007, p. 34), using the Schrödinger wave for the electron orbitals, affirms that the position expectation for the nth s state <r > grows with n 2.
The complication of the example, as a referee has reminded me, is to find a precise enough stipulation of what constitutes a galaxy and the count of the stars it contains. An easier course is to divide space into large volumes of equal size and assign an “H” or “T” according to whether the net charge of the volume is even or odd, when measured in units of electron charge.
References
Applegate, M. J., Thomas, O., Dynes, J. F., Yuan, Z. L., Ritchie, D. A., & Shields, A. J. (2015). Efficient and robust quantum random number generation by photon number detection. Applied Physics Letters, 107(071106), 1–5.
Bartha, P. (2004). Countable additivity and the de Finetti lottery. The British Journal for the Philosophy of Science, 55, 301–321.
Benci, V., Horsten, L., & Wenmackers, S. (2013). Non-Archimedean probability. Milan Journal of Mathematics, 81, 121–151.
Bernadete, J. (1964). Infinity: An essay in metaphysics. Oxford: Clarendon.
Blackwell, D. and Diaconis, P. (1996). A Non-Measurable Tail Set. pp. 1–5 In T. S Ferguson, L. S. Shapley and J. B. McQueen, eds., Statistics, Probability and Game Theory: Papers in Honor of David Blackwell. Hayaward: Institute of Mathematical Statistics.
Davies, E. B. (2001). Building infinite machines. British Journal for the Philosophy of Science, 52, 671–682.
de Finetti, B. (1972). Probability, induction and statistics. London: Wiley.
Halmos, P. R. (1973). The legend of John von Neumann. The American Mathematical Monthly, 80, 382–394.
Hansen, C. S. (2016). On fair countable lotteries. Philosophical Studies. Published online.
Jaynes, E. T. (2003). Probability theory: The logic of science. Cambridge: Cambridge University Press.
Johnson, W. R. (2007). Atomic structure theory: Lectures on atomic physics. Berlin: Springer.
Kadane, J. B., & O’Hagan, A. (1995). Using finitely additive probability: Uniform distributions on the natural numbers. Journal of the American Statistical Association, 90, 626–631.
Kadane, Joseph B,. Schervish, Mark J. and Seidenfeld, Teddy (1986) Statistical implications of finitely additive probability. In Bayesian Inference and Decision Techniques. Amsterdam: Elsevier Science Publishers, pp. 59–76.
Kerkvliet, T. (2016). The supertask of an infinite lottery. Logique et Analyse, 59(236), 415–425 Preprint: http://arxiv.org/abs/1511.08182v1.
Ma, X., Yuan, X., Cao, Z., Qi, B., & Zhang, Z. (2016). Quantum random number generation. npj Quantum Information, 2(16021), 1–9.
Manchak, J., & Roberts, B. W. (2016). Supertasks. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2016 Edition). http://plato.stanford.edu/archives/sum2016/entries/spacetime-supertasks/.
McCall, S., & Armstrong, D. M. (1989). God’s lottery. Analysis, 49, 223–224.
Norton, J. D. (1999). A Quantum Mechanical Supertask. Foundations of Physics, 29, 1265–1302.
Norton, J. D. (2008). The dome: An unexpectedly simple failure of determinism. Philosophy of Science, 75, 786–798.
Norton, J. D. (2011). Challenges to Bayesian confirmation theory. In P. S. Bandyopadhyay & M. R. Forster (Eds.), Philosophy of statistics, Vol. 7: Handbook of the philosophy of science. Elsevier.
Pruss, A. R. (2014). Infinitesimals are too small for countably infinite fair lotteries. Synthese, 19, 1051–1057.
Sommerfeld, A. (1923). Atomic structure and spectral lines. Trans. Henry L. Brose. London: Methuen.
Spielman, S. (1977). Physical probability and Bayesian statistics. Synthese, 36, 235–269.
Van Strien, Marij (2014) The Norton dome and the nineteenth century foundations of determinism. Journal for General Philosophy, 45, 167–185.
Weintraub, R. (2008). How probable is an infinite sequence of heads? A reply to Williamson. Analysis, 68(3), 247–250.
Wenmackers, S., & Horsten, L. (2013). Fair infinite lotteries. Synthese, 190, 37–61.
Williamson, J. (1999). Countable additivity and subjective probability. British Journal for the Philosophy of Science, 50, 401–416.
Williamson, T. (2007). How probable is an infinite sequence of heads. Analysis, 67(3), 173–180.
Acknowledgements
I thank John Earman, Casper Storm Hansen, Bryan Roberts, David Snoke, Teddy Seidenfeld and Porter Williams for helpful discussion.
Author information
Authors and Affiliations
Corresponding author
Additional information
The original version of this article was revised: Formulae in footnotes 11, 12 and in Section 11.3 Nonmeasurable outcomes, 3rd sentence, paragraph 5, were incorrectly presented.
An erratum to this article is available at https://doi.org/10.1007/s13194-017-0175-3.
Rights and permissions
About this article
Cite this article
Norton, J.D. How to build an infinite lottery machine. Euro Jnl Phil Sci 8, 71–95 (2018). https://doi.org/10.1007/s13194-017-0174-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13194-017-0174-4