On 10 Jun 2015, at 14:41, Quentin Anciaux wrote:
2015-06-10 14:11 GMT+02:00 Bruce Kellett <bhkell...@optusnet.com.au>:
Quentin Anciaux wrote:
2015-06-10 13:40 GMT+02:00 Bruce Kellett
<bhkell...@optusnet.com.au Quentin Anciaux wrote:
Then the computation will be in the mapping which is the
interpreter... the rock itself is missing the machine
interpreting the state and relating all the sequence of states
of the rock... The rock and the interpreter is a computation,
the rock alone is not.
What is the interpreter in Platonia?
The transition function relating the states.
A computation is not a sequence of states, it is a sequence of
states and the relation between them.
The relation between them is given by the sequence order. You are
the one who 'interprets' that sequence, gives it meaning.
So a computer computing without us, is not computing....
The mapping is what makes the interpretation. A computation is a
sequence of state + a transition table relating the states.
Yes, and the mapping is defined, and implemented in arithmetic by the
universal number.
As you can map the rock states with an adhoc mapping to any
computations, it doesn't mean the rock computes everything, it just
means the rock states are not enough, you forget the mapping ie: the
interpreter. The rock on itself could compute anything, but
relatively to you, it can compute meaningfully only if you have the
correct mapping... and if to produce such a mapping that would make
sense relatively to you, it asks you to do the computation you want
to map to the rock states... in what sense can you say the rock is
computing relatively to you in any meaningful sense ?
It is weird that John Clark does not intervene here to say that Bruce
Kellet would be a millionaire if he was able to make a rock
computing ...
Well, I guess it is not weird, as Bruce seems to have also that
typical negative tone of those who criticizing without studying. Why
people does that is beyond my comprehension, but I am interested, as
this is rather frequent (with humans).
Bruno
Quentin
Bruce
--
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/d/optout.
--
All those moments will be lost in time, like tears in rain. (Roy
Batty/Rutger Hauer)
--
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/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 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/d/optout.
