Bruno Marchal wrote:
> On 14 Nov 2008, at 19:46, Brent Meeker wrote:
>
>> That was my point. The SWE indicates that every microscopic event
>> that
>> happens or doesn't happen stochastically splits the wave function.
>> But
>> these events don't generally cause a split of Kory or other classical
>> objects.
>>
>
> This would contradict the linearity of the tensor product together
> with the linearity of the evolution of the wave. I think.
>
>
>
>> I don't see this. For a non-materialist it seems that an un-
>> implemented
>> idea or program is an incoherent concept.
>>
>
> An un- implemented idea or algorithm makes sense. For example a
> description of an algorithm A in natural language. Then an
> implementation of A in the universal language U consists in a formal
> string X such that if U is given X, UX, and run, the UX behaves like A
> was supposed to define, except for the unexpected bugs.
> "implementation" always means "implementation in some language",

##
Advertising

But does un-implemented mean not implemented in any language?
> be it
> immaterial combinators or "material" hardware.
> With comp, the point is that "material hardware" needs itself to be
> implemented in arithmetic, except here it is not so much a direct
> implementation (unless Kory's, and Jason's mathematical physicalsim is
> true) but more like an emergence from all computations (and thus on
> all possible implementations
But all possible implementations is a logical concept that exists only
in platonia - so what is the distinction between implemented and
un-implemented computations.
Brent
> of all computations in the universal
> deployment). It is an open problem if the physics which emerge from
> all computations can be itself capture by one computations. I doubt
> it. If it exists, then it must have the shape of a sepical Universal
> Dovetailer, like a quantum Universal Dovetailer (why not, but for me
> this is very speculative).
>
>
>
> Bruno
> http://iridia.ulb.ac.be/~marchal/
>
>
>
>
> >
>
>
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to [EMAIL PROTECTED]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---