On 14 Feb 2014, at 01:38, LizR wrote:
On 14 February 2014 13:33, Russell Standish <[email protected]>
wrote:
On Fri, Feb 14, 2014 at 12:14:18PM +1300, LizR wrote:
> It seems to me that the situation summarises as follows.
>
> Craig disagrees with the axioms of comp, in particular with "Yes
Doctor"
> and hence parts company with Bruno at step 0.
>
> Edgar agrees with "Yes Doctor" (because in his view consciousness
is the
> product of a computation) and hence, if he is going to disagree
with comp,
> needs to find a flaw in Bruno's other axioms or his logical chain of
> inferences. I suspect the weak link to attack here *might* be Peano
> arithmetic...
>
I don't see why - with the Church thesis, Peano arithmetic is just as
good as any other system capable of universal computation.
That comment isn't my opinion, it was intended for Edgar. Since he
thinks "human maths" is different to "reality maths", it seems like
the obvious starting point (for him) if he's going to disagree with
comp.
That explains why he seems unable to define what he meant by
"computational space".
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.
