But isn’t traditional physics continuous?
E.g., Stephen Hawking sees no reason to abandon successful continuous framework
But in a certain sense the continuous framework is an illusion: all theorems of physics derive from discrete axioms and symbol manipulation.
Loewenheim-Skolem Theorem (1915-19): any first order theory with an uncountable model such as the real numbers also has a countable model!
Kronecker: God created the integers, all else is the work of man
Back to J. Schmidhuber's Theory of Everything page