It is where S.I. strays from how we applied Occam’s razor.
If you lack knowledge of any discrete behaviour, it seems reasonable to assume that function is continuous, as a more likely hypothesis than it is made of steps of some specific size. The S.I. would produce models that contain specific step size, with highest probability for the shortest representable step size.
As long as our best model of the laws of physics includes the concept of Planck time (Planck length), doesn’t that mean that time (space) is discrete and that any interval of time (length of space) can be viewed as an integer number of Planck times (Planck lengths)?
Doesn’t quite work like this so far, maybe there will be some good discrete model but so far the Plank length is not a straightforward discrete unit, not like cell in game of life. More interesting still is why reals have been so useful (and not just reals, but also complex numbers, vectors, tensors, etc. which you can build out of reals but which are algebraic objects in their own right).
maybe there will be some good discrete model but so far the Plank length is not a straightforward discrete unit, not like cell in game of life.
’t Hooft has been quite successful in defining QM in terms of discrete cellular automata, taking “successful” to mean that he has reproduced an impressive amount of quantum theory from such a humble foundation.
More interesting still is why reals have been so useful (and not just reals, but also complex numbers, vectors, tensors, etc. which you can build out of reals but which are algebraic objects in their own right).
This is answered quite trivially by simple analogy: second-order logics are more expressive than first-order logics, allowing us to express propositions more succinctly. And so reals and larger numeric abstractions allow some shortcuts that we wouldn’t be able to get away with when modelling with less powerful abstractions.
That’s a very good point.
It is where S.I. strays from how we applied Occam’s razor.
If you lack knowledge of any discrete behaviour, it seems reasonable to assume that function is continuous, as a more likely hypothesis than it is made of steps of some specific size. The S.I. would produce models that contain specific step size, with highest probability for the shortest representable step size.
edit: how the hell is that ‘wrong’?
As long as our best model of the laws of physics includes the concept of Planck time (Planck length), doesn’t that mean that time (space) is discrete and that any interval of time (length of space) can be viewed as an integer number of Planck times (Planck lengths)?
Doesn’t quite work like this so far, maybe there will be some good discrete model but so far the Plank length is not a straightforward discrete unit, not like cell in game of life. More interesting still is why reals have been so useful (and not just reals, but also complex numbers, vectors, tensors, etc. which you can build out of reals but which are algebraic objects in their own right).
’t Hooft has been quite successful in defining QM in terms of discrete cellular automata, taking “successful” to mean that he has reproduced an impressive amount of quantum theory from such a humble foundation.
This is answered quite trivially by simple analogy: second-order logics are more expressive than first-order logics, allowing us to express propositions more succinctly. And so reals and larger numeric abstractions allow some shortcuts that we wouldn’t be able to get away with when modelling with less powerful abstractions.
We don’t have anything remotely like a well-established theory of quantum gravity yet, so we don’t know. Anyway, lack of observable frequency dispersion in photons from GRBs suggests space-time is not discrete at the Planck scale.[http://www.nature.com/nature/journal/v462/n7271/edsumm/e091119-06.html]