Comment on Mixed Reference: The Great Reductionist Project

Sun, 09 Dec 2012 00:05:32 GMT

Well, since nobody have done that yet, we cannot be sure, but for example a reduction of logic to physics could look like this: "for a system built on top of this set of physics laws, this is the set of logical system available to it", which would imply that all the axiomatic system we use are only those accessible via our laws of physics. For an extreme seminal example, Turing machine with infinite time have a very different notion of "effective procedure".

Discuss