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. Bruno takes Arithmetical Realism precisely because it is so uncontroversial. One could equally assert the reality of any system capable of universal computation. When it comes to step 8, of addressing the non-robust universe move, ISTM that this move is actually one of denying arithmetical reality, of denying the real existence of a universal computer in fact. But I think that would do violence to the Church thesis also. -- ---------------------------------------------------------------------------- Prof Russell Standish Phone 0425 253119 (mobile) Principal, High Performance Coders Visiting Professor of Mathematics [email protected] University of New South Wales http://www.hpcoders.com.au ---------------------------------------------------------------------------- -- 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.
