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.
-- 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.
