On 14 Feb 2014, at 01:33, Russell Standish 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.
Bruno takes Arithmetical Realism precisely because it is so
uncontroversial.
Good point.
One could equally assert the reality of any system
capable of universal computation.
Yes. I insist on that, and I have illustrated with the combinators. No
Number idolatry, even if I can't hide that I love them, both
extensionally (like in 17 is prime) and intensionally (like in 17 is
the name (Gôdel number) of the symbol "=". )
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.
I can agree with this. This would make step 8 non necessary.
Step 8 addresses already some type of nitpicking, but that is not
entirely true either.
I guess we will discuss this again :)
Cheers,
Bruno
--
----------------------------------------------------------------------------
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.
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.
