“Is it possible to take the principles of what is possible and impossible that already exist in physics, and formulate the whole of physics in terms of these statements in a way that gives us a new theory of computation?”