Bruno Marchal wrote:
On 05 Apr 2015, at 01:19, Russell Standish wrote:
Then what is your definition of a recording? In my eyes, UD* is a
recording, particularly a finite portion of it, such as the first
10,000 steps of the first 10,000 programs.
You confuse description of computations, which exists in the "movies"
obtained by filming the boolean graph, and the computations themselves,
with involves semantic, that is a reality (be it the static standard
model of Peano Arithmetic) or a physical reality.
Where is the dynamics necessary for computations themselves (as opposed
to descriptions of computations) in the static standard model of Peano
Arithmetic? I know where the dynamics reside in physical reality.
I remind you that 'dynamic' means "of or relating to force producing
motion" or "active, potent, energetic, forceful; characterized by action
or change." In other words, the opposite of static.
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.
