Elon Musk, of Space X, Tesla, and Solar City fame, recently mentioned that he thought the the odds of us not living in a simulation were a billion to one. His reasoning was based on extrapolating the rate of improvement in video games. He suggests that soon it will be impossible to distinguish simulations from reality and in ten thousand years there could easily be billions of simulations running. Thus there are a billion more simulated universes than real ones.
This simulation argument was first quantitatively formulated by philosopher Nick Bostrom. He even has an entire website devoted to the topic (see here). In his original paper, he proposed a Drake-like equation for the fraction of all "humans" living in a simulation:
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-dkxw7L.png)
where
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-NbsTfj.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-ZMXLC5.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-vcoonw.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-8lbZoh.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-1qjLdP.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-XDO_Pb.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-mdhXEC.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-x1TyYf.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-fZKNAM.png)
The reason is that Bostrom's equation obscures the possibility of two possible divergent quantities. This is more clearly seen by rewriting his equation as
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-TWgMJi.png)
where
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-UViscF.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-IdKndb.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-__fXav.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-NzKDYC.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-6HUI8U.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-Ld2l7t.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-cProls.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-WzT97K.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-M5VePn.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-i3Nphf.png)
I can give a simple example. Consider the following dynamics
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-StpfLK.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-99RqDX.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-AUYCkV.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-03jBBu.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-pO_M4L.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-g60yLy.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-EhXzk9.png)
where I have chosen convenient initial conditions that don't affect the results. Even though
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-32oe2m.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-KboGJu.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-RWwxWa.png)
![The simulation argument made quantitative The simulation argument made quantitative](http://m5.paperblog.com/i/150/1503528/the-simulation-argument-made-quantitative-L-O09KDq.png)
and we have no way of knowing what this is. The analogy is that you have a goose laying eggs and each daughter lays eggs, which also lay eggs. It would seem like there would be more eggs from the collective progeny than the original mother. However, if the rate of egg laying by the original mother goose is increasing exponentially then the number of mother eggs can grow as fast as the number of daughter, granddaughter, great..., eggs. This is just another example of how thinking quantitatively can give interesting (and sometimes counterintuitive) results. Until we have a better idea about the physics underlying our universe, we can say nothing about our odds of being in a simulation.