On 15 Oct 2015, at 19:54, Brent Meeker wrote:
On 10/15/2015 12:11 AM, Bruno Marchal wrote:
Not at all, I only assume a brain needs an external world to be
aware of.
Either what you add to the brain is Turing emulable, and that means
you are just lmowering the substittution level, and the reasoning I
presented still follows (as he used the "generaluzed brain").
That misses the point. It's not lowering the substitution level,
it's also expanding the scope of the emulation to include the
environment. Although brains are relatively isolated except for
efferent and afferent nerve signals, they are not absolutely
isolated. They depend on decoherence in order to function as quasi-
classical computers. Decoherence depends on interactions with the
environment.
But if the emulation must be expanded to include an evironment it is
not longer just an emulation of a brain, it is an emulation of a
brain in a world. The "physics" of that world is essential to the
emulation.
The emulation of the whole cluster of galaxies around us, at the
Planck level, with n* 10^100 correct decimal is reproduced an infinity
of times in arithmetic, for all n.
I put the diameter of the generalized brain into the notion of level.
High level makes the 6 first steps of the reasoning easier, but step
seven eliminates that high level assumption.
Bruno
PS, I answer only this (and Stathis post) due to time scheduling. I
will probably comment other posts later, this days or next week.
Brent
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
