On 01 Mar 2014, at 02:06, LizR wrote:
On 1 March 2014 03:22, Bruno Marchal <[email protected]> wrote:
On 26 Feb 2014, at 03:31, LizR wrote:
Indeed. I have mentioned at times that if you accept "Yes Doctor"
the rest of comp follows. Which I realise isn't quite true,
? You might elaborate on this. What is the "rest", and why do you
think it does not follow?
I mean the rest as I understand it. "Yes Doctor" implies that
identity relies on a "capsule memory", and hence that H=M and H=W,
and also that H=simulated M / W, H = M+100 years, and so on.
That is not so clear to me.
Of course I define comp by "yes doctor" + Church's thesis.
That is why I realise it isn't quite true that YD implies
everything, because you need CT and AR.
But you just said that "1+1=2" is a fact, which is stronger than AR.
AR just says that 1+1=2, and nothing more. And CT is not really needed
in the math: just add Turing before machine or universal number. But
CT makes things smooth and prevent uninteresting critics like "and
what if we are not Turing emulable, but still "machines" in some
unknonw sense.
But if you accept the Doctor's offer then you are committing to a
"capsule theory of identity" which implies most of what you have
said about duplication experiments with delays, VR, and so on.
OK. I would say "relative (to universal numbers) capsule theory of
identity".
Bruno
--
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/groups/opt_out.
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/groups/opt_out.
