’The theory that humans are Turing machines is one that needs to be investigated.”
Yes, but that question isn’t where we need to start necessarily. It is a subset of a possibly much simpler problem: are the laws of physics Turing computable? If so, then humans cannot do anything Turing machines cannot do. if not, then the human-specific question remains open.
We don’t know, and there are many relevant-but-not-too-convincing arguments either way.
The laws of physics as generally taught are both continuous (symmetries, calculus in QM), and quantum (discrete allowed particle states, Planck length, linear algebra in QM).
No one has ever observed nature calculating with an uncomputable general real (or complex) variable (how could we with human minds and finitely precise instrumentation?), while any computable algebraic or transcendental number seems to be fair game. But, building a model of physics that rules out general real variables is apparently much more difficult.
Even if there are general real variables in physics, they may only arise as a result of previous general real variables, in which case whatever-the-universe-runs-on may be able to handle them symbolically instead of explicitly. Anyone here who decides to read my many-years-late wall of text have any idea what the implications would be of this one? Possibly may or may not allow construction of architectures that are not Turing computing but also not fully general, limited by whatever non-Turing-computable stuff happens to have always existed?
If space and time are quantized (digital), that makes for more even trouble with special and general relativity—are the Planck length/time/etc.somehow reference frame dependent?
’The theory that humans are Turing machines is one that needs to be investigated.”
Yes, but that question isn’t where we need to start necessarily. It is a subset of a possibly much simpler problem: are the laws of physics Turing computable? If so, then humans cannot do anything Turing machines cannot do. if not, then the human-specific question remains open.
We don’t know, and there are many relevant-but-not-too-convincing arguments either way.
The laws of physics as generally taught are both continuous (symmetries, calculus in QM), and quantum (discrete allowed particle states, Planck length, linear algebra in QM).
No one has ever observed nature calculating with an uncomputable general real (or complex) variable (how could we with human minds and finitely precise instrumentation?), while any computable algebraic or transcendental number seems to be fair game. But, building a model of physics that rules out general real variables is apparently much more difficult.
Even if there are general real variables in physics, they may only arise as a result of previous general real variables, in which case whatever-the-universe-runs-on may be able to handle them symbolically instead of explicitly. Anyone here who decides to read my many-years-late wall of text have any idea what the implications would be of this one? Possibly may or may not allow construction of architectures that are not Turing computing but also not fully general, limited by whatever non-Turing-computable stuff happens to have always existed?
If space and time are quantized (digital), that makes for more even trouble with special and general relativity—are the Planck length/time/etc.somehow reference frame dependent?
Also, see http://lesswrong.com/lw/h9c/can_somebody_explain_this_to_me_the_computability/