It is going to be necessary that everything that happens in a finite volume of space and time would have to be analyzable with a finite number of logical operations. The present theory of physics is not that way, apparently. It allows space to go down into infinitesimal distances, wavelengths to get infinitely great, terms to be summed in infinite order, and so forth; and therefore, if this proposition [that physics is computer-simulatable] is right, physical law is wrong.