Re: Only Existence is necessary?

From: Stephen Paul King <stephenk1.domain.name.hidden>
Date: Thu, 22 Jun 2006 14:18:49 -0400

Dear George,

    It seems that we are wandering off into the thicket of semantics and
thus I need to try to be more precise in my terminology. ;-) Interleaving.

----- Original Message -----
From: "George Levy" <glevy.domain.name.hidden>
To: <everything-list.domain.name.hidden>
Sent: Wednesday, June 21, 2006 8:53 PM
Subject: Re: Only Existence is necessary?


>
> Hi Stephen
>
> Stephen Paul King wrote:
>
>>Dear Quentin et al,
>>
>> I keep reading this claim that "only the existence of the algorithm
>>itself is necessary" and I am still mystified as to how it is reasoned for
>>mere existence of a representation of a process, such as an implementation
>>in terms of some Platonic Number, is sufficient to give a model of that
>>can
>>be used to derive anything like the world of appearences that we have.
>>
>>
> [GL]
> Is the world fundamentally physical or can it be reduced to ideas? This
> is an interesting issue. If a TOE exists then it would have to explain
> the physics and the objects.

[SPK]

    I hold that the question of whether the world is fundamentally physical
or reducible to ideas is based on a false assumption: that there are no
alternatives to the choice between the monisms of Matter (the world is
physical) or Idea (the world is idea). A fascinating arguement has been made
by V. Pratt that a duality can be had, a duality that is based on the
mathematical duality that exist between logical algebras and vector spaces.

http://boole.stanford.edu/pub/bridge.pdf

    But I digress, if we claim that a TOE exists then we have to consider
the issues of completeness of such a TOE! For example:

1) Does such a TOE encode all possible versions of itself?

    This leads to a pathological regress! If it only codes one version of
itself, then we can easily show that it is imcomplete and thus it is not a
TOE.

2) How is this particular TOE distinguished from the space of all possible
TOEs?


    I can see that we could use some argument involving the Kolmogorov
aspect of the TOE, i.e. the TOE that has the "shortest" bit string that
faithfully represents/implements *all* possible observations that could
obtain of our universe; but this inevitably requies that we consider the
comutational complexity of finding said bit string. It seems to me that
Chaitin's work on Omega shows that the measure of such a bit is
uncomputable.

http://www.daviddarling.info/encyclopedia/C/Chaitins_constant.html


    Thus if the TOE can neither code its own existence not can be found via
a computable search, how is it that we continue to use such an absurd
notion?


> [GL]
> This reminds me of the Ether controversy. Is there a need for the Ether
> for waves to propagate? The most up-to-date answer is that waves carry
> their own "physical substrate." They can be waves and/or particles.
> Similarly there should be equivalence between information and
> matter/energy. Thus a process or algorithm should have inherently within
> itself its own physical substrate.

[SPK]

    It is interesting that you bring up the notion of an ether! For those
that try to follow the latest ideas in Quantum Gravity, we find many notion
that are merely sophisticated version of ether, ala some kind of a priori
existing subtrate into and onto which we fiber/embed some
dynamic/dimensional structure that encodes the particular set of fields that
we associate with particles.
    Frankly, it seems to me that this is merely a hold over from the
assumption of a fundamental monistic structure.

>
> Since information is observer-dependent (Shannon) this issue brings us
> back to the observer. I think that eventually all observables will have
> to be traced back to the observer who is in fact at the nexus of the
> mind-body problem.

[SPK]

    I agree! What is an Observer?

Onward!

Stephen

--~--~---------~--~----~------------~-------~--~----~
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.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list
-~----------~----~----~----~------~----~------~--~---
Received on Thu Jun 22 2006 - 14:19:52 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:11 PST