On 11 May 2015, at 18:27, John Clark wrote:
On Sun, May 10, 2015 Bruno Marchal <[email protected]> wrote:
<sigh>
<burp>
> You confuse the notion of computation discovered by the
mathematicians,
In other words simplified approximations that describe how matter
and the laws of physics can make real computations.
You would get a bad notes to any exam in computer science. You like to
cite Turing, but have never read it.
> with the notion of physical implementation of computation.
In other words real computations that produce real outputs.
I guess you are still advocate of the devil. Not a good one.
I am not confused, I fully understand that those are two different
things.
Yes; eventually one is described by p, []p ... and the others are
described by []p & p, []p & <>t, []p & <>t & p.
Comp explains why there are different, and this by assuming (in the
metaphysical theory, or theology) no more than Robinson arithmetic. It
looks like you do assume physicalism, which might not help you to
understand what we talk about. You need to understand that the modern
post-Turing notion of computation does not assume anything in physics.
It needs to assume nor more than Robinson Arithmetic.
If anyone is willing to play the role of candid, I can explain all
details.
Bruno
John K Clark
--
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/d/optout.
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/d/optout.
