# Re: Movie cannot think

```From: Bruno Marchal
Sent: Thursday, March 10, 2011 12:48 PM
Subject: Re: Movie cannot think
Dear Stephen, ```
```

On 10 Mar 2011, at 16:27, Stephen Paul King wrote:

-----Original Message-----
From: Bruno Marchal
Sent: Thursday, March 10, 2011 9:10 AM
Subject: Re: Movie cannot think

On 10 Mar 2011, at 13:47, Andrew Soltau wrote:

> All the moments exist, and as Deutsch points out, as you summarise,
> 'The appearance of change is already explained by the fact that
> there are different frames that have an implicit sequence and in
> which the observers state is different', but for change to actually
> happen, the magic finger must move. Otherwise reality would be like
> a movie film sitting in the can in storage.

The change in the "working program" is brought by the "universal
machine" which interprets it. All you need is an initial universal
"machine". It happens that addition and multiplication, with first
order logic is enough to define such an initial universal system, and
the UDA+MGA shows that the laws of mind, including the laws of matter,
does not depend on the choice of the initial universal system.

So elementary arithmetic does emulate, in the mathematical sense,
computations. Arithmetic does not just describe all those
computations: it literally emulate them. This is not trivial to show,
although computer science gives the insight. Computations in
arithmetic are not like movie, they are like a observer line universe
in a block universe.

To add an external time reintroduces a mystery where it is not needed.
That use of time is like the use of "God" as gap explanation by the
pseudo-religious (authoritative) people. You will end up with a
primitive time, a primitive matter, and why not a primitive "god"
responsible for all this.

That is, in my opinion, the correct insight of Deutsch. Except that he
mentions an "implicit sequence", which is typically made explicit by
the universal machine which emulates, albeit statically or
arithmetically-realistically, the computation. All computations in
that setting are ultimately based on the explicit sequence 0, s(0),
s(s(0)), ... (or the equivalent in the combinators, etc.).

Bruno

http://iridia.ulb.ac.be/~marchal/

**
Dear Bruno,

I only really have one difficulty with this thought: What choose that
particular "initial universal 'machine'"?

[BM]

Because it is shown that it is enough to derive mind and matter from it.

Because it is shown that, if we accept the comp bet, it *has to* be enough. And
adding anything more betrays the solution of the 1-3 person relations.

Because it is taught in high school, and with few exception accepted and used
by everybody.

Because it can be shown to be necessary, in the sense that any weaker theory
cannot derive it.

***
[SPK] But how does this address my question? I must have misunderstood you
but the word “initial” appears three times in the following:

“The change in the "working program" is brought by the "universal
machine" which interprets it. All you need is an initial universal
"machine". It happens that addition and multiplication, with first
order logic is enough to define such an initial universal system, and
the UDA+MGA shows that the laws of mind, including the laws of matter,
does not depend on the choice of the initial universal system.”

Why does the word “initial” appear here, if there is no sense of a sequence
of machine of which there is a least machine? So you are saying that the fact
that a “weaker theory” cannot derive it determines its minimality in the
sequence? Why is it necessary to assume a form of the well founded axiom? It
appears to me that you are otherwise there would not necessarily be a minimal
machine!
Even then we have no phenomenological interview of the so defined Löbian
Machine to at least give us the appearance that we have found a derivation of
mind and matter that can be analytically continued to any person’s experience
of what it is like to have a mind in a physical world! I concede that within
your argument there is something that seems to be like a mind in an abstract
3-p sense, but you have not shown how such a “mind” interacts with other
similarly defined minds except in a reasoning that involves taking the plural
case, but mere plurality is not sufficient for yield a general result for
concurrency.
***

If it cannot be shown to be unique in contrast to all possible machines, what
makes it special?
[BM]
I insist that any first order logical specification of a universal system will
do. I have tried to introduce the combinators instead of numbers, but people
were a bit uneasy with it, so I take the numbers, which are equivalent with
respect to our goal.

What makes it special is Church thesis, in the comp motivation. The closure of
the set of partial computable function for the diagonalization procedure.
**
[SPK] OK, but again, I have tried to explain that the Church thesis is not
above suspicion as a back-door way of injecting the properties of physicality
into your result in my discussion of the Maudlin paper. I even sketched how the
Yes Doctor fully assumes physical properties in that there has to be a prior
measure of persistence of state to define a substitution level, did you not see
this? I can easily be dismissed as lacking the sophisticated wording that you
have acquired, but is that not just ab hominem? I do not wish to rubbish your
argument or your result, I want to be sure that you understand that there seem
to be holes in its logical reasoning, gaps which allow tacit assumptions and
pre-analytic thoughts to slip into the reasoning such that it seems that one
has obtained a model, but one that only obtains if we all ignore certain
features and difficulties.
**

We may be blinded by the sophistication and brilliance of our logics but can
we really be sure that there is not a deeper level at which this  Löbian
machine is just another in a vast infinitude?

[BM]
RA is not Löbian. RA is the TOE. RA is equivalent with the UD, and it generates
the histories which contains the much more complex Löbian machines. I interview
the Löbian machine because they have the maximal introspective power possible.

RA is the TOE, the Löbian machine are the internal observer. They are much
clever than RA. I think as clever as you and me.

Also, in science, we are NEVER sure. Comp might be false.

[SPK] RA is a belief that may not be justified. It cannot be considered to be
a Theory of Everything if it excludes some aspect of existence that is
necessary for its specification! Is Robinson Arithmetic Gödel Complete for any
expression that can be derived and coded by any number or is it only complete
with in the class of statements that it can make? It obviously is not complete
in a non-Gödel sense since we need the Löbian Machine to examine RA so in a
sense the Löbian machine is “outside” of RA. How is this separation possible if
RA is the minimal initial system? A minimal initial system would have to be RA
+ some extra structures and relations such that a Löbian machine can be
specified co-existing with the RA, but even then this fails because we need the
assumption of eternally existing (thus causeless) numbers or combinators or
equivalent to act as a support for RA and the extra structure and relations.
Please stop stating that “I interview the Löbian machine...” when you
obviously do not. The word “interview” requires the assumption that you as an
entity that appears to have a physical manifestation to many other 'observers’
is interacting somehow with an abstract entity that has no physical form. How
can we distinguish this verbiage from that of the person that claims to
“channel alien intelligences”? It is unseemly!

Consider G. Chiatin's Omega!
http://en.wikipedia.org/wiki/Chaitin%27s_constant

OK.

I question the entire premise of a "special initial conditions"! Why must
we believe that there really is a singularity that 'causes' it at all?

[BM]
What initial conditions?

I think you are confusing "initial condition" and the theory we might choose.

***
[SPK] I did not use the word “initial" first but I did try to reason that to
state that
“It happens that addition and multiplication, with first
order logic is enough to define such an initial universal system, and
the UDA+MGA shows that the laws of mind, including the laws of matter,
does not depend on the choice of the initial universal system.”
implies something like special initial conditions because such a claim is
equivalent to saying that the prior existence of RA and first order logic is
the uncaused cause of our common reality! How is this different in kind from
the argument of ab initio condidit de nihilo in theologies??
***

[BM]
I give a theory, quite simple and already known by everybody. And I provide its
internal intensional epistemologies/theologies, in the most classical way
(Aristotle's logic, Plato Tarski's semantic, George Boole's law of thought,
Gödel, Löb,  ... Solovay, or simpler George Boolos' laws of mind, Plotinus'
theology... and Pythagorus' ontology).

Church Post Kleene Turing Markov thesis resurrects Pythagorus' ontology, with
someone no one expected: the universal machine. That's a recurring creative
bomb on this planet and it is a typical event in the modern (post Gödel)
arithmetical Platonia as seen by its inhabitant.

In UDA i provide a formulation of the mind body problem in the comp frame,
understandable by good willing humans.
In AUDA i show we can  already ask the question to the universal numbers, and
get some answers, and some silence too.

Why must we recycle that old theological idea? Are there no viable
alternatives?

Yes. Just say say "no" to the digital mechanist surgeon, and this for all
levels. You are free to study those alternatives. G and G* will still apply on
a large initial segment of the classical theory of self-reference, though.

I am a modest scientist (and this should be an oxymoron).
I mean that I have no clue of the truth.

Bruno

http://iridia.ulb.ac.be/~marchal/

[SPK] I know you better than this Bruno! You are humble but still willing to
bet that you are correct. I admire that, I just want to see that your
estimation of the odds are correct.
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@googlegroups.com.
To unsubscribe from this group, send email to