On 8/24/2012 11:33 PM, meekerdb wrote:

On 8/24/2012 7:05 PM, Stephen P. King wrote:## Advertising

"...due to the law of conjugate bisimulation identity: A ~ A = A ~ B ~ C ~ B ~ A = A ~ B ~ Athis is "retractable path independence": path independence only overretractable paths.I don't understand this. You write A~(B~A) which implies that B~A isa "system" (in this case one being simulated by A).

Dear Brent,

`The symbol "~" represent simulate, so the symbols A~(B~A) would be`

`read as "A simulating B while it is simulating A". A and B and C and D`

`... are universal simulators ala David Deutsch. The can run on any`

`physical system capable of universality.`

But then you write A~B~A=A~A

`These would read as: "A simulating B simulating A", which is`

`different from "A simulating B while it is simulating A", a subtle`

`difference. The former is simultaneous while the latter is not.`

and also A~B~C~A =/= A~C~B~A =/= A~A This seems inconsistent, since A~B~C~A = A~D~A where D=B~C,

`How do you get D=B~C from? That is inconsistent with the Woolsey`

`identity rule . For example C could be capable of simulating B in the`

`process of it simulating A, which is different in content from C`

`simulating A while A is simulating B. Simulators do not commute the way`

`numbers do. BTW, a simulation relation is not necessarily an identity`

`like "=".`

but then A~D~A=A~A. And A~C~B~A = A~E~A where E=C~B, and thenA~E~A=A~A. But then A~B~C~A = A~C~B~A.

`I seem to be assuming a natural ordering on the symbols A, B, C, D,`

`etc. and a notion of being at the same level in the ordering with the`

`"(..)" symbols. I should have made this clear. My apologies! Does the`

`comment about telescope property not make sense?`

You drop the parentheses, implying the relation is associative, butthen you treat it as though it isn't??

`Not having pointed out the ordering caused a confusion. My`

`apologies. Thank you for pointing this out! This idea still needs a lot`

`of work, that I do admit!`

Brent

-- Onward! Stephen http://webpages.charter.net/stephenk1/Outlaw/Outlaw.html -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.