I wasn't aware this thread had fallen off the list. I will make sure
this post goes through...
On Tue, May 03, 2005 at 10:26:47AM +0200, Bruno Marchal wrote:
> Hi Russell,
>
> Of course I disagree. I can explain later. But is it not better to
> discuss this on line?
> If it is ok for you, just resend your message to the list,
>
> Amically,
>
> Bruno
>
>
> Le 30-avr.-05, ? 01:53, Russell Standish a ?crit :
>
> >On Fri, Apr 29, 2005 at 08:17:05AM +0200, Bruno Marchal wrote:
> >>
> >>If by TIME you mean the axiom in arithmetic saying that each natural
> >>number has a successor then I agree.
> >>If by TIME you mean anything related to geometry, or real numbers, or
> >>physics, or psychology then I disagree.
> >>
> >
> >It is the latter (psychology). By basing your model of computation on
> >the Turing machine, you are assuming TIME. In order to circumvent
> >TIME, you would need to provide a different model of computation that
> >avoids state transitions, but then it would be hard to see how this
> >would be equivalent to Turing computation.
> >
> >Cheers
> >
> >--
> >*PS: A number of people ask me about the attachment to my email, which
> >is of type "application/pgp-signature". Don't worry, it is not a
> >virus. It is an electronic signature, that may be used to verify this
> >email came from me if you have PGP or GPG installed. Otherwise, you
> >may safely ignore this attachment.
> >
> >-----------------------------------------------------------------------
> >-----
> >A/Prof Russell Standish Phone 8308 3119 (mobile)
> >Mathematics 0425 253119 (")
> >UNSW SYDNEY 2052 R.Standish.domain.name.hidden
> >Australia
> >http://parallel.hpc.unsw.edu.au/rks
> > International prefix +612, Interstate prefix 02
> >-----------------------------------------------------------------------
> >-----
> >
> http://iridia.ulb.ac.be/~marchal/
--
*PS: A number of people ask me about the attachment to my email, which
is of type "application/pgp-signature". Don't worry, it is not a
virus. It is an electronic signature, that may be used to verify this
email came from me if you have PGP or GPG installed. Otherwise, you
may safely ignore this attachment.
----------------------------------------------------------------------------
A/Prof Russell Standish Phone 8308 3119 (mobile)
Mathematics 0425 253119 (")
UNSW SYDNEY 2052 R.Standish.domain.name.hidden
Australia http://parallel.hpc.unsw.edu.au/rks
International prefix +612, Interstate prefix 02
----------------------------------------------------------------------------
Received on Tue May 03 2005 - 06:48:34 PDT