I wonder if it is possible to mathematically model what characteristics of an environment are relevant to be able to build an effectively Turing-complete mechanism?
I think Second Life is cheating though, because you can attach scripting code to objects.