On 14 Feb 2014, at 21:41, LizR wrote:
On 15 February 2014 07:55, Bruno Marchal <marc...@ulb.ac.be> wrote:
On 14 Feb 2014, at 01:38, LizR wrote:
On 14 February 2014 13:33, Russell Standish <li...@hpcoders.com.au>
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".
Yes. I was speaking purely within my attempts to understand Edgar's
ontology.... although I don't have anything like the patience and
fortitude of Jesse, who has politely and meticulously deconstructed
everything Edgar has claimed. I believe he may even be eligible for
a Bruno - the everything list's award for anyone who can continue to
be cool and rational against extraordinary odds.
Jesse is very patient indeed. Stathis is not so bad too.
But Quentin might be right, like with Clark, sometimes you feel the
people will not change their mind, as they make typical opportunist
remarks, which distracts from the main point, and avoid the
discussion. Do they act like that purposefully, or unconsciously? That
is what I try to figure out.
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 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.
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 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.
