On 12/13/2012 1:01 PM, Bruno Marchal wrote:
On 13 Dec 2012, at 14:09, Roger Clough wrote:
Hi Bruno Marchal
What I don't understand about comp is---- if there is a UTM that can
calculate
whatever is needed to emulate our behavior, how can comp ever be false
(except possibly by those aspects hidden by Godel ) ?
Well if there is a UTM that can calculate whatever needed to emulate
our behavior, and if you still want comp, you need zombie to make comp
false.
That an UTM can emulate our behavior is the BEHAVIORAL-MECHANISM
hypothesis.
That such UTM is conscious, is the STRONG AI hypothesis.
That we are such UTM emulable machine is the COMP, alias CTM hypothesis.
COMP -> STRONG-AI -> BEH-MEC
And Gödel's theorem is really just the first theorem in exact
machine's self-reference theory, it is really a chance for the
mechanist philosophy. Judson Webb is right on that. It locally
protects Church thesis, and it makes the universal machine a sort of
universal dissident, allergic to authoritative arguments (at least at
the start!).
Bruno
Dear Bruno,
Comp implies virtual zombies, not physical zombies, no?
--
Onward!
Stephen
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.