On 20 Oct 2013, at 02:20, Russell Standish wrote:

On Sat, Oct 19, 2013 at 04:37:31PM -0700, Craig Weinberg wrote:

On Saturday, October 19, 2013 6:22:05 PM UTC-4, Russell Standish wrote:

On Sat, Oct 19, 2013 at 03:06:00PM -0700, Craig Weinberg wrote:
Isn't a corporation a Turing emulable machine though? It seems like its just a matter of properly configuring a corporation's functions to tap
the arithmetic truths of self-reference, and then it would have to be a
person...unless you believe in zombies.

Not all Turing machines are people.

I didn't want to imply they were. That was my intent in saying that they
need only be configured properly to become persons.

That is only known to be possible if they are universal machines. It
seems unlikely to me that corporations are universal machines.

Certainly not in any interesting sense. I agree.

Of course universality is cheap, and some corporation might be able to emulate addition and multiplication, but this makes it trivially universal, in a way not related to what the corporation is created for, so you are right (or wrong but in a non relevant sense for the decision to make it into a person).

To avoid this, we might declare a universal machine to be a person only when it is Löbian. This is a bit conventional (and annoying for the lower invertebrates. An insect would not be a person, but a spider would still do, for example).



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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to