On 13 May 2014, at 17:26, meekerdb wrote:
On 5/13/2014 1:29 AM, Bruno Marchal wrote:
The result of the computation does not change depending on when I
started it, who started it and so on.
Peter Jones would say that it does matter. There are diophantine
equation which emulate you in our galaxy, but this will
count for zero in the measure because they are immaterial and not
really existing, according to Jones.
I think he would say that an equation doesn't emulate anything.
Solving the equation, the physical process of manipulating tokens or
writing out the solutions, may emulate something in our world.
An equation does not emulate something, although a diophantine
equation can. That is a incredible discovery, and is not trivial. Much
simpler is Gödel discovery that you can emulate provability in
arithmetic, and thus, btw, emulate all computations, and define them,
and prove their existence, and redundance, in arithmetic.
In arithmetic, you have the data, the programs, but also the relative
executions.
Bruno
Brent
--
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.
