Skip to main content

Simulation independence

I recently came across Nick Boström's article about the simulation argument, which goes that there is a non-zero chance that we are actually simulated individuals, and not actually made of carbon at all. It was spun out of The Matrix series of movies, though is a recurring theme right from Descartes and the Brain in a Vat.

Key to this idea is the argument of substrate independence, that is, carbon-based cells are not the only possible way of conjuring consciousness. Surely it isn't the carbon-based molecules per se that cause consciousness, but rather their configuration, and the kinds of computation (if that's the right word) being performed. Surely any "computer program" that reproduces the workings of the brain sufficiently well would suffice, since its operation and outputs would be essentially identical to the biological brain.

The simulation argument goes that we are not all that far from achieving that level of computation, so therefore there may well exist simulated minds in the near future. The problem is, how would you tell if you are real or not? The short answer is that you can't, as Descartes argued.

It occurs to me that there are two forms of simulation argument:
  • One where your brain is simulated, for purposes unknown. I'll call the first one brain simulation.
  • One where your entire universe is simulated (again for unknown purposes), and the cells in your brain are created within that simulation. Maybe this universe was allowed to evolve from a Big Bang. I'll call this one physics simulation.
Clearly it would take a whole load more computing horsepower to acheive the second, in fact, the second may only exist as a thought experiment, or in some higher-order universe where computations of our own universe would be much more straightforward. For example, we could simulate small "universes" in Conway's Game of Life, the principle is the same but the scale is different.

One of my pet theories is simulation independence, which I will explain.
  1. A simulation is a model obeying mathematical rules.
  2. The result of a simulation is a mathematical structure.
  3. Mathematical structures exist independently of physical existence, or whether they are created or perceived by man. This is the Platonic world of ideals.
  4. Therefore, simulations exist independently of observation, a phenomenon I call simulation independence.
This may seem like semantics, but I think it has some profound consequences:
  • When people run a simulation, they are discovering something that's already there. They are observing something that has already happened, and would have happened irrespective of whether they had run the simulation.
  • There is no theoretical limit to the size or complexity of simulations. Simulations exist in a Platonic world, that are bounded by the axioms of mathematics, not the physical limitations of computability in the universe you are in.
  • When you switch off a simulation, the simulation (in the Platonic world) keeps on running.
  • It makes no sense to ask whether you are part of a simulation, because the inhabitants of the simulation are in the Platonic world. You don't have to worry.
  • Anything that can exist, does exist, provided it makes coherent sense from a mathematical model.
  • There does not need to be a Modeller.
  • Everything that will happen, in a sense has already happened in the Platonic world. Time is an illusion.
  • Parallel universes exist (provided that they are mathematically valid).
  • We are very likely living in a mathematical structure conjured by the Platonic world of ideals.
The question of whether the mathematical world exists independently of the physical world is fundamental, but I don't think it can be denied. Our current understanding of the universe is that it is governed by mathematical laws, and mathematics describes pretty much everything. Therefore, this mathematics must have been applicable in the early universe before humans or any kind of consciousness arose. We also notice the unnerving consistency of mathematics, where calculations are reproducible. This is spooky, and in my mind, proof of the independent status of mathematics.

Plato's world of ideals wasn't really talking about mathematics, but was talking about the higher level concepts such as horses. Nevertheless, the concept of existence beyond the human mind, and beyond the physical world, was introduced.

Although there is no Modeller, where does the Platonic world of mathematics come from?

I wrote a short story exploring the idea of simulation independence. Be warned: its quality is on a par with Nick Boströms poetry.

Comments

Unknown said…
I've read your nice article in DDJ on transactions and then I found your page and this blog. I would like to point out a few things on simulations. Maybe you are already aware of them.

Simulation of individuals is a done with a computer which is equivalent to Turing machine. However, an interesting question is: is the simulation computable? In a sense of Turing computability. It may be not, and an argument for this you can find in Roger Penrose's fascinating book: "The Emperor New Mind". Maybe processes in human brains are based on some quantum phenomena such as uncertainty principle etc. Such phenomena may be necessary to implement free will, intuition etc. Thus, current computation models may just not be powerful enough to simulate humans or any other conscious being.
Calum Grant said…
I definitely disagree with Penrose on those points.

Penrose assumes free will (always dangerous), then, since our minds are conjured from brains, an brains by physics, naturally wonders how physics could allow free will.

It is also a mistake to equate free will and non-determinism. Quantum theory is a source of non-determinism, but that does not mean that we have free will. How does the roll of a dice at a quantum level possibly improve the quality of our consciousness? Does a soul "choose" which wave functions to collapse, thereby controlling us like a puppet?

I see no need for such explanations. I don't believe in free will.
Stuart said…
Hi Calum,

Interesting article - but I have an objection to your train of argument leading to the theory of simulation independence.

In point 4, I think you are doing a bit of a Hamlet. Hamlet famously and humoursly overvalued expressibility: "Words. Words. Words."

Although what would have been Kublah Khan (but for the untimely visitor) - or the last part Schubert's Unfinished Symphony - can be expressed mathematically (words, words, words or notes, notes, notes respectively), and so in some sense "exist", I think it is a big (and unproven) leap of faith to equate that abstract existence with the concrete existence of, say Ode to Joy.

Of course, in an abstract domain, such as mathematics, that abstract existence is all there is, so that equality does apply. But there are any number of real world examples of how actual existence or achievement is treated differently from the mere expression of those things.

"It’s easy to sit there and say you’d like to have more money. And I guess that’s what I like about it. It’s easy. Just sitting there, rocking back and forth, wanting that money. —Jack Handey"

Popular posts from this blog

Breaking the Article 50 Impasse

Andrew Tyrie overestimates the UK's control over when the UK government can invoke Article 50. As with much of the Brexit debate, hope and aspiration trump cold hard reality. The next few months will see a lot of work by the UK government setting up new departments and policy positions relating to the triggering of Article 50 and Britain's exit from the EU. This is a sensible and necessary delay. However this article by The Independent makes the case that the UK should delay invoking Article 50 until we establish an informal agreement with the EU on our exit terms. http://www.independent.co.uk/news/uk/politics/brexit-theresa-may-andrew-tyrie-must-manage-unrealistic-expectations-warns-tory-mp-a7220681.html This is very desirable from the UK's perspective, but flatly contradicts statements by the EU (including direct statements by Jean-Claude Juncker, Donald Tusk and Cecilia Malmström, as well as official EU policy) that no talks can happen prior to invoking Article 50
Accosted by Jehova's Witnesses The old ring at the door. "Are we expecting anybody?" asks my dad. The answer is no. Instead it's Jehova's witnesses, which I answer. Let the sport begin! Opening gambit: they ask what is the name of God? I answer Yawhe. They seem impressed, then correct me when I also say "God", which they say is only his title. Ok. Then they ask about morality. This is an excellent topic of debate. Where do morals come from? They say God, and he is a person. I argue that he is not human, or that he has thoughts and morals. They ask if I have thought about God seriously, I answer yes, and have rejected the idea, saying that it is a mistake to give God human characteristics. Is society going downhill? They claim it is going downhill, I claim humans have always been fairly rotten to each other. I immediately lay my cards on the table. I say that psychology, and morals are evolved, and did not come from God. They claim morali