On 21 Sep 2012, at 17:05, Stephen P. King wrote:
On 9/21/2012 4:34 AM, Bruno Marchal wrote:
And computationalists are cool as they don't think twice before
giving the restaurant menu to the puppet who asks politely. They
don't judge people from their religion, skin color, clothes, or
if made of wood, or metal or flesh, as long as they behave
respectfully of course.
Maybe it is because they are really not people at all! They are
algorithms hiding in a puppet.
In that case comp is false.
No, it is not false. Only the strong version of step 8 is false.
All steps follows from comp.
If something more is used in step 8: tell me what, but don't confuse a
conclusion with an assumption, as you did before.
I suggest a point: which is that step 8 uses: sup-phys + comp => 323.
Most people up to now agree that this follows from comp. It is hard to
formalize this, as sup-phys is hard to formalize by itself. Indeed you
can easily build ad hoc theory of matter which contradicts this. Yet,
when people effectively define such ad hoc notion of primitive matter,
without magic, it becomes Turing emulable, and their argument becomes
an argument either against comp, by making the magic non Turing
emulable, or an argument for lowering down the level, not for the
invalidity of sup-phys + comp => 323.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
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.
